Perguntas com a marcação «parameterized-complexity»

10
Quais problemas de gráfico são difíceis de em gráficos direcionados (/ ponderados), mas FPT em gráficos não direcionados (/ não ponderados)?

Após as perguntas equivalentes sobre NP-Completeness (consulte a pergunta sobre peso e a pergunta direcionada ), fiquei pensando como os problemas parametrizados são afetados por esses atributos. Quais gráfico duro são -Duro em gráficos direcionados, mas parâmetros fixos tratáveis ​​em...

10
Kernel polinomial para

O problema parametrizado do k-FLIP SAT é definido como: Entrada: uma fórmula 3-CNF com n variáveis ​​e uma atribuição de verdade σ : [ n ] → { 0 , 1 } Parâmetro: k Pergunta: podemos transformar a atribuição σ em uma atribuição satificante σ ′ para φ inverter o valor de verdade de no máximo k...