J'ai rencontré l'algorithme polynomial qui résout 2SAT. J'ai trouvé ahurissant que 2SAT soit dans P où toutes (ou beaucoup d'autres) des instances SAT sont NP-Complete. Qu'est-ce qui rend ce problème différent? Qu'est-ce qui le rend si facile (NL-Complete - encore plus facile que...
Je suis plutôt confus par la littérature sur l'optimisation continue et la littérature TCS sur les types de programmes mathématiques (MP) (continus) qui peuvent être résolus efficacement et ceux qui ne le peuvent pas. La communauté de l'optimisation continue semble affirmer que tous les programmes...
Je voudrais trouver un algorithme de temps polynomial qui détermine si la durée d'un ensemble donné de matrices contient une matrice de permutation. Si quelqu'un sait si ce problème est d'une classe de complexité différente, ce serait tout aussi utile. EDIT: J'ai étiqueté cette question avec la...
Est un algorithme déterministe à temps polynomial connu pour le problème suivant: Entrée: un nombre naturel (en encodage binaire)nnn Sortie: un nombre premier .p > np>np > n (Selon une liste de problèmes ouverts par Leonard Adleman, le problème était ouvert en 1995.)
Le problème Not All Equal -SAT (NAE k -SAT), étant donné un ensemble C de clauses sur un ensemble X de variables booléennes telles que chaque clause contient au plus k littéraux, demande s'il existe une affectation de vérité des variables telles que chaque clause contient au moins un vrai et au...
(Il s'agit d'un suivi de cette question et de sa réponse .) J'ai le programme linéaire d'entier (ILP) totalement unimodulaire (TU) suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut prendre des...
László Babai a récemment prouvé que le problème d'isomorphisme des graphes est en temps quasi-polynomial . Voir également son exposé à l'Université de Chicago, note des exposés de Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 . Selon le théorème de Ladner, si P≠NPP≠NPP \neq NP , alors NPINPINPI...
Existe-t-il un problème naturel dans P pour lequel la limite de temps d'exécution la plus connue est de la forme , où α est une constante irrationnelle ?O (
Considérez la langue .EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} Il est connu que ne peut être reconnu par aucune machine de Turing à espace sublogarithmique alternatif (ATM) (Szepietowski, 1994) . (Il existe un guichet automatique utilisant un espace...
J'essaie de résoudre un problème particulier et j'ai pensé que je pourrais le résoudre en utilisant la théorie des automates. Je me demande, quels modèles d'automates ont un confinement décidable en temps polynomial? c'est-à-dire que si vous avez des machines vous pouvez tester si...
Le problème du kkk cycle est le suivant: Instance: Un graphe non orienté GGGavec nnn sommets et jusqu'à arêtes.(n2)(n2)n \choose 2 Question: Existe-t-il un (bon) kkk cycle dans GGG ? Contexte: Pour tout k fixe kkk, nous pouvons résoudre un cycle de 2k2k2k en temps O(n2)O(n2)O(n^2) . Raphael Yuster,...
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: seq :: a -> b -> b...
Réponse: inconnue. Les questions posées sont naturelles, ouvertes et apparemment difficiles; la question est maintenant un wiki communautaire. Aperçu La question vise à diviser les langages appartenant à la classe de complexité PPP - ainsi que les machines de Turing de décision (TM) qui acceptent...
Une langue est en s'il existe une machine de Turing de l'espace de log qui décide de la langue avec une quantité polynomiale de conseils.L/polyL/polyL/poly Voir ici pour plus d'informations: https://en.wikipedia.org/wiki/L/poly Question Quelles sont les conséquences de ?P⊆L/polyP⊆L/polyP \subseteq...
Connaissez-vous des problèmes (de préférence au moins assez bien connus) où, pour une taille de problème pratique , un algorithme exponentiel s'exécute beaucoup plus rapidement qu'un homologue polynomial le plus connu. Par exemple, supposons qu'un problème ait une taille pratique * de et qu'il...
P / poly est la classe de problèmes de décision pouvant être résolus par une famille de circuits booléens de taille polynomiale. Il peut également être défini comme une machine de Turing à temps polynomial qui reçoit une chaîne de conseils de taille polynomiale en n et basée uniquement sur la...
Tout en essayant de résoudre un problème, j'ai fini par en exprimer une partie comme le programme linéaire entier suivant. Ici sont tous des entiers positifs donnés dans le cadre de l'entrée. Un sous-ensemble spécifié des variables x i j est mis à zéro, et le reste peut prendre des valeurs...
Treewith est un paramètre de graphique important qui indique à quel point un graphique est proche d'être un arbre (bien que pas dans un sens topologique strict). Il est bien connu que le calcul de la largeur d'arbre est NP-difficile. Existe-t-il des classes naturelles de graphiques où la largeur...
Nous savons que le problème du comptage du nombre d'affectations satisfaisantes dans une formule booléenne générale donnée (CNF-SAT), une formule DNF donnée, ou même une formule 2SAT donnée est un problème # P-complet . Maintenant, considérons un CNF-SAT sans littéral négatif (pas de , toujours A...
Considérez le problème suivant, Étant donné un ensemble de nombres positifs { a 1 , … , a n } dans lesquels k ≥ 3 est une constante, nous voulons partitionner l'ensemble en m sous-ensembles de taille k de sorte que le produit de la somme de chaque sous-ensemble est maximisé.n = k mn=kmn = k m{ a1,...