如果结果不匹配，请 
更多“证明生成树的补不包含割集，而且割集的补不包含生成树。”相关的问题
试题四（共25分）
阅读以下关于软件可靠性的叙述，在答题纸上回答问题1至问题3。
某企业欲研制某宇航控制系统。该系统对软件的可靠性要求很高，分配给软件的可靠性指标为R≥0.99。根据软件结构设计方案，该软件由7个模块X1，X2，…，X7组成，分别完成不同的控制功能。
为了保证该控制系统能够满足环境可靠性指标，李工认为应该首先采用故障树方法分析，预测出可靠性指标。该企业主管采用了李工的建议，建立了该软件的故障树模型（如图4-1所示），评估出了每个模块的可靠性指标，同时在每个模块的设计与实现过程中，采用了流程优化、结构优化、降低设计复杂度等方法来提高模块的可靠性指标。
软件开发完成后，项目组对该软件进行了相应的可靠性测试，得到了各模块的失效概率为：FX1=FX2=0.05，FX3=0.008，FX4=0.07，FX5=FX6=0.05，FX7=0.08，通过计算割集的失效概率来近似计算整个软件的可靠性指标，计算结果表明该软件的可靠性未达到分配的指标要求。
【问题1】（8分）
请给出该故障树的所有最小割集。
【问题2】 (10分)
根据题中给出的、经过可靠性测试后得到的每个模块的失效概率，计算每个割集失效概率，并近似计算出整个软件的失效概率，说明该软件的可靠性测试指标确未达要求。
【问题3】（7分）
请进一步分析导致该软件可靠性测试未能满足分配指标要求的原因，并给出后续的改进策略。
已知一个图的顶点集V和边集E分别为：
V={1,2,3,4,5,6,7};
E={(1,2)3,(1,3)5,(1,4)8,(2,5)10,(2,3)6,(3,4)15,(3,5)12,(3,6)9,(4,6)4,(4,7)20,(5,6)18,(6,7)25};
按照普里姆算法从顶点1出发得到最小生成树，试写出在最小生成树中依次得到的各条边。
● 下面哪个设备可以转发不同 VLAN 之间的通信？ （61）
（61）
A. 二层交换机
B. 三层交换机
C. 网络集线器
D. 生成树网桥
阅读下列函数说明和C函数，将应填入(n)处的字句写在对应栏内。
[说明]
Kruskal算法是一种构造图的最小生成树的方法。设G为一无向连通图，令T是由G的顶点构成的于图，Kmskal算法的基本思想是为T添加适当的边使之成为最小生成树：初始时，T中的点互相不连通；考察G的边集E中的每条边，若它的两个顶点在T中不连通，则将此边添加到T中，同时合并其两顶点所在的连通分量，如此下去，当添加了n-1条边时，T的连通分量个数为1，T便是G的一棵最小生成树。
下面的函数void Kruskal(EdgeType edges[],int n)利用Kruskal算法，构造了有n个顶点的图 edges的最小生成树。其中数组father[]用于记录T中顶点的连通性质：其初值为father[i]=-1 (i=0,1,…,n-1)，表示各个顶点在不同的连通分量上；若有father[i]=j，j＞-1，则顶点i，j连通；函数int Find(int father[],int v)用于返回顶点v所在树形连通分支的根结点。
[函数]
define MAXEDGE 1000
typedef struct
{ int v1;
int v2;
}EdgeType;
void Kruskal(EdgeType edges[],int n)
{ int father[MAXEDGE];
int i,j,vf1,vt2;
for(i=0;i＜n;i+ +) father[i]=-1;
i=0;
j=0;
while(i＜MAXEDGE && j＜(1))
{ vf1=Find(father,edges[i].v1);
vf2=Find(father,edges[i].v2);
if((2))
{(3)=vf1;
(4);
printf("%3d%3d\n",edges[i].v1,edges[i].v2);
}
(5);
}
}
int Find(int father[],int v)
{ int t;
t=v;
while(father[t]＞=0) t=father[t];
return(t);
}
