- 博客(32)
- 收藏
- 关注
RSS订阅
原创 游记 - 退役之战 NOIP2018
由于博主属于半竞赛生，并没有去省选的意图，于是这次 NOIP 就成了退役前的最后一战了。一年多的 OI 生涯，如飞鸟般受惊而飞。接下来的日子便是要专心于文化课了。Day 1考前吃个了口香糖进了考场。机子的键盘手感还不错，发密码前写了个随机数生成器。密码居然和金庸的小说名有关，老先生的影响力真的很大啊。有个小插曲：发下来的密码最后一位少个感叹号，导致一开始解压一直密码错误，引起全场考生集体诉...
2018-11-11 17:28:45
724
原创 最值问题大归纳
前言最值问题一直是高考的一个热门考点，因其综合性强、思维难度可以出的很高而受到命题人的青睐。最值问题综合了高中的数列、不等式、函数、解析几何等的知识，可以说几乎是高中数学的半壁江山了（求取值范围也可以看成其的变式）。这里归纳一下各种可能出现的最值问题解法。知识储备加星表示不强制要求掌握。某个区间上的单调函数，最大值和最小值分布在两端。二次函数 f(x)=ax2+bx+cf(x)=...
2018-10-30 13:52:02
1962
原创 【模板】Sirius 的压位高精度数、高精度分数模板结构体版 18.8.4
这个高精度模板经多次调试应该没什么问题使用说明参数MaxlMaxlMaxl ：你的高精度数可能达到的长度（压位后）BitBitBit ：压了几位（10Bit10Bit10^{Bit}）进制BaseBaseBase ：进制数，表示这个高精是 BaseBaseBase 进制的。请始终保持 10Bit=Base10Bit=Base10^{Bit}=Base。功能本...
2018-08-04 17:59:06
273
原创 整数拆分问题
⌈拆分数定理⌋\lceil \textbf{拆分数定理} \rfloor⌈拆分数定理⌋：记 为 的无序拆分数，则 的生成函数F(x)=(1+x+x2+x3+x4+x5+...)(1+x2+x4+x6+...)(1+x3+x6+...)(1+x4+x8+...)...F(x) = (1+x+x^2+x^3+x^4+x^5+...)(1+x^2+x^4+x^6+...)(1+x^3+x^6+...
2018-11-04 20:41:20
1145
原创 Tenka Programmer Contest D - Crossing / 构造（附带数学证明）
题给定一正整数 NNN （1≤N≤1051 \le N \le 10^51≤N≤105），求是否存在一个集合的集合 TTT 满足：∣T∣∈N∗|T| \in N^*∣T∣∈N∗∀Si∈T，Si⊆{1,2,3,...,N}\forall S_i \in T，S_i \subseteq \{1,2,3,...,N\}∀Si∈T，Si⊆{1,2,3,...,N}∀i,j∈[1,∣T∣]\f...
2018-10-28 12:06:44
173
原创 生成函数
前面我写到了求解常系数二阶线性递推式的特殊情况的求通项法——特征根法，这里我们对其进行推广，介绍一下生成函数。定义对于一个数列 {an}\{a_n\}{an}，我们定义其的生成函数 （又名母函数）g(x)=∑i=0naixig(x)=\sum_{i=0}^na_ix^ig(x)=i=0∑naixi即原数列的幂级数的和的形式。这里我采用从 000 开始的数列表达法，中学教材中常常介绍的...
2018-10-21 18:08:15
233
原创 两个多边形定理的证明
定理 1在所有定边长的 NNN 边形中，圆内接凸 NNN 边形面积最大。*定边长指的是这些 NNN 边形边集相等。定理 1 证明最优性证明首先凹多边形可以略去考虑，因为一定找到比其优的凸多边形。然后若多边形的各点不全共圆，一定能按如下方法找到面积更大的多边形，方法如下：设多边形上的点组成的点集为 {G1、G2...GN}\{G_1、G_2 ... G_N\}{G1、G2...GN...
2018-10-20 17:53:05
602
1
原创 图论定理证明（1）
定理内容对于任意 N≥2N \ge 2N≥2 个两两相交的环，存在一条边被所有这些 NNN 个环覆盖。证明定义一个命题映射 P(N)P(N)P(N) 为 “对于任意 NNN 个两两都相交的环，存在一条边被所有这些 NNN 个环覆盖。”其中 N≥2N \ge 2N≥2。引理1： 一个环或者 NNN 个两两都相交的环构成一张强连通图。其中 N≥2N \ge 2N≥2 。引理2：1、对于一...
2018-10-20 17:13:04
1881
原创 【校内训练2018 10 19】猫哭 二分 / 贪心
题给定一个大写英文字母串，问最多能将原串分为多少个形如 CATCATCAT 或 TATTATTAT 的子序列？如 CATATCATATCATAT，仅能分出一个。而 CATTATCATTATCATTAT 可以分出两个。串长 ≤1000000\le 1000000≤1000000。解有贪心解法也有二分解法。由于这题数据允许二分通过，并且二分的编程难度要小，所以考场上的正确决策应该写二分。二分...
2018-10-20 16:06:07
99
原创 NOIp 2018初赛记
初赛挂完，真的要初赛退役了啊…考试时间 14:30~16:30两个小时，平时初赛训练的时候感觉时间很多，真正考试的时候感觉时间好紧啊…拿到考卷整个人就懵了，平时复习的那些哈夫曼树、计算机结构、CPU全没考，略慌。做到两题概率期望题，一题积分积错了（艹），还有一题是真的不会，蒙了个答案错了（QAQ）。多选凭感觉选了一波，整个选择题做完花了不少时间。填空题一题sb题秒了，一题一开始没思路先跳了...
2018-10-13 20:53:38
231
原创 特征根法
之前归纳了一波数列，这里补充一个用于求形如 an=p an−1+q an−2a_n=p\ a_{n-1}+q\ a_{n-2}an=p an−1+q an−2 的通项的方法。（上面这样的递推式可被称作“二阶线性齐次常系数递推式”）例题有一数列 {an}\{a_{n}\}{an}，a1=xa_1=xa1=x，a2=ya_2
2018-10-10 21:39:24
3812
原创 关于解析延拓
“推广”与“一般化”，就是在向那一切的汇集点、最终的真理靠近。 ——沃兹基硕德开头皮一波，关于到底有没有这个“一切的汇集点”现在也还是个迷，毕竟政治书上不也教我们对于“真理的唯一性”不同学派也在争论嘛。撇开这个不谈，“推广”这种思想毋庸置疑是一种重要的思想。小学学的“勾股定理”到了高中推广为“余弦定理”，实数域推广到复数域 …每一次推广，往回望时，意识到曾经的那些定理其实是某个宏大系统中...
2018-10-06 23:16:35
9192
原创 2018 10 6 随想
今天做数学练习时发现一题：已知 an+1+(−1)nan=2n−1a_{n+1}+(-1)^na_n=2n-1an+1+(−1)nan=2n−1，SnSnSn 为 ana_nan 的前 nnn 项和，求 S60S_{60}S60。正常思路是这样的：an+2+an=an+2−an+1+an+1+ana_{n+2}+a_n=a_{n+2}-a_{n+1}+a_{n+1}+a_nan+2...
2018-10-06 16:14:02
120
原创 【NOIP训练】Mancala / 数学问题
题有 nnn 堆石头，第 iii 堆有 aia_iai 个，一开始你有 1 次操作机会，0 点分数。你可以选其中任意一堆石头进行操作，操作按以下顺序进行：（设对第 iii 个位置进行操作）将 [max(1,i−ai),i−1][max(1,i-a_i),i-1][max(1,i−ai),i−1] 范围内的石头个数 +1.分数 +1，如果 ai=ia_i = iai=i ，操作数 +...
2018-10-02 19:30:18
270
原创 2018 9 27 随想2
“每一个不曾起舞的日子,都是对生命的辜负。”——尼采数学往往是物理学家为了解决问题“总结”的一些小技巧，后来就被不断系统化了。话说最近还听说阿蒂亚爵士想用物理的T什么函数来反证黎曼猜想来着…今天数学课上完后自己的一些脑洞。递推式求通项我给递推式的定义是：对于任意的 nnn，都满足某个式子，这个式子中仅存在三种量以及它们复合运算的产物：常数。特别注明，对于给定的数列，下标为某一常数的...
2018-09-27 21:08:23
144
原创 【NOIP训练】塔防游戏 序列DP / 数据结构
题有 nnn 座塔标号为 1−n1−n1-n，每个塔有两种属性 r，ar，ar，a，现在你要从这些塔中选取若干个塔，使得：对于任意两座塔 i,j (i<j)i,j (i<j)i,j\ (i < j)，需满足 i+ri≤ji+ri≤ji+r_i \le j。 求在所有满足上述条件的塔的选择集合 SSS 中，求 max{∑i∈Sairi}max{∑i∈Sairi}...
2018-09-12 19:56:54
246
原创 LIS LCS LCIS算法总结
前言Q：标题是什么意思？ A：LISLISLIS 指最长上升子序列，LCSLCSLCS 指最长公共子序列，LCISLCISLCIS 指最长上升公共子序列。 不清楚上面几个定义的建议复习一下“子序列”之类的概念。这里的上升都是严格的。 这几种经常会在OI竞赛中遇到，属于基本功吧。搞个总结。LIS例1给定一个长度为 nnn 的数列 aaa，求其 LISLISLIS 的长度...
2018-09-06 19:46:35
414
原创 广义斐波那契数列 / 矩阵快速幂
题定义广义斐波那契数列为满足递推公式为 an=pan−1+qan−2，n≥2an=pan−1+qan−2，n≥2a_n = pa_{n-1}+qa_{n-2}，n \ge 2 的数列。 现在给定系数 p,qp,qp,q ，以及该数列的前两项 a1，a2a1，a2a_1，a_2，问 an%man%ma_n \% m 的值为多少。 n≤1013n≤1013n \le 10^{13}，其它数...
2018-08-28 15:19:41
295
原创 【NOIP2015_D2_T3】运输计划 / 树上差分、二分
题大意： 给定一棵 nnn 个节点的带边权的树，mmm 条树上路径。你能将一条边的边权变成 000，问这 mmm 条路径中最长路径的长度最小值是多少。解最大值最小，可以想到二分。我们二分 最大值能否 ≤ans≤ans\le ans 对于每条长度(假设为 lenlenlen )超过 ansansans 的边，我们就肯定至少要去掉 len−anslen−anslen-ans 的长度...
2018-08-19 18:39:20
157
原创 【FJWC2016】树上三角形 / LCA
题给定一棵 nnn 个点的树，每个点有个 [1,231−1][1,231−1][1,2^{31}-1] 的点权，有 QQQ 个操作。 操作类型 000 ：修改某个点的点权。 操作类型 111 ：给定 a,ba,ba,b ，判断从 a,ba,ba,b 之间的唯一路径上的所有点（路径上的点当然也包括 aaa 和 bbb 啦）中能否选出三个点，满足能以这三个点的点权为边长构成三角形。 n，Q≤...
2018-08-18 23:32:29
167
原创 【NOIP2013_D1_T3】货车运输 / 生成树、LCA
题网上都有，这里说一下简述。 给你一张 nnn 个点 mmm 条边的图，QQQ 次询问。 每次询问包含两个点 sss 、ttt， 对于每次询问你要输出所有 sss 到 ttt 的路径中权最大的路径的权。 在本题中，一条路径的权定义为路径上所有边的边权最小值。 n≤10000，m≤50000n≤10000，m≤50000n \le 10000，m \le 50000。解由 Kr...
2018-08-18 21:44:56
117
原创 并查集水题
题给定一棵树，问以其为唯一最小生成树的完全图的边权和最大为多少。解并查集维护大小，按 KruscalKruscalKruscal 的方法，每次贪心连边。代码见下：#include <bits/stdc++.h>using namespace std;#define R register#define Maxn 20005#define LL long lon...
2018-08-13 17:45:39
111
原创 【codevs 3981】动态最大子段和 / 线段树
题给定一个长度为 nnn 的序列 aiaia_i，以及 qqq 次询问，每次询问给定 l,rl,rl,r 两参数。 对于每次询问，求 alala_l 到 arara_r 之间的最大子段和，子段的意思是连续非空子区间。 更形式化地解释：对于每次询问给定的 l,rl,rl,r , 求一个整数 ansansans，使得存在整数 l′,r′l′,r′l',r' ，满足l≤l′≤r′≤rl≤l′≤...
2018-08-08 22:57:59
537
原创 Quine：输出自己的程序
题你需要写一份代码，这份代码的功能是：输出这份代码。解挺有意思的一道题。代码见下（可能还有更短的）：#include<cstdio>char *s={"#include<cstdio>%cchar *s={%c%s%c};%cmain(){printf(s,10,34,s,34,10);}"};main(){printf(s,10,34,s,34,1...
2018-08-05 20:00:38
3398
原创 【YZOJ 1097】小叶子与无敌 / 并查集、离散化
题有一个长度为 nnn 的数列 aiaia_i，按顺序给定 mmm 个命题，第 iii 个命题由参数 li,ri,odd/evenli,ri,odd/evenl_i,r_i,odd/even 构成，表示这个命题为：∑rij=liaj∑j=liriaj\sum_{j=l_i}^{r_i}a_j 为 奇/偶 数。 请找到一个最小的 iii ，使得第 i+1i+1i+1 个命题与前 iii 个命题...
2018-08-03 16:15:18
240
原创 两个二叉树的问题
问题一一个以1为根的带权二叉树，每个点都有个权值 viviv_i。若点 bbb 在 aaa 的左子树中，且 aaa 到 bbb 的距离为 vbvbv_b，则称 bbb 为 aaa 的左关联点若点 bbb 在 aaa 的右子树中，且 aaa 到 bbb 的距离为 vbvbv_b，则称 bbb 为 aaa 的右关联点求每一个点的左右关联点个数。 倍增快速跳即可，代码如下：#in...
2018-08-03 00:10:24
125
原创 【NOIP2016 D2 T2】蚯蚓
题网上都有，自己搜去解65分暴力：套个堆模拟 代码见下：#include &lt;bits/stdc++.h&gt;using namespace std;#define R registerint n,m,q,t,nowtime;double u,v,p;struct QY{ int len,born; QY() {len=0,born=...
2018-08-02 18:06:23
191
原创 单调数据结构小结
由于最近做了几道单调数据结构，有点感慨，来做个小结。 单调数据结构这里主要指单调队列、单调栈两个。基本特征在队列/栈的基础上增加了“单调性”这一要求。即保持数据结构中的元素按某种值的大小顺序单调。由于栈/队列的插入规则不能变，又要让元素能成功插入，所以要保持单调性，它们只能丢弃原有的某些信息 来维护单调性。单调栈保持单调性的方法：插入元素时，如果当前顶端和即将插入的元...
2018-08-02 16:22:04
405
原创 求全是1的子矩阵个数 / 单调栈
题给定一个 n×mn×mn \times m 01矩阵，求全是1的子矩阵个数。 其中 n,m≤5000n,m≤5000n,m \le 5000。解暴力先来说说暴力思路，最暴力就是四方枚举子矩阵，平方check，总复杂度 O(n6)O(n6)O(n^6) 不满。考虑有什么地方可以优化？ 我们想到子矩阵之间是有包含关系的，如果找到一个全是1的大子矩阵，那么这个子矩阵的子矩阵肯定...
2018-08-01 23:11:14
3402
1
原创 【BZOJ 1047】【HAOI 2007】 理想的正方形 / 单调队列
题简述：给定 n×mn×mn\times m的矩阵，求其所有k×kk×kk \times k的子矩阵中，极差最小的一个。（PS：极差=最大值-最小值） 其中 n,m≤1000n,m≤1000n,m \le 1000，k≤100k≤100k\le100。解一个静态二维区间极值问题。可以选择带 logloglog 的数据结构维护，不过由于是静态，杀鸡就不用牛刀了，上单调队列要更快。 ...
2018-08-01 15:29:27
150
原创 【原创题】【YZOJ P3969】宇宙魔方 The Tesseract / N维前缀和 / 容斥原理
题 解1.小引子花了好几天终于造好数据惹…这是我第一次出的一个像样原创题。 这是一道关于容斥原理和前缀和预处理的问题，我们来看看经典的前缀和递推式，一维前缀和：sumi=sumi−1+aisumi=sumi−1+aisum_i=sum_{i-1}+a_i 二维前缀和：sumi,j=sumi−1,j+sumi,j−1−sumi−1,j−1+ai,jsumi,j=su...
2018-07-31 22:46:06
472
2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人