离散数学总复习资料4.docVIP

离散数学总复习资料 一、鸽笼原理与容斥原理 求证边长为1的正方形中放9个点，由这些点构成的三角形中，必有一个三 角形面积小于右。 证：把该正方形均分成四个相同的小正方形，则由鸽笼原理知，必有一个小正 方形内存在三个点，且这三个点构成的三角形面积小于# 8 对一列z? + l个不同整数，任意排列，证明一定存在长为斤+ 1的上升子序列 或下降子序列。 证：设此序列为:从％开始上升子序列最长的长度为忑, 证：设此序列为: 从％开始上升子序列最长的长度为忑, 下降子序列最长的长度为几，每一个绞伙= 1,2,???,a?+i）都对应了 （无,开）。若 不存在长为〃+1的上升子序列或下降子序列，那么xkn^ykn9形如（母,％）的 不同点对至多有川个，而色有兀+ i个，则由鸽笼原理知，必有 q?，勺?（1G v j n2 +1）同时对应（旳,yj =（◎，）］），由于q H勺，若? v勺,则兀至 少比兀/大1,若幻，则必至少比兀大1,这均与a，x）=g,y/）矛盾。故原 命题成立。# 求｛1,2，…,100｝中不被3、4、5整除的个数。 B表示｛1,2,…,100｝中被4整 B表示｛1,2,…,100｝中被4整 除的数的集合，C表示 除的数的集合， C表示｛1,2,…,100｝中被5 整除的数的集合， |A| = 33,|B| = 25,|C| = 20 AnB| = 8,|BnC| = 5,|CnA| = 6, |AnBnC| = l,进而有 A u B kJ C| = |/1| + B + C — AcB — B c C — C*c4| + |AcBcC| = 33 + 25 + 20-8-5-6 + 1 = 60 故有 AuBuC = 100-60 = 40 即｛1,2,…,100｝中不被3、4、5整除的个数为40。# 有100个学生，其中60个爱看小说，30个爱下棋，10个既爱看小说，又爱 下棋，5个既爱看小说，又爱跳舞，没有既爱下棋，又爱跳舞的，三种活动都不 爱的有10个，问有几个学生爱跳舞？ 解：设全体学生的集合为〃，爱看小说的学生集合为A,爱下棋的学生集合为B, 爱跳舞的学生集合为 C, 则依题意有 |[7| = 100,|A| = 60,|B| = 30,|AnB| = 10,|AnC| = 5,|BnC| = 0 , AuBuC =10 , BcC = e , 从 而 AcBcC= Ac(3cC) = 0 AuB^jC\ = \u\- AuBuC =100-10 = 90o另一方面，根据容斥原理，我们有 AuBuC| = |A| + |B| + |C|-|AnB|-|AnC|-|BnC| + |AnBnC| , 即 有 90 = 60 + 30 + |C|-10-5-0 + 0,故|C| = 15,即有 15 个学生爱跳舞。# 二、数理逻辑 求PtQ的主析取、主合取范式。 解：PtQ取真为：(1,1) , (0,0) , (0,1)；故PtQ的主析取范式为 宀0)心「0心0; PtQ取假为：(1,0)；故Pt Q的主合取范式 求(P T Q) t R的主析取、主合取范式。 解：(P T Q) T /?取真为:(1,1,1), (0,0,1), (0,1,1), (1,0,0), (1,0,1)；故(P t Q) t R 的主析取范式为 (PaQa/?) V (―|P A -1Q A /?) V (—iP A 2 A /?) V (P A A —i/?) V(?A -Q A R)； (PtQ)tR取假为：(1,1,0),(0,1,0),(0,0,0)； 故(Pt0)tR 的主合取范式为：RgPgQv R)心PvQv R)。 (1)将式子“并非跑的最快的马吃的最多”翻译成用谓词和量词表达的逻辑 式子。(2)将式子“爱因斯坦于1952年写完狭义与广义相对论浅说‘”翻译成 用谓词和量词表达的逻辑式子。 解：(1) %：马；A(x)：跑的最快的马；B(x)：吃的最多的马。 上式表不为：-V%(A(x) - S(x)) （2）设爱因斯坦；b： 1952； c：狭义与广义相对论浅说j,z）: 兀于〉，年写完z；则原式子可翻译成逻辑式子A(a,b,c)。 求下述公式的前束范式和Skobm标准形。 (3x)P(x, y)㈠(Vz)Q(z) 解：(3x)P(x, y) - (Vz)Q⑵= ((3x)P(x,y) T (Vz)Q(z)) a((Vz)Q(z) t (Hx)P(x9y)) =(-i(Hx)P(x, y) v (Vz)Q(z)) a (-i(Vz)g(z) v (3x)P(x, y)) =((V兀)「P(兀,y) v (Vz)Q(z)) a ((Bz)-iQ(z) v (3x)P(x, y)) =(Vx)(Vz)(-iP(x,