Paths let us speak about nodes that

Paths let us speak about nodes that are connected; this leads to a powerful simplification device that is very important for testers.

Definition

Nodes ni and nj are connected if and only if they are in the same path.

“Connectedness” is an equivalence relation (see Chapter 3) on the node set of a graph. To see this, we can check the three defining properties of equivalence relations:

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

Đường dẫn cho chúng tôi nói chuyện về các nút được nối với nhau; Điều này dẫn đến một thiết bị đơn giản hóa mạnh mẽ mà là rất quan trọng đối với thử nghiệm. Định nghĩaNút ni và nj được kết nối khi và chỉ khi họ đang có trong cùng một đường dẫn.Một mối quan hệ tương đương là "Connectedness" (xem chương 3) trên các thiết lập nút của đồ thị. Để thấy điều này, chúng tôi có thể kiểm tra ba đặc tính xác định các mối quan hệ tương đương:

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

Đường dẫn chúng ta hãy nói về nút được kết nối; điều này dẫn đến một thiết bị đơn giản hóa mạnh có tác dụng rất quan trọng cho các xét nghiệm. Definition Nodes ni và nj được kết nối khi và chỉ khi họ đang có trong cùng một con đường. "nối kết" là một quan hệ tương đương (xem Chương 3) trên các thiết lập node của một đồ thị. Để thấy điều này, chúng ta có thể kiểm tra ba thuộc tính rõ nét của các mối quan hệ tương đương: