Отримання паралельних елементів у роздільній здатності залежності

Я реалізував топологічний сортування на основі статті у Вікіпедії, яку я використовую для вирішення залежності, але вона повертає лінійний список. Який алгоритм можна використовувати для пошуку незалежних шляхів?

Я припускаю, що ребро означає, що u має бути виконано перед v . Якщо це не так, оберніть усі краї. Крім того, я припускаю, що вас менше цікавлять шляхи (ті, які вже надаються DAG), ніж хороша стратегія виконання з урахуванням залежностей.$(u,v)$$u$$v$

$S_i$$G = (V,E)$

$\qquad \displaystyle \begin{align} S_0 &= \{ v \in V \mid \forall u \in V. (u,v) \notin E \} \\ S_{i+1} &= \{v \in V \mid \forall u \in V. (u,v) \in E \to u \in \bigcup_{k=0}^i S_k \} \end{align}$

$k$

for i=0 to k
  parallel foreach T in S_k
    execute T

$S_0$

parallel foreach T in S_0
  recursive_execute T

де

recursive_execute T {
  atomic { if T.count++ < T.indeg then return }
  execute T
  parallel foreach T' in T.succ
    recursive_execute T'
}

і T.countє простим лічильником, що містить кількість попередників, Tякі вже виконані, T.indegкількість попередників і T.succнабір наступників.