Domande taggate «complexity-classes»

Domande sulle relazioni tra classi di complessità.

1
Perché NP in EXPTIME?
C'è un modo semplice per capire perché NP è in EXPTIME? Mi sembra a priori concepibile che potrebbe esserci un problema che richiede tempo superesponenziale per essere risolto, ma la cui soluzione potrebbe essere verificata in tempo polinomiale.
1
Ci sono problemi naturali completi di
So che il problema della formula booleana quantificato per una formula dove ϕ non contiene quantificatori e solo le variabili x 1 , … , x n , y 1 , … , y n è un esempio di un problema completo Π P 2 . Tuttavia, mi chiedo se …
2
Sarebbe
Se la gerarchia crolla al secondo livello (dal teorema di Karp-Lipton). Ma che dire di e ?RP=NPRP=NP\sf RP = NPNPNP\sf NPcoNPcoNP\sf coNP Ho provato a dimostrare che è contenuto in (l'altra direzione è banale se ) ma senza risultati, e non sono nemmeno sicuro che sia vero.BPPBPP\sf BPPNPNP\sf NPRP=NPRP=NP\sf RP …
3
Dimostrando che se
Mi piacerebbe molto il tuo aiuto per dimostrare quanto segue. Se allora P = N P .NTime(n100)⊆DTime(n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P=NPP=NP\mathrm{P}=\mathrm{NP} Qui, è la classe di tutte le lingue che può essere decisa dalla macchina di Turing non deterministica nel tempo polinomiale di O ( n 100 ) e D T i …
3
Comprensione concreta della differenza tra definizioni di PP e BPP
Sono confuso su come sono definiti PP e BPP . Supponiamo χχ\chi è la funzione caratteristica di un linguaggio LL\mathcal{L} . M essere la probabilistica Turing Machine. Le seguenti definizioni sono corrette: BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP={L:Pr[χ(x)≠M(x)]≥12+ϵ∀x∈L, ϵ>0}BPP =\{\mathcal{L} :Pr[\chi(x) \ne M(x)] \geq \frac{1}{2} + \epsilon \quad \forall x \in \mathcal{L},\ \epsilon > …
1
Espressività delle moderne espressioni regolari
Di recente ho discusso con un amico di un sito Web che proponeva sfide regex, principalmente abbinando un gruppo di parole a una proprietà speciale. Stava cercando una regex che corrispondesse a stringhe come ||||||||dove il numero di |è primo. Gli dissi immediatamente che non avrebbe mai funzionato perché se …
1
è ?
Penso che queste due classi dovrebbero essere uguali, ma non riesco a trovare alcuna letteratura su questo e avere un background limitato sull'argomento. Questo è il mio ragionamento, e vorrei sapere se (1) questo è già noto o (2) ho frainteso qualcosa o (3) ho appena scoperto qualcosa di utile: …
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.