Questions marquées «np-intermediate»

28
Problèmes entre P et NPC
La factorisation et l'isomorphisme des graphes sont des problèmes dans NP qui ne sont connus ni pour P ni pour NP-Complete. Quels autres problèmes naturels (suffisamment différents) partagent cette propriété? Les exemples artificiels directement issus de la démonstration du théorème de Ladner ne comptent pas. Est-ce que l'un de ces …
3
Le NPI est-il contenu dans P / poly?
On que car l'inverse impliquerait . Le théorème de Ladner établit que si alors . Cependant, la preuve ne semble pas généraliser à donc la possibilité ie semble ouvert.NP⊈P/polyNP⊈P/poly\mathsf{NP} \nsubseteq \mathsf{P}/\text{poly}PH=Σ2PH=Σ2\mathsf{PH} = \Sigma_2P≠NPP≠NP\mathsf{P} \ne \mathsf{NP}NPI:=NP∖(NPC∪P)≠∅NPI:=NP∖(NPC∪P)≠∅\mathsf{NPI} := \mathsf{NP} \setminus(\mathsf{NPC} \cup \mathsf{P}) \ne \emptysetP/polyP/poly\mathsf{P}/\text{poly}NPI⊂P/polyNPI⊂P/poly\mathsf{NPI} \subset \mathsf{P}/\text{poly}NP⊂NPC∪P/polyNP⊂NPC∪P/poly\mathsf{NP} \subset \mathsf{NPC} \cup \mathsf{P}/\text{poly} En supposant …
2
Problèmes NP-intermédiaires avec des solutions quantiques efficaces
Peter Shor a montré que deux des problèmes NP-intermédiaires les plus importants, l'affacturage et le problème de log discret, sont en BQP. En revanche, le meilleur algorithme quantique connu pour SAT (recherche de Grover) ne produit qu'une amélioration quadratique par rapport à l'algorithme classique, laissant entendre que les problèmes NP-complets …
2
Problème de graphe dur non connu pour être complet
L'isomorphisme graphique ( ) est un bon candidat pour un problème intermédiaire . problèmes intermédiaires existent sauf si . Je recherche un problème naturel difficile pour sous réduction de Karp (Un problème graphique tel que ).GIGIGINPNPNPNPNPNPP=NPP=NPP=NPGIGIGIXXXGI&lt;mpXGI&lt;pmXGI <_p^m X Existe-t-il un problème naturel de graphe dur qui n'est ni équivalent ni …
1
Est différent de ?
Pouvons-nous prouver que pour chaque langue qui n'est pas -hard (cela suppose ), ? Sinon, cela peut-il être prouvé sous des hypothèses raisonnables?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}}
3
Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l'espace non déterministe sublinéaire?
Il existe certains problèmes NP-Complete ( , S U B S E T S U M , etc.) connus pour être dans D S P A C E ( n ) . Et les espaces sub-linéaires?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Existe-t-il un problème NP-complet (ou NP-intermédiaire) connu dans l' …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.