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

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 contam. Algum desses exemplos é comprovadamente intermediário em …

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

O Teorema de Ladner afirma que se P ≠ NP, existe uma hierarquia infinita de classes de complexidade contendo estritamente P e estritamente contidas em NP. A prova usa a integridade do SAT sob várias reduções no NP. A hierarquia contém classes de complexidade construídas por um tipo de diagonalização, …

45 cc.complexity-theory  reference-request  np-intermediate 

Dado um novo problema em cuja verdadeira complexidade está em algum lugar entre e sendo NP-complete, existem dois métodos que eu conheço que podem ser usados ​​para provar que resolver isso é difícil:PN PNP\mathsf{NP}PP\mathsf{P} Mostre que o problema é GI-completo (GI = Isomorfismo do gráfico) Mostre que o problema está …

36 cc.complexity-theory  np-hardness  graph-isomorphism  np-intermediate 

Supõe-se que pois o inverso implicaria \ mathsf {PH} = \ Sigma_2 . O teorema de Ladner estabelece que se \ mathsf {P} \ ne \ mathsf {NP} então \ mathsf {NPI}: = \ mathsf {NP} \ setminus (\ mathsf {NPC} \ cup \ mathsf {P}) \ ne \ emptyset …

29 cc.complexity-theory  complexity-classes  advice-and-nonuniformity  p-vs-np  np-intermediate 

É bem conhecido pelo Teorema de Ladner que se , então existem infinitas N P Intermédio ( N P I problemas). Também existem candidatos naturais para esse status, como Isomorfismo em grafos, e vários outros, consulte Problemas entre P e NPC . No entanto, a vasta maioria no multidão de …

29 cc.complexity-theory  p-vs-np  np-intermediate 

Peter Shor mostrou que dois dos mais importantes problemas intermediários de NP, fatoração e o problema de log discreto, estão no BQP. Por outro lado, o algoritmo quântico mais conhecido para SAT (busca de Grover) produz apenas uma melhoria quadrática em relação ao algoritmo clássico, sugerindo que problemas de NP-completos …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

László Babai provou recentemente que o problema do isomorfismo gráfico está no tempo quase-polinomial . Veja também sua palestra na Universidade de Chicago, nota das palestras de Jeremy Kun pós 1 da GLL , pós 2 da GLL , pós 3 da GLL . De acordo com o teorema de …

21 cc.complexity-theory  complexity-classes  np-complete  polynomial-time  np-intermediate 

Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPEu\mathsf{NPI} Teorema de Ladner nos diz que se , então …

16 cc.complexity-theory  np-hardness  np-intermediate 

Gráfico Isomorfismo ( ) é bom candidato para N P problema Intermédio. N P existem problemas Intermédio a menos que P = N P . Estou procurando um problema natural que é difícil para G I com redução de Karp (um problema gráfico X tal que G I < m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Suponha P NP.≠≠\ne O Teorema de Ladner diz que existem problemas NP Intermediários (problemas em NP que não estão nem em P nem em NP-Completo). Eu encontrei algumas referências veladas on-line que sugerem (eu acho) que existem muitos "níveis" de linguagens mutuamente redutíveis dentro do NPI que, definitivamente, nem todos …

13 cc.complexity-theory  np  np-intermediate 

Podemos provar que, para cada idioma que não é N P- duro (isso assume P ≠ N P ), P L ≠ P SAT ? Como alternativa, isso pode ser comprovado sob quaisquer suposições razoáveis?L∈NPL∈NPL\in\mathsf{NP}NPNP\mathsf{NP}P≠NPP≠NP\mathsf P \ne \mathsf{NP}PL≠PSATPL≠PSAT\mathsf{P}^L \ne \mathsf{P}^{\text{SAT}}

12 cc.complexity-theory  complexity-classes  np-intermediate 

Estou tentando entender a qual classe de complexidade o seguinte problema pertence: Problema de raiz polinomial exponencial (EPRP) Seja um polinômio com deg ( p ) ≥ 0 com coeficientes extraídos de um campo finito G F ( q ) com q um número primo e r uma raiz primitiva …

12 cc.complexity-theory  reference-request  comp-number-theory  np-intermediate 

Como se olha para um problema e o motivo pelo qual é provável NP-Intermediário em oposição a NP-Complete? Muitas vezes, é bastante simples olhar para um problema e dizer se é provável que o NP-Completo seja ou não, mas me parece muito mais difícil dizer se um problema é NP-Intermediário, …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Existem alguns problemas de NP-Complete ( , , etc.) conhecidos por estarem em . E os espaços sub-lineares?S U B S E T S U MSATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Existe algum problema NP-Completo (ou NP-Intermediário) no espaço sub-linear não-determinístico ?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate