Questions marquées «treewidth»

Questions concernant la largeur de l'arborescence des graphiques. Les graphes de faible largeur d'arbre admettent des algorithmes de division et de conquête rapides pour de nombreux problèmes de graphes qui sont NP-difficiles sur les graphes généraux.

18
Instances solubles dans le temps polynomial de Max-Sat

Le problème Max-Sat vous demande de trouver une affectation d'une formule CNF qui satisfasse autant de clauses que possible. Pour le problème SAT plus simple, il existe de nombreux cas spéciaux connus qui peuvent être résolus en temps polynomial, par exemple, nous pouvons résoudre 2-SAT en temps...