![](https://img-blog.csdnimg.cn/20201014180756923.png?x-oss-process=image/resize,m_fixed,h_224,w_224)
数学/数论
文章平均质量分 82
OI 中数学/数论有关问题。
Plozia
这个作者很懒,什么都没留下…
展开
-
P6475 [NOI Online #2 入门组] 建设城市 题解
一道排列组合题。原创 2022-03-25 21:38:52 · 758 阅读 · 0 评论 -
P3704 [SDOI2017]数字表格 题解
莫反套路题。原创 2022-03-09 19:55:12 · 199 阅读 · 0 评论 -
CF1139D Steps to One 题解
一道莫反好题。原创 2022-03-01 21:40:37 · 237 阅读 · 0 评论 -
数学/数论专题:莫比乌斯函数与欧拉函数
本篇文章从狄利克雷卷积出发,证明了莫比乌斯函数与欧拉函数的部分重要性质,以及这两个函数的联系。原创 2022-02-23 20:29:35 · 958 阅读 · 0 评论 -
数学/数论专题-学习笔记:莫比乌斯反演
莫比乌斯反演的学习笔记。原创 2022-02-23 17:00:12 · 455 阅读 · 0 评论 -
数学/数论专题-学习笔记:狄利克雷卷积
狄利克雷卷积的学习笔记。原创 2022-02-22 21:49:46 · 560 阅读 · 0 评论 -
数学/数论专题-学习笔记:整除分块
整除分块学习笔记。原创 2022-02-18 21:21:51 · 308 阅读 · 0 评论 -
CF476D Dreamoon and Sets 题解
一道思维题,但是可以手玩。首先发现一个规律,那就是在我们输出的所有四元组 (ai,bi,ci,di)(a_i,b_i,c_i,d_i)(ai,bi,ci,di) 中,对所有数除以 kkk 之后得到的四元组 (aik,bik,cik,dik)(\dfrac{a_i}{k}, \dfrac{b_i}{k}, \dfrac{c_i}{k}, \dfrac{d_i}{k})(kai,kbi,kci,kdi) 中的数两两互质。这个的大致证明就是假设有两个数 aik,bik\dfrac{a_原创 2021-11-18 20:26:40 · 125 阅读 · 0 评论 -
CF845G Shortest Path Problem? 题解
首先看到题目的时候,看见异或最小值,就需要想到可能是线性基,而这题正需要线性基。这里推几个线性基的写的好的文章:线性基 - OI Wiki数学/数论专题-学习笔记:线性基 - By Plozia好,现在我认为你已经掌握了线性基。对于 1→n1 \to n1→n 的路径而言,我们可以将这条路径拆成 2 部分:一条链 + 一些环。相当于我们要求链的路径长度异或上所有环长度的最小值。先看所有环长度的异或最小值,我们可以先用一遍 DFS 预处理出所有的环,将这些环的长度丢到线性基里面,那么这样线性原创 2021-07-15 18:36:12 · 110 阅读 · 0 评论 -
数学/数论专题-学习笔记:线性方程组解法(高斯消元/高斯-约旦消元)
数学/数论学习笔记:线性方程组解法(高斯消元/高斯-约旦消元)1. 前言2. 高斯消元法3. 高斯-约旦消元法4. 总结1. 前言高斯消元/高斯-约旦消元法,常常在 O(n3)O(n^3)O(n3) 的复杂度内用于解线性方程组问题。前置知识:解多元方程组的解法——加减消元,带入消元。模板题:P2455 [SDOI2006]线性方程组别信洛谷上面的官方模板题,那道题没这道题模板。2. 高斯消元法以下讨论的所有方程组均默认只有唯一解。首先我们回顾一下正常的方程组解法:例子:解方程组:{2x+原创 2021-07-13 16:08:58 · 582 阅读 · 0 评论 -
数学/数论专题-专项训练1:线性基
数学/数论专题-专项训练:线性基1. 前言2. 练习题[P4570 [BJWC2011]元素](https://www.luogu.com.cn/problem/P4570)[P3857 [TJOI2008]彩灯](https://www.luogu.com.cn/problem/P3857)[P3292 [SCOI2016]幸运数字](https://www.luogu.com.cn/problem/P3292)3. 总结1. 前言本篇博文是作者学习线性基的专项训练。数学/数论专题-学习笔记:线性原创 2021-07-01 21:19:28 · 151 阅读 · 0 评论 -
P5556 圣剑护符 题解
本题做法:树链剖分 + 线性基。没有学过?左转我的树链剖分学习笔记,右转我的线性基学习笔记。下面默认读者学会了树链剖分与线性基。首先对于 Query 操作,我们需要转化一下题意:对于路径上的点而言,是否能够选出一些点,使得这些点点权异或值为 0。这么做的理由是因为如果不存在这样的点集,那么就不会出现两个不相同的集合其异或值相同。看到异或值询问是否有 0,这是线性基的基本操作:如果有数插入失败,这说明有点集异或结果为 0。因为点权的值域是 [0,230)[0,2^{30})[0,230),在这个值原创 2021-07-01 21:08:12 · 105 阅读 · 0 评论 -
P3292 [SCOI2016]幸运数字 题解
这道题的解法是倍增 LCA + 线性基。没有学过上面两个算法的,左转我的倍增 LCA 学习笔记,右转我的线性基学习笔记。下面假设你已经学会了倍增 LCA 和线性基。首先回顾倍增 LCA 的过程:通过倍增合并 fi,jf_{i,j}fi,j 到 fi,j+1f_{i,j+1}fi,j+1 上。实际上线性基也是可以合并的,合并方式就是将一个线性基插入到另外一个线性基里面。因此既然线性基可以合并,那么根据倍增 LCA 的思路,我们同样可以倍增合并线性基。设 pi,jp_{i,j}pi,j 表示第原创 2021-07-01 20:58:55 · 136 阅读 · 0 评论 -
P4570 [BJWC2011]元素 题解
这道题的解法:贪心+线性基。没有学过线性基?我的学习笔记传送门由于线性基有一个优秀的性质:无论一个序列的线性基怎么变,其线性基内数的个数都是相同的,关键是看你怎么排列数的顺序,那么我们可以贪心。考虑将所有石头按照魔力值从大到小排序,然后直接做线性基,能插入的数就加上其魔力值。对于正确性证明:如果你对于线性基上面这个性质学过证明的话,这个是真的非常好证明的(甚至不用证)。这里简要证明一下:假设我们现在有一组线性基 d1,d2,...,dkd_1,d_2,...,d_kd1,d2,...,dk原创 2021-07-01 20:48:36 · 111 阅读 · 0 评论 -
P3857 [TJOI2008]彩灯 题解
这道题首先我们可以将题中的控制开关状态转变成一个二进制数。然后实际上题中所说的按下开关就是异或。那么因此这道题要求方案数,实质上就是要求原序列能够构成的线性基中树的多少。没有学过线性基?我的学习笔记传送门。由于线性基有一个很优秀的性质:原数列与线性基能异或出来的数是相同的,因此实际上我们知道了线性基内有 cntcntcnt 个数,那么答案就是 2cnt2^{cnt}2cnt。Code:GitHub CodeBase-of-Plozia P3857 [TJOI2008]彩灯.cpp...原创 2021-07-01 20:18:59 · 99 阅读 · 0 评论 -
数学/数论专题-学习笔记:线性基
线性基学习笔记。注意是 OI 中的不是数学中的。原创 2021-07-01 18:39:48 · 272 阅读 · 0 评论 -
数学/数论专题-学习笔记:乘法逆元
数学/数论专题-学习笔记:乘法逆元1. 前言2. 详解2.1 定义+作用2.2 exgcd 求法2.3 快速幂求法2.4 线性递推式3. 总结1. 前言本篇文章是作者学习乘法逆元的时候的一些学习笔记。前置知识:同余式,一些简单的数论符号。2. 详解2.1 定义+作用乘法逆元的定义如下:对于任意 a∈N+a \in N_+a∈N+,若存在 a∈N+a \in N_+a∈N+ 使得 ax≡1(modp)ax \equiv 1 \pmod pax≡1(modp),则称 aaa 是 xxx 在模 p原创 2021-06-16 20:36:23 · 285 阅读 · 0 评论 -
数学/数论专题-专项训练:矩阵相关#1
数学/数论专题-专项训练:矩阵相关#11. 前言2. 题单[P5343 【XR-1】分块](https://www.luogu.com.cn/problem/P5343)[P5789 [TJOI2017]可乐(数据加强版)](https://www.luogu.com.cn/problem/P5789)[P5337 [TJOI2019]甲苯先生的字符串](https://www.luogu.com.cn/problem/P5337)3. 总结1. 前言本篇文章是作者学习矩阵的时候的一些相关训练。注意作原创 2021-06-14 18:00:42 · 191 阅读 · 0 评论 -
数学/数论专题-学习笔记:矩阵小记#2(矩阵快速幂)
数学/数论专题-学习笔记:矩阵小记#2(矩阵快速幂)1. 前言2. 矩阵快速幂3. 例题4. 总结1. 前言本篇文章是作者学习矩阵时候的一些笔记。注意作者是个 OIer,因此并不会涉及到专业的线性代数知识(或者说是极少)。前置知识:矩阵定义+矩阵乘法,正整数快速幂。2. 矩阵快速幂我们知道复数(或者简单点,实数)中有幂的定义:对于 a∈Ca \in Ca∈C,将 a×a×...×aa \times a \times ... \times aa×a×...×a(共 nnn 个 aaa)记作 an原创 2021-06-10 20:03:37 · 169 阅读 · 0 评论 -
数学/数论专题-学习笔记:矩阵小记#1
数学/数论专题-学习笔记:矩阵小记#11. 前言2. 定义2.1 向量2.2 矩阵3. 运算3.1 矩阵加/减法3.2 矩阵乘法4. 总结1. 前言本篇文章是作者学习矩阵时候的一些个人笔记。由于作者是个高中 OIer,因此并不会涉及到有关线性代数的很多知识,只记录与 OI 有关的矩阵。这边建议学线性代数的人看一下这篇博文,讲的非常好:理解矩阵(一)(Author:孟岩)。2. 定义2.1 向量讲矩阵之前我们先来讲讲向量。前置知识:高中数学向量。向量的英文名是 vector。由平面向量基本原创 2021-06-08 16:30:23 · 193 阅读 · 0 评论 -
数论专题-学习笔记:欧拉定理与扩展欧拉定理
数论专题-学习笔记:欧拉定理与扩展欧拉定理1. 前言2. 前置知识3. 欧拉定理3.1 描述3.2 证明4. 扩展欧拉定理4.1 描述4.2 证明4.3 例题5. 总结1. 前言欧拉定理与扩展欧拉定理,是数论中的一个很重要的定理。该定理可以将形如 aba^bab 的式子的指数降得很低,通常可以降到 logb\log blogb 可接受范围内,这样就可以用快速幂计算了。若无特殊说明,本文所有数都是正整数。一些符号说明:φ(n)\varphi(n)φ(n) 为欧拉函数。a≡b mod ca \原创 2021-05-21 20:48:13 · 534 阅读 · 0 评论 -
数论专题-学习笔记:扩展欧几里得(exgcd)
数论专题-学习笔记:扩展欧几里得(exgcd)1. 前言2. 详解3. 总结1. 前言扩展欧几里得(exgcd),是在欧几里得算法基础上求解任意形如 ax+by=cax+by=cax+by=c 的二元一次方程的一组特解的一种算法。在往下看之前,您只需要知道如何使用欧几里得算法求 gcd(a,b)\gcd(a,b)gcd(a,b)。不知道也没关系,式子在这里:gcd(a,b)=gcd(b,a mod b)\gcd(a,b)=\gcd(b, a \bmod b)gcd(a,b)=gcd(b,am原创 2021-04-08 15:17:19 · 313 阅读 · 0 评论 -
数论专题-专项训练:欧拉函数
数论专题-专项训练:欧拉函数1. 前言2. 练习题[P2568 GCD](https://www.luogu.com.cn/problem/P2568)[P2398 GCD SUM](https://www.luogu.com.cn/problem/P2398)3. 总结1. 前言本篇博文是欧拉函数的专项训练。其实一般数论的题目就是推式子难,式子推出来了代码都好打。如果您没有学过欧拉函数,可以看一看我的这篇博文:数论专题-学习笔记:欧拉函数这里放一下欧拉函数的 7 个性质:基本性质 1:若 p原创 2021-04-07 21:00:30 · 317 阅读 · 0 评论 -
数学/数论专题-学习笔记:欧拉函数
欧拉函数的学习笔记。原创 2021-04-06 14:27:03 · 356 阅读 · 0 评论 -
算法学习笔记:概率与期望
概率与期望1. 前言2. 定义3. 理解4. 期望方程1. 前言概率我们很熟,在数学课本里面我们就已经学到过概率的基本定义以及计算方式。期望我们不熟,他与概率密切相关,计算方式基于概率。2. 定义概率的计算方式不必我多说,各位在数学课中都有了解。而期望,从某种意义上来讲其实就是一个加了权值的概率。我将使用一个例子来说明期望是什么:假设某一天小 z 有一场满分为 100 分的数学考试。他妈妈说:“儿子,如果你能够考到 80 分以上(不含 80),那么我将奖励你 100 元;如果你能够考到 60原创 2021-02-09 08:52:47 · 1439 阅读 · 0 评论 -
算法学习笔记:康托展开
算法学习笔记:康托展开1.概述2.实现1.概述康托展开,是全排列问题中常用的一种算法。康托展开:已知一个 nnn 阶全排列 aaa,求出这是第几个全排列(按照字典序排序)。2.实现例题康托展开的公式:a1×(n−1)!+a2×(n−2)!+...+an−1×1!+an×0!+1a_1 \times (n - 1)! + a_2 \times (n - 2)! +...+ a_{n - 1} \times 1! + a_n \times 0! + 1a1×(n−1)!+a2×(n−2)!+..原创 2021-01-19 13:57:48 · 304 阅读 · 1 评论 -
CF1466E Apollo versus Pan 题解
本题是一道数学题。我们首先需要交换一下求和符号,然后利用二进制的性质拆式子即可。具体过程如下:∑i=1n∑j=1n∑k=1n(xi and xj)×(xj or xk)\sum\limits_{i=1}^{n}\sum\limits_{j=1}^{n}\sum\limits_{k=1}^{n}(x_i \text{ and }x_j) \times (x_j \text{ or } x_k)i=1∑nj=1∑nk=1∑n(xi and 原创 2021-02-09 09:53:14 · 87 阅读 · 0 评论 -
CF1027C Minimum Value Rectangle 题解
这是一道数学题。假设边长为 a,ba,ba,b,那么:P2S=(2a+2b)2ab=4a2+8ab+4b2ab=4(ab+ba)+8\dfrac{P^2}{S}=\dfrac{(2a+2b)^2}{ab}=\dfrac{4a^2+8ab+4b^2}{ab}=4(\dfrac{a}{b}+\dfrac{b}{a})+8SP2=ab(2a+2b)2=ab4a2+8ab+4b2=4(ba+ab)+8由基本不等式,4(ab+ba)+8≥164(\dfrac{a}{b}+\dfrac{b}{a})+原创 2021-02-09 09:07:29 · 144 阅读 · 0 评论 -
CF27E Number With The Given Amount Of Divisors 题解
数学题。原创 2021-01-25 19:57:36 · 207 阅读 · 0 评论 -
P7078 [CSP-S2020] 贪吃蛇 题解
这道题我调了好久…细节非常多。首先,看完题目后,可以发现这是一道博弈问题。那么接下来,我们假设最强蛇为 xxx ,最弱蛇为 yyy ,那么这里就有两个结论:如果 xxx 吃了 yyy 不是最弱的蛇,则 xxx 必吃 yyy 。证明:假设当前第二强的蛇为 aaa ,第二弱的蛇为 bbb ,那么 x>a>b>y,x−y>bx>a>b>y,x-y>bx>a>b>y,x−y>b ,那么假设 xxx 吃了 yyy 之后变成了 zzz ,原创 2020-11-26 13:12:47 · 977 阅读 · 0 评论 -
P2671 求和 题解
这道题有一点数学的味道,思路想清楚,代码其实并不难写。由题意,满足条件的三元组 (x,y,z)(x,y,z)(x,y,z) 必须满足 y−x=z−yy-x=z-yy−x=z−y ,变形可得 x+z=2yx+z=2yx+z=2y ,又因为 x,y,zx,y,zx,y,z 都是整数,所以 x,zx,zx,z 同奇偶。又因为 colorx=colorzcolor_x=color_zcolorx=colorz ,统计答案时也只需要 x,zx,zx,z ,所以其实最后和 yyy 没什么关系。考虑到 color原创 2020-08-22 11:19:37 · 218 阅读 · 0 评论 -
P2651 添加括号III 题解
或许是我太蒟了,想了好久的解法。此题很明确,我们需要加上若干括号使得最后结果为整数。明显的,我们在日常的数学计算中,可以发现:设任意分数 xy\dfrac{x}{y}yx ( xxx , yyy 均为正整数),如果 gcd(x,y)=y\gcd(x,y)=ygcd(x,y)=y ,那么 xy=x\dfrac{x}{y}=xyx=x ,也就是 xy\dfrac{x}{y}yx 为整数,即 xxx , yyy 可以约分。这句话是解题的关键。理解这句话之后,我们只需要了解哪些数是分子,哪些数是分原创 2020-05-26 13:31:31 · 547 阅读 · 0 评论 -
CF43C Lucky Tickets 题解
题目大意:给出 NNN 个数,分别为 a1,a2,...,ana_1,a_2,...,a_na1,a2,...,an 。将其中任意两个数进行首尾相接组合,每个数只能使用一次,求最大能获得3的倍数的个数。题解:此题出现了“3的倍数”,根据数学知识,易得如果一个数的各位数字之和是3的倍数,那么这个数是3的倍数。反过来也成立。那么,拼成的数是3的倍数有几种情况呢?假设我们使用 xxx ,...原创 2020-02-13 08:03:22 · 236 阅读 · 0 评论