Informatica teorica oracles

2

Esiste un oracolo tale che SAT non è infinitamente spesso in tempo sub-esponenziale?

Definire - come classe di lingue modo che esista una lingua e per infinitamente molte , e accordo su tutti i casi di lunghezza . (Cioè, questa è la classe di lingue che può essere "risolta all'infinito spesso, in un tempo sub-esponenziale".)i o ioioS U B E X P SUBEXPSUBEXPL …

30 cc.complexity-theory sat oracles

1

Esistono tecniche canoniche non relativizzanti?

In molti settori, ci sono tecniche canoniche che tutti coloro che lavorano sul campo dovrebbero padroneggiare. Ad esempio, per le riduzioni dello spazio dei registri, il "trucco dei bit" per la composizione consiste nel non costruire l'intero output della funzione composta, ma nel chiedere sempre di ricalcolare il risultato per …

28 cc.complexity-theory oracles relativization

3

TM e oracoli limitati dallo spazio

In generale, il nastro di query per un oracolo conta per la complessità dello spazio di una TM. Tuttavia, sembra plausibile consentire un nastro oracolo di sola scrittura (come viene utilizzato nelle riduzioni dello spazio L). Una tale costruzione è utile? Produce risultati particolarmente assurdi?

20 cc.complexity-theory space-bounded oracles

2

Per un oracolo casuale R, BPP equivale all'insieme delle lingue calcolabili in P ^ R?

Bene, il titolo dice praticamente tutto. L'interessante domanda sopra è stata posta dal commentatore Jay sul mio blog (vedi qui e qui ). Immagino sia che la risposta sia sì, sia che ci sia una prova relativamente semplice, ma non sono riuscito a vederlo di persona. (Molto approssimativamente, tuttavia, si …

18 computability oracles random-oracles

2

Ricostruzione di un albero dalle query di separazione

Supponiamo che sia un albero a grado costante di cui non conosciamo la struttura. Il problema è di generare l'albero chiedendo domande del modulo: "Il nodo giace sul percorso dal nodo al nodo ?". Supponiamo che un oracolo possa rispondere a ogni query in tempo costante. Conosciamo il valore di …

18 ds.algorithms reference-request graph-algorithms oracles query-complexity

5

P con oracolo di fattorizzazione a numeri interi

Ho appena letto la domanda " La fattorizzazione a numeri interi è un problema NP-completo? ", Quindi ho deciso di spendere parte della mia reputazione :-) ponendo un'altra domanda con :QQQP( Q è banale ) ≈ 1P(Q è banale)≈1P(\text{Q is trivial}) \approx 1 Se è un oracolo che risolve la …

18 cc.complexity-theory oracles factoring

1

Qual è l'oracolo minimo di complessità che separa PSPACE dalla gerarchia polinomiale?

sfondo È noto che esiste un oracolo AAA tale che, .PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A È anche noto che la separazione è relativa a un oracolo casuale. Informalmente, si può interpretare questo per significare che ci sono molti oracoli per i quali e sono separati.PSPACEPSPACEPSPACEPHPHPH Domanda Quanto sono complicati questi oracoli che …

17 cc.complexity-theory oracles relativization pspace structural-complexity

1

Oracle Construction per l'algoritmo di Grover

In "Quantum Computation and Quantum Information" di Mike e Ike, l'algoritmo di Grover è spiegato in dettaglio. Tuttavia, nel libro, e in tutte le spiegazioni che ho trovato online per l'algoritmo di Grover, sembra non esserci alcuna menzione di come sia costruita l'Oracolo di Grover, a meno che non sappiamo …

16 quantum-computing quantum-information oracles search-problem black-box

3

Teoria della complessità quando un oracolo fa parte dell'input

Il modo più comune in cui si verificano gli oracoli nella teoria della complessità è il seguente: un oracolo fisso è reso disponibile, per esempio, a una macchina di Turing con determinate risorse limitate, e si studia come l'oracolo aumenta la potenza computazionale della macchina. Vi è, tuttavia, un altro …

14 cc.complexity-theory oracles

2

Simulatore esauriente di protocolli a conoscenza zero nel modello Oracle casuale

In un documento intitolato "Sulla negabilità nella stringa di riferimento comune e nel modello Oracle casuale", Rafael Pass scrive: Notiamo che quando si dimostra la sicurezza secondo la definizione standard di conoscenza zero nel modello RO [Oracle casuale], il simulatore presenta due vantaggi rispetto a un simulatore di modello semplice, …

13 cc.complexity-theory cr.crypto-security oracles black-box

1

Circuiti con oracoli vs. Macchine di Turing con oracoli

In parole povere: qual è la corrispondenza tra macchine di Turing con oracoli e famiglie di circuiti uniformi con oracoli? Come vengono definiti questi ultimi al fine di ottenere lo stesso modello computazionale, per una data macchina Oracle Turing? Questa potrebbe essere una domanda elementare, ma non è ovvio dove …

13 cc.complexity-theory turing-machines oracles circuit-families

1

Comprimere informazioni sul problema di arresto per le macchine Oracle Turing

Il problema dell'arresto è noto per essere incontestabile. Tuttavia, è possibile "comprimere" in modo esponenziale le informazioni sul problema di arresto, in modo che la decompressione sia calcolabile. Più precisamente, è possibile calcolare da una descrizione di Macchine di Turing e un consiglio -bit indica la risposta al problema di …

12 computability lower-bounds turing-machines communication-complexity oracles

1

Il teorema di Kannan implica che NEXPTIME ^ NP ⊄ P / poly?

Stavo leggendo un articolo di Buhrman e Homer "Circuiti superpolinomiali, oracoli quasi sparsi e gerarchia esponenziale" . Nella parte inferiore della pagina 2 osservano che i risultati di Kannan implicano che non ha circuiti di dimensioni polinomiali. So che nella gerarchia temporale esponenziale, è solo , e so anche che …

12 cc.complexity-theory complexity-classes time-complexity oracles circuits

1

come oracolo

Fa hold?NPNP∩coNP=NPNPNP∩coNP=NP\mathsf{NP^{NP \,\cap\, coNP}=NP} Chiaramente , ma mi sembra che N P ∩ c o N P sia "deterministico", il che mi fa credere che sia vero.NPNP≠NPNPNP≠NP\mathsf{NP^{NP}\neq NP}NP∩coNPNP∩coNP\mathsf{NP\cap coNP} C'è una semplice prova (o forse solo per definizione)?

12 cc.complexity-theory complexity-classes oracles

1

Oracle relativo al quale

Complexity Zoology di Greg Kuperberg afferma che esiste un linguaggio XXX tale che BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X - in altre parole, BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ma non fornisce un riferimento per questo risultato. Perché questo vale? O dove è possibile trovare una prova? Questa domanda è in parte motivata dalla …

12 cc.complexity-theory oracles relativization polynomial-hierarchy separation

Domande taggate «oracles»