No problema de extensibilidade, recebemos parte da solução e queremos decidir se podemos estendê-la para uma solução completa. Alguns problemas de extensibilidade são solucionáveis com eficiência, enquanto outros problemas de extensibilidade transformam um problema fácil em um difícil.
Por exemplo, Konig-Hall teorema afirma que todos os grafos bipartidos cúbicos são colorable 3 de ponta, mas a versão extendability torna-se -completo se são dadas as cores de algumas arestas.
Estou procurando um documento de pesquisa com problemas difíceis de extensibilidade, onde o problema básico é fácil (ou trivial, como no exemplo acima).
cc.complexity-theory
reference-request
graph-theory
np-hardness
Mohammad Al-Turkistany
fonte
fonte
Respostas:
n-colorir o gráfico nxn Sudoku é trivial, mas se algumas das cores lhe forem fornecidas (a versão extensível), ela se tornará NP-completa.
Por "gráfico do Sudoku", quero dizer o gráfico natural cujo problema de coloração associado é o Sudoku. Ou seja, suponha que seja um quadrado. O gráfico terá n 2 vértices, que iremos denotar por ( r 1 , r 2 ; c 1 , c 2 ) para r 1 , r 2 , c 1 , c 2 ∈ [ k ] = [ √n = k2 n2 ( r1, r2; c1, c2) . Para cada fixo(r1,r2), os vértices(r1,r2;∗,∗)formam umn-clique; para cada fixo(c1,c2)os vértices(∗,∗;c1,c2)formam umn-clique; e para cada fixo(r1,c1r1, r2, c1, c2∈ [ k ] = [ n--√] ( r1, r2) ( r1, r2; ∗ , ∗ ) n ( c1, c2) ( ∗ , ∗ ; c1, c2) n , os vértices ( r 1 , ∗ ; c 1 , ∗ ) formam um n- clique.( r1, c1) ( r1, ∗ ; c1, ∗ ) n
fonte