Complexity of the satisfactory partition problem
Résumé
The SATISFACTION PARTITION problem consists in deciding if a given graph has a partition of its vertex set into two nonempty parts such that each vertex has at least as many neighbors in its part as in the other parts. This problem was introduced by Gerber enad Kobler [GK98, GK00] and further studied by other authors but its complexity remained open until now. We also study generalizations and variants of this problem where a partition into K nonempty parts (K>ou =3) is requested.