离散数学
文章平均质量分 83
离散数学 读书笔记&学习笔记
爱寂寞的时光
这个作者很懒,什么都没留下…
展开
-
组合数学——二项式反演
二项式反演原创 2022-08-05 13:14:53 · 359 阅读 · 0 评论 -
Zscoder‘s 生成函数教程(三)
本文翻译自的 CF Blog 文章。本文是原文的第二部分,生成函数在 CP 中实战。翻译 2022-08-04 14:18:10 · 216 阅读 · 0 评论 -
Zscoder‘s 生成函数教程(二)
本文翻译自 zscoder 的 CF Blog 文章 [Tutorial] Generating Functions in Competitive Programming (Part 1) 。本文是原文的第一部分中的后半段,利用生成函数解决简单的计数类问题。翻译 2022-08-02 21:11:42 · 286 阅读 · 0 评论 -
多项式——多项式牛顿迭代
多项式牛顿迭代原创 2022-08-01 17:47:19 · 994 阅读 · 0 评论 -
多项式——多项式函数
多项式函数原创 2022-08-01 17:45:34 · 1618 阅读 · 0 评论 -
多项式——多项式除法
多项式除法原创 2022-07-31 23:52:26 · 799 阅读 · 0 评论 -
多项式与生成函数教程合集
多项式教程集合原创 2022-07-31 20:15:28 · 167 阅读 · 0 评论 -
多项式——乘法逆元
多项式的乘法逆元原创 2022-07-31 20:10:48 · 1664 阅读 · 0 评论 -
Zscoder‘s 生成函数教程(一)
本文翻译自 zscoder 的 CF Blog 文章 [Tutorial] Generating Functions in Competitive Programming (Part 1) 。本文是原文的第一部分中的前半段,生成函数入门。如有侵权,联系作者将尽快删除;如有翻译不足之处,敬请指出。...翻译 2022-07-31 18:08:23 · 476 阅读 · 0 评论 -
多项式算法——快速数论变换NTT
在FFT中,我们使用复数计算,未免会出现精度损失,基于原根的快速数论变换NTT解决了这个问题。原创 2022-07-28 17:03:22 · 733 阅读 · 0 评论 -
组合数学——特征方程与线性递推方程
组合数学——特征方程与线性递推方程大多数计数问题都可以表示成线性的递推关系,而特征方程是解决这些线性递推关系的有利工具。一个度为 kkk 的 线性齐次常系数递推方程 指的是具有如下形式的方程:an=c1an−1+c2an−2+…+ckan−ka_n = c_1a_{n-1} + c_2a_{n-2} + \ldots + c_ka_{n-k}an=c1an−1+c2an−2+…+ckan−k这里 c1,c2,…,ckc_1,c_2,\ldots,c_kc1,c2,…,ck 都原创 2022-02-22 22:41:49 · 1180 阅读 · 0 评论 -
离散数学——递归
离散数学——递归数学归纳法数学归纳法证明的是 ∀nP(n)\forall n P(n)∀nP(n) 的成立,其中 P(n)P(n)P(n) 是一个谓词,数学归纳法有两个步骤:基础步骤:证明 P(1)P(1)P(1) 成立。归纳步骤:证明 ∀n(P(n)→P(n+1))\forall n (P(n) \to P(n+1))∀n(P(n)→P(n+1)) 成立。为了证明第二点,我们先假设 P(k)P(k)P(k) 成立,这个技巧叫做归纳假设。在数学归纳中,还有一类称为强归纳的数学归纳法:基础原创 2022-01-24 20:31:41 · 1321 阅读 · 0 评论 -
离散数学——数论与加密
离散数学——数论与加密素数无限证明假设素数是有限的,分别是从 p1p_1p1 到 pnp_npn ,那么:Q=p1p2…pn+1Q = p_1 p_2 \ldots p_n + 1Q=p1p2…pn+1一定不存在素数约数 pjp_jpj 的,其中 1≤j≤n1 \leq j \leq n1≤j≤n 。因为假设存在,那么 pj∣(Q−p1p2…pn) ⟺ pj∣1p_j \mid (Q - p_1 p_2 \ldots p_n) \iff p_j \mid 1pj∣(Q−p1p原创 2022-01-19 16:35:44 · 645 阅读 · 0 评论 -
离散数学——函数增长
离散数学——函数增长大 OOO 记法定义:函数 fff 和 ggg 都是实值函数,我们说 f(x)f(x)f(x) 是 O(g(x))O(g(x))O(g(x)) ,如果存在常数 CCC 和 kkk ,使得 ∣f(x)∣≤C∣g(x)∣|f(x)| \leq C|g(x)|∣f(x)∣≤C∣g(x)∣ 当 x>kx \gt kx>k 的时候。这说明,f(x)f(x)f(x) 的增长速率没有 g(x)g(x)g(x) 乘以一个常数快。注意,一对满足条件的 (C,k)(C,k)(C,k)原创 2022-01-06 22:48:04 · 1148 阅读 · 0 评论 -
离散数学——基本离散结构:集合,函数,序列,和式和矩阵
离散数学——基本离散结构:集合,函数,序列,和式和矩阵集合集合介绍本章,我们将学习所有离散结构的基础,集合。集合被用来组织对象。这些对象通常有相同的属性。我们先给出一些感性的定义。定义:一个集合是一个无序容器,叫做元素或对象的集合。一个集合被说成包含它的元素。我们写法 a∈Aa \in Aa∈A 指的是元素 aaa 在集合 AAA 中。我们用记号 a∉Aa \notin Aa∈/A 称作元素 aaa 不在集合 AAA 中。我们通常约定大写字母表示集合,小写字母表示元素。表示集合有很多方法,原创 2022-01-06 21:07:29 · 5459 阅读 · 0 评论 -
离散数学——命题与逻辑
离散数学——命题与逻辑命题逻辑命题逻辑是关于数学表达方面的研究。命题命题 是具有声明陈述性的语句(也就是说,陈述一个事实),并且不是真的就是假的。命题变量 是一个表示命题的变量,就像代数中表示数字的变量一样。命题变量通常使用 p,q,r,s,…p,q,r,s,\ldotsp,q,r,s,… 等字母表示。如果一个命题是真的那么它具有 真值 记为 T ,否则具有 假值 记为 F 。研究这类关于命题的问题的领域称为 命题演算 或者 命题逻辑 。复合命题 是将已经存在的命题通过 逻辑操作符 连接起来原创 2022-01-06 21:06:06 · 3353 阅读 · 1 评论 -
离散数学——停机问题
停机问题停机问题由 1936 年图灵提出,停机问题的提出,证明了存在无法实现的算法。停机问题的主要思想如下:试图编写一个程序 HHH ,将一个可执行的程序代码 PPP 作为输入,将作为执行 PPP 的输入作为参数 III ,也就是说,如果程序 P(I)P(I)P(I) 能够在有限的时间内停止,那么 H(P,I)H(P,I)H(P,I) 返回“停止”,否则返回“死循环”。可以证明不存在这样的 HHH 程序。证明为了证明检查停机程序不存在,我们引入以新的程序 KKK ,使得如果 H(P,P)H(原创 2022-01-03 23:27:12 · 2132 阅读 · 0 评论