Nhận các mục song song trong độ phân giải phụ thuộc

Tôi đã triển khai một loại cấu trúc liên kết dựa trên bài viết Wikipedia mà tôi đang sử dụng để phân giải phụ thuộc, nhưng nó trả về một danh sách tuyến tính. Tôi có thể sử dụng loại thuật toán nào để tìm các đường dẫn độc lập?

— Masse
nguồn

Một cách để giải quyết điều này là mô hình hóa các nút trong biểu đồ dưới dạng các tác nhân và để một số thư viện diễn viên đảm nhận việc sắp xếp thứ tự.

— Svick

Tôi giả sử rằng một cạnh có nghĩa là phải được thực hiện trước . Nếu đây không phải là trường hợp, xoay quanh tất cả các cạnh. Hơn nữa, tôi giả định rằng bạn ít quan tâm đến các đường dẫn (những đường dẫn đã được DAG đưa ra) so với một chiến lược thực hiện tốt với các phụ thuộc. $(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$ - và đồng bộ hóa / giả mạo trong các nút có một số cạnh đến / đi:

parallel foreach T in S_0
  recursive_execute T

Ở đâu

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

và T.countlà một bộ đếm đơn giản nắm giữ số lượng người tiền nhiệm Tđã được thực hiện, T.indegsố lượng người tiền nhiệm và T.succbộ người kế nhiệm.

— Raphael
nguồn