Разработка компиляторов
Выделение сильно связных подграфов (2)
увеличить изображение
Алгоритм построения T-нумерации обходит граф в порядке возрастания Post-номеров вершин. При этом каждая вершина может находиться в двух состояниях: обработанная или необработанная. Первоначально все вершины находятся в необработанном состоянии.
Обнаружив необработанную вершину, алгоритм присваивает ей очередной номер, выделяет ее область и присваивает вершинам области очередные номера.
На рисунке на слайде показан граф с его T-нумерацией.
