![](https://img-blog.csdnimg.cn/20201014180756780.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
离散数学
文章平均质量分 89
Discrete Mathematics
seh_sjlj
一个热爱数学证明的大学牲
展开
-
【图论】中国邮递员问题、平面图上最大割问题的多项式时间算法
本文介绍了中国邮递员问题的Edmonds-Johnson算法、平面图上最大割问题的多项式时间算法和顶点图(apex graph)上最大割问题的NP完全性。原创 2023-04-05 17:14:42 · 3987 阅读 · 0 评论 -
【人工智能】确定型推理
推理:从已知事实和知识出发,按照某种策略或规则,逐步退出结论或证明某个假设成立或不成立,或者归纳出新事实的思维过程推理的客观基础:客观事物间的相互关系推理的两个基本要素:在人工智能系统中,推理过程通常由推理机来实现推理机(inference engine)通常是一组程序,用来控制协调整个系统推理的形式(论式):体现前提和结论之间的逻辑联系,任何推理过程都表现为按照一定的推理规则,把前提和结论排列成一定的推理形式;否则,就不是推理推理必须依靠命题来表达,每种推理形式都有自己的具体要求(即推理规则)逻辑形式原创 2022-12-04 23:01:57 · 805 阅读 · 0 评论 -
【离散数学/组合数学】环排列与多重集的排列组合问题
文章目录环排列多重集的排列组合一、多重集的定义二、多重集的排列定义每个元素有无穷多个的情况选取集合所有元素的情况总结三、多重集的组合定义每个元素有无穷多个的情况总结环排列有nnn个互不相同的元素,选取其中rrr个元素排成一个环。问有多少本质不同的排法。因为对一种排法旋转1,2,⋯ ,r−11,2,\cdots,r-11,2,⋯,r−1位都是一样的,比如123,231,312123,231,312123,231,312,所以我们可以把rrr种可以通过旋转互相转化的排法分为一组,而总共有AnrA_n^r原创 2022-03-25 15:56:05 · 1773 阅读 · 1 评论 -
【离散数学笔记】逻辑运算之吸收律
吸收率:(1) A∨(A∧B)⇔A(1)\ A\lor(A\land B)\Leftrightarrow A(1) A∨(A∧B)⇔A(2) A∧(A∨B)⇔A(2)\ A\land(A\lor B)\Leftrightarrow A(2) A∧(A∨B)⇔A证明: 先证明这两个定律等价。由(1)(1)(1):A∨(A∧B)⇔(A∨A)∧(A∨B)⇔A∧(A∨B)A\lor(A\land B)\Leftrightarrow(A\lor A)\land(A\lor原创 2022-01-28 12:27:53 · 14204 阅读 · 6 评论 -
【离散数学笔记】良序原理(The Well Ordering Principle)
良序原理:Every nonempty set of nonnegative integers has a smallest element.每个非空的自然数集都有最小的元素。注意:(1) 要求集合非空——空集没有最小的元素。(2) 要求自然数——负整数是不行的,非负有理数也是不行的。例如非负有理数集合S={1n∣n∈N∗}S=\left\{\frac{1}{n}\right|n\in N^*\}S={n1∣∣n∈N∗}就没有最小的元素。良序原理揭示了自然数的某些特殊性质。它看起来很显.原创 2022-01-27 11:37:53 · 18626 阅读 · 0 评论