Problemi di estensibilità difficile


13

Nel problema dell'estensibilità, ci viene data parte della soluzione e vogliamo decidere se possiamo estenderla a una soluzione completa. Alcuni problemi di estensibilità sono risolvibili in modo efficiente, mentre altri problemi di estensibilità trasformano un problema facile in difficile.

Ad esempio, Konig-Hall teorema afferma che tutti i grafi bipartiti cubici sono 3 taglienti colorabile ma la versione estendibilità diventa NP -complete se ci sono dati i colori di alcuni bordi.

Sto cercando un documento di indagine sui problemi di estensibilità difficile in cui il problema di base è semplice (o banale come nell'esempio sopra).


1
Non so se esiste un sondaggio sui problemi di estensibilità, ma almeno un problema molto ben studiato è l'estensione precolorante . Troverai molti risultati alla ricerca del nome del problema.
Juho,

Due note: 1) ci sono problemi NPC che non possono essere trasformati in un duro problema di estensibilità? 2) Penso che sarebbe molto interessante anche un sondaggio che si concentra solo su problemi di estensibilità, per i quali il problema "base" ha una complessità sconosciuta (ad esempio il problema del rettangolo monocromatico o alcuni giochi puzzle)
Marzio De Biasi

@MarzioDeBiasi Commento molto interessante. 1) Non conosco alcun esempio del genere. 2) GI è un buon candidato e immagino che il suo problema di estensibilità sia NP-completo.
Mohammad Al-Turkistany,

1
La versione di estensione dei problemi NP-hard è NP-hard (cerca avidamente il certificato usando l'oracolo).
Kaveh,

2
@MarzioDeBiasi: l'estensibilità gastrointestinale è effettivamente GI-completo (non solo GI-hard, che credo sia ciò che intendevi dire), e quindi non NP-completo a meno che il PH non collassi. L'estendibilità GI può essere riformulata come GI di colore vertice (in cui i vertici di un determinato colore possono essere mappati solo a vertici dello stesso colore), il che si riduce a GI in diversi modi (uno dei quali è quello di collegare gadget a vertici, simili al idea). Kn
Joshua Grochow,

Risposte:


10

n-colorare il grafico di Sudoku di nxn è banale, ma se alcuni dei colori ti vengono dati (la versione di estensibilità) diventa NP-completo.

Per "grafico del Sudoku" intendo il grafico naturale il cui problema colorante associato è il Sudoku. Vale a dire, supponiamo che sia un quadrato. Il grafico avrà n 2 vertici, che indicheremo con ( r 1 , r 2 ; c 1 , c 2 ) per r 1 , r 2 , c 1 , c 2[ k ] = [ n=k2n2(r1,r2;c1,c2). Per ogni fisso(r1,r2), i vertici(r1,r2;,)formano unn-clique; per ogni fisso(c1,c2)i vertici(,;c1,c2)formano unn-clique; e per ogni fisso(r1,c1r1,r2,c1,c2[k]=[n](r1,r2)(r1,r2;,)n(c1,c2)(,;c1,c2)n(r1,c1)(r1,;c1,)n

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.