- 博客(32)
- 收藏
- 关注
原创 游记 - 退役之战 NOIP2018
由于博主属于半竞赛生,并没有去省选的意图,于是这次 NOIP 就成了退役前的最后一战了。一年多的 OI 生涯,如飞鸟般受惊而飞。接下来的日子便是要专心于文化课了。Day 1考前吃个了口香糖进了考场。机子的键盘手感还不错,发密码前写了个随机数生成器。密码居然和金庸的小说名有关,老先生的影响力真的很大啊。有个小插曲:发下来的密码最后一位少个感叹号,导致一开始解压一直密码错误,引起全场考生集体诉...
2018-11-11 17:28:45 752
原创 最值问题大归纳
前言最值问题一直是高考的一个热门考点,因其综合性强、思维难度可以出的很高而受到命题人的青睐。最值问题综合了高中的数列、不等式、函数、解析几何等的知识,可以说几乎是高中数学的半壁江山了(求取值范围也可以看成其的变式)。这里归纳一下各种可能出现的最值问题解法。知识储备加星表示不强制要求掌握。某个区间上的单调函数,最大值和最小值分布在两端。二次函数 f(x)=ax2+bx+cf(x)=...
2018-10-30 13:52:02 2253
原创 【模板】Sirius 的压位高精度数、高精度分数模板结构体版 18.8.4
这个高精度模板经多次调试应该没什么问题使用说明参数MaxlMaxlMaxl :你的高精度数可能达到的长度(压位后)BitBitBit :压了几位(10Bit10Bit10^{Bit})进制BaseBaseBase :进制数,表示这个高精是 BaseBaseBase 进制的。请始终保持 10Bit=Base10Bit=Base10^{Bit}=Base。功能本...
2018-08-04 17:59:06 313
原创 整数拆分问题
⌈拆分数定理⌋\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 1227
原创 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 253
原创 生成函数
前面我写到了求解常系数二阶线性递推式的特殊情况的求通项法——特征根法,这里我们对其进行推广,介绍一下生成函数。定义对于一个数列 {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 259
原创 两个多边形定理的证明
定理 1在所有定边长的 NNN 边形中,圆内接凸 NNN 边形面积最大。*定边长指的是这些 NNN 边形边集相等。定理 1 证明最优性证明首先凹多边形可以略去考虑,因为一定找到比其优的凸多边形。然后若多边形的各点不全共圆,一定能按如下方法找到面积更大的多边形,方法如下:设多边形上的点组成的点集为 {G1、G2...GN}\{G_1、G_2 ... G_N\}{G1、G2...GN...
2018-10-20 17:53:05 759 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 1965
原创 【校内训练2018 10 19】猫哭 二分 / 贪心
题给定一个大写英文字母串,问最多能将原串分为多少个形如 CATCATCAT 或 TATTATTAT 的子序列?如 CATATCATATCATAT,仅能分出一个。而 CATTATCATTATCATTAT 可以分出两个。串长 ≤1000000\le 1000000≤1000000。解有贪心解法也有二分解法。由于这题数据允许二分通过,并且二分的编程难度要小,所以考场上的正确决策应该写二分。二分...
2018-10-20 16:06:07 118
原创 NOIp 2018初赛记
初赛挂完,真的要初赛退役了啊…考试时间 14:30~16:30两个小时,平时初赛训练的时候感觉时间很多,真正考试的时候感觉时间好紧啊…拿到考卷整个人就懵了,平时复习的那些哈夫曼树、计算机结构、CPU全没考,略慌。做到两题概率期望题,一题积分积错了(艹),还有一题是真的不会,蒙了个答案错了(QAQ)。多选凭感觉选了一波,整个选择题做完花了不少时间。填空题一题sb题秒了,一题一开始没思路先跳了...
2018-10-13 20:53:38 257
原创 特征根法
之前归纳了一波数列,这里补充一个用于求形如 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 3930
原创 关于解析延拓
“推广”与“一般化”,就是在向那一切的汇集点、最终的真理靠近。 ——沃兹基硕德开头皮一波,关于到底有没有这个“一切的汇集点”现在也还是个迷,毕竟政治书上不也教我们对于“真理的唯一性”不同学派也在争论嘛。撇开这个不谈,“推广”这种思想毋庸置疑是一种重要的思想。小学学的“勾股定理”到了高中推广为“余弦定理”,实数域推广到复数域 …每一次推广,往回望时,意识到曾经的那些定理其实是某个宏大系统中...
2018-10-06 23:16:35 9353
原创 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 142
原创 【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 332
原创 2018 9 27 随想2
“每一个不曾起舞的日子,都是对生命的辜负。”——尼采数学往往是物理学家为了解决问题“总结”的一些小技巧,后来就被不断系统化了。话说最近还听说阿蒂亚爵士想用物理的T什么函数来反证黎曼猜想来着…今天数学课上完后自己的一些脑洞。递推式求通项我给递推式的定义是:对于任意的 nnn,都满足某个式子,这个式子中仅存在三种量以及它们复合运算的产物:常数。特别注明,对于给定的数列,下标为某一常数的...
2018-09-27 21:08:23 168
原创 【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 267
原创 LIS LCS LCIS算法总结
前言Q:标题是什么意思? A:LISLISLIS 指最长上升子序列,LCSLCSLCS 指最长公共子序列,LCISLCISLCIS 指最长上升公共子序列。 不清楚上面几个定义的建议复习一下“子序列”之类的概念。这里的上升都是严格的。 这几种经常会在OI竞赛中遇到,属于基本功吧。搞个总结。LIS例1给定一个长度为 nnn 的数列 aaa,求其 LISLISLIS 的长度...
2018-09-06 19:46:35 466
原创 广义斐波那契数列 / 矩阵快速幂
题定义广义斐波那契数列为满足递推公式为 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 347
原创 【NOIP2015_D2_T3】运输计划 / 树上差分、二分
题大意: 给定一棵 nnn 个节点的带边权的树,mmm 条树上路径。你能将一条边的边权变成 000,问这 mmm 条路径中最长路径的长度最小值是多少。解最大值最小,可以想到二分。我们二分 最大值能否 ≤ans≤ans\le ans 对于每条长度(假设为 lenlenlen )超过 ansansans 的边,我们就肯定至少要去掉 len−anslen−anslen-ans 的长度...
2018-08-19 18:39:20 187
原创 【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 205
原创 【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 133
原创 并查集水题
题给定一棵树,问以其为唯一最小生成树的完全图的边权和最大为多少。解并查集维护大小,按 KruscalKruscalKruscal 的方法,每次贪心连边。代码见下:#include <bits/stdc++.h>using namespace std;#define R register#define Maxn 20005#define LL long lon...
2018-08-13 17:45:39 141
原创 【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 561
原创 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 3458
原创 【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 254
原创 两个二叉树的问题
问题一一个以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 143
原创 【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 221
原创 单调数据结构小结
由于最近做了几道单调数据结构,有点感慨,来做个小结。 单调数据结构这里主要指单调队列、单调栈两个。基本特征在队列/栈的基础上增加了“单调性”这一要求。即保持数据结构中的元素按某种值的大小顺序单调。由于栈/队列的插入规则不能变,又要让元素能成功插入,所以要保持单调性,它们只能丢弃原有的某些信息 来维护单调性。单调栈保持单调性的方法:插入元素时,如果当前顶端和即将插入的元...
2018-08-02 16:22:04 431
原创 求全是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 3512 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 169
原创 【原创题】【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 534 2
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人