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

Seja um problema gráfico completo de NP. Suponha que X seja solucionável em tempo polinomial em gráficos de diâmetro delimitado. Em outras palavras, X parametrizado por diâmetro está no XP. (Lembre-se de que um problema está no XP se ele puder ser resolvido no tempo n f ( k ) …

8 graph-theory  parameterized-complexity  fixed-parameter-tractable 

Seja SAT o idioma das instâncias do SAT que contêm variáveis , seja -SAT o idioma das instâncias do SAT nas quais todas as cláusulas têm no máximo k literais, e deixe k -SAT _v ser sua interseção. Seja s_k = \ inf_M \ {\ delta \ mid \ existe …

8 cc.complexity-theory  parameterized-complexity  conditional-results 

Parametrizada máximo problema cláusulas independente: Entrada: fórmula A r-CNFSAT F tendo n variáveis e m cláusulas, k Ques: Does existe pelo menos k cláusulas de tal modo que eles são independentes entre si ou seja, não variável ocorre mais do que uma vez em todos estes cláusulas combinadas. Parâmetro: k …

8 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable