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...
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
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,...
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...
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...
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′) ∈ L(x,k)∈eu⇔(x′,k′)∈eu(x,k)...
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...