Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

3
Quanto è dura la simulazione esatta di algoritmi e un'operazione correlata sulle classi di complessità
Teaser Poiché il problema è lungo, ecco un caso speciale che cattura la sua essenza. Problema: Sia A un algoritmo detrministico per 3-SAT. È il problema di simulare completamente l'algoritmo A (su ogni istanza del problema). P-Space difficile? (Più precisamente, ci sono ragioni per ritenere che questo compito sia difficile …
2
Teoria delle categorie, complessità computazionale e connessioni combinatorie?
Ho cercato di leggere “ Pearls of Functional Algorithm design ”, e successivamente “ The Algebra of Programming ”, e c'è un'ovvia corrispondenza tra tipi di dati definiti ricorsivamente (e polinomialmente) e oggetti combinatori, con la stessa definizione ricorsiva e successivamente leader alle stesse serie di potenze formali (o funzioni …
4
Complessità nel trovare una seconda soluzione data una soluzione corretta a un problema NP-completo
Sto cercando di capire se ci sono risultati generali o esempi riguardanti la completezza NP del problema di trovare una seconda soluzione a un problema NP completo. Più precisamente, sono interessato a qualsiasi problema del seguente modulo: Data una soluzione a un'istanza I di un problema NP-completo, esiste una soluzione …
1
La struttura delle istanze patologiche per gli algoritmi simplex
Per quanto ne so, tutti sanno che le regole pivot deterministiche per gli algoritmi simplex hanno input specifici su cui l'algoritmo richiede tempo esponenziale (o almeno non polinomiale) per trovare l'ottimale. Chiamiamo queste istanze "patologiche" poiché di solito (cioè sulla maggior parte degli input) l'algoritmo simplex termina rapidamente. Ricordo dal …
2
MIP con tester efficaci
È noto che l'insieme di lingue con sistemi di prova interattivi a due prover, in cui il verificatore funziona in tempo polinomiale (MIP), è NEXP. Ma ci sono limiti noti sul potere di tali prove interattive quando i dimostratori sono limitati al potere? Ad esempio, qual è la classe di …
2
Durezza della CLIQUE parametrizzata?
Lascia e considera il problema decisionale0 ≤ p ≤ 10≤p≤10\le p\le 1 CLIQUE Ingresso: intero , grafo con vertici e bordi Domanda: non contiene una cricca su almeno vertici?pp_p G t ⌈ p ( tSSssolsolGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ssolsolGSSs Un'istanza di CLIQUE pp_p contiene una proporzione ppp …
2
È
Nell' "ultimo paragrafo" della "prima pagina" del seguente documento: Vikraman Arvind , Johannes Köbler , Uwe Schöning , Rainer Schuler , "Se NP ha circuiti di dimensioni polinomiali, allora MA = AM," Teoretical Computer Science, 1995. Ho riscontrato un'affermazione piuttosto intuitiva: (ΣP2∩ΠP2)NP=ΣP3∩ΠP3(Σ2P∩Π2P)NP=Σ3P∩Π3P(\Sigma^P_2 \cap \Pi^P_2)^{NP} = \Sigma^P_3 \cap \Pi^P_3 Penso che …
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.