Domande taggate «conditional-results»

Aggiungi X come ipotesi, dove X non è noto per essere vero o falso.

4
Quali sono le conseguenze di
Sappiamo che L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} e che L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , dove L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Sappiamo anche che polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}perché quest'ultimo ha problemi completi nello spazio logaritmico molte riduzioni mentre il primo no (a causa del teorema della gerarchia spaziale). Per …
3
Fa
Per quanto ho capito, il programma di teoria della complessità geometrica tenta di separare dimostrando che il permamento di una matrice a valore complesso è molto più difficile da calcolare rispetto al determinante.VP≠VNPVP≠VNPVP \neq VNP La domanda che ho posto dopo aver sfogliato i GCT Papers: ciò implicherebbe immediatamente , …
3
NC = P conseguenze?
Lo zoo di complessità indica nella voce su EXP che se L = P allora PSPACE = EXP. Dato che NPSPACE = PSPACE di Savitch, per quanto ne so, l'argomento di riempimento sottostante si estende per mostrare che Sappiamo anche che L NL NC P attraverso la gerarchia alternata limitata …
4
Durezza di approssimazione assumendo NP! = CoNP
Due dei presupposti comuni per dimostrare la durezza dei risultati di approssimazione sono e Unique Games Conjecture. Ci sono dei risultati di approssimazione sulla durezza che assumono ? Sto cercando il problema tale che "è difficile approssimare all'interno di un fattore meno che ".P≠NPP≠NPP \neq NPNP≠coNPNP≠coNPNP \neq coNPAAAAAAαα\alphaNP=coNPNP=coNPNP = coNP …
3
Conseguenze dell'esistenza di un algoritmo fortemente polinomiale per la programmazione lineare?
Uno dei santi graal della progettazione dell'algoritmo è trovare un algoritmo fortemente polinomiale per la programmazione lineare, ovvero un algoritmo il cui tempo di esecuzione è limitato da un polinomio nel numero di variabili e vincoli ed è indipendente dalla dimensione della rappresentazione dei parametri (supponendo costo unitario aritmetico). La …
2
Ragioni per credere
Questa domanda è stata migrata dallo Scambio di stack di Informatica perché è possibile rispondere a Scambio di stack di Informatica teorica. Migrato 6 anni fa . Sembra che molte persone credano che , in parte perché credono che il factoring non sia risolvibile con il tempo di polimerizzazione. (Shiva …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.