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

Certos problemas são conhecidos por serem indecidíveis, mas, no entanto, é possível progredir na solução deles. Por exemplo, o problema de parada é indecidível, mas é possível progredir na criação de ferramentas para detectar possíveis loops infinitos em seu código. Os problemas de lado a lado são muitas vezes indecidíveis …

48 computability  approximation-algorithms  parameterized-complexity  halting-problem 

Estou interessado na complexidade parametrizada do que chamarei de problema do conjunto de batida d-dimensional: dado um espaço de intervalo (isto é, um sistema definido / hipergrafo) S = (X, R) tendo a dimensão VC no máximo d e um número inteiro positivo k, X contém um subconjunto de tamanho …

37 cc.complexity-theory  cg.comp-geom  set-cover  parameterized-complexity  vc-dimension 

Digamos que temos um problema computacional, por exemplo, 3-SAT, que tem um conjunto de instâncias de problemas (possíveis entradas) . Normalmente, na análise de algoritmos ou teoria da complexidade computacional, temos alguns conjuntos de todas as entradas de comprimento e uma função que fornece o tempo de execução de algum …

21 cc.complexity-theory  kolmogorov-complexity  parameterized-complexity  succinct  analysis-of-algorithms 

Na complexidade parametrizada, . É conjecturado que cada uma das contenções é adequada.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ … ⊆ W [ P]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Se então .P = …

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

A largura da árvore desempenha um papel importante nos algoritmos do FPT, em parte porque muitos problemas são parametrizados pelo FPT pela largura da árvore. Uma noção relacionada, mais restrita, é a de largura de caminho. Se um gráfico tem largura de caminho , ele também tem largura de árvore …

18 parameterized-complexity  treewidth  graph-minor 

Eu gostaria de aprender sobre a complexidade parametrizada (tanto no lado algorítmico quanto no lado da dureza). Que livros / notas de aula posso ler sobre esse assunto?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

E se alguma coisa for conhecida sobre a complexidade parametrizada da computação do número de interseção de um gráfico (o menor número de cliques necessário para cobrir todas as suas arestas)? Há muito que se sabe que o NP está completo, e obviamente é o FPT porque possui um núcleo: …

17 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Seja 0≤p≤10≤p≤10\le p\le 1 e considere o problema de decisão CLICK p entrada: número inteiro s , gráfico G com t vértices e arestas Pergunta: O conter uma clique sobre, pelo menos, vértices?pp_p sssGGGttt⌈p(t2)⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil sGGGsss Uma instância de CLIQUE pp_p contém uma proporção ppp de todas as arestas …

17 cc.complexity-theory  np  parameterized-complexity  clique 

Dado um gráfico não direcionado de vértices , qual é o tempo de execução mais conhecido para encontrar um subgráfico que é uma biclique ? Existem algoritmos parametrizados mais rápidos que o algoritmo de tempo \ binom {n} {k} \ mbox {poly} (n) de "adivinhar" um lado da biclique e …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

Como todos sabem, o famoso livro de Garey e Johnson (e muitos outros) fornece uma excelente referência para a técnica de redução no cenário clássico. Existem pesquisas ou livros sobre o tópico da técnica de redução no algoritmo parametrizado, digamos a redução de fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

Quando recebemos uma decomposição em árvore de um gráfico com largura , existem várias maneiras pelas quais podemos torná-lo "agradável". Em particular, sabe-se que é possível transformá-lo em uma decomposição de árvore onde a árvore é binária e sua altura é . Isso pode ser conseguido mantendo a largura da …

15 treewidth  parameterized-complexity  fixed-parameter-tractable  cliquewidth 

Dado um gráfico, , que deseja encontrar uma óptima -domination para . Isto é, I quer um subconjunto de de tal modo que todos os vértices em estão a uma distância de, no máximo, de algum vértice em , enquanto minimiza o tamanho de .G = ( V, E)G=(V,E)G = …

14 graph-algorithms  np-hardness  treewidth  parameterized-complexity  fixed-parameter-tractable 

Motivação: Um co-autor edita um manuscrito e eu gostaria de ver um resumo claro das edições. All "diff" -como ferramentas tendem a ser inútil se você está tanto em movimento texto ao redor (por exemplo, re-organização da estrutura) e fazer edições locais. É realmente tão difícil acertar? Definições: eu gostaria …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

A tampa do vértice pode ser facilmente reduzida para conjunto independente e vice-versa. No entanto, no contexto de complexidade parametrizada, o conjunto Independente é mais difícil que o Vertex Cover. Existe um kernel com 2k2k2k vértices para a Vertex Cover, mas o Conjunto Independente é W 1 rígido. Como a …

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

A hierarquia é uma hierarquia de classes de complexidade em complexidade parametrizada, consulte o Zoológico da Complexidade para obter definições. Uma definição alternativa define usando a definibilidade ponderada de Fagin para as lógica de primeira ordem; consulte o livro de Flum e Grohe .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Para as classes mais baixas e …

13 cc.complexity-theory  parameterized-complexity