Perguntas com a marcação «p-hardness»

128
Problemas entre P e NPC

Factoring e isomorfismo gráfico são problemas em NP que não são conhecidos por estar em P nem por NP-Complete. Quais são alguns outros problemas naturais (suficientemente diferentes) que compartilham essa propriedade? Exemplos artificiais provenientes diretamente da prova do teorema de Ladner não...

66
Os problemas completos

Actualmente, a solução quer uma problema -completo ou um P S P A C E problema -completo é inviável no caso geral, para as grandes entradas. No entanto, ambos são solucionáveis ​​no tempo exponencial e no espaço polinomial.NPNPNPPSPA CEPSPACEPSPACE Como somos incapazes de construir computadores não...

47
Problemas NP-difíceis em árvores

Vários problemas de otimização conhecidos por serem NP-hard em gráficos gerais são trivialmente solucionáveis ​​em tempo polinomial (alguns até em tempo linear) quando o gráfico de entrada é uma árvore. Os exemplos incluem cobertura mínima de vértices, conjunto independente máximo, isomorfismo do...

45
Uma variante NP-completa de fatoração.

O livro de Arora e Barak apresenta o fatorial como o seguinte problema: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Eles acrescentam, ainda...

34
Encontros diários com problemas NP-completos

Mark Dominus coletou alguns exemplos de reduções no tempo polinomial de vários problemas difíceis de NP para correspondência de "expressão regular" . Visualizar verificações em tempo polinomial não é um salto enorme. Como você ilustra a classe NP-complete para estudantes de graduação ou para...

33
Referência para dureza NP de 3 cores?

Eu tenho uma pergunta histórica. Estou tentando determinar a referência para o fato de que 3 cores de gráficos (alternativamente, cores para determinado ) são difíceis de NP.k ≥ 3kkkk ≥ 3k≥3k\geq 3 A resposta tentadora é o "artigo original de Karp", mas isso está errado. Aqui está uma varredura:...