A single strongly connected compone

A single strongly connected component can encompass multiple loops that share
the same header node. We would like to distinguish between the different loops in a
single SCC so we can iterate around them independently. However, the PDG is typically
not reducible, and the classical algorithm for finding loops—Tarjan’s interval finding
algorithm—only works on reducible graphs [34]. Extensions have been made to deal
with irreducible graphs, but they typically have the property that a node can only be the
header for one loop [28]. We solve this by identifying one loop in the SCC, eliminating
its back edge, and then recursively re-applying the SCC algorithm on the interior nodes
to find more inner loops.

Kết quả (Việt) 1:

Một thành phần liên thông mạnh duy nhất có thể bao gồm nhiều vòng chia sẻnút tiêu đề tương tự. Chúng tôi muốn phân biệt giữa các vòng khác nhau trong mộtSCC duy nhất do đó, chúng tôi có thể iterate xung quanh họ một cách độc lập. Tuy nhiên, thường là PDGkhông reducible, và các thuật toán cổ điển cho vòng lặp finding — Tarjan của khoảng thời gian findingthuật toán — chỉ hoạt động trên đồ thị reducible [34]. Tiện ích mở rộng đã được thực hiện để đối phóvới đồ thị irreducible, nhưng họ thường có tài sản một nút chỉ có thể làtiêu đề cho một vòng lặp [28]. Chúng tôi giải quyết điều này bằng cách xác định một vòng lặp trong SCC, loại bỏQuay lại cạnh của nó, và sau đó đệ quy tái áp dụng thuật toán SCC trên nút trang trí nội thấtđể nhiều hơn bên trong vòng.

Kết quả (Việt) 2:

Một thành phần mạnh mẽ kết nối duy nhất có thể bao gồm nhiều vòng mà chia sẻ
các nút tiêu đề tương tự. Chúng tôi muốn phân biệt giữa các vòng khác nhau trong một
SCC duy nhất để chúng ta có thể lặp lại xung quanh họ một cách độc lập. Tuy nhiên, PDG thường là
không thể giam, và các thuật toán cổ điển cho fi nding vòng-Tarjan của khoảng fi nding
thuật toán chỉ hoạt động trên các đồ thị khử [34]. Phần mở rộng đã được thực hiện để đối phó
với các đồ thị không thể giản lược, nhưng họ thường có những tài sản mà một nút chỉ có thể là
tiêu đề cho một vòng lặp [28]. Chúng tôi giải quyết điều này bằng cách xác định một vòng lặp trong SCC, loại bỏ
cạnh lưng của nó, và sau đó đệ quy lại áp dụng thuật toán SCC trên các nút nội thất
fi vòng bên thứ hơn.