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

'''Обязательный предшественник''' (''Dominator'') -  

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

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

название --- ''Доминатор''.