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

De acordo com o artigo da Wikipedia sobre esquemas de aproximação de tempo polinomial : Todos os problemas no FPTAS são tratáveis ​​com parâmetros fixos. Esse resultado me surpreende - essas classes parecem ser totalmente diferentes umas das outras. O FPTAS caracteriza problemas pela facilidade com que são aproximados, enquanto …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Estou procurando um artigo fácil e introdutório sobre a prova do Teorema de Courcelle . Também estou interessado em sua conexão com a complexidade parametrizada em relação à largura da árvore . Eu sou apenas um iniciante neste campo. Alguma sugestão?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity 

Dado um gráfico , encontre vértices , cuja remoção resultaria em um gráfico com o menor componente maior. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Presumo quee grande o problema é difícil (NP-difícil), mas estou interessado em pequenos valores de k ( k \ in \ {1, 2, 3, 4 \} ).n=|V|n=|V|n = …

8 algorithms  complexity-theory  graph-theory  parameterized-complexity 

Largura da árvore : 1) Por gráficos de acordes : tamanho da maior camarilha(ω(G))(ω(G))(\omega (G))- 1 em uma conclusão cordial do gráficoGGG. 2) Por decomposição de árvores : Uma decomposição de árvores de G=(V,E)G=(V,E)G = (V , E) consiste em uma árvore TTT (em um conjunto de nós diferente de …

7 graph-theory  parameterized-complexity 

Alguém pode me explicar o que são os kernels (problemáticos) e qual a utilidade deles? Meus slides dizem: O kernel de um problema parametrizado eueuL é uma transformação ( x , k ) ↦ (x′,k′)(x,k)↦(x′,k′)(x,k) \mapsto (x',k') de tal modo que: ( x , k ) ∈ L ⇔ (x′,k′) …

7 parameterized-complexity  algorithm-design 

Deixei ΠΠ\Pium problema de contagem parametrizado , em que o parâmetro é o custo da solução, por exemplo, contar o número dekkkde vértice de tamanho médio em um gráfico, parametrizado por kkk. Assuma isso ΠΠ\Pi é #W#W\#W[1] -complete (um problema conhecido, por exemplo, seria contar o número de caminhos simples …

7 complexity-theory  approximation  counting  parameterized-complexity 

Eu já vi alguns problemas que são difíceis de NP, mas polinomialmente solucionáveis ​​em dimensão fixa. Penso que os exemplos são a mochila que pode ser resolvida em tempo polinomial se o número de itens for fixo e a Programação Linear Inteira com número fixo de variáveis ​​ou restrições pelo …

7 np-complete  optimization  decision-problem  linear-programming  parameterized-complexity