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

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 

Atualmente, estou fazendo uma pesquisa bibliográfica sobre o problema de isomorfismo de grafos (IG). Gostaria de saber algumas perguntas abertas relacionadas aos seguintes Quais são os parâmetros gráficos para os quais a rastreabilidade de parâmetros fixos da GI é um problema em aberto. Quais são os parâmetros gráficos, fixando-os a …

18 graph-isomorphism  fixed-parameter-tractable 

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 

O problema da kkk ciclo é o seguinte: Instância: Um gráfico não direcionado GGG com nnn vértices e até arestas.( n2)(n2)n \choose 2 Pergunta: Existe um ciclo- (adequado) em ?GkkkGGG Antecedentes: Para qualquer fixo , podemos resolver ciclo em .2 k O ( n 2 )kkk2 k2k2kO (n2)O(n2)O(n^2) Raphael Yuster, …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

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 

Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .f( K ) . p ( | x | …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Parâmetro fixo e aproximação são abordagens totalmente diferentes para resolver problemas difíceis. Eles têm motivação diferente. A aproximação procura resultados mais rápidos com a solução aproximada. O parâmetro fixo procura uma solução exata com complexidade de tempo em termos da função exponencial ou de alguma função da função polinomial de …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

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 

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 

No artigo de Stephen Cook sobre o problema P vs NP, [1] ele afirma o seguinte [2]: Tese de Viabilidade: Um problema natural tem um algoritmo viável se tiver um algoritmo de tempo polinomial. Minha pergunta é: o que exatamente ele (ou, em geral, realmente, o que alguém) quer dizer …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

Conjectura de Berman-Hartman: todas as linguagens completas de NP são parecidas, no sentido de que podem ser relacionadas entre si por isomorfismos polinomiais no tempo [1]. Estou interessado em uma versão mais refinada do "tempo polinomial", isto é, se usarmos reduções parametrizadas. Um problema com parâmetros é um subconjunto de …

10 complexity-classes  np-complete  fixed-parameter-tractable 

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 

A Wikipedia escreve: O FPT contém os problemas tratáveis ​​do parâmetro fixo, que são aqueles que podem ser resolvidos no tempo para alguma função computável . Normalmente, essa função é considerada exponencial única, como mas a definição admite funções que crescem ainda mais rapidamente. Isso é essencial para grande parte …

10 cc.complexity-theory  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