Le théorème de Karp – Lipton déclare que si , alors s'effondre en . Par conséquent, en supposant des séparations entre et , aucun problème complet n'appartiendra à .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P
Le problème de décision CNF-SAT peut être décrit comme suit: Entrée: Une formule booléenne ϕϕ\phi sous forme normale conjonctive. Question: Existe-t-il une affectation de variable qui satisfait ϕϕ\phi ? J'envisage plusieurs approches différentes pour résoudre CNF-SAT avec une machine de Turing à...
Dans leur article (p. 503) Garey et Johnson remarquent: ... il pourrait exister un problème NP-complet qui n'est ni NP-complet au sens fort ni résoluble par un algorithme pseudo-polynomial temporel ... Quelqu'un connaît-il des problèmes avec les propriétés mentionnées ci-dessus? Je pense que la...
Existe-t-il un exemple connu et explicite d'un algorithme avec la propriété telle que si P≠NPP≠NPP\neq NP alors cet algorithme ne s'exécute pas en temps polynomial et si P=NPP=NPP=NP alors il s'exécute en temps
Est-il possible de tester algorithmiquement si un nombre calculable est rationnel ou entier? En d'autres termes, serait-il possible pour une bibliothèque qui implémente des nombres calculables de fournir les fonctions isIntegerou isRational? Je suppose que ce n'est pas possible, et que cela est en...
La parité-P est l'ensemble des langages reconnus par une machine de Turing non déterministe qui ne peut distinguer qu'un nombre pair ou un nombre impair de chemins "d'acceptation" (plutôt qu'un nombre nul ou non nul de chemins d'acceptation). Ainsi la parité-P est essentiellement PP jeune frère...
La célèbre conjecture d'isomorphisme de Berman et Hartmanis dit que tous langages complets sont isomorphes en temps polynomiaux (p-isomorphes) les uns aux autres. La signification clé de la conjecture est qu'elle implique . Il a été publié en 1977, et une preuve à l'appui était que tous problèmes...
Je pense que ce serait une bonne idée de faire une liste de théorèmes indiquant que P n'est pas égal à NP si et seulement si telle ou telle sortie, une classe de complexité est contenue dans une autre classe de complexité et ainsi de suite et ainsi de suite.
Je suis intéressé à apprendre les connexions entre le «chaos» ou, plus largement, les systèmes dynamiques et la question . Voici un exemple du type de littérature que je recherche:P=NPP=NPP{=}NP Ercsey-Ravasz, Mária et Zoltán Toroczkai. "La dureté d'optimisation comme chaos transitoire dans une...
Un réseau de commutation (le nom est inventé) est constitué de trois types de nœuds: un nœud de démarrage un nœud d'extrémité un ou plusieurs nœuds Switch Le nœud de commutation a 3 sorties: Gauche, Haut, Droite; a deux états L et R et un état cible TL ou TR . Chaque commutateur peut être traversé...
Soit 0 ≤ p ≤ 10≤p≤10\le p\le 1 et considérons le problème de décision CLIQUE p entrée: nombre entier s , graphe G avec t sommets et bords Question: ne contient une clique sur au moins les sommets?pp_p sssggGttt⌈ p ( t2) ⌉⌈p(t2)⌉\lceil p\binom{t}{2} \rceil ggGsss Une instance de CLIQUE contient une...
J'ai lu que la programmation linéaire entière est résoluble en temps polynominal si le nombre de variables est fixe, c'est-à-dire n ∈ O ( 1 ) . Si le nombre de variables croît logarithmiquement, c'est-à-dire n ∈ O ( log 2 ( N ) ) pour une entrée donnée de taille N , le problème est-il toujours...
Gowers a récemment souligné un problème, qu'il appelle «la détermination discrète de Borel», dont la solution est liée à la vérification des limites inférieures du circuit. Pouvez-vous fournir un résumé de l'approche adaptée à un public de théoriciens de la complexité? Que faudrait-il pour que...
D'un point de vue purement abstrait de raisonnement mathématique / informatique, (comment) pourrait-on même découvrir ou raisonner sur des problèmes comme 3-SAT, Subset Sum, Travelling Salesman, etc.? Serions - nous encore en mesure de raisonner sur eux de quelque façon significative avec juste la...
FewP est la classe des problèmes avec polynôme lié au nombre de solutions (dans la taille d'entrée). On ne connaît pas problème -complete dans . Je voudrais savoir jusqu'où nous pouvons étendre cette observation.N P f e w PNPNPNPNPNPNPfewPFewPfewP Existe-t-il un problème naturel de complet avec une...
Nous savons tous que montrer a des barrières. Nous avons tous étudié ces barrières parce que nous croyons .P≠NPP≠NPP\ne NPP≠NPP≠NPP\ne NP Cependant, supposez et il y a des gens sages qui croient que cette possibilité existe . Si c'est effectivement le cas, le fait même que nous n'ayons pas vu de...
Il est mentionné dans un commentaire dans un autre article de cstheorySE que PSPACE- exhausteness implique APX-hardness. Quelqu'un peut-il expliquer / partager une référence pour cela? Est-ce "serré"? (c.-à-d. y a-t-il des problèmes PSPACE complets dont le problème d'optimisation admet une...
Existe-t-il , un langage NP ou P-complet qui a une famille de groupes de symétrie G n (ou groupoïde , mais alors les questions algorithmiques deviennent plus ouvertes) agissant (en temps polynomial) sur des ensembles L n = { l ∈ L ∣ | l | = n } tel qu'il y ait peu d'orbites, ie tel que | L n / G n...
Le théorème de Rice déclare que chaque propriété non triviale de l'ensemble reconnu par une machine de Turing est indécidable. Je recherche un théorème de type rizicole de complexité complexe qui nous dit quelles propriétés non triviales des ensembles NP sont
Voici le problème: Nous avons un carré avec des nombres de 1..N dans certaines cellules. Il est nécessaire de déterminer s'il peut être complété par un carré magique. Exemples: 2 _ 6 2 7 6 _ 5 1 >>> 9 5 1 4 3 _ 4 3 8 7 _ _ 9 _ _ >>> NO SOLUTION 8 _ _ Ce problème est-il NP-complet?...