Алгоритм распознавания конфликтных и бесконфликтных состояний

Алгоритм распознавания конфликтных и бесконфликтных состояний системы с любым конечным числом элементов основан на фундаментальной структурной теореме анализа и разрешения конфликтов (см.) единой теории конфликта (см.) [1].
1. Составляется список всех элементов n анализируемой системы в произвольном порядке. Пусть т1 и m2 обозначают взаимно исключающие и совместно исчерпывающие множество всех элементов n подмножества (коалиции) (n = m 1 о m 2; m 1 о m2 = 0). До начала разбиения n множества m1 и m2 являются пустыми. Произвольно выбирается элемент, скажем, А и включается в множество m1 в качестве первого элемента.
2. Произвольно выбирается из списка n новый элемент, скажем В, и сравнивается с А, Если элементы А и В связаны только позитивно (простыми и сложными путями), то элемент В включается к множество m1, если они связаны только негативно (простыми и сложными путями), то элемент В включается в множество m2.
3. Выбор элементов проводится последовательно до полного исчерпания списка или до обнаружения элемента, который одновременно принадлежит обоим множествам m1 и m2.
4. Если все элементы n исчерпывающим образом разделились на множества m1 и m2, причем множество m1 или множество m2, но не оба, может оказаться пустым, тогда анализируемая система бесконфликтна; в противном случае, т.е. когда существует хотя бы один элемент, который принадлежит обоим множествам m1, и т2 одновременно, она конфликтна.
Литература
Светлов В.А. Введение в единую теорию анализа и разрешения конфликтов. М. : Либроком, 2012.