Обязательный преемник: различия между версиями

'''Обязательный преемник''' (''Postdominator'') -  

для некоторой вершины <math>a</math> такая вершина <math>b</math>, что <math>b</math>

принадлежит каждому пути из <math>a</math> в выход управляющего графа.

название --- ''Постдоминатор''.