Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Un problema naturale in
La classe di complessità è definita come segue (da Wikipedia ):SP2S2P\textrm{S}_2^\textrm{P} Una lingua è in S P 2 se esiste un predicato polinomiale P tale cheLLLSP2S2PS_2^PPPP Se , allora esiste una y tale che per tutte z , P ( x , y , z ) = 1x ∈ Lx∈Lx …
1
Perché la congettura del log-rank usa il rank over the reals?
Nella complessità della comunicazione, la congettura log-rank afferma che cc(M)=(logrk(M))O(1)cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Dove è la complessità della comunicazione di e è il rango di (come una matrice) rispetto ai reali.M ( x , y ) r k ( M ) Mcc(M)cc(M)cc(M)M(x,y)M(x,y)M(x,y)rk(M)rk(M)rk(M)MMM Tuttavia, quando stai semplicemente usando il metodo rank …
1
Prove in
In un discorso di Razborov, viene pubblicata una curiosa piccola affermazione. Se FACTORING è difficile, il piccolo teorema di Fermat non è dimostrabile in .S12S21S_{2}^{1} Che cos'è e perché le prove correnti non sono in S_ {2} ^ {1} ? S12S21S_{2}^{1}S12S21S_{2}^{1}
1
Equilibratura formula booleana in
Sto cercando riferimenti sulla complessità del problema di bilanciamento della formula booleana . In particolare, Era noto che le formule booleane possono essere bilanciate in AC0AC0\mathsf{AC^0} ? Esiste una semplice prova del bilanciamento della formula booleana in AC0AC0\mathsf{AC^0} ? Per "semplice" intendo una dimostrazione più semplice di quella che menziono …
1
Perché i limiti inferiori per i circuiti booleani non implicano i limiti inferiori dei circuiti aritmetici
La mia domanda è: perché limiti inferiori per circuiti booleani con profondità 3 con porte "e" e "xor" per determinante non implicano gli stessi limiti inferiori per circuiti aritmetici su ?ZZ\mathbb{Z} Cosa c'è di sbagliato nel seguente argomento: Sia un determinante per il calcolo del circuito aritmetico, quindi prendendo tutte …
3
Qual è la simulazione più veloce conosciuta di BPP usando gli algoritmi di Las Vegas?
B P PBPP\mathsf{BPP} eZ P PZPP\mathsf{ZPP} sono due delle classi di complessità probabilistica di base. B P PBPP\mathsf{BPP} è la classe di linguaggi decisa da algoritmi probabilistici di Turing a tempo polinomiale in cui la probabilità che l'algoritmo restituisca una risposta errata è limitata, ovvero la probabilità di errore è …
1
È
Non sono stato in grado di trovare una dichiarazione relativa a e N P R P in letteratura; i puntatori sarebbero apprezzati.M AMA\mathsf{MA}N PR PNPRP\mathsf{NP}^\mathsf{RP} Credo che siano uguali: : lamacchina N P indovina la corda di Merlino e l'oracolo R P verifica la corda come Arthur.M A ⊆ N …
4
Risultati Oracle su P vs BPP
Sia qualsiasi problema EXP completo. Poi, .P A = N P AAAAPA=NPAPA=NPAP^A = NP^A Lasciate che sia un po 'di oracolo che tiene i conti le query che (una TM in P) farà, e siamo in grado di ottenere .M P B ≠ N P BBBBMMMPB≠NPBPB≠NPBP^B \neq NP^B Domanda: Abbiamo …
2
Decisione dell'omomorfismo grafico
L'omomorfismo del grafico decisivo è in generale NP-completo. Ci sono risultati che studiano questo problema quando i grafici sottostanti hanno una struttura algebrica (come decidere omomorfismi dai grafici coset di Cayley o Cayley ad altri grafici con una struttura definita pure)? Oltre ai risultati di complessità, sono anche interessato a …
1
Modo uniforme di quantificare la "ramificazione" nel calcolo non deterministico, probabilistico e quantistico?
Il calcolo di una macchina di Turing non deterministica (NTM) è ben noto per essere rappresentabile come un albero di configurazioni, radicato alla configurazione iniziale. Qualsiasi transizione nel programma è rappresentata da un collegamento padre-figlio in questo albero. Alberi simili possono anche essere costruiti per visualizzare i calcoli di macchine …
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.