Problemi di grafico duro risolvibili in modo esponenziale


25

Alla luce del recente risultato di Arora, Barak e Steurer, algoritmi subexponential per giochi unici e problemi correlati , sono interessato ai problemi grafici che presentano algoritmi temporali subexponential ma che si ritiene non risolvibili polinomialmente. Un esempio famoso è isomorfismo grafico che ha algoritmo subexponential di 2O(n1/2logn) in fase di esecuzione. Un altro esempio è il problema log-Clique che è risolvibile in tempo quasi polinomiale ( nO(logn) ).

Sto cercando esempi interessanti e preferibilmente un riferimento alle indagini di problemi su grafi principali subexponential (non necessariamente NP -COMPLETE). Inoltre, ci sono delle NP problemi su grafi COMPLETO DI algoritmi tempo subexponential?

Impagliazzo, Paturi e Zane hanno dimostrato che l'ipotesi del tempo esponenziale implica che Clique, k-Colorability e Vertex Cover necessitano di 2Ω(n) tempo.


2
Solo per completezza: log-CLIQUE = {(G,k)|G has n vertices, k=logn and G has a clique of size k}
MS Dousti

Risposte:


20

A proposito, il problema di Max Clique, in generale, può essere risolto in tempo 2O~(N)doveNè la dimensione dell'input.

Questo è banale se il grafico è rappresentato tramite una matrice di adiacenza, perché allora N=|V|2 e una ricerca della forza bruta richiederà tempo 2O(|V|) .

Ma possiamo ottenere lo stesso limite anche se il grafico è rappresentato da elenchi di adiacenza, tramite un algoritmo di tempo di esecuzione . Per vedere come, otteniamo un2 ˜ O (2O~(|V|+|E|)-Time algoritmo per il problema decisionale NP-completo in cui ci viene dato un grafoG=(V,E)eke vogliamo sapere se v'è una cricca di dimensionek.2O~(|V|+|E|)G=(V,E)kk

L'algoritmo rimuove semplicemente tutti i vertici di grado e i bordi incidenti su di essi, quindi lo fa di nuovo, e così via, finché non ci viene lasciato un sottografo indotto dal vertice su un sottoinsieme V di vertici, ciascuno di grado k , o con un grafico vuoto. In quest'ultimo caso, sappiamo che non può esistere cricca di dimensioni k . Nel primo caso, eseguiamo una ricerca di forza bruta in esecuzione nel tempo all'incirca | V | k . Si noti che | E | k | V | / 2 e k <kVkk|V|k|E|k|V|/2, in modo che | E | k 2 / 2 , e così una ricerca di forza bruta in esecuzione in tempo | V | k è effettivamente in esecuzione nel tempo 2 O ( k|V||E|k2/2|V|k.2O(|E|log|V|)


12
In effetti, per questo tipo di motivi Impagliazzo, Paturi e Zane hanno sostenuto che quando si chiede circa vs 2 o ( n ) complessità, è necessario impostare n come dimensione del testimone (che è necessario definire come parte di il problema). Nel caso k -clique il testimone è di dimensioniper piccolo , mentre, come dici tu, puoi supporre che nel wlog ci siano almenobordi e la dimensione di input è molto più grande della dimensione del testimone. 2Ω(n)2o(n)nkkk| V|log(|V|k)klog|V|kk|V|
Boaz Barak,

22

Poiché ogni grafico planare su vertici ha una larghezza di albero , tutti i problemi che sono risolvibili in per i grafici della larghezza di albero al massimo ~ (ci sono MOLTI di questi problemi) hanno algoritmi a tempo esponenziale su grafici planari calcolando un'approssimazione di fattore costante alla larghezza dell'albero nel tempo polinomiale (ad esempio calcolando la larghezza della diramazione con l'algoritmo ratcatcher) e quindi eseguendo l'algoritmo della larghezza dell'albero, con conseguente runtime di il modulo per i grafici su vertici. Esempi sono il Set indipendente planare e il Set dominante planare, che sono ovviamente NP-completi.O ( nO(2 O ( k ) )kO(2 O ( O(n)O(2O(k))knO(2O(n))n


15

Esiste una stretta connessione tra solvibilità temporale sub-esponenziale (SUBEPT) e tracciabilità dei parametri fissa (FPT). Il collegamento tra loro è fornito nel seguente documento.

Un isomorfismo tra teoria della complessità subesponenziale e parametrica , Yijia Chen e Martin Grohe, 2006.

In breve, hanno introdotto una nozione chiamata mappatura di miniaturizzazione , che mappa un problema con parametri in un altro problema con parametri . Visualizzando un problema normale come un problema parametrizzato dalla dimensione di input, abbiamo la seguente connessione. (Vedi il teorema 16 nel documento)( Q , κ )(P,ν)(Q,κ)

Teorema . è in SUBEPT sef è in FPT.( Q , κ )(P,ν)(Q,κ)

k O ( m + n ) 2 O ( kkO(m+n)2O(mlogm)kk

In generale, i problemi di SUBEPT nelle riduzioni SERF (famiglie di riduzione sub-esponenziali) possono essere trasformati in problemi in FPT con riduzioni FPT. (Teorema 20 nel documento) Inoltre, le connessioni sono ancora più forti poiché hanno fornito un teorema di isomorfismo tra un'intera gerarchia di problemi nella teoria della complessità temporale esponenziale e teoria della complessità parametrizzata. (Teorema 25 e 47) Sebbene l'isomorfismo non sia completo (ci sono alcuni collegamenti mancanti tra loro), è comunque bello avere un quadro chiaro di questi problemi e possiamo studiare algoritmi temporali sub-esponenziali attraverso la complessità parametrizzata.

Vedi il sondaggio di Jörg Flum e Martin Grohe, insieme a Jacobo Torán, l'editore della rubrica sulla complessità, per ulteriori informazioni.


Sì. tra l'altro, Flum e Grohe hanno scritto il sondaggio; Toran è l'editor della colonna di complessità.
Andy Drucker,

@Andy: grazie per la correzione. Modifica l'articolo di conseguenza.
Hsien-Chih Chang 張顯 之

12

2o(n)


3
NP

6
NPLNPTIME(nk)L(x,1|x|c)xLc>kLNP2nk/c

7

n/polylog nn

n1o(1)n/polylog n

n/polylog n


2Ω(n)2Ω(Nϵ)N=n1/ϵϵ

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.