Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

1
Analisi uniforme degli algoritmi di approssimazione
NP≠ZPPNP≠ZPP\mathsf{NP}\ne \mathsf{ZPP}NPNP\mathsf{NP} È stato svolto un lavoro sull'analisi semplificata per i rapporti dell'algoritmo di approssimazione. C'è Rao Raghavendra, Probabilistic and Smoothed Analysis of Approximation Algorithms , 2008, che tenta di fornire un miglioramento dell'approssimazione legata all'algoritmo Christofides con un'analisi uniforme. Tuttavia, non viene fornito alcun rapporto di approssimazione esplicito. C'è …
1
Teorema di Schaefer e CSP di larghezza illimitata
Il teorema di dicotomia di Schaefer mostra che ogni problema CSP su è o risolvibile in tempo polinomiale o è NP-completo. Questo vale solo per problemi CSP di larghezza limitata, esclusi SAT e Horn-SAT, per esempio. I problemi generali CSP di larghezza illimitata possono essere molto difficili (anche non calcolabili), …
1
Solutori NP ottimali
Risolvi un problema di ricerca NP completo, ad es. Il modulo di ricerca di SAT. La ricerca di Levin fornisce un algoritmo per risolvere che è ottimale in un certo senso. In particolare, l'algoritmo è "Esegui tutti i possibili programmi in coda di rondine sull'input , una volta che alcuni …
1
Risultati negativi sull'approccio di particelle identiche al problema dell'isomorfismo grafico (GI)
Ci sono stati alcuni sforzi per attaccare il problema dell'isomorfismo grafico usando la camminata casuale quantistica di bosoni hard-core (simmetrici ma senza doppia occupazione). Il potere simmetrico della matrice di adiacenza, che sembrava promettente, si è rivelato incompleto per i grafici generali in questo articolo di Amir Rahnamai Barghi e …
1
Gli algoritmi quantistici con accelerazione esponenziale possono essere redivivati ​​utilizzando i programmi span?
L'avversario generale con limite inferiore ora è noto per caratterizzare la complessità delle query quantistiche a causa del lavoro rivoluzionario di Reichardt et al. La stessa linea di lavoro stabilisce anche connessioni al framework del programma span per progettare algoritmi quantistici. Molti interessanti algoritmi quantistici, compresi quelli con accelerazione esponenziale …
3
AM / MA e NP in analogia a P e BPP
Arora e Barak mostrano che può essere espresso come B P ⋅ N P, ovvero l'insieme delle lingue che hanno riduzioni randomizzate a 3SAT. M A è anche una generalizzazione randomizzata naturale di N P in quanto si sostituisce il verificatore deterministico con uno verificabile randomizzato.AMAM\mathsf{AM}BP⋅NPBP⋅NP\mathsf{BP}\cdot \mathsf{NP}MAMA\mathsf{MA}NPNP\mathsf{NP} C'è un senso …
2
Ridurre le domande di soglia alle domande di finitezza
Di solito è più semplice ragionare sul calcolo in cui la limitazione è la finezza del calcolo piuttosto che una soglia come "calcolabile in termini di tempo polinomiale". Nella teoria dei linguaggi formali per esempio, piuttosto di usare ∃n.xn+1=xn∃n.xn+1=xn\exists n. x^{n+1} = x^n per caratterizzare il monoïd aperiodico, è più …
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.