Помогите определить задачу для графа.

[webaib]

Есть некий соединенный направленный граф.
1. Все вершины имеют значение из $\mathbb{Z}$.
2. В начале граф делим на подмножества по значению вершин (вершины с одинаковым значением образуют подмножества), т.б. стандартный класс эквивалентности.
3. Далее, для каждого $v \in M$ все их след. соседи в $M'$. Формально:
$(\forall v \in M: \exists v' \in M': (v, v') \in E) \bigvee (\forall v \in M: \forall v' \in M': (v, v') \notin E)$
Кромсаем граф дальше на кусочки, пока он не будет удовлетворять второму условию.
Чувствую, ноги растут у этой задачи из биективности, но не могу определить что за мат.база лежит за таким сегментированием графа.
Нужно на основе графа как можно точней и проще (возможно аппроксимация) определить объем работы и как можно более простой способ для проверки ее завершения.

[Sonic86]

Честно попытался понять, но не смог
Сформулируйте подробнее и точнее.

[webaib]

( пока формулу набивал, куда то часть текста потер.
В общем есть 2 условия, которые определяют класс эквивалентности вершин в нашем графе.
1. Это обычное равенство значения в вершинах.
2. Это то что все последующие вершины из равных вершин должны находится в одном подмножестве, либо их не должно быть вообще.
Пример графа и как мы его нарезаем на подмножества. Первый шаг, просто по равенству вершин, а дальше уже по второму свойству.