Perguntas com a marcação «polynomial-time»

Li recentemente um comentário interessante em um artigo sobre como a matemática é estranhamente útil. Menciona como o tempo polinomial não precisa ser eficiente na realidade (por exemplo,O (n999999999999999999999)O(n999999999999999999999)O(n^{999999999999999999999})é tempo polinomial, mas não eficiente). No entanto, não é o caso de todos os algoritmos em tempo polinomial também serem realistas, …

7 algorithms  complexity-theory  polynomial-time 

Eu sei pelo Teorema da Dicotomia de Schaefer que apenas alguns tipos de problemas de satisfação estão em P e qualquer outro problema é NP-completo. No entanto, todos os algoritmos que eu conheço usam técnicas específicas únicas para esse tipo de problema - por exemplo, propagação de unidade para Hornsat, …

7 complexity-theory  satisfiability  polynomial-time  sat-solvers 

Eu ouvi aqui que o problema ciclo hamiltoniano é polinomial em gráficos de treewidth limitada. Estou interessado em exemplos / referências a diferentes problemas que são essencialmente difíceis, mas que possuem complexidade polinomial em gráficos de largura de árvore limitada.

7 complexity-theory  graph-theory  reference-request  np  polynomial-time 

Digamos que recebemos nnn conjuntos e o tamanho de sua união é mmm. Gostaríamos de construir um pequeno conjunto que contenha pelo menoskkk do nnn determinados conjuntos. Vamos supor que mmm é menor do que algum polinômio em nnn, ou seja: m&lt;P(n)m&lt;P(n)m < P(n). Nesse caso, existe um algoritmo eficiente …

7 complexity-theory  np-complete  np-hard  polynomial-time 

Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso reduzir o tempo polinomial …

7 complexity-theory  np-complete  reductions  satisfiability  polynomial-time