图论14.docVIP

第十四章 5、设无向图有10条边，3度与4度顶点各2个，其余顶点的度数均小于3，问至少有多少个顶点？在最少顶点的情况下，写出度数列、、。 解：设的阶数为，、、、的度数为3、3、4、4，其余个顶点的度数小于等于2，由握手定理可得 解此不等式得： 即中至少有七个顶点，此时的度数列为3,3,4,4,2,2,2. ，。 解：由握手定理图的度数之和为：。3度与4度顶点各2个，这4个顶点的度数之和为14度。其余顶点的度数共有6度。其余顶点的度数均小于3，欲使的顶点最少，其余顶点的度数应都取2,所以，至少有7个顶点, 度数列为3,3,4,4,2,2,2,，. 6、（1）证明： 方法一：，于是得 方法二：易知是的平均度数，因而它大于或等于最小度，小于或等于最大度。 （2）阶连通的简单图中，边数最多，即，要破坏的连通性，至少要删除关联某个顶点的条边，所得图由和一个孤立点构成，它的边数为，这是阶非联通简单图中边数最多的情况，边数最少的非连通图，当然是阶零图，边数，由个孤立点构成的图。 8、设无向图中有6条边，3度与5度顶点各1个，其余顶点都是2度点，问该图有多少个顶点？ 解：设顶点数为，由握手定理可知： 解得 因此该图有4个顶点。 19、证明：因为是阶自补图 所以，且即它们的边数相等，均设为， 即 整理得 由于和互素，所以或，即，为正整数。 21、（1）点割集2个：，是割点。 边割集有7个：，是桥。 （2）因为既有割点又有桥，所以。 29、反证法 设为阶条边的无向图，那么，均有。由握手定理可得，其中为边数。这显然是个矛盾，所以假设是错误的。 31、由补图的定义可知，为的阶数对应的完全图的边数，因而得， 整理后得方程： 解此方程得： 其中的正整数解为所求。 当为平凡图时，，此时； 当时，； 当时，； 当时，； …… 44、利用的邻接矩阵的前4次幂解答此题。 （1）到长度为1,2,3,4的通路数分别是0条，0条，2条，2条； （2）到长度为1,2,3,4的回路数分别为1条，1条，3条，5条； （3）中长度为4的通路共44条，长度为4的回路共11条； （4）中长度小于或等于4的通路共88条，其中有22条是回路； （5）因为是强连通图，所以可达矩阵为4阶全1方阵。 补充题 9、度数列为1,2,2,3的简单图，同构意义下只有一个，它是的生成子图；度数为1,2,2,3的非简单图，同构意义下至少有5个，请画出尽可能多的来。 10、方法一：反证法 证明：假设….., 中至多有5个五度顶点且至多有4个6度顶点，但5个5度顶点违背握手定理推论，因而至多有4个5度顶点，这样一来，至多有8个顶点，这与已知相矛盾，所以假设是错误的。 方法二：枚举法 将违背握手定理推论的情况去掉，5度与6度顶点个数分配只有下面四种情况： 1、2个5度顶点，7个6度顶点； 2、4个5度顶点，5个6度顶点； 3、6个5度顶点，3个6度顶点； 4、8个5度顶点，1个6度顶点； 在1、2情况下，至少有5个6度顶点，在3、4情况下至少有6个5度顶点。 11、使用反证法，利用握手定理推矛盾。 证明：假设空间存在有奇数个面且每个面均有奇数条棱的多面体。做无向简单图，，因为有奇数个面，为奇数，又为的棱数，所以也为奇数，由于奇数个奇数之和为奇数，所以为奇数，这样违背了握手定理，所以假设是错误的。 18、方法一：在同构的意义下，4阶4条边的无向简单图都是的生成子图，而的4条边的非同构的生成子图只有两个，由鸽巢原理可知，中至少有两个是同构的。 方法二：直接构造4阶4条边的无向简单图，由握手定理可知，4条边产生8度，由简单图的性质可知，4个顶点的度数只能取1,2,3，度数列只能是2,2,2,2和1,2,2,3两种情况，每种情况产生一个非同构的4阶简单图，再由鸽巢原理得证结论。 第一章 命题符号化 求复合命题的真值与命题公式的赋值 判断公式的类型 复合命题的符号化 第二章 用等值演算法重言式和矛盾式 用等值演算法证明等值式 通过求公式的主析取范式或主合取范式判断公式的类型 用主析取范式判断两个公式是否等值 将已知的命题公式等值地化成给定的联结词完备集中的公式 用等值演算等方法解决实际问题 第三章 用等值演算法判断推理是否正确 用主析取范式法判断推理是否正确 在自然推理系统P中用直接证明法证明推理 在自然推理系统P中用附加前提证明法证明推理 在自然推理系统P中用归谬法证明推理 从前提中寻找正确推理的结论 在自然推理系统P中构造用自然语言描述的推理 第四章 一阶逻辑中命题符号化 在一阶逻辑中将简单的数学命题符号化 给定解释解释给定公式 证明某些公式不是永真