Итеративная / динамическая топологическая сортировка для чайников

В настоящее время я реализую динамический граф DAG в C ++ — он будет отображаться пользователю через пользовательский интерфейс, и вставка / удаление узлов / ребер будут обычными операциями.

Размер графиков может варьироваться от очень маленького до большого — я стремлюсь поддерживать миллионы узлов.

Таким образом, я ищу оптимальную структуру данных, которая не будет занимать слишком много места в памяти, но также и для способа быстрой вставки / удаления с быстрой многопоточной итерацией по топологически отсортированным узлам (таким образом, несколько узлов может выполняться параллельно).

Я не проводил никакого профилирования, чтобы посмотреть, удастся ли наивному подходу пересчитывать топологический вид полного графа каждый раз, когда выполняется модификация, сократить его, но ради обучения я подумал, что лучше найти «умнее». » путь.

Я понятия не имею, как подойти к многопоточной итерации графа, но для начала я наткнулся на некоторые статьи, связанные с этапом итеративной / динамической топологической сортировки, и проблема в том, что они слишком умны для меня, чтобы понять. Это выходит на теоретическую / математическую сторону и не содержит конкретных примеров реализации, которые могли бы помочь мне понять, что происходит.

Вот пример такой бумаги: Маркировочный подход к обнаружению добавочного цикла.

Поскольку не хватает документов, таких как «Итеративная / динамическая топологическая сортировка для чайников», есть ли у кого-нибудь подсказки по этому вопросу?