De quoi se nourrissent les théorèmes de dichotomie?

Il est bien connu que certaines catégories de NP -Problèmes Ont dichotomie théorèmes, qui garantit que toutes les tâches de la classe est soit NP -complete ou est en P . Le résultat le plus connu est le théorème de dichotomie de Schaefer , ainsi qu'un certain nombre de généralisations.

Je crois comprendre que prouver ces théorèmes de dichotomie n'est pas vraiment facile. Je me demande s'il y a une explication relativement courte pour laquelle certaines classes ont des théorèmes de dichotomie, tandis que d'autres n'en ont pas? Quelle est la structure de problème essentielle qui rend ces théorèmes possibles? Ou peut-être qu'il n'y a pas une telle structure clairement comprise, c'est plutôt un mystère dans chaque cas pourquoi la classe a ou n'a pas un théorème de dichotomie?

Pour le cas du théorème de dichotomie de Schaefer, de manière informelle, le pouvoir expressif universel des formules CNF booléennes construites à partir de relations logiques non Schaefer est à l'origine de la dichotomie. Chaque relation logique peut être définie par une telle formule en utilisant un quantificateur existentiel. Ceci est formellement énoncé dans le théorème d'expressibilité de Schaefer (Théorème 2.5).