离散数学
文章平均质量分 92
傲决流云
github/gitee:tch0
展开
-
【离散数学】高级计数技术
这是离散数学的第四篇,讨论高级计数技术。同步发布与个人博客,上一篇(【离散数学】计数/排列组合)讨论了计数以及排列组合,二项式定理等。但是仅凭排列组合等手段依然无法解决许多计数问题。这里首先讨论通过递推关系来求解计数问题,并介绍有递推关系引出的两个算法范式:动态规划和分治。这两种算法均是通过将问题分割为一系列的子问题来求解的,区别就是前者分割出来的子问题互相重叠,后者的子问题不重叠。这是两种...原创 2018-03-08 19:13:59 · 1776 阅读 · 3 评论 -
【离散数学】逻辑与证明
离散数学是计算机专业很重要的基础课程,是后续数据结构,算法的基础。在学习数据结构的时候,接触到图论算法的时候,遇到了困难。于是决定回来学习离散数学。离散数学(课本)包括了数理逻辑、集合论、计数技术、关系、树、图和布尔代数等。每个章节都是数学与算法的基础,都接触过,但都没有太过深入。唯一一节算是深入了一点的应该就是布尔代数了,这在学习数字电路时是详细学习过的。所以我计划花费大概半个月时间看...原创 2018-02-22 21:00:18 · 9586 阅读 · 2 评论 -
【离散数学】计数/排列组合
离散数学第三篇,讨论基本的计数技术——排列组合及其推广。组合数学是离散数学的重要组成部分,这里比较简略,待到有时间详细学习组合数学后再讨论一些复杂一点的问题。那何为组合数学呢?组合数学(Combinatorics)是研究一定条件的组态的存在、计数以及构造的科学。直白说就是研究物体如何安排的科学。这里的组合数学是狭义的组合数学,广义的组合数学就是离散数学。因计算机科学的核心就是使用算法研究离散...原创 2018-02-22 21:08:44 · 4464 阅读 · 0 评论 -
【离散数学】基本结构——集合、函数、序列、矩阵
离散数学第二篇,首先讨论常用工具——集合,并讨论在集合基础之上的一系列结构:函数、序列、矩阵、关系等。所有内容在以前的知识体系中均有涉猎,此处是从集合的角度去考虑这些内容。我认为其中要数集合的基数这一小节中可数集和不可数集的部分最为抽象。这里仅仅涉及一些常用定义性质和精彩的证明。首先,常用符号一览: 符号 含义 LaTeXLaTeXLaTeX(仅符号) ...原创 2018-02-22 21:03:43 · 8452 阅读 · 2 评论