Stav dette: Инвариант графа на основе компактных подграфов и алгоритм его вычисления