доминатор в словаре кроссвордиста
Википедия
Доминатор (теория графов)
Доминатор в теории графов — бинарное отношение на узлах ориентированного графа с выделенным входным узлом, показывающее преимущество при прохождении пути от входного узла: узел d графа доминирует над узлом n (записывается как d dom n или d ≫ n), если любой путь от входного узла графа к n проходит через d. В частности, каждый узел доминирует над самим собой.
Наиболее широкое применение получили в графах потока управления , используемых в теории построения компиляторов.
Полезным способом представления информации о доминаторах является дерево, именуемое деревом доминаторов, в котором входной узел является корнем, а каждый узел d доминирует только над своими потомками в дереве.