![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 91
rd142857
这个作者很懒,什么都没留下…
展开
-
2021秋季《离散数学》_平面图
平面图概念若无向图GGG有一种在平面上的画法,其中,边仅相交于表示顶点的点,则称GGG是平面图,否则为非平面图。这样画的几何图形称为它的平面表示,简称平图。极大平面图是平面图,但是在任意两个不相邻顶点之间加边就是非平面图面的次数均为3极小非平面图是非平面图,但是删除任意1边就是平面图例如K5,K3,3K_5,K_{3,3}K5,K3,3性质握手定理平面图各面的次数之和等于其边数的两倍。每条边分割出两个面,贡献两个次数(握手定理的另一种形式)。欧拉公式判断平面图的必要原创 2021-12-19 19:40:06 · 6216 阅读 · 0 评论 -
2021秋季《离散数学》_图的度与同构
省流小助手:判定度数列可否化为简单无向图,以及由度数列作图顶点的度数与握手定理度无向图中,称viv_ivi作为边的端点的次数之和为viv_ivi的度数(度),记为dG(vi)d_G(v_i)dG(vi),或简写为d(vi)d(v_i)d(vi).每个环提供给它的端点2度。有向图中,viv_ivi作为边的始点的次数之和为viv_ivi的出度,记为dD−(vi)d_D^{-}(v_i)dD−(vi),或简写为d−(vi)d^-(v_i)d−(vi).viv_ivi原创 2021-12-04 20:10:43 · 4154 阅读 · 0 评论 -
2021秋季《离散数学》_序关系
序关系:层次结构,用于组织偏序关系集合XXX上自反、反对称和传递的关系称为XXX上的偏序关系(偏序),又称部分序关系(部分序)。通常用≤\leq≤表示xxx和yyy满足这种偏序关系偏序集(X,≤)(X,\leq)(X,≤)若≤\leq≤是全序,则上述标记为全序集。特殊的偏序关系实数集上的小于等于关系(X,≤)(X,\leq)(X,≤)、(X,≥)(X,\geq)(X,≥)大于等于关系非零自然数的整除关系(X,∣)(X,|)(X,∣)包含关系(A,⊆)(\mathcal{A原创 2021-11-06 18:55:04 · 1580 阅读 · 0 评论 -
2021《离散数学》_等价关系和划分
等价关系和划分等价关系和等价类集合XXX上自反、对称且传递的关系称为XXX上的等价关系。设RRR是XXX上的等价关系,x∈Xx\in Xx∈X,定义XXX的子集[x]R={y∣y∈X,且yRx}[x]_R=\{y|y\in X,且yRx\}[x]R={y∣y∈X,且yRx}称[x]R[x]_R[x]R为xxx(关于RRR)的等价类,xxx为等价类[x]R[x]_R[x]R的代表元。也就是说,x(∈X)x(\in X)x(∈X)的等价类[x]R[x]_R[x]R由XXX中所有与xxx原创 2021-11-06 16:32:03 · 8864 阅读 · 0 评论 -
命题和一阶逻辑推理(内容+适用条件+证明(见文末参考文献))
命题逻辑推理理论置换规则A=B⇒(A⇒B)A=B\Rightarrow (A\Rightarrow B)A=B⇒(A⇒B)假言推理规则p,p→q⇒qp,p\rightarrow q\Rightarrow qp,p→q⇒q附加规则p⇒p∨qp\Rightarrow p\vee qp⇒p∨q化简规则p∧q⇒pp\wedge q\Rightarrow pp∧q⇒p拒取式规则¬q,p→q⇒¬p\neg q,p\rightarrow q\Rightarrow原创 2021-10-16 13:02:39 · 1102 阅读 · 0 评论 -
2021秋季《离散数学》_关系的特殊性质及闭包
关系的特殊性质及其闭包特殊性质自反关系反自反关系对称关系反对称关系传递关系内容充要条件IX⊆RI_X\subseteq RIX⊆RR∩IX=∅R\cap I_X=\emptyR∩IX=∅R−1=RR^{-1}=RR−1=RR∩R−1⊆IXR\cap R^{-1}\subseteq I_XR∩R−1⊆IXR2⊆RR^2\subseteq RR2⊆R关系矩阵对角线全为111对角线全为000对称任意两个相互对称的位置上至少有一个000原创 2021-11-01 09:56:40 · 1461 阅读 · 0 评论