Informatica teorica complexity-classes

5

Vi è spesso una giustificazione filosofica citata per credere che P! = NP anche senza prove. Altre classi di complessità hanno la prova che sono distinte, perché in caso contrario, ci sarebbero conseguenze "sorprendenti" (come il crollo della gerarchia polinomiale). La mia domanda è: qual è la base per credere …

32 cc.complexity-theory complexity-classes gt.game-theory conditional-results

5

Problemi completi di NEXP

Ci sono tonnellate di problemi NP-completi in giro e fonti che li raccolgono, ad esempio vedere il libro di Garey e Johnson. Sarei interessato a vedere un elenco di problemi completi di NEXP. Ce n'è uno disponibile? Dato che presumo che non ci sia, apro questa domanda (si suppone che …

31 cc.complexity-theory complexity-classes big-list nexp

4

Conseguenze di NP = PSPACE

Quali sarebbero le brutte conseguenze di NP = PSPACE? Sono sorpreso di non aver trovato nulla al riguardo, dato che queste classi sono tra le più famose. In particolare, avrebbe conseguenze sulle classi inferiori?

30 cc.complexity-theory complexity-classes conditional-results

4

Se P = NP fosse vero, sarebbero utili i computer quantistici?

Supponiamo che P = NP sia vero. Ci sarebbe quindi qualche applicazione pratica per costruire un computer quantistico come risolvere alcuni problemi più velocemente o qualsiasi miglioramento del genere sarebbe irrilevante in base al fatto che P = NP è vero? Come definiresti il miglioramento dell'efficienza che si verificherebbe se …

29 cc.complexity-theory complexity-classes quantum-computing

3

L'NPI è contenuto in P / poly?

NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}P ≠ N P N P I : = N P ∖ ( N P C ∪ P ) ≠ ∅ P / poly N P I ⊂ P / poly N P ⊂ N P C ∪ P / polyPH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne \mathsf{NP}NPI:=NP∖(NPC∪P)≠∅NPI:=NP∖(NPC∪P)≠∅\mathsf{NPI} := \mathsf{NP} \setminus(\mathsf{NPC} …

29 cc.complexity-theory complexity-classes advice-and-nonuniformity p-vs-np np-intermediate

1

La RNC uniforme è contenuta nello spazio poliflog?

La NC uniforme nello spazio log è contenuta nello spazio polivalente deterministico (talvolta scritto PolyL). RNC è uniforme nello spazio di registro anche in questa classe? La versione randomizzata standard di PolyL dovrebbe essere in PolyL, ma non vedo che RNC (uniforme) sia in PolyL randomizzato. La difficoltà che vedo …

28 complexity-classes randomized-algorithms

2

Teorema di Ladner vs. Teorema di Schaefer

Durante la lettura dell'articolo "È tempo di dichiarare la vittoria nel contare la complessità?" nel blog "Godel's Lost Letter e P = NP" , hanno menzionato la dicotomia per CSP. Dopo aver seguito alcuni link, googling e wikipeding, mi sono imbattuto nel teorema di Ladner : Teorema di Ladner: Se …

27 cc.complexity-theory np-hardness complexity-classes sat csp

2

Quali sono le conseguenze di Parity-L = P?

Parity-L è l'insieme di lingue riconosciute da una macchina di Turing non deterministica che può distinguere solo tra un numero pari o un numero dispari di percorsi di "accettazione" (anziché un numero zero o diverso da zero di percorsi di accettazione) e che è ulteriormente limitato al lavoro nello spazio …

27 cc.complexity-theory complexity-classes conditional-results

2

Quali sono le conseguenze di

Shiva Kintali ha appena annunciato un (cool!) Risultato che isomorfismo grafico per i grafici treewidth limitati di larghezza è ⊕ L -Hard≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informalmente, la mia domanda è: "Quanto è difficile?" Sappiamo che in modo non uniforme , vedi le risposte a questa domanda . Sappiamo …

26 cc.complexity-theory complexity-classes logspace

3

Problemi succinti in

Lo studio della rappresentazione succinta dei grafici è stato avviato da Galperin e Wigderson in un articolo del 1983, in cui dimostrano che per molti semplici problemi come trovare un triangolo in un grafico, la corrispondente versione succinta in . Papadimitriou e Yanakkakis approfondiscono questa linea di ricerca e dimostrano …

26 cc.complexity-theory reference-request complexity-classes

3

Conseguenze di #P = FP

Quali sarebbero le conseguenze di #P = FP? Sono interessato a conseguenze sia pratiche che teoriche. Da un punto di vista pratico, sono particolarmente interessato alle conseguenze sull'intelligenza artificiale. I puntatori a documenti o libri sono più che benvenuti. Per favore, non dire che #P = FP implica P = …

26 cc.complexity-theory ds.algorithms complexity-classes counting-complexity ai.artificial-intel

3

Problemi naturali in

Ci sono problemi naturali in che non sono (noti per essere / pensati di essere) in U P ∩ c o U P ?NP∩ c o NPNP∩coNPNP \cap coNPUP∩ c o UPUP∩coUPUP \cap coUP Ovviamente il grosso tutti conoscono in è la versione decisione di factoring (non n hanno un …

26 cc.complexity-theory complexity-classes np

3

Costruttività in prova naturale e complessità geometrica

Di recente, Ryan Willams ha dimostrato che la costruttività nella prova naturale è inevitabile per derivare una separazione delle classi di complessità: e . T C 0N E X PNEXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} La costruttività in Natural Proof è una condizione che soddisfa tutte le prove combinatorie nella complessità del circuito e …

25 cc.complexity-theory complexity-classes circuit-complexity gct barriers

4

Perché le uguaglianze tra le classi di complessità si traducono verso l'alto e non verso il basso?

Hey ragazzi, ho capito che il trucco imbottitura ci permette di tradurre classi di complessità verso l'alto - per esempio . Il padding funziona "gonfiando" l'input, eseguendo la conversione (diciamo ad esempio da N P a P ), che produce un algoritmo "magico" che puoi eseguire sull'input imbottito. Anche se …

25 cc.complexity-theory complexity-classes padding

1

Che cosa è limitato ai testimoni di dimensioni lineari?

Ciò è correlato alla domanda È già nota la dimensione del testimone dell'iscrizione per ogni lingua NP? Alcuni naturali (-completi) hanno testimoni di lunghezza lineare: un compito soddisfacente per , una sequenza di vertici per , ecc. S A T H A M P A T HN PNP\mathsf{NP}SA TSATSATHA MPA …

24 cc.complexity-theory complexity-classes np

Domande taggate «complexity-classes»