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

Meu palestrante fez a declaração Qualquer problema finito não pode ser NP-Complete Ele estava falando sobre o Sudoku na época dizendo algo do tipo: para um Sudoku 8x8, existe um conjunto finito de soluções, mas não me lembro exatamente o que ele disse. Anotei a nota que citei, mas que …

13 np-complete  np 

Suponha .P≠NPP≠NPP\neq NP O que podemos dizer sobre os limites de tempo de execução de todos os problemas de NP-complete? ou seja, quais são as funções mais restritas para as quais podemos garantir que um algoritmo ideal para qualquer problema completo de NP seja executado no tempo de pelo menos …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

O problema 3-partição pergunta se um conjunto de inteiros pode ser dividida em n conjuntos de três números inteiros tais que cada conjunto somas até algum dado número inteiro B . O problema da partição balanceada pergunta se 2 n inteiros podem ser particionados em dois conjuntos iguais de cardinalidade, …

13 complexity-theory  reductions  np-complete 

O conhecido problema SAT é definido aqui para fins de referência. O problema DOUBLE-SAT é definido como DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least two satisfying assignments}\} Como provamos que é NP-completo? Mais de uma …

13 complexity-theory  np-complete  satisfiability 

Eu li sobre o NPC e sua relação com o PSPACE e gostaria de saber se os problemas do NPC podem ser resolvidos deterministicamente usando um algoritmo com o pior requisito de espaço polinomial, mas potencialmente levando tempo exponencial (2 ^ P (n) onde P é polinomial). Além disso, ele …

12 complexity-theory  np-complete  np 

Supondo que temos um problema e mostramos que o limite inferior para resolver é .ppppppΩ(2n)Ω(2n)\mathcal{\Omega}(2^n) O limite inferior implica o problema no ?Ω(2n)Ω(2n)\mathcal{\Omega}(2^n)NPNPNP

12 time-complexity  np-complete 

Esta é provavelmente uma pergunta estúpida, mas eu simplesmente não entendo. Em outra questão, eles apresentaram o teorema da dicotomia de Schaefer . Para mim, parece que prova que todo problema de CSP está em P ou em NP-complete, mas não no meio. Como todo problema de NP pode ser …

12 np-complete  satisfiability  p-vs-np 

Em termos de pior tempo de execução assintótico, qual problema de NP-completo possui o algoritmo mais rápido (exato) conhecido e qual é o algoritmo? Existe algo conhecido que é mais rápido que O(n2∗2n)O(n2∗2n)O(n^2*2^n) ?

12 algorithms  reference-request  np-complete 

Estou tentando resolver esse problema e estou realmente lutando. Uma fórmula booleana monótona é uma fórmula na lógica proposicional em que todos os literais são positivos. Por exemplo, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) é uma função booleana monótona. Por outro lado, …

12 complexity-theory  np-complete  satisfiability 

A dificuldade de um problema fortemente NP-difícil ou NP-completo (como por exemplo, definido aqui ) muda quando sua entrada é unária em vez de codificada em binária? Que diferença faz se a entrada de um problema fortemente NP-difícil é unária? Quero dizer, se eu pegar, por exemplo, o problema fracassado …

12 complexity-theory  time-complexity  np-complete 

Então, eu sei que testar se uma linguagem regular RRR é um subconjunto de linguagem regular SSS é decidível, já que pode converter-los tanto para DFAs, compute R∩S¯R∩S¯R \cap \bar{S} , e em seguida, teste se esta linguagem é vazia. No entanto, como isso requer conversão em DFAs, é possível …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Gostaria de saber se existe um algoritmo polinomial para "2-SAT com relações XOR". O 2-SAT e o XOR-SAT estão em P, mas é sua combinação? Exemplo de entrada: Parte 2-SAT: (a or !b) and (b or c) and (b or d) Parte XOR: (a xor b xor c xor 1) …

11 np-complete  satisfiability  xor  2-sat 

Eu estou querendo saber se existem problemas -Hard que são `` polinomial" no caso da média. Eu acho que existem duas maneiras de interpretar isso?NPNPNP Se , pode haver um algoritmo de resolução de um N P problema -Hard com amortizado (caso médio) tempo de execução O ( n k …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

O seguinte problema é NP-completo? (Presumo que sim). Entrada: um gráfico não direcionado em que o conjunto de arestas pode ser decomposto em dois ciclos simples separados por arestas (estes não fazem parte da entrada).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Pergunta: Existe um ciclo simples em com comprimento maior que ?GGGkkk Obviamente, o …

11 graph-theory  np-complete  decision-problem 

Eu sei que o conjunto independente máximo em gráficos sem triângulo cúbico é NP-completo. Ainda é NP-completo no caso de exigirmos que o conjunto independente seja do tamanho exato ?|V|/2|V|/2|V|/2 Basicamente, a instância YES de um problema de conjunto independente em gráficos sem triângulo cúbico deve ter exatamente nós . …

11 complexity-theory  np-complete