Existe-t-il des algorithmes connus pour le problème suivant qui ont battu l'algorithme naïf? Entrée: matrice et vecteurs , où toutes les entrées de sont des entiers non négatifs.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Sortie: une solution optimale à . max { c T x : A x ≤ b , x ∈ { 0 , 1 } n...
Supposons que j'ai des ensembles avec des éléments pris parmi les r possibles. Chaque ensemble est de taille n ( n < r ), où les ensembles peuvent se chevaucher. Je veux déterminer si les deux problèmes suivants sont NP-complets ou non:PPPrrrnnnn <
Je me demande si le problème suivant est NP-difficile. Entrée: G = ( V, E)g=(V,E)G = (V,E) un graphe simple, et une coloration F: E→ { 1 , 2 , 3 }F:E→{1,2,3}f : E \to \{1,2,3\} des arêtes ( FFf ne vérifie aucune propriété spécifique). Question: est-il possible de partitionner EEE en | E| /...
Le problème standard 1-en-3 SAT (ou XSAT ou X3SAT) est: Instance : une formule CNF avec chaque clause contenant exactement 3 littéraux Question : y a-t-il un paramètre d'assignation satisfaisant avec précision 1 littéral par clause vrai? Le problème est NP-complet et reste difficile même si aucune...
Étant donné un graphe orienté fixe (digramme) , le problème de décision -coloration demande si un digramme d'entrée a un morphisme de . (Un homomorphisme de à est un mappage de à qui préserve les arcs, c'est-à-dire que si est un arc de , alors est un arc de )D G D G D f V ( G ) V ( D ) u v G f ( u...
Il y a un beau papier de 1991 qui contient trois diagrammes sur différentes familles de classes de graphes montrant ce que l'on sait de la dureté de la détermination de l'indice chromatique pour eux. Y a-t-il depuis des nouvelles à ce sujet? Ce qui m'intéresse le plus, ce sont les graphiques avec...
Quelles sont les limites supérieures asymptotiques les plus connues sur les tailles des preuves vérifiables de manière probabiliste? Idéalement, je recherche une enquête contemporaine sur cette large question, mais s'il n'y en a pas, je suis particulièrement intéressé par l'inapproximabilité du...