Problemas difíceis de extensibilidade

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 $NP$ 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).

— Mohammad Al-Turkistany
fonte

Não sei se existe uma pesquisa sobre problemas de extensibilidade , mas pelo menos um desses problemas muito bem estudados é a extensão pré - coloração . Você encontrará muitos hits pesquisando o nome do problema.

— Juho

Duas notas: 1) existem problemas de NPC que não podem ser transformados em um problema de extensibilidade difícil? 2) Eu acho que seria muito interessante também uma pesquisa focada apenas em problemas de extensibilidade, para os quais o problema "básico" tem complexidade desconhecida (por exemplo, o problema de retângulo monocromático livre ou alguns jogos de quebra-cabeça)

— Marzio De Biasi

@MarzioDeBiasi Comentário muito interessante. 1) Não conheço nenhum exemplo. 2) GI é um bom candidato e acho que seu problema de extensibilidade é NP-completo.

— Mohammad Al-Turkistany

A versão da extensão dos problemas do NP-hard é NP-hard (faça uma pesquisa ambiciosa de certificado usando o oracle).

— Kaveh

@MarzioDeBiasi: A capacidade de extensão GI é de fato completa GI (não apenas GI-hard, que acredito ser o que você quis dizer) e, portanto, não NP-completa, a menos que o PH entre em colapso. A extensibilidade de IG pode ser reformulada como IG de cor de vértice (onde os vértices de uma determinada cor só podem mapear para vértices da mesma cor), o que reduz a IG de várias maneiras (uma das quais é anexar dispositivos a vértices, similar a sua ideia

K_{n}

$K_n$

— Joshua Grochow

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á vértices, que iremos denotar por para $n=k^2$ $n^2$ $(r_1, r_2; c_1, c_2)$ . Para cada fixo, os vérticesformam umclique; para cada fixoos vérticesformam umclique; e para cada fixo $r_1,r_2,c_1,c_2 \in [k] = [\sqrt{n}]$ $(r_1,r_2)$ $(r_1, r_2; *, *)$ $n$ $(c_1, c_2)$ $(*, *; c_1, c_2)$ $n$ , os vértices formam um clique. $(r_1, c_1)$ $(r_1, *; c_1, *)$ $n$

— Joshua Grochow
fonte