关于二分图根积和串接的优美性

定义1 设H是有m个顶点h_i(1≤i≤m)的树,令B={图G_■|1≤i≤m,G_i∩H=φ,G_■∩G_■=φ,i≠j},设 X_i∈V(G_■)为G_■的根.所谓 H 与B的根积是把H的顶点 h_j与G_■的顶点 x_■(1≤i≤m)分别叠合起来所得的图,记为H(B).若G_■(1≤i≤m)均同构于二分图G,G_■的根X_■是G中任意指定的同一个顶点 X 的同构象,则记H(B)为H(G).