Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Il calcolo quantistico adiabatico è potente come il modello di circuito?
Gran parte della letteratura informatica quantistica si concentra sul modello di circuito. Il calcolo quantistico adiabatico non si basa sull'applicazione di una sequenza di operatori unitari, ma sulla modifica di un hamiltoniano dipendente dal tempo. Sto cercando informazioni su quanto segue. Il calcolo quantistico adiabatico è potente come il modello …
2
Formula 3CNF monotona limitata: conteggio delle assegnazioni soddisfacenti (sia modulo che modulo )
Considera una formula Monotone 3CNF con entrambe le seguenti restrizioni aggiuntive: Ogni variabile appare esattamente in clausole.222 Dato qualsiasi clausole, condividono al massimo variabile.1222111 Vorrei sapere quanto è difficile contare i compiti soddisfacenti di tale formula. Aggiornamento 06/04/2013 12:55 Vorrei anche sapere quanto è difficile determinare la parità del numero …
1
"Informazioni verificabili": è un concetto noto?
Quanto segue mi sembra una definizione naturale e mi chiedo se sia stata studiata da qualche parte Considera un insieme di lingue. Quindi K ⊂ { 0 , 1 } ω è chiamato " X informazioni verificabili" quando c'è L ∈ X stX⊂2{0,1}*X⊂2{0,1}*\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace …
2
Risultati di complessità per le funzioni ricorsive elementari inferiori?
Incuriosito dall'interessante domanda di Chris Pressey sulle funzioni elementari ricorsive , stavo esplorando di più e non riuscivo a trovare una risposta a questa domanda sul web. Le funzioni ricorsive elementari corrispondono bene alla gerarchia esponenziale, .DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots Sembra chiaro dalla definizione che i problemi di decisione …
1
Connessione tra PCP e L = SL
Il libro di Arora e Barak contiene nelle note di capitolo su PCP Notiamo che la strategia generale di Dinur ricorda in qualche modo la costruzione a zig-zag dei grafici di espansione e l'algoritmo deterministico dello spazio di log di Reingold per la connettività non indirizzata descritta nel Capitolo 20, …
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.