Разработка компиляторов



         

Выделение сильно связных подграфов (1)


Для выделения сильно связных подграфов введем понятие области при нумерации #, а именно, областью вершины v при нумерации # назовем множество вершин с большими номерами, из которых v достижима в подграфе, состоящем из всех вершин с большими номерами.

Можно показать, что область произвольной вершины при нумерации Post сильно связна.




Содержание  Назад  Вперед