Кто-нибудь знает случайный алгоритм для генерации топологической сортировки группы обеспечения доступности баз данных, где каждый вызов алгоритма имеет ненулевую вероятность генерацииevery допустимый топологический вид DAG.

Крайне важно, чтобы алгоритм не исключал какой-либо действительной топологической сортировки, потому что он является частью более крупного алгоритма, который при достаточном количестве итераций должен демонстрировать способность исследовать все топологические сортировки данного DAG.

Кто-нибудь знает, был ли разработан такой алгоритм?

(В качестве альтернативы, если кто-либо знает достаточно эффективный алгоритм, который гарантированно генерируетall топологические виды данного DAG, я, вероятно, могу настроить это, чтобы получить то, что мне нужно.)