Perguntas com a marcação «fixed-parameter-tractable»

Estou procurando problemas difíceis de resolver no tempo do FPT, mas que possuem um algoritmo de aproximação. Ou seja, problemas que são: R1. W [1] -hard. R2. Admita um algoritmo de aproximação (de preferência constante) no tempo do FPT. O problema com o qual estou familiarizado é contar o número …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

Problema clássico: Seja dado um número . O problema da classe é o seguinte.kkkkkk Dado um gráfico , existe um subconjunto de vértices para que quaisquer dois vértices de sejam adjacentes?GGGSSSkkkSSS Problema do hipergrafo: Seja dado os números e . O problema -hiperclique é o seguinte.ccckkk(c,k)(c,k)(c,k) Dado um hipergrafo uniforme …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

Um resultado fundamental na complexidade parametrizada dos problemas gráficos é que VERTEX COVER parametrizado pelo tamanho da solução é um parâmetro fixo-tratável (FPT). Por outro lado, quando parametrizado pelo "parâmetro duplo" , torna-se equivalente a INDEPENDENT SET parametrizado pelo tamanho da solução (porque qualquer cobertura de vértice é o complemento …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

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 

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