Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Prova interattiva per HORN-SAT?
C'è un modo in cui un prover può convincere un verificatore che alcune espressioni HORN-SAT sono soddisfacenti? Naturalmente questo potrebbe sembrare sciocco, poiché esistono algoritmi di tempo lineari per HORN-SAT. D'altra parte, HORN-SAT è P-complete, il che significa che non ha algoritmi di spazio log a meno che P = …
1
È possibile utilizzare una versione della complessità descrittiva del teorema di Rice per separare AC0 e PSPACE?
In questa domanda , è stato menzionato che ci sono versioni descrittive della complessità del teorema di Rice. Ho trovato una prova del seguente teorema: Data una classe di complessità C , le proprietà non banali delle lingue in C non possono essere calcolate in C Avevo precedentemente pubblicato la …
3
Conseguenze pratiche di
sfondo La complessità del circuito è definita come l'insieme di famiglie di circuiti (ovvero sequenze di circuiti, una per ogni dimensione di ingresso) di profondità limitata e dimensione polinomiale costruita utilizzando fan-in illimitati AND, OR e NOT.AC0AC0AC^0 La funzione di parità con input -bit è uguale all'XOR dei bit nell'input.⊕⊕\oplusnnn …
1
Permutazione unidirezionale finita con dominio infinito
Sia una permutazione. Nota che mentre agisce su un dominio infinito, la sua descrizione potrebbe essere finita. Per descrizione , intendo un programma che descrive la funzionalità di . (Come nella complessità di Kolmogorov.) Vedi le spiegazioni di seguito. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Ad esempio, la funzione NOT …
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.