Постепенное обнаружение доминаторов в DAG

Предположим, у нас есть DAG с одним источником. Я хотел бы найти такие узлы n , чтобы любой полный путь от источника проходил через n (т.е. n доминирует над всеми стоками). Другими словами: если мы удалим всех последователей n , то все пути будут заканчиваться на n . Проблема в том, что узлы постепенно помечаются как удаленные в DAG. Когда узлы помечаются как удаленные, другие узлы могут начать удовлетворять вышеуказанному свойству. Как я могу эффективно обнаружить это, когда это происходит?

Бонусные баллы , если структура данных может делать это с несколькими источниками более эффективно, чем запуск алгоритма для одного источника отдельно для каждого из источников.