Now that we know that the transitiv

Now that we know that the transitive closure equals the connectivity relation, we turn our
attention to the problem of computing this relation. We do not need to examine arbitrarily long
paths to determine whether there is a path between two vertices in a finite directed graph. As
Lemma 1 shows, it is sufficient to examine paths containing no more than n edges, where n is
the number of elements in the set.

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

Bây giờ mà chúng ta biết rằng việc đóng cửa tương lai bằng quan hệ kết nối, chúng tôi bật của chúng tôichú ý đến vấn đề tính toán các mối quan hệ này. Chúng tôi không cần phải kiểm tra tùy tiện lâuđường dẫn để xác định xem đó là một con đường giữa hai đỉnh trong một đồ thị đạo hữu hạn. NhưBổ đề 1 cho thấy, nó là đủ để kiểm tra đường dẫn chứa không có nhiều hơn cạnh n, n ở đâusố lượng các yếu tố trong các thiết lập.

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

Bây giờ chúng ta biết rằng việc đóng cửa bắc cầu bằng các mối quan hệ kết nối, chúng ta quay của chúng tôi
quan tâm đến vấn đề tính toán mối quan hệ này. Chúng tôi không cần phải kiểm tra tùy tiện lâu
con đường để xác định xem có một con đường giữa hai đỉnh trong một đồ thị có hướng hữu hạn. Như
Bổ đề 1 cho thấy, nó là đủ để kiểm tra đường dẫn chứa không quá n cạnh, trong đó n là
số phần tử trong tập hợp.