Perguntas com a marcação «np-complete»

3-PARTITION é fortemente NP-completo , isto é, permanece NP-completo mesmo se a entrada for dada como unária. Estou pesquisando dois ou três exemplos de problemas não numéricos (possivelmente bem conhecidos) que provaram ser NP-completos usando uma redução de 3-PARTITION (e a redução obviamente depende da fortemente np-completude). Gostaria das referências …

7 reference-request  np-complete 

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 

O que um algoritmo pseudo-polinomial nos diz sobre o problema que resolve? Não vejo como o tempo de execução melhora se o algoritmo for exponencial no comprimento da entrada e polinomial no valor da entrada; Então, como explicar essa mudança de exponencial para polinomial?

7 algorithms  complexity-theory  np-complete  pseudo-polynomial 

Estou interessado em conhecer a complexidade do problema NAE-HORN-SAT (nem todos iguais). Sabemos que o HORNSAT é completo, mas, por outro lado, o NAE-SAT é completo. Quero saber o que podemos dizer sobre o problema NAE-HORN-SAT. Deixe-me definir o problema formalmente:PP\mathsf{P}NPNP\mathsf{NP} Dado: Uma fórmula booleana é dada a nós no …

7 complexity-theory  np-complete  satisfiability 

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