รับรายการแบบขนานในการแก้ปัญหาการพึ่งพา

ฉันได้จัดเรียงทอพอโลยีตามบทความ Wikipediaซึ่งฉันใช้สำหรับการแก้ปัญหาการพึ่งพา แต่มันจะส่งกลับรายการเชิงเส้น อัลกอริทึมชนิดใดที่ฉันสามารถใช้เพื่อค้นหาเส้นทางที่เป็นอิสระ

ฉันคิดว่าขอบหมายความว่ามึงจะต้องมีการดำเนินการก่อนที่โวลต์ หากไม่ใช่กรณีนี้ให้หมุนรอบขอบทั้งหมด ฉันยังสมมติว่าคุณสนใจเส้นทางน้อยกว่า (สิ่งเหล่านั้นได้รับจาก 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ชุดของผู้สืบทอด