离散数学知识点整理

./离散数学逻辑和证明1.1命题逻辑命题：是一个可以判断真假的陈述句.联接词：∧、∨、→、↔、¬.记住"p仅当q"意思是"如果p,则q",即p→.记住"q除非p"意思是"¬p→q".会考察条件语句翻译成汉语.构造真值表pqp∧qp∨qp→qp↔qp⊙q¬pTTTTTTFFTFFTFFTFFTFTTFTTFFFFTTFT1.2语句翻译系统规范说明的一致性是指系统没有可能会导致矛盾的需求,即若pq无论取何值都无法让复合语句为真,则该系统规范说明是不一致的.1.3命题等价式逻辑等价：在所有可能情况下都有相同的真值的两个复合命题,可以用真值表或者构造新的逻辑等价式.证逻辑等价是通过p推导出q,证永真式是通过p推导出T.逻辑等价式p∧T⇔pp∨F⇔p恒等律p∧F⇔Fp∨T⇔T支配律p∧p⇔p幂等律¬<¬P>⇔p双否律p∧q⇔q∧p交换律<p∧q>∧r⇔p∧<q∧r>结合律p∨<q∧r>⇔<p∨q>∧<p∨r>p∧<q∨r>⇔<p∧q>∨<p∧r>分配律¬<p∧q>⇔¬p∨¬q¬<p∨q>⇔¬p∧¬q德摩根律p∨<p∧q>⇔pP∧<p∨q>⇔p吸收律p∧¬p⇔Fp∨¬p⇔T否定律条件命题等价式p→q⇔¬p∨qp→q⇔¬q→¬pp∨q⇔¬p→qp∧q⇔¬<p→¬q>¬<p→q>⇔p∧¬q<p→q>∧<p→r>⇔p→<q∧r><p→r>∧<q→r>⇔<p∨q>→r<p→q>∨<p→r>⇔p→<q∨r><p→r>∨<q→r>⇔<p∧q>→r双条件命题等价式p↔q⇔<p→q>∧<q→p>p↔q⇔¬p↔¬qp↔q⇔<p∧q>∨<¬p∧¬q>¬<p↔q>⇔p↔¬q1.4量词谓词+量词变成一个更详细的命题,量词要说明论域,否则没有意义,如果有约束条件就直接放在量词后面,如∀x>0P<x>.当论域中的元素可以一一列举,那么∀xP<x>就等价于P<x1>∧P<x2>...∧P<xn>.同理,∃xP<x>就等价于P<x1>∨P<x2>...∨P<xn>.两个语句是逻辑等价的,如果不论他们谓词是什么,也不论他们的论域是什么,他们总有相同的真值,如∀x〔P<x>∧Q<x>>和<∀xP<x>>∧<∀xQ<x>>.量词表达式的否定：¬∀xP<x>⇔∃x¬P<x>,¬∃xP<x>⇔∀x¬P<x>.1.5量词嵌套我们采用循环的思考方法.量词顺序的不同会影响结果.语句到嵌套量词语句的翻译,注意论域.嵌套量词的否定就是连续使用德摩根定律,将否定词移入所有量词里.1.6推理规则一个论证是有效的,如果它的所有前提为真且蕴含着结论为真.但有效论证不代表结论正确,因为也许有的前提是假的.推理规则,都是基于永真式的,用来证明一个前提蕴含一个结论.而基于可满足式的推理规则叫谬误.pp→q<p∧<p→q>>→q假言推理qp→qq→r<<p→q>∧<q→r>>→<p→r>假言三段论p→r¬qp→q<¬q∧<p→q>>→¬p取拒式¬pp∨q¬p<<p∨q>∧¬p>→q析取三段论qpp→<p∨q>附加律p∨qp∧q<p∧q>→p化简律ppq〔p∧q→〔p∧q合取律p∧qp∨q¬p∨r<p∨q>∧<¬p∨r>→<q∨r>消解律q∨r量化推理规则∀xP<x>全称实例P<c>P<c>,任意c全称引入∀P<x>∃xP<x>存在实例P<c>,对某个cP<c>,对某个c存在引入∃xP<x>命题和量化命题的组合使用.集合、函数、序列、与矩阵2.1集合∈说的是元素与集合的关系,⊆说的是集合与集合的关系.常见数集有N={0,1,2,3...},Z整数集,Z+正整数集,Q有理数集,R实数集,R+正实数集,C复数集.A和B相等当仅当∀x<x∈A↔x∈B>；A是B的子集当仅当∀x<x∈A→x∈B>；A是B的真子集当仅当∀x<x∈A→x∈B>∧∃x<x∉A∧x∈B>.幂集：集合元素的所有可能组合,肯定有∅何它自身.如∅的幂集就是{∅},而{∅}的幂集是{∅,{∅}}.笛卡尔积：A×B,结果是序偶,其中的一个子集叫一个关系.带量词和集合符号如∀x∈R〔x2>0是真的,则所有真值构成真值集.集合恒等式名称<A∪B>'=A'∩B'

<A∩B>'=A'∪B'德摩根律A∪<A∩B>=AA∩<A∪B>=A吸收律2.3函数考虑A→B的函数关系,定义域、陪域〔实值函数、整数值函数、值域、像集〔定义域的一个子集在值域的元素集合.一对一或者单射：B可能有多余的元素,但不重复指向.映上或者满射：B中没有多余的元素,但可能重复指向.一一对应或者双射：符合上述两种情况的函数关系.反函数：如果是一一对应的就有反函数,否则没有.合成函数：fοg<a>=f<g<a>>,一般来说交换律不成立.2.4序列无限集分为：一组是和自然数集合有相同基数,另一组是没有相同基数.前者是可数的,后者不可数.想要证明一个无限集是可数的只要证明它与自然数之间有一一对应的关系.如果A和B是可数的,则A∪B也是可数的.如果存在一对一函数f从A到B和一对一函数g从B到A,那么A和B之间是一一对应的.求和公式：a+ar+ar2+ar3+...+arn=<arn+1-a>/<r-1>1+2+3+...+n=n<n+1>/21+22+32+...+n2=n<n+1><2n+1>/61+23+33+...+n3=n2<n+1>2/42.6矩阵普通矩阵和、减、乘积,0-1矩阵还可以∧、∨、⊙〔和相乘类似,用∨代替+,用∧代替×关系9.1关系及其性质设A和B是集合,从A到B的二元关系是A×B的子集.一个从A到B的二元关系是集合R,第一个元素取自A,第二个元素取自B,当<a,b>属于R时写作aRb.集合A上的关系是A到A的关系,有n个元素就有n2个有序对,n2个有序对就有2n2个关系.考虑集合A到A的关系R：任意a∈A都有〔a,a∈R,则R是集合A上的自反关系.任意a,b∈A,若〔a,b∈R都有〔b,a∈R,则R是对称关系.任意a,b∈A,若〔a,b∈R且〔b,a∈R一定有a=b,则R是反对称关系.任意a,b,c∈A,若〔a,b∈R且〔b,c∈R一定有〔a,c∈R,则R是传递关系.若R是A到B的关系,S是B到C的关系,R与S的合成RοS是有序数对〔a,c.其中a∈A,c∈C,且存在一个b∈B使得〔a,b∈R,〔b,c∈S.二元关系的5种复合要会翻译成汉语.9.3关系的表示0-1矩阵法：A有n个元素,B有m个元素,用一个n×m的矩阵MR表示,mij=1表示有关系.自反关系的0-1矩阵主对角线全为1；对称关系的0-1矩阵是对称阵；反对称关系的0-1矩阵关于主对角线反对称.MR1∪R2=MR1∨MR2,MR1∩R2=MR1∧MR2,MR1οR2=MR1⊙MR2.有向图法：A有n个元素,每一个关系是一条有向边.自反关系的图每一个顶点都有一个环；对称关系的图在不同顶点之间每一条边都存在与之对应的反方向边〔也可用无向图；反对称关系的图在不同顶点之间每一条边都不存在与之对应的反方向边；传递关系的图在3个不同顶点之间构成正确方向的三角形.9.4关系的闭包自反闭包：R∪Δ,其中Δ={〔a,a|a∈A}对称闭包：R并R-1,其中R-1={〔b,a|〔a,b∈R}传递闭包：R矩阵传递闭包=MR∨MR[2]∨MR[3]...∨MR[n],了解沃舍尔算法9.5等价关系：自反、对称且传递的关系集合A的元素a在R上的等价类[a]={s|<a,s>∈R∧s∈A}.如A={1,2,3,4,5,6,7,8},R={<a,b>|a=b<mod3>}的等价类划分如下[1]=[4]=[7]={1,4,7},[2]=[5]=[8]={2,5,8},[3]=[6]={3,6}9.6偏序关系：自反、反对称且传递的的关系偏序集〔S,≤中如果既没有a≤b,也没有b≤a,则a和b是不可比的.全序集：如果偏序集中每个元素都可比,则为全序集,如〔Z,≤是全序集,但〔Z+,|不是,因为有5和7是不可比的.良序集：如果是全序集,而且S的每个非空机子都有一个最小元素,则为良序集.哈塞图：对有穷偏序集,去掉环,去掉所有由传递性可以得到的边,排列所有的边使得方向向上. 极大元极小元：图中的顶元素和底元素,可能有多个 最大元最小元：只有唯一的一个,比其他都＞或＜ 上界下界：只有唯一的一个,比其他都≥或≤ 格：每对元素都有最小上界和最大下界图10.1图的概念简单图：每对顶点最多只有一条边多重图：每对顶点可以有多条边无向图：边没有方向有向图：边有方向10.2图的术语无向图中,点v的度为deg<v>,如果v是一个环,则度为2.度为0的点是孤立的,度为1的点是悬挂的.有m条边的无向图则2m=Σdeg<v>.无向图有偶数个度为奇数的点,因为2m=Σdeg<Vi>+Σdeg<Vj>.有向图中,点v的入度为deg-<v>,出度为deg+<v>,且deg-<v>=deg+<v>=边数.有向图忽略边的方向后得到的图叫做基本无向图,它们有相同的边数.会画完全图Kn、圈图Cn、轮图Wn.二分图,将点分成2部分,每条边都连着一部分和另一部分.用着色法判读是否是二分图.完全二分图Kn,m是边最多的二分图.10.3图的表示邻接表：无向简单图包括顶点和相邻顶点,不太好表示无向多重图因为边的数量不好表示.有向图包括起点和终点.邻接矩阵：①无向简单图按顶点排列,如果vi和vj之间相邻则aij是1,否则是0.②无向多重图这时aij是vi和vj之间的边数.可知无向图的邻接矩阵都是对称阵.③有向简单图也按照顶点排列,如果{vi,vj}是边则aij是1,否则是0.④有向多重图也按顶点排列,只不过aij是{vi,vj}之间的边数.关联矩阵：将图G按v行e列排列,如果vi和ej关联,则aij是1,否则是0.图的同构：简单图G1和G2,如果存在一一对应的从V1到V2的函数f,且对V1的a和b来说,a与b相邻当仅当f<a>与f<b>在G2中相邻,则G1和G2是同构的,f称为同构.图形不变量如顶点数、边数、度数,如果不同则不同构,如果相同则可能同构.当我们找到f后,还要比较两个图的邻接矩阵,看f是否是保持边的.10.4图的连通性简单图中,用x0=u,x1...xn=v来表示一条通路,若u=v且路长度大于0,则是回路,如果不包含重复的边,则这条通路是简单的.无向图中每对不同顶点之间都有通路则这个图是连通的,割点〔关节点、割边〔桥去掉后就会使图变得不连通,不含割点的图叫做不可割图.有向图中,任意一对顶点a和b,都有从a到b以及从b到a的通路,则这个有向图是强连通的,如果只是基本无向图能保持联通则叫做弱联通的,会求强连通分支.通路与同构：可以用长度为k≥2的简单回路的存在性来证不同构或者是潜在的同构映射f,同样找到f后还要验证f保持边.图G〔允许是有向和无向、多重边和环的vi到vj的长度为n的不同通路的条数等于An[i,j],A是G的邻接矩阵.10.5欧拉回路与哈密顿回路欧拉回路：包含G的每一条边的简单回路.欧拉通路：包含G的每一条边的简单通路.含有至少2个顶点的连通多重图有欧拉回路当仅当它的每个顶点度都为偶数,有欧拉通路但无欧拉回路当仅当它恰有2个度为奇数的顶点.哈密顿回路：包含G的每一个顶点恰好一次的简单回路.哈密顿通路：包含G的每一个顶点恰好一次的简单通路.含有至少3个顶点的简单图,若每个顶点的度都≥<n/2>,或者每一对不相邻的顶点u和v都有deg<u>+deg<v>≥n,则有哈密顿回路.最短通路算法：迪克斯特拉算法和旅行商问题〔枚举10.7平面图欧拉公式：G是有e条边和v个顶点的平面连通简单图,r是G的平面图表示中的面数,则有r=e-v+2.根据上述条件,有3个推论,可以用来判断不是平面图：推论1：若v≥3,则e≤3v-6.推论2：G中有度不超过