Cây bao trùm

Bách khoa toàn thư mở Wikipedia
Bước tới: menu, tìm kiếm
Một cây bao trùm (các cạnh màu xanh) của một đồ thị lưới

Cây bao trùm (tiếng Anh: spanning tree), còn được gọi là cây khung, của đồ thị G là cây con của đồ thị G, chứa tất cả các đỉnh của G. Nói cách khác, cây bao trùm của một đồ thị G là một đồ thị con của G, chứa tất cả các đỉnh của G, liên thông và không có chu trình.

Cây bao trùm của đồ thị liên thông G cũng có thể định nghĩa như một đồ thị con không chu trình lớn nhất, hay một đồ thị con liên thông nhỏ nhất của G.

Mọi đồ thị liên thông đều có cây bao trùm.

Định lý (sự tồn tại của cây khung)[sửa | sửa mã nguồn]

Mọi đồ thị liên thông đều có chứa ít nhất 1 cây khung (cây tối đại)

Số các cây bao trùm của một đồ thị liên thông[sửa | sửa mã nguồn]

Công thức Cayley đếm số cây bao trùm của một đồ thị đầy đủ. Có tất cả 2^{2-2}=1 cây bao trùm của K_2, 3^{3-2}=3 cây bao trùm của K_3, và 4^{4-2}=16 cây bao trùm của K_4.

Gọi t(G) là số các cây bao trùm của đồ thị liên thông G. Trong một số trường hợp, số t(G) có thể tính trực tiếp. Chảng hạn nếu G là một cây, khi đó t(G)=1, còn khi G là một đồ thị vòng C_n với n đỉnh thì t(G)=n. Với đồ thị G bất kỳ, số t(G) có tính nhờ Định lý Kirchhoff.

Công thức Cayley là công thức cho số các cây bao trùm của đồ thị đầy đủ K_n với n đỉnh: t(K_n)=n^{n-2}.

Nếu Gđồ thị hai phía đầy đủ K_{p,q}, thì t(G)=p^{q-1}q^{p-1}, còn nếuGđồ thị khối ''n''-chiều Q_n, thì t(G)=2^{2^n-n-1}\prod_{k=2}^n k^{{n\choose k}}. Các công thức này rút ra từ lý thuyết các ma trận.

Nếu G là một đa đồ thịe là một cạnh của G, thì số t(G) các cây bao trùm của G thỏa mãn quan hệ t(G)=t(G-e)+t(G/e) (deletion-contraction recurrence), trong đó G-e là đa đồ thị suy ra từ G bằng cách xóa đi cạnh eG/e là đồ thị rút gọn cạnhe của G, trong đó các cạnh bội xuất hiện từ phép rút gọn này không bị xóa.

Thuật toán tìm cây bao trùm[sửa | sửa mã nguồn]

Có thể tìm cây bao trùm bằng thuật toán tìm kiếm theo chiều rộng, hoặc thuật toán tìm kiếm theo chiều sâu.

Cây bao trùm nhỏ nhất[sửa | sửa mã nguồn]

Nếu trên tập các cạnh của G có một hàm, được gọi là hàm trọng số, nhận giá trị thực \phi(u,v), thì cây bao trùm có tổng trọng số trên các cạnh nhỏ nhất được gọi là cây bao trùm nhỏ nhất. Có nhiều thuật toán tìm cây bao trùm nhỏ nhất, chẳng hạn như thuật toán Prim, thuật toán Kruskal, thuật toán Borůvka.

Xem thêm[sửa | sửa mã nguồn]