摘要:
设有n个集合X1,X2,…,Xn,一个以X=∪ni=1Xi为顶点集的图G称为是一个关于集合序列(X1,X2,…,Xn) 的可行图,如果对每一个Xi (i=1,2,…,n),导出子图Gi=G[Xi] 是连通的.集合序列(X1,X2,…,Xn) 含最少边数的可行图称为关于(X1,X2,…,Xn) 的最小可行图.将n=3推广至任意的自然数n,得出了集合序列(X1,X2,…,Xn) 的最小可行图G=∪ni=1 Gi,当满足∩ni=1 Xi≠Φ时, G是关于集合序列(X1,X2,…,Xn) 的最小可行图的一个充分必要条件,同时得出了集合序列 (X1,X2,…,Xn)的最小可行图在某种条件下的两个主要结果.