Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Garanzie teoriche per i tempi di esecuzione dei metodi di propagazione delle credenze?
La propagazione delle credenze ha dimostrato di essere un metodo molto potente attraverso la ricerca di modelli grafici probabilistici. Tuttavia, non so nulla di BP paragonabile ai metodi MCMC in cui possiamo avere schemi di approssimazione randomizzati completamente polinomiali (FPRAS) per problemi di # P-completi. Qualcuno potrebbe indicarmi alcuni riferimenti?
1
Qual è la profondità minima richiesta di riduzioni per la durezza NP di SAT?
Come tutti sanno, SAT è completo per le riduzioni di molti tempi di wrt polinomiale. È ancora completo riduzioni .NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} La mia domanda è: qual è la profondità minima richiesta per le riduzioni? Più formalmente, Qual è il minimo tale che SAT è -hard riduzioni ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Mi sembra che dovrebbe …
1
Trasformazione Beigel-Tarui di cricuits ACC
Sto leggendo l'appendice sui limiti inferiori dell'ACC per il NEXP nel libro Computational Compity di Arora e Barak . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf Uno dei lemmi chiave è una trasformazione da circuiti ACC0ACC0ACC^{0} in polinomi multilineari sugli interi con grado pollogaritmico e coefficienti quasipolinomiali, o equivalentemente , la classe di circuiti , che …
6
variazioni di SAT
Ho cercato su Internet, ma non sono riuscito a trovare alcuna "grande lista" di varianti del problema SAT. A parte il (comune) SAT, k-SAT, MAX-KSAT, Half-SAT, XOR-SAT, NAE-SAT quali altre varianti ci sono? (inoltre sarà molto utile se vengono fornite classi di complessità (ove possibile))
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
2
Parity-P è contenuto in PP?
Questa domanda è stata posta da Jan Pax sulla mailing list Foundations of Mathematics . Certamente ma sospetto dalle risposte a questa domanda che non si sa se (altrimenti, sarebbe uno possibile risposta a tale domanda). Se non è noto, esiste una separazione degli oracoli?P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP}⊕P⊆PP⊕P⊆PP\oplus …
2
Approcci all'IG ispirati al problema del nodo
Problema GI e Knot entrambi sono problemi nel decidere l'equivalenza strutturale degli oggetti matematici. Ci sono risultati che stabiliscono connessioni tra di loro? Sono state esplorate belle connessioni del problema del nodo alla fisica statistica tramite i polinomi del nodo , ci sono risultati simili per ?G IsolioGI Sarebbe particolarmente …
1
Si può provare usando il teorema di Linial-Mansour-Nisan e la conoscenza dello spettro di di ?
Risultato 1: il teorema di Linial-Mansour-Nisan afferma che il peso quadruplo delle funzioni calcolate dai è concentrato su sottoinsiemi di piccole dimensioni con elevata probabilità.AC0AC0\mathsf{AC}^0 Risultato 2: ha il suo peso di quattro volte concentrato sul coefficiente di grado .P A R I T YPARITY\mathsf{PARITY}nnn Domanda: c'è un modo per …
2
Panorama dei sistemi di prova interattivi
La mia prima domanda è se una caratterizzazione del sistema di prove interattive è nota per tutte le classiche classi di complessità. Chiamerei P, NP, PSPACE, EXP, NEXP, EXPSPACE, funzioni ricorsive e ricorsivamente enumerabili classiche (tra le altre). In particolare, una caratterizzazione del sistema di prove interattive è nota per …
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.