离散数学公式_第1页
离散数学公式_第2页
离散数学公式_第3页
离散数学公式_第4页
离散数学公式_第5页
已阅读5页,还剩14页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、基本等值式1.双重否定律A A2.幂等律AAA,AA A3.交换律ABB A,ABB A4.结合律(A B) CA(BC)(A B) CA(BC)5.分配律A (B C)(A B) (A C)(对的分配律)A(B C)(A B) (A C)(对的分配律)6.德摩根律 (A B)A B(AB)A B7.吸收律A(A B)A ,A (A B)A8.零律A11,A 009.同一律A 0A,A1A10.排中律A A111.矛盾律A A012.蕴涵等值式ABA B13.等价等值式AB(A B) (B A)14.假言易位A BB A15.等价否定等值式AB A B16.归谬论(A B) (A B) A求给

2、定公式范式的步骤(1) 消去联结词、( 若存在 ) 。(2) 否定号的消去 ( 利用双重否定律 ) 或内移 ( 利用德摩根律 ) 。(3) 利用分配律:利用对 的分配律求 析取范式,对 的分配律求 合取范式。推理定律 -重言蕴含式(1)A(A B)附加律(2)(AB)A化简律(3)(A B) AB假言推理(4)(AB) B A拒取式(5)(AB) BA析取三段论(6)(AB) (B C)(A C)假言三段论(7)(A B) (B C)(AC)等价三段论(8)(A B) (CD)(A C)(B D)构造性二难(A B) ( A B) (A A)B构造性二难 ( 特殊形式 )(9)(A B) (C

3、 D) ( B D)( A C)破坏性二难设个体域为有限集 D=a1,a2, ,an,则有(1) xA(x)A(a1) A(a2) A(an)(2) xA(x)A(a1)A(a2) A(an)设 A(x)是任意的含自由出现个体变项x 的公式,则(1) xA(x)x A(x)(2) xA(x)x A(x)设 A(x)是任意的含自由出现个体变项x 的公式, B 中不含 x 的出现,则(1)x(A(x) B)xA(x) Bx(A(x) B)xA(x) Bx(A(x) B)xA(x) Bx(B A(x)B xA(x)(2)x(A(x) B)xA(x) Bx(A(x) B)xA(x) Bx(A(x) B

4、)xA(x) Bx(B A(x)B xA(x)设 A(x),B(x) 是任意的含自由出现个体变项x 的公式,则(1) x(A(x) B(x)xA(x) xB(x)(2) x(A(x) B(x)xA(x) xB(x)全称量词“”对“”无分配律。存在量词“”对“”无分配律。UI 规则。xA(x)xA(x)或A(y)A(c)UG规则。A(y)xA(x)EG规则。A(c)xA(x)EI 规则。xA(x)A Bx|x AxB A(c) 、A Bx|x AxB A Bx|x Ax B 幂集 P(A)x | xA对称差集 A B(A B) (B A)A B(A B) (A B)绝对补集 Ax|xA 广义并A

5、 x |z(z A x z)设 A a,b,c,a,c,d,a,e,fB则A a,b,c,d,e,fa广义交Ax |Ca,c,dz(z A xz)BaCa c,dA aB aC ac,d集合恒等式幂等律A AAA AA结合律 (AB) C A(B C)(A B) CA (B C)交换律A BBAAB B A分配律A (B C) (A B) (A C) A (B C)(A B) (A C)同一律A AA EA零律A EEA 排中律A AE矛盾律A A吸收律A(AB)AA (A B) A德摩根律A (B C) (A B) (A C)A (B C) (A B) (A C) (B C) B C(B C

6、) B CEE双重否定律(A)A集合运算性质的一些重要结果AB A,AB BA AB, B AB AB AA BA BA BBA BABAA BABBA(AB)CA (B C)AAAAABACBC对偶 (dual)式:一个集合表达式,如果只含有、 E、,那么同时把与互换,把与 E 互换,把与互换,得到式子称为原式的对偶式。有序对 具有以下性质: (1)当 x y 时, 。(2) 的充分必要条件是笛卡儿积的符号化表示为AB |xA y Bxu 且 y v。如果 |A|=m,|B|=n,则|A B|=mn。笛卡儿积的运算性质(1) 对任意集合 A,根据定义有A, A(2) 一般的说,笛卡儿积运算不

7、满足交换律,即ABBA(当 A B AB 时)(3) 笛卡儿积运算不满足结合律,即(AB)CA (BC)(当 A B C时)(4) 笛卡儿积运算对并和交运算满足分配律,即A(B C)=(A B) (A C)(BC)A=(B A) (C A)A (B C)=(A B) (A C)(BC)A=(B A) (C A)(5)AC BDABCD常用的关系对任意集合A,定义全域关系 EA=|xAy A=AA恒等关系 IA=|xA空关系小于或等于关系:LA=|x,yAx y ,其中 AR。整除关系: DB=|x,y B x 整除 y ,其中 AZ* ,Z* 是非零整数集包含关系: R |x,yA xy ,其

8、中 A 是集合族。关系矩阵和关系图设 A=1,2,3,4, R=,,则 R 的关系矩阵和 关系图 分别是M R1100001100000100定义域 dom R x |y( R )值域ran R y |x( R)域 fld R dom R ran R例 求 R=,的定义域、值域和域。解答 dom R1,2,4 ran R2,3,4 fld R 1,2,3,4逆 R-1 |R右复合 F G |t( F G)限制 R A=|xRy x A像 RA=ran(R A)例 设 R , , , ,R 1 , RR 2,3 , ,R12,3RR3 2设 F 是任意的关系,则(1) (F-1)-1 F(2)d

9、om F-1 ran F ,ran F-1 dom F设 F, G,H 是任意的关系,则(1)(FG) HF (G H)(2)(FG)-1 G-1F-1设 R为 A 上的关系,则RIA IARR设 F, G,H 是任意的关系,则(1) F (G H) F GF H(2) (G H) FG FH F(3) F (GH) F GF H(4) (G H) F GFHF设 F 为关系, A,B 为集合,则(1) F (A B) FAF B(2) FA B FA FB(3) F (A B) FAF B(4) FA B FA FB关系的幂运算设 R 为 A 上的关系, n 为自然数,则 R 的 n 次幂定

10、义为:( 1) R0 |x A IA( 2) Rn+1 Rn R幂运算的性质设 A 为 n 元集, R 是 A 上的关系,则存在自然数s 和 t, 使得 Rs=Rt。设 R 是 A 上的关系, m,n N,则(1 )RmRnRm+n(2)(Rm)n Rmn设 R 是 A 上的关系,若存在自然数s,t(st)使得Rs=Rt,则(1) 对任何 k N 有 Rs+k=Rt+k(2) 对任何 k,i N 有 Rs+kp+i=Rs+i ,其中 p=t-s(3) 令 S=R0, R1, , Rt-1 ,则对于任意的 q N 有 RqS自反x(x A R),反自反x(x A R),对称xy(x,y A R

11、R)反对称xy(x,y A R R x=y) ,传递xyz(x,y,z A R R R)关系性质的等价描述设 R 为 A 上的关系,则(1)R在 A 上自反当且仅当IAR( 2)R在 A 上反自反当且仅当 R IA ( 3)R在 A 上对称当且仅当 R R-1( 4)R 在 A 上反对称当且仅当 R R-1 IA( 5)R在 A 上传递当且仅当 R R R(1) 若 R1, R2 是自反的和对称的,则 R1R2 也是自反的和对称的。(2) 若 R1 和 R2 是传递的,则 R1 R2 也是传递的。关系性质的特点自反性反自反性对称性反对称性传递性集合表达式IARRIAR R-1RR-1IAR R

12、 R关系矩阵主对角线元素主对角线元素全矩阵是对称矩阵若 rij1,且i 对 M2中 1 所在位全是 1是 0j ,则 rji 0置,M中相应的位置都是 1关系图每个 顶 点都有 每个顶点都没有如果两个顶点之环环间有边,一定是一对方向相反的边( 无单边 )如果两点之间有如果顶点 xi 到 xj边,一定是一条有有边,xj 到 xk 有向边 ( 无双向边 )边,则从 xi 到 xk也有边关系的性质和运算之间的关系自反性反自反性对称性反对称性传递性R1-1R1R2R1R2R1R2R1R2闭包的构造方法设 R 为 A 上的关系,则有( 1)自反闭包 r(R) RR0( 2)对称闭包 s(R) RR-1(

13、 3) t(R) R R2 R3 关系性质与闭包运算之间的联系设 R 是非空集合 A 上的关系,( 1)若 R 是自反的,则 s(R) 与 t(R) 也是自反的。( 2)若 R 是对称的,则 r(R) 与 t(R) 也是对称的。( 3)若 R 是传递的,则 r(R) 是传递的。等价类的性质设 R 是非空集合 A 上的等价关系,则( 1) x A, x 是 A 的非空子集。( 2) x,y A,如果 xRy,则 x y 。(3) x,y A,如果 R,则 x 与y 不交。(4) x|x A A。偏序集中的特殊元素设为偏序集, B A, y B。( 1)若 x(x By x) 成立,则称 y 为

14、B 的最小元。( 2)若 x(x Bx y) 成立,则称 y 为 B 的最大元。( 3)若 x(x Bx y x y) 成立,则称 y 为 B 的极小元。( 4)若 x(x By x x y) 成立,则称 y 为 B 的极大元2436B最大元最小元极大元极小元122,3,6,12,24,36无无24,362,36,1212612662,3,66无62,32366666B上界下界上确界下确界2,3,6,12,24,36无无无无6,1212,24,362,3,61262,3,66,12,24,36无6无66,12,24,36,2,3,6,66函数相等由定义可知,两个函数F 和 G相等 ,一定满足下

15、面两个条件:( 1)dom F dom G( 2) xdom F dom G,都有 F( x) G(x)所有从例:设A 到 B 的函数的集合记作A1,2,3,Ba,bBA,读作“ B 上 A”,符号化表示为,求 BA。BA f|f :AB。f0,f1,f2,f3,f4,f5,f6,f7。其中BAf0 ,f1 ,f2 ,f3,f4 ,f5 ,f 6 ,f 7 ,设 f : AB,(1)若 ran f B,则称 f : AB 是满射 ( surjection ) 的。(2)若y ran f都存在唯一的 xA 使得 f ( x) y ,则称 f : A B 是单射 ( injection) 的。(3

16、)若f既是满射又是单射的,则称f: B是双射 (bijection)Aa1a1a1a21bb2b2b32cc3c3c43d4d4d单射双射函数满射例:判断下面函数是否为单射、满射、双射的,为什么?(1)fRR f(x)= -x2+2x-1(2)f Z+R f(x)=ln x为正整数集Z+(3) f RZ f(x)= x(4)f RR f(x)=2x+1 。解( 1) f在 x=1 取得极大值 0。既不是单射也不是满射的。(2)f是单调上升的,是单射的,但不满射。ranf=ln1, ln2,。 (3)f是满射的,但不是单射的,例如f(1.5)=f(1.2)=1。(4)f是满射、单射、双射的,因为

17、它是单调函数并且ran f=R 。例: (1)给定无向图 G ,其中 V v1,v2,v3,v4,v5,E=(v1,v1),(v1,v2),(v2,v3),(v2,v3),(v2,v5),(v1,v5),(v4,v5).(2) 给定有向图 D=,其中 V a,b,c,d ,E ,画出 G与 D的图形。邻域: NG(v1) v2, v5后继元集: +D( d) c闭邻域: NG( 1)v1,2,5先驱元集: -D(d) ,vvva c关联集: IG( v1) e1,e2,e3邻域: ND( d ) a, c闭邻域: ND(d ) a,c,d(1) 4( 注意,环提供 2度) ,出度:d+( )

18、4,入度:d-( )1d vaa 4, 1,(环 e1 提供出度 1,提供入度1) ,v4 是悬挂顶点,e7是悬挂边。( ) 4+15。 5, 3,d a+4 ( 在 a 点达到 )度数列为 4,4,2,1,3。 +0( 在 b 点达到 ) - 3( 在 b 点达到 ) - 1( 在 a 和 c 点达到 )按字母顺序,度数列:5,3,3,3出度列: 4,0,2,1入度列: 1,3,1,2设 G 是 n 阶 m条边的无向图,则下面各命题是等价的:(1)G是树。(2)G中任意两个顶点之间存在唯一的路径。(3)G中无回路且1。(4)G是连通的且1。m nm n( 5)G是连通的且 G中任何边均为桥。

19、( 6)G中没有回路,但在任何两个不同的顶点之间加一条新边,在所得图中得到唯一的一个含新边的圈。例题 已知无向树 T 中,有 1 个 3 度顶点, 2 个 2 度顶点,其余顶点全是树叶,试求树叶数,并画出满足要求的非同构的无向树。解答 设有 x 片树叶,于是结点总数n1+2+x 3+x由握手定理和树的性质m n 1 可知,2m 2( n 1) 2 (2+ x) 1 3+22+x解出 x 3,故 T 有 3 片树叶。故 T的度数应为 1、1、 1、 2、2、3。求最小生成树的算法(避圈法 (Kruskal) )(1)设 n 阶无向连通带权图G有 m条边。不妨设 G中没有环(否则,可以将所有的环先

20、删去),将条边按权从小到大排序:1,e2, 。meem(2)取 1 在T中。e(3) 依次检查 e2, em ,若 ej ( j 2) 与已在 T 中的边不构成回路,取ej 也在 T 中,否则弃去ej 。(4) 算法停止时得到的 T 为 G的最小生成树为止。例:求下图所示两个图中的最小生成树。W(T1) 6W( T2) 12T 是 n( n2) 阶有向树,(1)T 为根树T 中有一个顶点入度为0,其余顶点的入度均为1(2) 树根入度为 0 的顶点(3) 树叶入度为 1,出度为 0 的顶点(4) 内点入度为 1,出度不为 0 的顶点(5) 分支点树根与内点的总称(6)顶点 v 的层数从树根到v

21、的通路长度(7) 树高 T 中层数最大顶点的层数根树的画法:树根放上方,省去所有有向边上的箭头。树叶 8 片内点 6 个分支点7 个高度 5求带权为 1、1、2、 3、4、5 的最优树。W(T)=38中序行遍法: b a ( fd g) c e前序行遍法: a b ( c ( d f g) e)后序行遍法: b ( fg d) e c)a 断定符(公式在L 中可证) 满足符(公式在E 上有效,公式在E 上可满足) 命题的“非”运算 命题的“合取” (“与”)运算 命题的“析取” (“或”,“可兼或”)运算 命题的“条件”运算? 命题的“双条件”运算的AB命题 A 与B 等价关系A=B命题A 与 B 的蕴涵关系A* 公式 A 的对偶公式wff 合式公式iff 当且仅当命题的“与非” 运算( “ 与非门 ” )命题的“或非”运算( “或非门” ) 模态词“必然” 模态词“可能” 空集 属于( ?不属于)P(A ) 集合 A 的幂集|A| 集合 A 的点数R2=R R Rn=R(n-1)R 关系 R 的“复合

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论