Domande taggate «complexity-classes»

Domande sulle relazioni tra classi di complessità.

2
Perché crediamo che PSPACE ≠ EXPTIME?
Ho difficoltà a capire intuitivamente perché PSPACE è generalmente ritenuto diverso da EXPTIME. Se PSPACE è l'insieme di problemi risolvibili nel polinomio spaziale nella dimensione di input , allora come può esserci una classe di problemi che sperimentano una maggiore esplosione del tempo esponenziale e non fanno uso dello spazio …
3
Fa
È possibile che P≠NPP≠NP\mathsf{P} \not = \mathsf{NP} e la cardinalità di PP\mathsf{P} sia uguale alla cardinalità di NPNP\mathsf{NP} ? O P≠NPP≠NP\mathsf{P} \not = \mathsf{NP} significa che PP\mathsf{P} e NPNP\mathsf{NP} devono avere cardinalità diverse?
1
Prova del teorema di Karp-Lipton
Sto cercando di comprendere la dimostrazione del teorema di Karp-Lipton, come affermato nel libro "Computational Complexity: A modern avvic" (2009). In particolare, questo libro afferma quanto segue: Teorema di Karp-Lipton Se NP , quindi PH .⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p= \Sigma^p_2 Prova: con il Teorema 5.4, per mostrare PH , è …
2
Esistono classi di complessità stabilite con numeri reali?
Di recente uno studente mi ha chiesto di verificare una prova di durezza NP. Hanno eseguito una riduzione sulla falsariga di: Riduco questo problema che è noto per essere NP completo al mio problema P (con una riduzione multi-tempo polifunzionale), quindi P è NP-difficile.P′P′P'PPPPPP La mia risposta è stata sostanzialmente: …
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.