离散数学
文章平均质量分 91
Stay--hungry
这个作者很懒,什么都没留下…
展开
-
离散数学15:递推方程与生成函数
递推方程递推方程有无数个解, 但是在给定初值下的解是唯一的.常系数线性齐次递推方程 —— 特征方程。特征方程的根的情况通解无重根有重根常系数线性非齐次递推方程 —— 齐次通解+特解f(n)f(n)f(n)形式特解生成函数对于数列{a0,a1,...,an,...}\{a_0,a_1,...,a_n,...\}{a0,a1,...,an,...},令G(x)=a0+a1x+a2x2+...+anxn+...G(x)=a_0原创 2022-01-11 00:36:08 · 995 阅读 · 0 评论 -
离散数学14:组合数学
0!=10!=10!=1计数公式从SSS中有序选取rrr个元素称为SSS的一个rrr排列,数目为P(n,r)P(n,r)P(n,r).n≥rn\ge rn≥r时,P(n,r)=n!(n−r)!P(n,r)=\frac{n!}{(n-r)!}P(n,r)=(n−r)!n!n<rn<rn<r时,规定P(n,r)=0P(n,r)=0P(n,r)=0.对于环排列(元素依次排成一个圆环的排列):P′(n,r)=P(n,r)rP'(n,r)=\frac{P(n,r)}{r}P′(n,r).原创 2022-01-10 22:58:00 · 747 阅读 · 0 评论 -
离散数学13:一些典型的代数系统
文章目录群群的性质子群群#mermaid-svg-twL1UfUsAPYUaxvh .label{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);fill:#333;color:#333}#mermaid-svg-twL1UfUsAPYUaxvh .label text{fill:#333}#mermaid-svg-twL1UfUsAPYUaxvh .node rect,#mermaid-原创 2021-12-25 15:59:07 · 4089 阅读 · 0 评论 -
离散数学12:代数系统
抽象代数的特点:采用集合论的符号重视运算及运算规律使用抽象化和公理化的方法运算二元运算一元运算原创 2021-12-10 09:35:38 · 2438 阅读 · 0 评论 -
离散数学11:图的着色
点着色点着色处理的是无环图。(再次强调:图论中“环”指自环。)一些性质:对于任意的无环图G均有:χ(G)≤Δ(G)+1对于任意的无环图G均有:\chi(G)\le \Delta(G) + 1对于任意的无环图G均有:χ(G)≤Δ(G)+1若无环图G连通且不是完全图也不是奇圈,则:χ(G)≤Δ(G)若无环图G连通且不是完全图也不是奇圈,则:\chi(G)\le\Delta(G)若无环图G连通且不是完全图也不是奇圈,则:χ(G)≤Δ(G)面着色面着色处理的是无桥连通图。四色定理:任何平面图都原创 2021-12-04 16:29:05 · 3683 阅读 · 0 评论 -
离散数学10:平面图与对偶图
平面图平面图的概念一个平面图可能有多种平面嵌入,这些图之间都是同构的。K5、K3,3K_5、K_{3,3}K5、K3,3是非平面图。一个平面图的有限面和无限面没有什么本质区别,可以相互转化。自环所构成的面的边界长度为1注意无限面的次数一些性质:割边只能是一个面的边界, 若一条边不是割边, 它必是两个面的公共边界平面图????中所有面的次数之和等于边数的2倍: ∑deg=2m\sum deg = 2m∑deg=2m欧拉公式:顶点数+边数−面数=2(注意:面数中包含无限面原创 2021-12-03 09:35:05 · 5828 阅读 · 0 评论 -
离散数学9:二部图、欧拉图、哈密顿图
二部图将所有边均视为沟通两个互补顶点子集的路。二部图的判定一个无向图是二部图⟺图中不存在奇数长度的回路一个无向图是二部图\Longleftrightarrow 图中不存在奇数长度的回路一个无向图是二部图⟺图中不存在奇数长度的回路无回路的图一定是二部图二部图的匹配完美匹配 ⇍⇒^{\Rightarrow}_{\nLeftarrow}⇍⇒ 最大匹配 ⇍⇒^{\Rightarrow}_{\nLeftarrow}⇍⇒ 极大匹配完美匹配中,∣V1∣=∣V2∣=∣E∣|V_1| = |V_2|原创 2021-12-01 13:57:38 · 15764 阅读 · 2 评论 -
离散数学8:树
文章目录无向树生成树根树无向树无向树即 连通无回路 的无向图。无向树中的结点分为两类:树叶(度为1)、分支点(度大于1)。#mermaid-svg-hwKCMP37P3lYF4GU .label{font-family:'trebuchet ms', verdana, arial;font-family:var(--mermaid-font-family);fill:#333;color:#333}#mermaid-svg-hwKCMP37P3lYF4GU .label text{fill:#333原创 2021-11-26 09:39:59 · 6098 阅读 · 0 评论 -
离散数学7:图论
无序积设A,BA,BA,B为任意的两个集合,称{{a,b}∣a∈A∧b∈B}\{\{a,b\} | a\in A\land b\in B\}{{a,b}∣a∈A∧b∈B}为AAA与BBB的无序积,记作A&BA\&BA&B.可见无序积是一个集合,其中的每个元素都是一个含两个元素的小集合 (无序对)。将无序积中的无序对{a,b}\{a,b\}{a,b}记作(a,b)(a,b)(a,b)。注意:(a,b)=(b,a)(a,b) =(b,a)(a,b)=(b,a)、A&B=B原创 2021-11-16 18:10:48 · 4007 阅读 · 0 评论 -
离散数学6:函数
A集合的元素个数为∣A∣=n|A| = n∣A∣=n,B集合的元素个数为∣B∣=m|B| = m∣B∣=m,则A、B之间可形成nmnmnm个有序对笛卡尔积A×B中的元素个数为nmnmnm (即全域关系EAE_AEA中有序对的数目)A、B之间可形成的二元关系(笛卡尔积的子集)有2nm2^{nm}2nm种特别的,A上的二元关系有2n22^{n^2}2n2种,其中等价关系(划分方式)有2n−n2^n - n2n−n种从A到B共有∣B∣∣A∣|B|^{|A|}∣B∣∣A∣种函数函数一种特殊的二元关原创 2021-11-10 18:04:46 · 2107 阅读 · 0 评论 -
离散数学5:二元关系
文章目录有序对笛卡尔积二元关系关系的运算一些等式有序对笛卡尔积注意:笛卡尔积是一个集合,其中元素都是有序对。可以符号化为:A×B={<x,y>∣x∈A∧y∈B}A\times B = \{<x, y>|x\in A\land y\in B \}A×B={<x,y>∣x∈A∧y∈B}性质:如果A中有m个元素, B中有n个元素, 则A×B有mn个元素任意集合与空集的笛卡尔积为空集笛卡尔积不满足交换律 A×B≠B×AA\times B\neq B\time原创 2021-10-23 12:38:59 · 6137 阅读 · 0 评论 -
离散数学4:集合代数
集合是不能精确定义的基本概念。元素与集合之间的关系是属于或者不属于,二者必成立其一且仅成立其一。表示方法:集合元素的特点:彼此不同、无序、类型任意.规定: 集合不能是自己的成员。即集合的元素可以是任何具体或抽象事物, 包括别的集合, 唯 独不能是本集合自身。符号化B⊆AB\subseteq AB⊆A∀x(x∈B→x∈A)\forall x(x\in B\rightarrow x\in A)∀x(x∈B→x∈A)B⊈AB\nsubseteq AB⊈A∃x(x∈B∧原创 2021-10-14 18:04:36 · 1139 阅读 · 0 评论 -
离散数学3:一阶逻辑
一阶逻辑符号化个体词个体词是所研究对象中可以独立存在的具体(或抽象)的客体。例如小王、3、中国等都可作为个体词,类似于句子中的主语。将表示具体或特定的客体的个体词称为个体常项,一般用a,b,c,...a,b,c,...a,b,c,...表示将抽象或泛指的个体词称为个体变项,一般用x,y,z,...x,y,z,...x,y,z,...表示个体变项的取值范围称为“个体域”,个体域可以是有穷集合,也可以是无穷集合。最大的,由宇宙中一切事物组成的,称为“全总个体域”。谓词谓词是用来刻画个体词原创 2021-10-05 16:43:06 · 5857 阅读 · 2 评论 -
离散数学2:命题逻辑的推理
什么是有效的结论?若前提为k个命题公式:A1,A2,A3,...,AkA_1,A_2,A_3,...,A_kA1,A2,A3,...,Ak,结论为命题公式BBB,对命题公式赋值时,前提和结论的取值情况有以下4种:A1∧A2∧...∧AkA_1\land A_2\land ...\land A_kA1∧A2∧...∧Ak为0,BBB为0A1∧A2∧...∧AkA_1\land A_2\land ...\land A_kA1∧A2∧...∧Ak为0,BBB为1A1∧A2∧...∧.原创 2021-09-29 19:13:43 · 4193 阅读 · 1 评论 -
离散数学1:数理逻辑
逻辑规则给出数学语句的准确含义。逻辑的基本成分——命题。命题是一个非真即假的陈述句。·原创 2021-09-17 10:45:37 · 3026 阅读 · 2 评论