Domande taggate «cc.complexity-theory»

P contro NP e altri calcoli limitati alle risorse.

2
Quali sono le conseguenze di
Shiva Kintali ha appena annunciato un (cool!) Risultato che isomorfismo grafico per i grafici treewidth limitati di larghezza è ⊕ L -Hard≥ 4≥4\geq 4⊕ L⊕L\oplus L . Informalmente, la mia domanda è: "Quanto è difficile?" Sappiamo che in modo non uniforme , vedi le risposte a questa domanda . Sappiamo …
3
Problemi succinti in
Lo studio della rappresentazione succinta dei grafici è stato avviato da Galperin e Wigderson in un articolo del 1983, in cui dimostrano che per molti semplici problemi come trovare un triangolo in un grafico, la corrispondente versione succinta in . Papadimitriou e Yanakkakis approfondiscono questa linea di ricerca e dimostrano …
2
Qual è la complessità nel distinguere un vero spettro di Fourier da uno falso?
A PHPHPH macchina abbia accesso ad un oracolo casuale booleano funzione f:{0,1}n→{−1,1}f:{0,1}n→{−1,1}f:\{0,1\}^n \to \{ -1,1 \} , e due spettri di Fourier ggg ed hhh . Gli spettri di Fourier di una funzione fff sono definiti come F:{0,1}n→RF:{0,1}n→RF:\{0,1\}^n \to R : F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=∑x∈{0,1}n(−1)(s⋅xmod 2)f(x)F(s)=\sum_{x\in\{0,1\}^n} (-1)^\left( s\cdot x \mod\ 2 \right) …
3
Calcolo di qualsiasi informazione su Max-3SAT
Per una formula 3CNF lasciate sia il numero massimo di clausole soddisfatti in qualsiasi assegnazione a . È noto che Max-3SAT è difficile da approssimare (soggetto a P ≠ NP), cioè non esiste un algoritmo polytime il cui input è una formula 3CNF e il cui output è il numero …
3
Problemi intermedi tra L e NL
È noto che la connettività st diretta è . Risultato svolta di Reingold ha dimostrato che non orientato st-connettività è in L . Planare diretto st-connettività è noto per essere in U L ∩ c o U L . Cho e Huynh definito un problema di zaino parametrizzata ed esposte …
3
Problemi naturali in
Ci sono problemi naturali in che non sono (noti per essere / pensati di essere) in U P ∩ c o U P ?NP∩ c o NPNP∩coNPNP \cap coNPUP∩ c o UPUP∩coUPUP \cap coUP Ovviamente il grosso tutti conoscono in è la versione decisione di factoring (non n hanno un …
4
Copertura impostata per la frequenza limitata della cardinalità limitata: durezza di approssimazione
Considera il problema minimo di copertura dei set con le seguenti restrizioni: ogni set contiene al massimo elementi e ogni elemento dell'universo si presenta al massimo in set.kkkfff Esempio: il caso e equivale al problema di copertura minima del vertice nei grafici con grado massimo 4.k=4k=4k = 4f=2f=2f = 2 …
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.