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

A largura da árvore e a largura do caminho são parâmetros populares, medindo a proximidade de um gráfico a uma árvore ou um caminho, respectivamente. De fato, parece que a largura da árvore é tão popular que é apresentada em muitos artigos, livros e notas de aula que dão (mesmo …

13 reference-request  graph-algorithms  parameterized-complexity 

O peso de uma cadeia binária x ∈ { 0 , 1 } n é o número de unidades na cadeia. O que acontece se estivermos interessados ​​em calcular uma função monótona em entradas com poucas?| x ||x||x|x ∈ { 0 , 1 }nx∈{0,1}nx\in\{0,1\}^n Sabemos que decidir se um gráfico …

12 cc.complexity-theory  lower-bounds  circuit-complexity  parameterized-complexity  monotone 

Seja uma fórmula 2CNF um número inteiro não negativo. Está provado neste artigo que o problema de decidir se é possível excluir no máximo cláusulas para tornar satisfatório é um parâmetro fixo tratável, onde é o parâmetro. Minha pergunta é se há algum trabalho que generalize esse resultado para outro …

12 parameterized-complexity  csp  fixed-parameter-tractable 

Deixe e denote por o conjunto de todos os gráficos que podem ser incorporados em uma superfície do gênero modo que todos os vértices estejam situados na face externa . Por exemplo, é o conjunto de gráficos externos. A largura da árvore dos gráficos em ser delimitada por alguma função …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada: Duas expressões regulares e E …

11 cc.complexity-theory  reference-request  regular-language  parameterized-complexity  regular-expressions 

Você conhece problemas difíceis de W [1] mesmo para gráficos de graus delimitados? A dimensão métrica é difícil em gráficos com grau no máximo 3, mas é W [2] -hard. O Non-blocker Vermelho-Azul costumava ser W [1] -hard nos gráficos de graus limitados, mas houve um erro na prova (livro …

11 reference-request  parameterized-complexity 

Na complexidade parametrizada, as pessoas usam a redução de FPT (Trace-Parametrable-Fixed) para provar a dureza W [t]. Teoricamente, uma redução de FPT não é uma redução de tempo polinomial, pois pode ser executada exponencialmente no parâmetro k. Mas, na prática, todas as reduções de FPT que eu vi são reduções …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

Suponha que é uma linguagem parametrizada em relação a algum alfabeto . A fatia de é , o conjunto de instâncias em que têm o parâmetro . A classe de complexidade contém as linguagens parametrizadas modo que para cada , possivelmente com um algoritmo diferente e tempo de execução polinomial …

10 cc.complexity-theory  reference-request  parameterized-complexity 

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 gráficos não direcionados?NPNPNPW[1]W[1]W[1] Quais gráfico difícil de são difíceis de …

10 cc.complexity-theory  graph-algorithms  parameterized-complexity  fixed-parameter-tractable 

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 …

10 parameterized-complexity  fixed-parameter-tractable 

Eu sou um pesquisador que trabalha na teoria de algoritmos e complexidade, eu uso a complexidade parametrizada até certo ponto. Para mim, parece que os pesquisadores com complexidade parametrizada são muito ativos (não quero dizer que outros não sejam) em termos de número de trabalhos de pesquisa. Vi que pesquisadores …

9 soft-question  parameterized-complexity 

Seja uma família de subconjuntos de elementos- de um universo finito de objetos. Uma família de subconjuntos de elementos de , com , é um conjunto de batidas de - se para cada existir pelo menos um conjunto tal que .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

Em uma pergunta anterior parametrizada algoritmo para encontrar Bicliques , perguntei se não foram rápido parametrizada algoritmos para encontrar um -biclique em uma n grafo vértice e aprendeu que foi aberto se é FPT wrt k . É o mesmo verdade para contar o k × k -bicliques, ou é …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

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 

A seguinte noção de algoritmo de destilação vem de "Em problemas sem núcleos polinomiais". Seja dada uma língua Um algoritmo de destilação para L pega uma determinada lista de cadeias de entrada { x i } i ∈ [ t ] e calcula uma cadeia de saída y de modo …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace