离散数学及其使用图论部分课后习题答案

离散数学图论部分综合练习一、单项选择题1．设图G 的邻接矩阵为⎥⎥⎥⎥⎥⎥⎦⎤⎢⎢⎢⎢⎢⎢⎣⎡0101010010000011100100110则G 的边数为( )．A ．6B ．5C ．4D ．32．已知图G 的邻接矩阵为， 则G 有（ ）．A ．5点，8边B ．6点，7边C ．6点，8边D ．5点，7边3．设图G ＝<V , E >，则下列结论成立的是 ( )．A ．deg(V )=2∣E ∣B ．deg(V )=∣E ∣C ．E v Vv 2)deg(=∑∈ D ．E v Vv =∑∈)deg(4．图G 如图一所示，以下说法正确的是 ( ) ．A ．{(a , d )}是割边B ．{(a , d )}是边割集C ．{(d , e )}是边割集D ．{(a, d ) ,(a, c )}是边割集5．如图二所示，以下说法正确的是 ( )． A ．e 是割点 B ．{a, e }是点割集 C ．{b , e }是点割集 D ．{d }是点割集6．如图三所示，以下说法正确的是 ( ) ． A ．{(a, e )}是割边 B ．{(a, e )}是边割集ο ο ο ο οcab edο f图一图二C．{(a, e) ,(b, c)}是边割集D．{(d, e)}是边割集图三7．设有向图（a）、（b）、（c）与（d）如图四所示，则下列结论成立的是( )．图四A．（a）是强连通的B．（b）是强连通的C．（c）是强连通的D．（d）是强连通的应该填写：D8．设完全图Kn 有n个结点(n≥2)，m条边，当（）时，Kn中存在欧拉回路．A．m为奇数B．n为偶数C．n为奇数D．m 为偶数9．设G是连通平面图，有v个结点，e条边，r个面，则r= ( )．A．e－v＋2 B．v＋e－2 C．e－v－2 D．e＋v ＋210．无向图G存在欧拉通路，当且仅当( )．A．G中所有结点的度数全为偶数B．G中至多有两个奇数度结点C．G连通且所有结点的度数全为偶数D．G连通且至多有两个奇数度结点11．设G是有n个结点，m条边的连通图，必须删去G的( )条边，才能确定G的一棵生成树．A．1m n-+B．m n-C．1m n++D．1n m-+ 12．无向简单图G是棵树，当且仅当( )．A．G连通且边数比结点数少1 B．G连通且结点数比边数少1C ．G 的边数比结点数少1D ．G 中没有回路．二、填空题1．已知图G 中有1个1度结点，2个2度结点，3个3度结点，4个4度结点，则G 的边数是 ． 2．设给定图G (如图四所示)，则图G 的点割 集是 ．3．若图G=<V , E>中具有一条汉密尔顿回路， 则对于结点集V 的每个非空子集S ，在G 中删除S 中的所有结点得到的连通分支数为W ，则S 中结点数|S|与W 满足的关系式为 ．4．无向图G 存在欧拉回路，当且仅当G 连通 且 ．5．设有向图D 为欧拉图，则图D 中每个结点的入度 ． 应该填写：等于出度6．设完全图K n 有n 个结点(n ≥2)，m 条边，当 时，K n 中存在欧拉回路．7．设G 是连通平面图，v , e , r 分别表示G 的结点数，边数和面数，则v ，e 和r 满足的关系式 ．8．设连通平面图G 的结点数为5，边数为6，则面数为 ．9．结点数v 与边数e 满足 关系的无向连通图就是树．10．设图G 是有6个结点的连通图，结点的总度数为18，则可从G 中删去条边后使之变成树．11．已知一棵无向树T 中有8个结点，4度，3度，2度的分支点各一个，T 的树叶数为 ．12．设G ＝<V , E >是有6个结点，8条边的连通图，则从G 中删去 条边，可以确定图G 的一棵生成树．13．给定一个序列集合{000，001，01，10，0}，若去掉其中的元素 ，则该序列集合构成前缀码．三、判断说明题1．如图六所示的图G 存在一条欧拉回路．ο οο ο οca b e dο f 图四2．给定两个图G 1，G 2（如图七所示）：（1）试判断它们是否为欧拉图、汉密尔顿图？并说明理由． （2）若是欧拉图，请写出一条欧拉回路．图七3．判别图G (如图八所示)是不是平面图， 并说明理由．4．设G 是一个有6个结点14条边的连 通图，则G 为平面图．四、计算题1．设图G =<V ，E >，其中V ={a 1, a 2, a 3, a 4, a 5},E ={<a 1, a 2>，<a 2, a 4>，<a 3, a 1>，<a 4, a 5>，<a 5, a 2>}（1）试给出G 的图形表示； （2）求G 的邻接矩阵；（3）判断图G 是强连通图、单侧连通图还是弱连通图？ 2．设图G =<V ，E >，V ={ v 1，v 2，v 3，v 4，v 5}，E ={ (v 1, v 2)，(v 1, v 3)，(v 2, v 3)，(v 2, v 4)，(v 3, v 4)，(v 3, v 5)，(v 4, v 5) }，试（1）画出G 的图形表示； （2）写出其邻接矩阵； （2）求出每个结点的度数； （4）画出图G 的补图的图形．3．设G =<V ，E >，V ={ v 1，v 2，v 3，v 4，v 5}，E ={ (v 1,v 3)，(v 2,v 3)，(v 2,v 4)，(v 3,v 4)，(v 3,v 5)，(v 4,v 5) }，试v 1v 2v 3v 4v 5v 6v 1v 2v 3v 5 d bae f ghn图六οοο ο οv 5v 1 v 2 v 4v 6 ο v 3图八（1）给出G的图形表示；（2）写出其邻接矩阵；（3）求出每个结点的度数；（4）画出其补图的图形．4．图G=<V, E>，其中V={ a, b, c, d, e}，E={ (a, b), (a, c), (a, e), (b,d), (b, e), (c, e), (c, d), (d, e) }，对应边的权值依次为2、1、2、3、6、1、4及5，试（1）画出G的图形；（2）写出G的邻接矩阵；（3）求出G权最小的生成树及其权值．5.用Dijkstra算法求右图中A点到其它各点的最短路径。

习题十1. 设G 是一个(n ，m)简单图。

证明：，等号成立当且仅当G 是完全图。

证明：（1）先证结论：因为G 是简单图，所以G 的结点度上限 max(d(v)) ≤ n-1, G 图的总点度上限为 max(Σ(d(v)) ≤ n ﹒max(d(v)) ≤ n(n-1) 。

根据握手定理，G 图边的上限为 max(m) ≤ n(n-1)/2,所以。

（2） =〉G 是完全图 因为G 具有上限边数，假设有结点的点度小于n-1,那么G 的总度数就小于上限值，边数就小于上限值，与条件矛盾。

所以，G 的每个结点的点度都为n-1，G 为完全图。

G 是完全图 =〉 因为G 是完全图，所以每个结点的点度为n-1, 总度数为n(n-1)，根据握手定理，图G 的边数 。

■2. 设G 是一个（n ，n +1）的无向图，证明G 中存在顶点u ，d （u ）≥3。

证明：反证法，假设,则G 的总点度上限为max(Σ(d(u)) ≤2 n ，根据握手定理，图边的上限为max(m) ≤ 2n/2=n 。

与题设m = n+1，矛盾。

因此，G 中存在顶点u ，d （u ）≥3。

■3．确定下面的序列中哪些是图的序列，若是图的序列，画出一个对应的图来: （1）（3，2，0，1，5）； （2）（6，3，3，2，2） （3）（4，4，2，2，4）； （4）（7，6，8，3，9，5）解：除序列（1）不是图序列外，其余的都是图序列。

因为在（1）中，总和为奇数，不满足图总度数为偶数的握手定理。

可以按如下方法构造满足要求的图：序列中每个数字ai 对应一个点，如果序列数字是偶数，那么就在对应的点上画ai/2个环，如果序列是奇数，那么在对应的点上画(ai-1)/2个环。

最后，将奇数序列对应的点两两一组，添加连线即可。

下面以（2）为例说明：(6 , 3, 3, 2, 2 ) 对应图G 的点集合V= { v 1,v 2,v 3,v 4,v 5}每个结点对应的环数(6/2, (3-1)/2, (3-1)/2, 2/2,2/2) = (3,1,1,1,1)v 1v 5v 3v 4v 2将奇数3，3 对应的结点v 2,v 3一组，画一条连线其他序列可以类式作图，当然大家也可以画图其它不同的图形。

离散数学图论答案离散数学图论答案【篇一：离散数学图论习题】综合练习一、单项选择题1．设l是n阶无向图g上的一条通路，则下面命题为假的是( )． (a) l可以不是简单路径，而是基本路径 (b) l可以既是简单路径,又是基本路径 (c) l可以既不是简单路径，又不是基本路径 (d) l可以是简单路径，而不是基本路径答案：a2．下列定义正确的是( )．(a) 含平行边或环的图称为多重图(b) 不含平行边或环的图称为简单图(c) 含平行边和环的图称为多重图(d) 不含平行边和环的图称为简单图答案：d3．以下结论正确是 ( )．(a) 仅有一个孤立结点构成的图是零图(b) 无向完全图kn每个结点的度数是n (c) 有n(n1)个孤立结点构成的图是平凡图(d) 图中的基本回路都是简单回路答案：d4．下列数组中，不能构成无向图的度数列的数组是( )． (a)(1,1,1,2,3) (b) (1,2,3,4,5) (c) (2,2,2,2,2) (d) (1,3,3,3) 答案：b5．下列数组能构成简单图的是( )．(a) (0,1,2,3)(b) (2,3,3,3)(c) (3,3,3,3)(d) (4,2,3,3) 答案：c6．无向完全图k3的不同构的生成子图的个数为（）． (a) 6 (b) 5(c) 4 (d) 3 答案：c7．n阶无向完全图kn中的边数为（）．(a)n(n?1)n(n?1)(b) (c) n (d)n(n+1) 22答案：b8．以下命题正确的是( )．(a) n(n?1)阶完全图kn都是欧拉图(b) n(n?1)阶完全图kn都是哈密顿图(c) 连通且满足m=n－1的图v,e(?v?=n,?e?=m)是树(d) n(n?5)阶完全图kn都是平面图答案：c10．下列结论不正确是( )．(a) 无向连通图g是欧拉图的充分必要条件是g不含奇数度结点(b) 无向连通图g有欧拉路的充分必要条件是g最多有两个奇数度结点 (c) 有向连通图d是欧拉图的充分必要条件是d的每个结点的入度等于出度(d) 有向连通图d有有向欧拉路的充分必要条件是除两个结点外，每个结点的入度等1于出度答案：d11．无向完全图k4是（）．（a）欧拉图（b）哈密顿图（c）树答案：b12．有4个结点的非同构的无向树有 ( )个．(a) 2 (b) 3(c) 4(d) 5 答案：a13．设g是有n个结点，m条边的连通图，必须删去g的( )条边，才能确定g的一棵生成树．(a) m?n?1 (b) n?m (c) m?n?1 (d) n?m?1 答案：a14．设g是有6个结点的完全图，从g中删去( )条边，则得到树． (a) 6 (b) 9 (c) 10 (d) 15 答案：c二、填空题1．数组{1，2，3，4，4}是一个能构成无向简单图的度数序列，此命题的真值是 . 答案：02．无向完全图k3的所有非同构生成子图有个．答案：43．设图g??v,e?，其中?v??n,?e??m．则图g是树当且仅当g是连通的，且m?．答案：n－14．连通图g是欧拉图的充分必要条件是答案：图g无奇数度结点5．连通无向图g有6个顶点9条边，从g中删去g的一棵生成树t．答案：46．无向图g为欧拉图，当且仅当g是连通的，且g中无答案：奇数度7．设图g??v,e?是简单图，若图中每对结点的度数之和，则g一定是哈密顿图．答案：?8．如图1所示带权图中最小生成树的权是．答案：12三、化简解答题1．设无向图g＝v,e，v={v1，v2，v3，v4，v5，v6}， e={( v1，v2), ( v2，v2), ( v4，v5), ( v3，v4), ( v1，v3),( v3，v1), ( v2，v4)}． (1) 画出图g的图形；2图15图22(2) 写出结点v2, v4，v6的度数； (3) 判断图g是简单图还是多重图．解：(1) 图g的图形如图5所示．(2) deg(v2)?4,deg(v4)?3,deg(v6)?0．(3) 图g是多重图．作图如图2. 2．设图g＝v，e，其中v＝{a,b,c,d,e}, e={(a,b),(b,c),(c,d), (a,e)}试作出图g的图形，并指出图g是简单图还是多重图？是连通图吗？说明理由.b e解：图g如图8所示．. 图g中既无环，也无平行边，是简单图． cd 图g是连通图．g中任意两点都连通.图3所以，图g有9个结点．作图如图3．四、计算题1．设简单连通无向图g有12条边，g中有2个1度结点，2个2度结点，3个4度结点，其余结点度数为3．求g中有多少个结点．试作一个满足该条件的简单无向图．解：设图g有x个结点，由握手定理2?1+2?2+3?4+3?（x?2?2?3）＝12?23x?24?21?18?27x＝9 故图g有9个结点．图4满足该条件的简单无向图如图4所示2．设图g(如图5表示)是6个结点a,b,c, d,e,f的图，试求，图g的最小生成树，并计算它的权．c 解：构造连通无圈的图，即最小生成树，用克鲁斯克尔算法：第一步：取ab＝1；第二步：取af=4第三步：取fe＝3；第四步：取ad=9图5 第五步：取bc=23如图6．权为1+4+3+9+23=403．一棵树t有两个2度顶点，1个3度顶点；3个4问它有几片树叶？解：设t有n顶点，则有n－1条边．t中有2个2度顶点，1个3度顶点，3个4度顶点，其余n－2－1-3个1度顶点．五、证明题1．若无向图g中只有两个奇数度结点，则这两个结点一定是连通的．证：用反证法．设g中的两个奇数度结点分别为u和v．假若u和v不连通．即它们之间无任何通路，则g至少有两个连通分支g1，g2，且u 和v分别属于g1和g2，于是g1和g2各含有一个奇数度结点．这与握手定理的推论矛盾．因而u和v一定是连通的．3【篇二：离散数学图论练习题】题1、设g是一个哈密尔顿图，则g一定是()。

作业答案：集合论部分P90:习题六5、确定下列命题是否为真。

（2）ÆÎÆ（4）{}ÆÎÆ（6）{,}{,,,{,}}a b a b c a b Î解答：（2）假（4）真（6）真8、求下列集合的幂集。

（5）{{1,2},{2,1,1},{2,1,1,2}}（6）{{,2},{2}}Æ解答：（5）集合的元素彼此互不相同，所以{2,1,1,2}{1,2}=，所以该题的结论应该为{,{{1,2}},{{2,1,2}},{{2,1,1,1}},{{1,2},{2,1,2},{2,1,1,1}}}Æ（6）{,{{,2}},2,{{,2},{2}}}ÆÆÆ9、设{1,2,3,4,5,6}E =，{1,4}A =，{1,2,5}B =,{2,4}C =,求下列集合。

（1）A B（2）()A B 解答：（1）{1,4}{3,4,6}{4}A B ==（2）(){1}{2,3,4,5,6}A B ==31、设A,B,C 为任意集合，证明()()()()A B B A A B A B --=-证明：()(){|}{|()()}{|()()()()}{|()()}{|()()}{|()()}{|()()}{|()(A B B A x x A B x B A x x A x B x B x A x x A x B x B x B x A x A x B x A x x A x B x B x A x x A B x A x B x x A B x A x B x x A B x A B x x AB x A--=Î-ÚÎ-=ÎÙÏÚÎÙÏ=ÎÚÎÙÏÚÎÙÎÚÏÙÏÚÏ=ÎÚÎÙÏÚÏ=ÎÙÏÚÏ=ÎÙÎÚÎ=ÎÙÎ=ÎÙÎ)}B A B AB=-34、设A,B 为集合，证明：如果()()A B B A AB --=，则AB =Æ。

离散数学及应用课后习题答案【篇一：离散数学及其应用图论部分课后习题答案】p165:习题九1、给定下面4个图（前两个为无向图，后两个为有向图）的集合表示，画出它们的图形表示。

（1）g1??v1,e1?，v1?{v1,v2,v3,v4,v5}，e1?{(v1,v2),(v2,v3),(v3,v4),(v3,v3),(v4,v5)} （2）g2??v2,e2?，v2?v1，e1?{(v1,v2),(v2,v3),(v3,v4),(v4,v5),(v5,v1)} （3）d1??v3,e3?,v3?v1,e3?{?v1,v2?,?v2,v3?,?v3,v2?,?v4,v5?,?v5,v 1?} （4）d2??v4,e4?,v4?v1,e3?{?v1,v2?,?v2,v5?,?v5,v2?,?v3,v4?,?v4,v 3?} 解答：（1）（2）10、是否存在具有下列顶点度数的5阶图？若有，则画出一个这样的图。

（1）5，5，3，2，2；（2）3，3，3，3，2；（3）1，2，3，4，5；（4）4，4，4，4，4 解答：（1）（3）不存在，因为有奇数个奇度顶点。

14、设g是n(n?2)阶无向简单图，g是它的补图，已知?(g)?k1,?(g)?k2，求?(g)，(g)。

解答：?(g)?n?1?k2；?(g)?n?1?k1。

15、图9.19中各对图是否同构？若同构，则给出它们顶点之间的双射函数。

解答：（c）不是同构，从点度既可以看出，一个点度序列为4，3，3，3，3而另外一个为4，4，3，3，1（d）同构，同构函数为12f(x)345解答：（1）三条边一共提供6度；所以点度序列可能是x?ax?bx?c x?dx?e16、画出所有3条边的5阶简单无向图和3条边的3阶简单无向图。

①3，3，0，0，0，0；②3，2，1，0，0，0；③3，1，1，1，0，0；④2，2，2，0，0，0；⑤2，2，1，1，0，0；⑥2，1，1，1，1，0；⑦1，1，1，1，1，1；由于是简单图，①②两种情形不可能图形如下：（2）三条边一共提供6度，所以点度序列可能为①3，3，0；②3，2，1；③2，2，2 由于是简单图，①②两种情形不可能21、在图9.20中，下述顶点序列是否构成通路？哪些是简单通路？哪些是初级通路？哪些是回路？哪些是简单回路？哪些是初级回路？（1）a,b,c,d,b,e；（2）a,b,e,d,b,a；（3）a,d,c,e,b；（4）d,b,a,c,e;（5）a,b,c,d,e,b,d,c；（6）a,d,b,e,c,b,d；（7）c,d,a,b,c；（8）a,b,c,e,b 解答：（1）构成通路，且为初级通路，因为点不重复（2）构成了回路，但是不为简单回路和初级回路，因为有重复的边(a,b) （3）构成了初级通路，因为点不重复；（4）不构成通路，因为边(a,c)不存在；（5）构成通路，但是不为简单通路和初级通路，因为有重复的边(d,c) （6）构成了回路，但是不为简单回路和初级回路，因为有重复的边(d,b) （7）构成了初级通路；（8）简单通路，但是不为初级通路，有重复边。

《离散数学》题库及标准答案《离散数学》题库及答案————————————————————————————————作者：————————————————————————————————日期：《离散数学》题库与答案一、选择或填空（数理逻辑部分）1、下列哪些公式为永真蕴含式？( )(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P∧(P∨Q)=>?P答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）2、下列公式中哪些是永真式？( )(1)(┐P∧Q)→(Q→?R) (2)P→(Q→Q) (3)(P∧Q)→P (4)P→(P∨Q)答：（2），（3），（4）可用蕴含等值式证明3、设有下列公式，请问哪几个是永真蕴涵式?( )(1)P=>P∧Q (2) P∧Q=>P (3) P∧Q=>P∨Q(4)P∧(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P∧(P∨Q)=>?P答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式4、公式?x((A(x)→B(y，x))∧?z C(y，z))→D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z（考察定义在公式?x A和?x A中，称x为指导变元，A为量词的辖域。

在?x A和?x A的辖域中，x的所有出现都称为约束出现，即称x为约束变元，A中不是约束出现的其他变项则称为自由变元。

于是A(x)、B(y，x)和?z C(y，z)中y为自由变元，x和z为约束变元，在D(x)中x为自由变元）5、判断下列语句是不是命题。

若是，给出命题的真值。

( )(1)北京是中华人民共和国的首都。

(2) 陕西师大是一座工厂。

(3) 你喜欢唱歌吗？ (4) 若7+8＞18，则三角形有4条边。

离散数学图论答案【篇一：离散数学图论习题】综合练习一、单项选择题1．设l是n阶无向图g上的一条通路，则下面命题为假的是( )． (a) l可以不是简单路径，而是基本路径 (b) l可以既是简单路径,又是基本路径 (c) l可以既不是简单路径，又不是基本路径 (d) l可以是简单路径，而不是基本路径答案：a2．下列定义正确的是( )．(a) 含平行边或环的图称为多重图(b) 不含平行边或环的图称为简单图 (c) 含平行边和环的图称为多重图(d) 不含平行边和环的图称为简单图答案：d3．以下结论正确是 ( )．(a) 仅有一个孤立结点构成的图是零图 (b) 无向完全图kn每个结点的度数是n (c) 有n(n1)个孤立结点构成的图是平凡图(d) 图中的基本回路都是简单回路答案：d4．下列数组中，不能构成无向图的度数列的数组是( )． (a)(1,1,1,2,3) (b) (1,2,3,4,5) (c) (2,2,2,2,2) (d) (1,3,3,3) 答案：b5．下列数组能构成简单图的是( )． (a) (0,1,2,3)(b) (2,3,3,3)(c) (3,3,3,3)(d) (4,2,3,3) 答案：c6．无向完全图k3的不同构的生成子图的个数为（）． (a) 6 (b)5(c) 4 (d) 3 答案：c7．n阶无向完全图kn中的边数为（）．(a)n(n?1)n(n?1)(b) (c) n (d)n(n+1) 22答案：b8．以下命题正确的是( )．(a) n(n?1)阶完全图kn都是欧拉图(b) n(n?1)阶完全图kn都是哈密顿图(c) 连通且满足m=n－1的图v,e(?v?=n,?e?=m)是树 (d) n(n?5)阶完全图kn都是平面图答案：c10．下列结论不正确是( )．(a) 无向连通图g是欧拉图的充分必要条件是g不含奇数度结点(b) 无向连通图g有欧拉路的充分必要条件是g最多有两个奇数度结点 (c) 有向连通图d是欧拉图的充分必要条件是d的每个结点的入度等于出度(d) 有向连通图d有有向欧拉路的充分必要条件是除两个结点外，每个结点的入度等1于出度答案：d11．无向完全图k4是（）．（a）欧拉图（b）哈密顿图（c）树答案：b12．有4个结点的非同构的无向树有 ( )个．(a) 2 (b) 3(c) 4(d) 5 答案：a13．设g是有n个结点，m条边的连通图，必须删去g的( )条边，才能确定g的一棵生成树．(a) m?n?1 (b) n?m (c) m?n?1 (d) n?m?1 答案：a14．设g是有6个结点的完全图，从g中删去( )条边，则得到树． (a) 6 (b) 9 (c) 10 (d) 15 答案：c二、填空题1．数组{1，2，3，4，4}是一个能构成无向简单图的度数序列，此命题的真值是 . 答案：02．无向完全图k3的所有非同构生成子图有个．答案：43．设图g??v,e?，其中?v??n,?e??m．则图g是树当且仅当g是连通的，且m?．答案：n－14．连通图g是欧拉图的充分必要条件是答案：图g无奇数度结点 5．连通无向图g有6个顶点9条边，从g中删去g的一棵生成树t．答案：46．无向图g为欧拉图，当且仅当g是连通的，且g中无答案：奇数度7．设图g??v,e?是简单图，若图中每对结点的度数之和，则g一定是哈密顿图．答案：?8．如图1所示带权图中最小生成树的权是．答案：12三、化简解答题1．设无向图g＝v,e，v={v1，v2，v3，v4，v5，v6}， e={( v1，v2), ( v2，v2), ( v4，v5), ( v3，v4), ( v1，v3),( v3，v1), ( v2，v4)}． (1) 画出图g的图形；2图15图22(2) 写出结点v2, v4，v6的度数； (3) 判断图g是简单图还是多重图．解：(1) 图g的图形如图5所示．(2) deg(v2)?4,deg(v4)?3,deg(v6)?0．(3) 图g是多重图．作图如图2. 2．设图g＝v，e，其中v＝{a,b,c,d,e}, e={(a,b),(b,c),(c,d), (a,e)}试作出图g的图形，并指出图g是简单图还是多重图？是连通图吗？说明理由.b e解：图g如图8所示．. 图g中既无环，也无平行边，是简单图． cd 图g是连通图．g中任意两点都连通.图3所以，图g有9个结点．作图如图3．四、计算题1．设简单连通无向图g有12条边，g中有2个1度结点，2个2度结点，3个4度结点，其余结点度数为3．求g中有多少个结点．试作一个满足该条件的简单无向图．解：设图g有x个结点，由握手定理2?1+2?2+3?4+3?（x?2?2?3）＝12?23x?24?21?18?27x＝9 故图g有9个结点．图4满足该条件的简单无向图如图4所示2．设图g(如图5表示)是6个结点a,b,c, d,e,f的图，试求，图g的最小生成树，并计算它的权．c 解：构造连通无圈的图，即最小生成树，用克鲁斯克尔算法：第一步：取ab＝1；第二步：取af=4第三步：取fe＝3；第四步：取ad=9图5 第五步：取bc=23如图6．权为1+4+3+9+23=403．一棵树t有两个2度顶点，1个3度顶点；3个4问它有几片树叶？解：设t有n顶点，则有n－1条边．t中有2个 2度顶点，1个3度顶点，3个4度顶点，其余n－2－1-3个1度顶点．五、证明题1．若无向图g中只有两个奇数度结点，则这两个结点一定是连通的．证：用反证法．设g中的两个奇数度结点分别为u和v．假若u和v不连通．即它们之间无任何通路，则g至少有两个连通分支g1，g2，且u和v分别属于g1和g2，于是g1和g2各含有一个奇数度结点．这与握手定理的推论矛盾．因而u和v一定是连通的．3【篇二：离散数学图论练习题】题1、设g是一个哈密尔顿图，则g一定是()。

习 题 六1．设G 是一个无回路的图, 求证：若G 中任意两个顶点间有惟一的通路, 则G 是树. 证明：由假设知，G 是一个无回路的连通图，故G 是树。

2．证明：非平凡树的最长通路的起点和终点均为悬挂点. 分析：利用最长通路的性质可证。

证明：设P 是树T 中的极长通路。

若P 的起点v 满足1)(>v d ，则P 不是T 中极长的通路。

对终点u 也可同理讨论。

故结论成立。

3．证明：恰有两个悬挂点的树是一条通路.分析：因为树是连通没有回路的，所以树中至少存在一条通路P 。

因此只需证明恰有两个悬挂点的树中的所有的点都在这条通路P 中即可。

证明：设v u ,是树T 中的两个悬挂点，即1)()(==v d u d 。

因T 是树，所以存在),(v u -通路P ：0,1≥k v w uw k 。

显然，2)(≥i w d 。

若2)(>i w d ，则由T 恰有两个悬挂点的假设，可知T 中有回路；若T 中还有顶点x 不在P 中，则存在),(x u -通路，显然u 与x 不邻接，且2)(≥x d 。

于是，可推得T 中有回路，矛盾。

故结论成立。

4．设G 是树, ()k G ≥∆, 求证：G 中至少有k 个悬挂点.分析：由于()k G ≥∆，所以G 中至少存在一个顶点v 的度≥k ，于是至少有k 个顶点与邻接，又G 是树，所以G 中没有回路，因此与v 邻接的点往外延伸出去的分支中，每个分支的最后一个顶点必定是一个悬挂点，因此G 中至少有k 个悬挂点。

证明：设)(G V u ∈，且k m u d ≥≥)(。

于是，存在)(,,1G V v v m ∈ ，使m i G E uv i ,,1),( =∈。

若i v 不是悬挂点，则有),(G V v i ∈'使。

如此下去，有)()(G V v l i ∈，满足,,)(j i v v j l i≠≠且1)()(=l i v d , m i ,,1 =。

故G 中至少有k 个悬挂点。

第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。

（1）p∨(q∧r)⇔0∨(0∧1) ⇔0（2）（p↔r）∧(﹁q∨s) ⇔（0↔1）∧(1∨1) ⇔0∧1⇔0.（3）（⌝p∧⌝q∧r）↔(p∧q∧﹁r) ⇔（1∧1∧1）↔ (0∧0∧0)⇔0(4)（⌝r∧s）→(p∧⌝q) ⇔（0∧1）→(1∧0) ⇔0→0⇔117．判断下面一段论述是否为真：“π是无理数。

并且，如果3是无理数，则2也是无理数。

另外6能被2整除，6才能被4整除。

”答：p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为：p∧(q→r)∧(t→s)的真值为1，所以这一段的论述为真。

19．用真值表判断下列公式的类型：（4）(p→q) →(⌝q→⌝p)（5）(p∧r) ↔(⌝p∧⌝q)（6）((p→q) ∧(q→r)) →(p→r)答：（4）p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式（5）公式类型为可满足式（方法如上例）（6）公式类型为永真式（方法如上例）第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型，对不是重言式的可满足式，再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答：(2)（p→(p∨q)）∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r （p∨q）→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式：(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明（2）(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)（4）(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式，并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解：（1）主析取范式(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔ (⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式：(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p))⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1)(2) 主合取范式为：⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为：(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明：(2)前提：p→q,⌝(q∧r),r结论：⌝p(4)前提：q→p,q↔s,s↔t,t∧r结论：p∧q证明：（2）①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦￢p（3）⑤⑥拒取式证明（4）：①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥（q→t）∧(t→q) ⑤置换⑦（q→t）⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理：(1)前提：p→(q→r),s→p,q结论：s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理：(1)前提：p→⌝q,⌝r∨q,r∧⌝s结论：⌝p证明：①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④￢r∨q 前提引入⑤￢r ④化简律⑥r∧￢s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解：F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)∀，在（a）中为假命题，在(b)中为真命题。