We are finally in a position to for

We are finally in a position to formalize an important simplification mechanism for testers.

Definition

Given a graph G = (V, E), its condensation graph is formed by replacing each component by a condensing node.

Developing the condensation graph of a given graph is an unambiguous (i.e., algorithmic) process. We use the adjacency matrix to identify path connectivity, and then use the equivalence relation to identify components. The absolute nature of this process is important: the condensation graph of a given graph is unique. This implies that the resulting simplification represents an important aspect of the original graph. The components in our continuing example are S1 = { n1, n2, n3, n4, n5, n6} and S2 = { n7 }.

There can be no edges in a condensation graph of an ordinary (undirected) graph. Two reasons why:

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

Chúng tôi là cuối cùng ở một vị trí để chính thức hóa một cơ chế đơn giản hóa quan trọng cho thử nghiệm. Định nghĩaCho một đồ thị G = (V, E), đồ thị ngưng tụ của nó được hình thành bằng cách thay thế mỗi thành phần của một nút ngưng tụ.Phát triển các đồ thị ngưng tụ của một đồ thị nhất định là một rõ ràng (ví dụ, thuật toán) quá trình. Chúng tôi sử dụng ma trận kề để xác định đường dẫn kết nối, và sau đó sử dụng mối quan hệ tương đương để xác định thành phần. Bản chất tuyệt đối của quá trình này là quan trọng: Các đồ thị ngưng tụ của một đồ thị nhất định là duy nhất. Điều này ngụ ý rằng đơn giản hóa kết quả đại diện cho một khía cạnh quan trọng của biểu đồ ban đầu. Các thành phần trong ví dụ của chúng tôi tiếp tục là S1 = {n1, n2, n3, n4, n5, n6} và S2 = {n7}.Có thể có không có cạnh trong một đồ thị ngưng tụ của một đồ thị (vô hướng) bình thường. Hai lý do:

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

Chúng tôi cuối cùng cũng ở một vị trí chính thức hóa một cơ chế đơn giản hóa quan trọng cho các xét nghiệm. Định nghĩa Cho một đồ thị G = (V, E), đồ thị ngưng tụ của nó được hình thành bằng cách thay thế từng phần bằng một nút ngưng tụ. Phát triển đồ thị ngưng tụ của một đồ thị đã cho là một cách rõ ràng (ví dụ, thuật toán) quá trình. Chúng tôi sử dụng các ma trận kề để xác định kết nối con đường, và sau đó sử dụng các quan hệ tương đương để xác định thành phần. Bản chất tuyệt đối của quá trình này là rất quan trọng: đồ thị ngưng tụ của một đồ thị đã cho là độc đáo. Điều này ngụ ý rằng việc đơn giản hóa kết quả đại diện cho một khía cạnh quan trọng của đồ thị ban đầu. Các thành phần trong ví dụ của chúng tôi là tiếp tục S1 = {n1, n2, n3, n4, n5, n6} và S2 = {} n7. Có thể không có các cạnh trong một đồ thị ngưng tụ của một bình thường (vô hướng) graph. Hai lý do tại sao: