On the Existence and Determination of Satisfactory Partitions in a Graph