Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Gap-3SAT NP è completo anche per le formule 3CNF in cui nessuna coppia di variabili appare in clausole significativamente più della media?
In questa domanda, una formula 3CNF indica una formula CNF in cui ogni clausola coinvolge esattamente tre variabili distinte . Per una costante 0 < s <1, Gap-3SAT s è il seguente problema promettente: Gap-3SAT s grado : Un 3CNF formula φ. Sì, promessa : φ è soddisfacente. No-promessa : …
1
Complessità computazionale di pi
Permettere L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} (dove è pensato come codificato in binario). Quindi cosa possiamo dire della complessità computazionale di ? È chiaro che . E …
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 …
3
È contenuto in ?
Ho pensato di condividere questa domanda in quanto potrebbe essere interessante per altri utenti qui. Supponiamo che una funzione che si trova in una classe uniforme (come ) sia anche in una piccola classe non uniforme (come , cioè non uniforme ), ciò implica che la funzione è contenuta in …
1
L'isomorfismo grafico può essere deciso con il non determinismo limitato dalla radice quadrata?
Nondeterminismo Delimitata associa una funzione g(n)g(n)g(n) con una classe CCC di lingue accettate da macchine di Turing deterministiche risorse delimitata, per formare una nuova classe ggg - CCC . Questa classe è composta da quei linguaggi che sono accettati da una macchina di Turing non deterministica MMM obbedendo agli stessi …
3
Giustificazione del log f nel teorema della gerarchia DTIME
Se guardiamo al teorema della gerarchia DTIME, abbiamo un registro a causa del sovraccarico nella simulazione di una Turing Machine deterministica da parte di una macchina universale: DTIME(flogf)⊊DTIME(f)DTIME(flog⁡f)⊊DTIME(f)DTIME(\frac{f}{\log f}) \subsetneq DTIME(f) Non abbiamo questo tipo di overhead per NTIME di DSPACE. Una giustificazione di base deriva dai dettagli della dimostrazione …
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.