![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 61
梦里一声何处鸿
预习笔记&&复习资料
展开
-
离散易错题
1.设R为实数集,映射f:R→R,f(x)=x2x^2x2,则f是().既不是单射,也不是满射。2.R∘R=R是集合A上的关系R为传递的充分必要条件。✘是充分条件。因为可以没有传递基础。3.{a}⊆{{a}} ✘4.若n个顶点的简单无向图G的边数e=n−1,则G一定是树. ✘可以不连通,故不是树若无向连通图G中有n个结点,n-1条边,则G为树 ✔5.在n阶图G中...原创 2020-02-15 16:44:37 · 3672 阅读 · 0 评论 -
第九章 代数系统简介 9.3 几个经典的代数系统
9.3 几个经典的代数系统本节考察半群,群,环,域。我们精简的来说。判断方法:首先,大前提是代数系统。就是说第一步我们要看他是否封闭。在是代数系统的基础上,若V=<S,∗>V = <S,*>V=<S,∗>中∗*∗运算是可结合的,那么VVV是半群。在半群的基础上,若V=<S,∗>V = <S,*>V=<S,∗>中∗*...原创 2020-01-07 11:39:54 · 1389 阅读 · 0 评论 -
第九章 代数系统简介 9.2 代数系统
9.2 代数系统构成代数系统的成分:<1>集合:参与运算的元素<2>运算<3>代数常数:单位元,零元同态:例:只看概念很晕,还是做课后题吧。...原创 2020-01-02 21:26:29 · 462 阅读 · 0 评论 -
第九章 代数系统简介 9.1 二元运算及其性质
9.1 二元运算及其性质检验是否是二元运算的方法:<1>S中任意两个元素都可以进行这种运算,且运算结果是唯一的。<2>S中任意两个元素运算的结果都属于S由缓至急,循循而进。先来看一元运算实例。二元运算的算律:幂等律定义如下:实例:-------------------------------------重点来了----------------...原创 2020-01-02 19:51:11 · 2322 阅读 · 0 评论 -
图论,树 练习题
图论,树 练习题解析:(30∗3)2\frac{(30*3)}{2}2(30∗3) = 45解析:5∗(5−1)2\frac{5*(5-1)}{2}25∗(5−1) = 10解析:<1>最大值不超过n-1<2>加和为偶数在下列关于图论的命题中,为真的命题是()A.哈密尔顿图一定是欧拉图B.欧拉图一定是哈密尔顿图C.无向完全图kn(n≥3)都...原创 2020-01-02 17:03:51 · 1073 阅读 · 1 评论 -
第七章 树 7.2 根树及其应用(2)
7.2 根树及其应用(2)我们用前缀码可以避免产生歧义。我们可以用二叉树来生成前缀码每个前缀表示树叶的位置,每个树叶的位置不一样,所以不会出现重复前缀。定理2的证明也是画出二叉树的方法例题:如图,先全画出来。接下来再删减:最优二叉树:简单来说就是用 树叶层数 X 树叶权数 再加和。里面树的权最小的树我们称为最优二叉树。看到例题就懂了最佳前缀码:例题:注...原创 2020-01-02 16:06:03 · 757 阅读 · 0 评论 -
第七章 树 7.2 根树及其应用(1)
7.2 根树及其应用(1)我们先来定义有向树:再看根树中的一些概念:根树的高度:eg:在根树中我们通常用家族关系来表述:根子树:我们把根树的每一层上的顶点规定次序就得到有序树。类比之前的概念,我们知道m叉正则有序树,m叉完全正则有序树的概念。下边我们来看有序树的遍历:可以根据遍历根的顺序来看他是什么类型的算法。例题:注意:运算符在分支点上,变量在树叶...原创 2020-01-01 18:32:04 · 2399 阅读 · 1 评论 -
第七章 树 7.1 无向树及生成树
7.1 无向树及生成树先来看一些基本概念:简单来说就是由多颗数组成的。来看一些定理:如果我们让树中的每一条与其下方的结点对应,那么最后多出来一个根节点。故在树中,边数等于结点数减去1。定理2:例题:解析:由上可知,树中结点数减去1就是边数,边数乘以2就是总度数。根据这个可以列方程求解。生成树:删回路,直到出现树弦:把生成树抠掉剩下的边角料余树:边角料的集合注意...原创 2020-01-01 16:49:11 · 4873 阅读 · 2 评论 -
第六章 特殊的图 6.3 哈密顿图
6.3 哈密顿图注意:平凡图是哈密顿图每个结点都过,每个结点只过一次。(有的边可以不过)不像欧拉图,哈密顿图我们至今未找到判断的充分必要条件。下面我们来列举一些充分条件和必要条件。必要条件:例题:必要条件大,所以如果不成立,则一定不是哈密顿图。但是如果成立也不一定是哈密顿图(例如,彼得森图)充分条件:因为充分条件小,所以若满足则一定是哈密顿图。但是若不满足也可能是哈密...原创 2019-12-31 10:09:30 · 2116 阅读 · 0 评论 -
第六章 特殊的图 6.2 欧拉图
6.2 欧拉图这跟我们玩的一笔画问题差不多。判断方法(把注意力集中在点):当每个点的度数都是偶数时,才能有进有出最后形成欧拉回路。此时来看哥尼斯堡七巧问题,这个图的每个结点的度数都是奇数。所以他不是欧拉图。那两个奇度数的结点分别是起始点和终止点。例:我们类比到有向图中:判断方法(把注意力集中在点):就是把观察点的入度出度。eg:另一种理解方法:他把若干个...原创 2019-12-30 16:04:06 · 808 阅读 · 0 评论 -
第六章 特殊的图 6.1 二部图
6.1 二部图本节大多都是概念的引入,我就用我自己的话去记录了。二部图(偶图):我们将图里的点分为两个集合V1V_1V1,V2V_2V2后,每一条边的端点分别属于V1V_1V1,V2V_2V2。我们将二部图记做GGG = <V1V_1V1,V2V_2V2,EEE>。其中V1V_1V1,V2V_2V2称为互补顶点子集。当二部图中V1V_1V1的每一个顶点到V2V...原创 2019-12-30 15:16:25 · 4931 阅读 · 0 评论 -
第五章 图的基本概念 5.4 最短路径
5.4 最短路径因为老师上课只讲了最短路径,没有讲关键路径和着色。所以我们这里就只说说最短路径。Dijkstra算法这个主要靠自己练练。这里就放一道例题。算出了每个点到起始点的最短路径(列末)无直接边记距离为无穷,第一行为初始化注意箭头方向,eg本题中e不可直接到d写最短距离时靠记忆回溯即可...原创 2019-12-29 22:23:40 · 383 阅读 · 0 评论 -
第五章 图的基本概念 5.3 图的矩阵表示
5.3 图的矩阵表示本节讨论图的关联矩阵,邻接矩阵,可达矩阵。无向图的关联矩阵这里的关联是指点与边之间的关联。如图:这个无向图的关联矩阵为:矩阵的每一行代表一个点与各边之间的关系。所以第iii行元素之和为viv_ivi的度数。每一列代表一条边与各点之间的关系。所以每一列恰好有两个1(一条边的两个端点)或者一个2(环)。矩阵中各元素之和等于2m2m2m(边条数的2倍)。有向...原创 2019-12-29 20:05:03 · 5802 阅读 · 0 评论 -
第五章 图的基本概念 5.2 通路,回路和图的连通性
5.2 通路,回路和图的连通性我们类比上一小节中提到的简单图的概念引入简单通路和简单回路。简单来说就是通路中所以边互不相同。有边重复出现的通路称为复杂通路,有边重复出现的回路称为复杂回路。初级通路(回路)在简单通路(回路)的基础上加了一条结点互不相同的限制。注意:初级回路中所说的结点互不相同是不包括起始点和终点的。毕竟人家是回路嘛。就是说都存在不故意绕弯路的通路(回路)下...原创 2019-12-29 17:35:11 · 7973 阅读 · 1 评论 -
第五章 图的基本概念 5.1 无向图及有向图
5.1 无向图及有向图我们分为无向图和有向图来介绍。这里(v2v_2v2,v3v_3v3)出现两次表示v2v_2v2与v3v_3v3之间有两条无向边。注意,无向图中用圆括号“()”有向图中用尖括号“<>”,尖括号里的第一个元素表示起点,第二个表示终点。下面铺一些基础概念:注意:这里e5e_5e5跟v3v_3v3关联两次。再来看有向图:注意:e...原创 2019-12-29 16:26:20 · 7201 阅读 · 0 评论 -
第四章 二元关系和函数 4.6 函数的定义和性质
4.6 函数的定义和性质这一节里我们将从关系的角度来理解什么是函数。函数是研究两个集合中元素关系的概念。例题:简单说就是把函数作为一个元素来构成一个集合。例题:例题:函数的本质是研究两个集合中关系的特殊关系。练习1:练习2:X={1,2,3},Y={a,b,c},确定下列关系是否为从X到Y的函数...原创 2019-12-27 22:09:21 · 969 阅读 · 0 评论 -
第四章 二元关系和函数 4.5(2)偏序关系
4.5(2)偏序关系偏序关系用来研究一个集合中元素之间是否可以进行大小比较和排序。例题:由此可见,小于等于关系使A中的元素可以比较,排序。我们引入可比的概念:例如:为了更直观的表示偏序集所表达的元素的比较和排序关系,我们引入哈斯图的概念:根据其覆盖关系相连。反过来,我们也可以通过其哈斯图来逆推其关系:例如:注意:<1>因为哈斯图的节点是按照偏序关系从...原创 2019-12-27 21:39:51 · 2732 阅读 · 0 评论 -
第四章 二元关系和函数 4.5(1)等价关系
4.5(1)等价关系例如集合上的恒等关系和全域关系这些都是等价关系。例题:这里将“同一门课”具体到特定的一门课就是等价关系了。书上的模n同余是经典的等价关系,下边我们来证明:我们引入等价类的概念:即把在某种关系下彼此等价的元素放在一个集合中。例题:等价类有以下性质:现在我们再把等价类作为元素构造一个集合:例题:定义等价的关系是为了来分类,那么分类又是怎样来定...原创 2019-12-27 17:07:02 · 2376 阅读 · 0 评论 -
第四章 二元关系和函数 4.4关系的闭包
4.4关系的闭包简单来说就是对关系R添加尽可能少的元素得到R’R^{’}R’,使得 R’R^{’}R’有自反/对称/传递的性质。则称 R’R^{’}R’为R的自反闭包/对称闭包/传递闭包。例题:除了根据其概念特性直接推算出来,我们还可以用集合的运算来求:其实这个就是我们刚才思路的具体化:<1>IAI_AIA里的元素都是环,这已经是最小的有用元素的集合了。<2...原创 2019-12-27 15:50:19 · 1700 阅读 · 1 评论 -
第四章 二元关系和函数 4.3 关系的性质
4.3 关系的性质一个一个来,先来看自反关系:注意:这里要求每一个点上都有环即可,不要求都是环。例题:可见其关系矩阵的特点是:主对角线元素全是1关系图的特点是:图中每个顶点都有环再来看反自反关系:例题:总结一下二者的性质:注意:存在既不是自反也不是反自反的关系。即有环但是不是每一个点都有环。来看对称关系:关系矩阵对称与否,跟主对角线上的元素没有关系。所以如果在...原创 2019-12-27 11:15:18 · 2843 阅读 · 0 评论 -
第四章 二元关系和函数 4.2 关系运算
4.2 关系运算1.关系的集合运算上一章提到了,关系本身也是一种集合,所以其可以进行集合的基本运算。2.关系的逆运算例:解:可见这两个矩阵互为转置矩阵。由上述例题我们可以总结出以下几个性质:对于逆关系我们还有如下性质:还记得我们之前说的命题演算法吗?这里我们用命题演算法来证明第二条性质:3.关系的合成运算写一大堆也不好理解,简单说就是:先R后S(将R最后一...原创 2019-12-26 22:08:27 · 3842 阅读 · 0 评论 -
第四章 二元关系和函数 4.1 集合的笛卡尔与二元关系
4.1 集合的笛卡尔与二元关系有序对(序偶)注意:这里用圆括号和尖括号都可。我们可以将二元概念推广到nnn元。接下来,我们进入笛卡尔积的概念:笛卡尔积中的一些性质:即:笛卡尔积不适合交换律笛卡尔积不适合结合律笛卡尔积适合分配律AAA X BBB === BBB X AAA 不一定 B=AB=AB=A。因为AAA有可能为∅我们来道证题:上诉操作方法我们在证明...原创 2019-12-21 18:46:57 · 1876 阅读 · 4 评论 -
第三章 集合的基本概念和运算 3.2集合的基本运算
3.2集合的基本运算思路:1.交,并,相对补,绝对补,对称差。2.性质,逻辑等价证明3.性质公式证明法4.例题原创 2019-12-21 11:56:15 · 1863 阅读 · 0 评论 -
第三章 集合的基本概念和运算 3.1 集合的基本概念
3.1 集合的基本概念对方辩友,您方集合的定义是什么?哈哈,集合是不能精确定义的基本数学概念。这让我想到13武大表演赛打“人是不是万物的尺度”那场陈铭一辩驳论时说:“人尝试定义万物但从未对过。”这场表演赛观赏性极高,建议大家看看。好了,我们步入正题:这个咱们高中都学习过,就不详细说了,简答记下我认为有价值的点吧。注意:集合的元素可以是任何类型的事物,一个集合也可以作为另一个集合的元素...原创 2019-10-24 22:05:13 · 606 阅读 · 0 评论 -
第二章 2.3 一阶逻辑等值式与前束范式
2.3 一阶逻辑等值式与前束范式还是先铺定义,已经清楚的同学可以跳过这些,去看后面对公式理解。我们前面所学的命题逻辑中的等价的代换实例是谓词逻辑中的等价式。我们下面,谓词公式中还有一些特有的等价式,如下:量词转换律:可以简记为¬经过量词后量词会反转量词辖域扩缩律:在这里分享一下我对这些公式的记法:左边4个很好记,BBB里面又不含有xxx,那么量词进去或出来自然不影响它了。再来看右...原创 2019-10-12 22:25:14 · 1770 阅读 · 2 评论 -
第二章 一阶逻辑 2.2 一阶逻辑合式公式及解释
2.2 一阶逻辑合式公式及解释本节类比第一章给了我们几个新的概念,这里给大家梳理一下。通过这些定义我们可以看出其和之前在命题公式中的定义是类似的,通过有限次的运用这些联结词将原子公式连接起来组成合式公式(又称谓词公式)。比较特殊的就是某一个合式公式之前加了量词后还是谓词公式。例:由例题可见,在一个一阶逻辑公式中,某个个体变元的出现可以既是约束的又是自由的,为了避免混淆我们引...原创 2019-10-09 22:01:40 · 3263 阅读 · 0 评论 -
第二章一阶逻辑 2.1 一阶逻辑基本概念
2.1 一阶逻辑基本概念在第一章中我们学习了命题逻辑,其可以对某些问题进行推理判断但具有局限性。例如:很显然这是一个真命题,但是在命题逻辑中我们无法证明其是永真式。这是因为他没有把一句话中的各种元素细分。本节我们便从个体词\red {个体词}个体词,谓词\red {谓词}谓词,量词\red {量词}量词三个方面将一句话剖析。个体词:可以独立存在的客体,它可以是一个具体的事物,也可以是一个...原创 2019-09-29 16:16:24 · 794 阅读 · 0 评论 -
第一章 命题逻辑 1.7 推理理论
1.6 组合电路老师应该不会讲(咱们上一届就没讲),所以咱们直接跳过。1.7 推理理论定义: 称蕴含式(A1A_1A1 ∧\wedge∧ A2A_2A2 ∧\wedge∧ ⋯\cdots⋯ ∧\wedge∧ AnA_nAn)→\rightarrow→ B 为推理的形式结构\red{推理的形式结构 }推理的形式结构,A1A_1A1 , A2A_2A2, ⋯\cdots⋯ ,AnA_n...原创 2019-08-14 16:06:27 · 1435 阅读 · 1 评论 -
第一章 命题逻辑 1.4 析取范式与合取范式
1.4 析取范式与合取范式这一小节内容较多,我们由浅入深的来。首先要明白简单析取式和简单合取式的定义。定义:我们将命题变项及其否定统称作文字\red{文字}文字。 简单析取式\red{简单析取式}简单析取式是仅由有限个文字构成的析取式。 简单合取式\red{简单合取式}简单合取式是仅由有限个文字构成的合取式。注意:一个简单文字既是简单析取式,又是简单合取式。例如:p , ¬q既是一...原创 2019-08-06 15:31:18 · 29348 阅读 · 0 评论 -
第一章 命题逻辑 1.5联结词的完备集
1.5联结词的完备集定义:设S是一个联结词集合,如果任何n (n>1)元真值函数都可以由仅含S的联结词构成的公式表示,则称S是联结词的完备集。在讲完备集之前,先给大家补充几个联结词。我们知道一个有两个命题变元p,q构成的命题公式中p,q的组合真值情况有4种,而每种所对应的FiF_iFi都有0,1两种情况。所以共有424^242=16种情况。如图:有些版本的异或也表示为⊕,清...原创 2019-08-01 20:28:05 · 15268 阅读 · 5 评论 -
第一章 命题逻辑 1.3等值演算
1.3 等值演算定义:当且仅当A,B具有相同真值表时,A ↔\leftrightarrow↔ B 为永真式。此时称A与B是等值的,记作 : A ⇔\Leftrightarrow⇔ B注意:“⇔\Leftrightarrow⇔” 与 “=”不同,“A=B”表示两个公式一样,“A ⇔\Leftrightarrow⇔ B”表示两个公式真值一样。“ ↔\leftrightarrow↔ ” 与...原创 2019-08-01 11:32:28 · 2507 阅读 · 1 评论 -
第一章 命题逻辑 1.2命题公式及其分类
1.2命题公式及其分类基础定义:命题常元:代表特定简单命题命题变元:代表任意命题,取值为1或0的变量二者定义可类比我们常数,与未知数。命题公式的定义:每一个命题常元或命题变元都是命题公式若A是命题公式,则(¬A)是命题公式若A和B都是命题公式,则(A∧B),(A∨B),(A→B),(A↔B)都是命题公式一个由命题常元或命题变元,联结词和括号所组成的符号串是命题公式,当且仅当...原创 2019-07-30 15:31:00 · 9660 阅读 · 0 评论 -
第一章 命题逻辑 1.1 命题与连接词
第一章 命题逻辑1.1 命题与连接词命题是能唯一判断真假的陈述句判断一个语句是不是命题的关键是:语句必须是陈述句必须具有唯一真值练习:你太漂亮了!✘ (不是陈述句)请勿吸烟 ✘ (此句为祈使句)x > 3 ✘ (真值不确定)5200年人类将移居火星 ✔ (虽然我们现在不能确定其真值,但是到5200年其真值是可以唯一确定的。要与上一个情况区分开)我正在说谎 ✘...原创 2019-07-29 19:20:52 · 4195 阅读 · 6 评论