Фактор-граф

Фактор-граф (Factor-graph) - пусть в графе выделены максимальные непересекающиеся подграфы заданного вида; тогда фактор-граф есть граф, получаемый из исходного стягиванием указанных подграфов в отдельные вершины.