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

Dizemos que a linguagem é densa se existir um polinômio tal que para todos osEm outras palavras, para um dado comprimento , existem apenas polinomialmente muitas palavras de comprimento que não estão em p | J c ∩ Σ n | ≤ p ( n ) n ∈ N .J⊆ …

16 complexity-theory  time-complexity  np-complete  satisfiability 

Tenho a impressão de que, para todo problema NP-completo, para infinitos tamanhos de entrada , o número de instâncias yes em todas as entradas possíveis de tamanho é (pelo menos) exponencial em .nnnnnnnnn Isso é verdade? Isso pode ser comprovado (provavelmente apenas sob a suposição de que )? Ou podemos, …

15 complexity-theory  np-complete  np-intermediate 

Temos uma grade . Nós temos uma coleção de retângulos nessa grade, cada retângulo pode ser representado como um -by- binário matriz . Queremos cobrir a grade com esses retângulos.N1×N2N1×N2N_1 \times N_2N1N1N_1N2N2N_2RRR A versão de decisão deste conjunto cobre o problema NP-complete? Entrada: coleçãoC={R1,R2,…,RL}C={R1,R2,…,RL}\mathcal{C}=\{R_1,R_2,\dots,R_L\} de retângulos na grade (tamanho da …

15 complexity-theory  np-complete  set-cover 

Nós temos um DAG. Temos uma função nos nós (falando livremente, numeramos os nós). Gostaríamos de criar um novo gráfico direcionado com estas regras:F:V→NF:V→NF\colon V\to \mathbb N Somente nós com o mesmo número podem ser contratados no mesmo novo nó. . (No entanto, .)F(x)≠F(y)⇒x′≠y′F(x)≠F(y)⇒x′≠y′F(x) \neq F(y) \Rightarrow x' \neq y'x′≠y′⇏F(x)≠F(y)x′≠y′⇏F(x)≠F(y)x' …

15 algorithms  graphs  np-complete  reductions 

Aparentemente, se , todos os idiomas em exceto e seriam completos.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Por que essas duas línguas em particular? Não podemos reduzir nenhum outro idioma em para eles, exibindo-os ao aceitar ou não?PP{\sf P}

15 complexity-theory  np-complete  reductions 

Seja A redutível a B, isto é, A≤BA≤BA \leq B . Assim, a máquina de Turing aceitar AAA tem acesso a um Oracle para BBB . Permita que a máquina de Turing que aceita AAA seja MAMAM_{A} e o oráculo para BBB seja . Os tipos de reduções:OBOBO_{B} Redução de …

15 complexity-theory  np-complete  reductions  complexity-classes 

Está provado que a computação quântica não é melhor na solução de problemas completos de NP do que a computação clássica ou apenas se acredita?

14 np-complete  quantum-computing 

Tenho certeza de que alguém já pensou nisso antes ou imediatamente o descartou, mas por que a teoria da dicotomia de Schaefer, juntamente com o teorema de Mahaney sobre conjuntos esparsos, não implica P = NP? Aqui está o meu raciocínio: Crie um idioma que seja igual a SAT cruzado …

14 complexity-theory  np-complete  satisfiability  p-vs-np 

Gostaria de saber qual é o algoritmo mais conhecido, em termos de notação Big- , para resolver a Programação Linear Inteira?OOO Eu sei que o problema é completo, então não estou esperando nada polinomial. E eu sei que existem muitas heurísticas e outras que são usadas em aplicações práticas como …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Se fato é igual a N P , como isso aprimora nossos algoritmos para fatorar números inteiros mais rapidamente. Em outras palavras, que tipo de insight esse fato nos daria para entender melhor a fatoração inteira?PP{\sf P}N PNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

O Planar 3SAT é NP-completo. Uma instância 3SAT planar é uma instância 3SAT para a qual o gráfico construído usando as seguintes regras é planar: adicione um vértice para cada e ¯ x ixEuxEux_ixEu¯xEu¯\bar{x_i} adicione um vértice para cada cláusula CjCjC_j adicione uma aresta para cada par ( xEu, xEu¯)(xEu,xEu¯)(x_i,\bar{x_i}) …

14 np-complete  reductions  satisfiability  3-sat 

Como a Programação Linear Inteira é NP-completa, há uma redução de Karp de qualquer problema no NP. Eu pensei que isso implicava que sempre existe uma formulação de ILP de tamanho polinomial para qualquer problema no NP. Mas já vi artigos sobre problemas específicos de PN, nas quais as pessoas …

14 complexity-theory  np-complete  reductions  linear-programming 

O problema da largura de banda mínima é encontrar uma ordem dos nós do gráfico na linha inteira que minimiza a maior distância entre dois nós adjacentes. O problema de decisão é NP-completo, mesmo para árvores binárias. Resultados de complexidade para minimização de largura de banda. Garey, Graham, Johnson e …

14 complexity-theory  np-complete  reference-request  approximation 

Portanto, como é sabido, o problema de decisão 0-1 da ILP é NP-completo. É fácil mostrar que está no NP e a redução original foi do SAT; desde então, muitos outros problemas do NP-Complete demonstraram ter formulações de ILP (que funcionam como reduções desses problemas para o ILP), porque o …

14 np-complete  reductions  satisfiability  integer-programming 

Suponha que exista uma sessão de tutorial em uma universidade. Temos um conjunto de perguntas e um conjunto de alunos . Cada aluno tem uma dúvida em um determinado subconjunto de perguntas, ou seja, para cada aluno , seja o conjunto de perguntas que um aluno duvida. Assume-se que e …

13 algorithms  complexity-theory  np-complete  np-hard