Разработка компиляторов
Выделение сильно связных подграфов (1)
Для выделения сильно связных подграфов введем понятие области при нумерации #, а именно, областью вершины v при нумерации # назовем множество вершин с большими номерами, из которых v достижима в подграфе, состоящем из всех вершин с большими номерами.
Можно показать, что область произвольной вершины при нумерации Post сильно связна.
