问答题
n个城市由k条公路网连接(一条公路定义为两个城市间的一条道路,它们之间不能通过任何中间城市),证明:如果有
k>l/2(n-1)(n-2)
则人们总能通过连接城市的公路在任何两个城市之间旅行。
【正确答案】
【答案解析】将城市作为结点,将连接两个城市的公路作为边,则该问题等价于证明一个具有n个结点k条边的简单无向图G是连通图。当n=2时,结论显然成立,以下证明n>2时结论也成立。
假设G不连通,则可将G中的结点集V分为两个子集V
1和V
2,它们.满足V
1∪V
2=V,V
1∩V
2≠,并且V
1中的任何结点与V
2中的任何结点均不连通。设由V
1生成的G的子图G
1中有n
1个结点k
1条边,由V
2生成的G的子图G
2中有n
2个结点k
2条边,则n
1+n
2=n,k
1+k
2=k。由于G是简单无向图,因此G
1和G
2也是简单无向图,从而有
k
1≤1/2 n
1(n
1-1),k
2≤1/2
n
2(n
2-1)
于是
k=k
1+k
2≤1/2 n
1(n
1-1)+1/2
n
2(n
2-1) ①
又
k>1/2(n-1)(n-2)=1/2(n
1+n
2-1)(n
1+n
2-2)
②
由于n>2,因此n
1和n
2至少有一个大于等于2,不妨设n
1≥2.由②得
k>1/2(n
1+n
2-1)(n
1+n
2-2)=1/2
n
1(n
1+n
2-2)+1/2(n
2-1)(n
1+n
2-2)≥1/2
n
1(n
1-1)+1/2 n
2(n
2-1)
这与①式矛盾,故G是连通图。
