Domande taggate «p-vs-np»

1
Se , allora ?
Se , allora ? Sto ponendo questa domanda perché, per altre classi non deterministiche, sembra che stabilisca sempre che sono uguali alle loro controparti deterministiche.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}
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 …
2
Perché il secondo teorema di incompletezza di Godel non esclude una dimostrazione formalizzabile di P! = NP?
Sono sicuro che ci deve essere qualcosa di sbagliato nel seguente ragionamento perché altrimenti molta ricerca P vs. NP sarebbe ridotta ma non posso determinare il mio errore: Per qualsiasi numero intero fisso definirek>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk:={⟨φ⟩|φis a wff of ZF and has …
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.