qq_41358574的博客

函数

文章目录偏序与拟序哈斯图最小元最大元 极大元极小元良序关系相容关系完全覆盖偏序与拟序偏序小于等于 拟序小于拟序关系：全序小于等于关系是 全序关系整除关系““|” 不是全序关系哈斯图最小元最大元 极大元极小元最大元最小元是B集合中的，上界下界可以是存在于A集合中B集合不存在的注意B中也可以有上界，上界可以不唯一注意： 上、下界未必存在，存在时又未必唯一。在有上界、下界时，最小上界和最大下界也未必唯一良序关系定理6.2.3每个良序集合，一定是存

文章目录关系的运算基本运算关系的复合运算关系的逆运算关系的性质一. 自反性和反自反性二.对称性和反对称性三. 传递性关系性质的判定定理关系的性质闭包关系的幂运算传递闭包的关系矩阵闭包关系的性质多重闭包关系的运算定义5.2.1:设R，S是X到Y的二元关系，则R∪S，R∩S，R-S，~R，R ⨁ S也是X到Y的二元关系。二元关系是以序偶为元素的集合，因此可以对它进行集合的运算，如∩、∪、-、 ~和⨁运算而产生新的集合。基本运算例子：关系的复合运算(实例引导)设有家族成员集合A：R1是

命题逻辑的推理理论推理的基本概念：设Ｇ，Ｈ是公式，对任意解释Ｉ，如果Ｉ满足Ｇ，那么Ｉ满足Ｈ，则称Ｈ是Ｇ的逻辑结果（或称Ｇ蕴涵Ｈ），记为Ｇ⇒Ｈ，此时称Ｇ为前提，Ｈ为结论。推广：设Ｇ１，Ｇ２，…，Ｇｎ，Ｈ是公式，称Ｈ是Ｇ１，Ｇ２，…，Ｇｎ的逻辑结果（Ｇ１，Ｇ２，…，Ｇｎ共同蕴涵Ｈ），当且仅当（Ｇ１∧Ｇ２∧…∧Ｇｎ）→Ｈ为永真式，记为Ｇ１，Ｇ２，…，Ｇｎ⇒Ｈ，称Ｇ１，Ｇ２，…，Ｇｎ称为一组前提，用集合Г来表示，记Г＝｛Ｇ１，Ｇ２，…，Ｇｎ｝。Ｈ称为结论，则可简记记为Г⇒Ｈ推理规则：①规则Ｐ（称为前提

文章目录平面图定义平面图的判定1.观察法2.欧拉公式判定3.库拉托夫斯基定理对偶图着色问题布鲁克斯定理 维津定理平面图定义交叉点和交叉边：有些图形不论如何改画，除去结点外，总有边相交叉。即不管怎样改画，至少有一条边与其他边相交叉，故它是非平面图。平面图可应用到地下管网,电子线路等方面。平面图的判定1.观察法2.欧拉公式判定在平面图G的一个平面表示中，由边所包围的其内部不包含图(其它结点和边)的结点和边的区域，称为G的一个面(Surface)。包围该面的诸边所构成的回路称

文章目录偶图偶图的匹配可增广道偶图偶图定义10.2.1 若无向图G = <V, E>的结点集V能够划分为两个子集V1, V2，满足V1∩V2 =空集，且V1∪V2 = V，使得G中任意一条边的两个端点，一个属于V1，另一个属于V2，则称G为偶图(Bipartite Graph)或二分图(Bigraph)。V1和V2称为互补结点子集，偶图通常记为G=<V1,E,V2>。 偶图没有自回路。 平凡图和零图可看成特殊的偶图在偶图G = <V1, E, V2>中

文章目录欧拉图欧拉定理有向图中的欧拉回路与欧拉通路Hamilton 回路与通路Hamilton 图判定的必要条件奥尔定理（充分非必要条件）中国邮路问题欧拉图给定无孤立结点的图G，若存在一条路，经过图中每边一次且仅一次，该条路称为欧拉通路。Euler Circuit给定无孤立结点的图G，若存在一条回路，经过图中每边一次且仅一次，该回路称为欧拉回路。Euler Graph包含了欧拉回路的图的图称为欧拉图。包含了欧拉通路的图的图称为半欧拉图。规定：仅由一个孤立结点构成的平凡图为欧拉图。Eul

文章目录图的定义与记号邻接矩阵关联矩阵邻接表图的运算和算法图的运算--子图图的度握手定理路与连通求两个结点之间长度为n的通路数目通路定理图的可达性可达性矩阵割点割边有向图的连通性图的定义与记号概念：简单图多重图完全图全关系-恒等关系：完全图空关系：零图邻接矩阵关联矩阵设G=V,E是无向图，其中V={v1,v2,…,vn},将n×m阶矩阵????????????????×????称为G的关联矩阵，记为M(G)。其中元素????????????表示结点v????与边e????的关

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档文章目录析取范式和合取范式主范式、大项、小项求主范式析取范式和合取范式析取范式最外层的运算必须是析取，在上面第二点中打了括号以后最外层不是析取，不能再作为析取范式，可以看作一个析取式的合取，所以可以看成合取范式主范式、大项、小项主析取范式的定义：主合取范式：大项的性质主合取范式：求主范式等值变换法：...