kewth / hexo-gitalk Goto Github PK
View Code? Open in Web Editor NEWgitalk repo for hexo
gitalk repo for hexo
https://kewth.github.io/2020/05/06/%E9%9B%86%E5%90%88%E5%B9%82%E7%BA%A7%E6%95%B0/#more
对于两个集合幂级数 (f) 和 (g) ,定义其和 (h) : [ h_S = f_S + g_S ] 对于两个集合幂级数 (f) 和 (g) ,定义其乘积 (h) : [ h_S = \sum_{T \subseteq S} f_T \times g_{S \setminus T} ] 即常说的子集卷积。
数论函数推式子是真的玄学,乱七八糟的一脸懵逼,好不容易看懂了转身又 tm 忘了,这里列出一些我见过的。莫比乌斯函数与恒等函数卷积$$ \mu * I = \epsilon
以下简称超现实数 Surreal Numbers 为 SN 。超现实数完整的理论很复杂,这里不详细给出。不加证明的给出以下重要的性质,实践中往往将 SN 用普通的实数表示,当然不是所有 SN 都能对应到一个实数的,实数域只是超现实数域的一个子集。 对于 SN (P = {|}) ,有 (P = 0) ,即加法单位元。 对于 SN (P = {S_L | S_R}) ,如果集合
https://kewth.github.io/2019/10/11/RMQ/
总结求各种 RMQ 的常用技巧和方法。RMQ 真是流皮,每次深入思考都会有新的发现,所以有了新的发现会更新。 以下 n 表示数列的大小,q 表示询问的次数,均以最大值为例。 一般性普通做法线段树当然是可以在线维护的,复杂度
https://kewth.github.io/2019/11/17/CSP2019/
Day1体验极差,真的就是极差,做梦都没想到 Day1 竟然是这样的。开考花 30min 交完前面两题,看看时间还剩 3h 。我觉得换谁在这个处境都会觉得稳得一批,我有三个小时你 Day1T3 能秒我?我时间都规划好了,花 2h 肝 T3 ,拿 1h 对拍测试检查细节。 30min 后:我有一个贪心想法,似乎有理有据 1h 后:终于打完了,过了样例,nice 稳了,测测大样例, woc 怎么全 W
https://kewth.github.io/2019/10/13/cf-592div2/
自闭。这大概是我打过最失败的一场比赛。A 签到题,然而我在 14min 才 A ,我是真的不适合做手速题。B 行数开大点就是插头 DP ,然而行数只有 2 ,插头只有 3 种,随便 DP 一下就行了,中间少考虑一种插头 WA 了一发,在 25min AC 。然后,就没有然后了。C 题解二元一次方程的整除解,woc 这不扩欧板题嘛,没想太多,直接码上去。然后很轻松过了样例啊,交 WA 了,哦没判负数
https://kewth.github.io/2019/10/10/%E6%90%AC%E8%BF%81/
没什么好说的,动态博客用烦了,搞了好多花里胡哨的东西,还是沉下心来,好好写博客,既然如此,就不打算做什么美化了,基本能用就行,勿喷。 另外 hexo 的公式渲染有点 shit ,哪里的公式挂了还请提醒。
https://kewth.github.io/2019/11/05/%E4%B8%AD%E5%9B%BD%E5%89%A9%E4%BD%99%E5%AE%9A%E7%90%86/#more
relearn 了一遍 exCRT ,发现之前学的可能是假的(这种情况出现不止一次了 233 )。简单来说,**剩余定理(以下简称 CRT )主要用于解线性同余方程组:$$\begin{equation}\left{\begin{aligned}x \equiv a_1 (mod ; m_1) \\x \equiv a_2 (mod ; m_2) \\… \\x \equiv a_n
https://kewth.github.io/2019/11/03/%E5%BF%AB%E9%80%9F%E6%B2%83%E5%B0%94%E4%BB%80%E5%8F%98%E6%8D%A2/
快速沃尔什变换,简称 FWT ,目前在 OI 中十分冷门。用处多项式卷积一般是这样的:$$ C_i = \sum_{j + k = i} A_j \cdot B_k
https://kewth.github.io/2020/01/06/miller-rabin-%E5%92%8C-pollard-rho/#more
miller-rabin用于快速测试一个数
https://kewth.github.io/2020/08/04/%E5%BC%A6%E5%9B%BE%E7%9B%B8%E5%85%B3/
简单记录弦图相关概念和算法。 一些定义 弦:连接环上不相邻两点的边。 弦图:每个简单环都有至少一条弦的无向图。 事实上,可以预见的是,弦图的每个简单环都可以表示为若干三元环的对称差。 团:任意两点都有边的无向图。 单纯点:与其相邻的点集的导出子图是团。 完美消除序列:点集的一个排列 ({p}) ,满足每个点 (p_i) 在 (p_j (j > i)) 的导出子图中都是单
以下公式均不给出证明,目的是为了让结论一目了然。组合数相关$$ C_n^m C_m^k = C_n^k C_{n-k}^{m-k}
https://kewth.github.io/2020/07/22/%E6%8B%89%E6%A0%BC%E6%9C%97%E6%97%A5%E5%8F%8D%E6%BC%94/#more
拉格朗日反演常用于提取一个幂级数 (A(x)) 的 (n) 次项系数。 对于常数项为 0 ,一次项非零的幂级数 (A(x)) ,设其复合逆为 (F(x)) ,有 [[x^n] A(x) = \frac{1}{n} [x^{n-1}] (\frac{x}{F(x)})^n]
https://kewth.github.io/2019/10/20/LGR-061-XR-4/
开场 30min 才反应过来有场比赛。不知道哪来的自信就去报了 Div.1 。。。第一次打 IOI 赛制的网络赛,感觉海星,不像 ACM 一样必须 A 题,打部分分的话就和平时训练的感觉一样,操作起来相对顺手。但是打网络赛为什么要拿部分分呢,当然冲着 A 题去啊是吧然而全场只能做出 A 题。并没有平时打 ACM 赛制的时候有签到题。不过还好,反正我不适合打手速题。
https://kewth.github.io/2020/08/04/WC2020/
别人在放暑假的时候,我却在参加 冬 令 营 。 不愧是冬眠营,前面四天的授课和营员交流都没听懂啥,真就冬眠去了。。。 第一天上来就是松松松手把手教你写一个路由器? 营员交流 20 分钟 100 页 ppt ? 授课讲的东西太多是 OI 无关的,营员交流信息量又太大(把课件蒯走就完事了),还好是线上冬令营,掉线了反正也重连不上,干脆颓废折腾去了。 总而言之,前四天全都在划水,一点也不夸张。所以重点就
https://kewth.github.io/2020/07/15/%E6%9C%80%E9%95%BF%E5%8F%8D%E9%93%BE%E9%95%BF/#more
去年写过的东西加点补充就算做今天写的了 基本概念 首先得知道链和反链是什么。 在 有向无环图( DAG ) 中, 链是满足任意两点 x, y 要么 x 可以到达 y 要么 y 可以到达 x 的点集 (即使只有一个点), 反链是任意两点没有路径的 点集 。 那么最长反链,就是点的个数最多的反链。
https://kewth.github.io/2020/05/06/%E5%A4%9A%E7%BB%B4%E5%8D%B7%E7%A7%AF/#more
异或卷积的本质就是 (n) 维循环卷积。二维卷积可以理解为对于二维数组 (f) 和二维数组 (g) 求二维数组 (h) :[h_{i,j} = \sum_{a+b=i} \sum_{c+d=j} f_{a,c} \times g_{b,d}]这个 (h) 就是 (f) 和 (g) 的二维卷积。
https://kewth.github.io/2020/01/16/code-trick/
总结一些 code-trick ,这种东西看看别人的代码,有时能够大开眼界。NTT/FFT预处理原根普通 NTT 每次长度改变都需要调用若干次快速幂来计算原根,差不多长这样:123456789101112131415void DFT(ll *a, int n) { // ... for(int m = 1; m < n; m <<= 1) { ll Gn =
https://kewth.github.io/about/
处于自闭阶段的 Kewth 。 HN 现役 OIer ,就读于 CSYZ (HNFMS) 。 NOI2020 坐标一中新华都(或者 CSYZ 本部?),我大概是那年新华都唯一的高二 Oier 。梦想还是有的,不能给母校丢脸嘛。
https://kewth.github.io/2019/10/13/cf-592div2-md/
自闭。这大概是我打过最失败的一场比赛。A 签到题,然而我在 14min 才 A ,我是真的不适合做手速题。B 行数开大点就是插头 DP ,然而行数只有 2 ,插头只有 3 种,随便 DP 一下就行了,中间少考虑一种插头 WA 了一发,在 25min AC 。然后,就没有然后了。C 题解二元一次方程的整除解,woc 这不扩欧板题嘛,没想太多,直接码上去。然后很轻松过了样例啊,交 WA 了,哦没判负数
https://kewth.github.io/2020/06/16/HNOI2020/#more
标题就取 HNOI2020 吧,最后是游记还是退役记,也难说。 本来是对 5 月初省选做准备的,结果省选时间因为疫情一推再推。5 月初的一个星期参加了正睿的线上集训,考了几次,状态 不错,甚至有些超常,这段时间左右大概是状态最佳的一段时期,或许这时候省选我能占优势吧。 可惜后来慢慢地状态在下跌,直到省选时间终于敲定,就只剩两个星期了,争取能把状态提起来吧。 关于省选这回事,过去两年没有什么压力,进
https://kewth.github.io/2020/01/02/%E6%9D%9C%E6%95%99%E7%AD%9B/#more
杜教筛一般用于求一类数论函数的前缀和。假设要求数论函数
https://kewth.github.io/2019/11/08/cometoj-14/#more
万年卡 E 题系列。这次 A 竟然不是字符串,开始我已经准备了字符串的输入输出等一堆东西结果发现没卵用花 1min49 AC ,好像在这之前已经有 12 个人 A 了。B 第一眼看上去是个 DP ,再看一眼(看成最小值最大)以为是二分,发现是让最大值最大而且还只有三个段后。。。大力分类讨论!果然是个分类讨论就巨多细节,判无解判边界判大小 blabla ,结果交 WA 了两发,在 16min AC
https://kewth.github.io/2019/10/01/%E6%9C%80%E9%95%BF%E5%8F%8D%E9%93%BE%E9%95%BF/
基本概念首先得知道链和反链是什么。在 有向无环图( DAG ) 中,链是满足任意两点 x, y 要么 x 可以到达 y 要么 y 可以到达 x 的点集 (即使只有一个点),反链是任意两点没有路径的 点集 。那么最长反链,就是点的个数最多的反链。定理不加证明地丢出两个定理: 最长反链长度 = 最小链覆盖(用最少的链覆盖所有顶点) 最长链长度 = 最小反链覆盖(用最少的反链覆盖所有顶点)
https://kewth.github.io/2019/10/01/HNOI2019/
先喷一句,没有大样例,差评。 再喷一句,数据水,好评。 预计 80' ,实际 110' 。 我真是个奇葩实际分比预计分高。。。 Day0- 省选前三天教练每天给我们推一道题,都是主席树应用(教练曰“线段树模板”)。 都是看了题解的思路才做出来的,自己想就找不到用主席树维护的地方。 不知道为什么这三天效率都挺高,这三天我 A 的题目估计有我平常一个星期的 A 题数。。。 然而还没来得及复习每个知识点
https://kewth.github.io/2019/10/10/O(1)%E9%BB%91%E7%A7%91%E6%8A%80/
@cyjian 出了一道黑科技二合一,我就顺便跟着学了学。O(1) gcd在 O(V) 的预处理后可以做到 O(1) 查询 gcd ,其中 V 是权值的大小。主要利用到的一个性质是可以将任意 x 分解为三个数 a * b * c ,满足以下两个条件之一: a, b, c 都不超过
https://kewth.github.io/2020/04/29/%E5%8D%A2%E5%8D%A1%E6%96%AF%E5%AE%9A%E7%90%86/#more
简单来说就是快速计算 (\binom{n}{m} \mod p) 。卢卡斯定理如果 (p) 是质数,有 (\binom{n}{m} \equiv \binom{n \mod p}{m \mod p} \binom{n/p}{m/p} \pmod{p}) ,其中 (n/p) 和 (m/p) 表示整除。
https://kewth.github.io/2019/10/16/%E8%8E%AB%E9%98%9F%E4%BA%8C%E6%AC%A1%E7%A6%BB%E7%BA%BF/#more
莫队算法可以通过单点增量的方式以
https://kewth.github.io/2020/06/19/%E6%9C%80%E5%B0%8F%E7%8E%AF/
给定一张图,求边权和最小的简单环的大小。 无向图或者有向图都可以做,需要注意的是无向图直接转成有向图会得到不合法的重边二元环。 以下讨论用 (n, m) 分别表示图的点数和边数,为了方便,只讨论简单无向图,其他情况不难扩展。 并且只考虑边权非负的情况。 一般解法 对于一般图,可以使用 Floyd 算法。这里要利用到 Floyd 算法的一个性质,最外层循环枚举松弛 点 (K) 更新后,最短路
nameplate syzoj 的数据库的 user 表有 nameplate 这个属性,代码里面也有关于 nameplate 的处理, 但是不知道为啥前端并没有给出任何关于 nameplate 的接口,自己写个前端接口就好了。 比如在 views/user_edit.ejs 里面添加关于 nameplate 的修改,然后在 modules/user.js 实现具体的修改即可。 当然不希望在前段开
这里只介绍关于多项式的拉格朗日插值法,对于一般函数的拟合当做一个多项式就好了。插点值已知多项式
https://kewth.github.io/2020/07/19/%E4%B8%87%E8%83%BD%E6%AC%A7%E5%87%A0%E9%87%8C%E5%BE%97/#more
有一类问题可以归结为以下模型: 有一种元素,它们之间可以定义乘法,且乘法满足结合律。给定两个元素 (X, Y) 和正整数 (n) ,求 [F(P, R, Q, n, X, Y) = \prod_{i=0}^n Y^{f(i) - f(i - 1)} X] 其中 (f(x) = \lfloor \frac{xP+R}{Q} \rfloor) ,也就是说第 (i) (从 (0)
https://kewth.github.io/2019/10/10/%E7%B1%BB%E6%AC%A7%E5%87%A0%E9%87%8C%E5%BE%97/
这里只是类欧几里得的一种:快速求下式:$$f(a, b, c, n) = \sum_{i=0}^n \lfloor \frac{ai+b}{c} \rfloor$$其中 a, b, c, n 都是正整数。缩小 a, b 规模首先的目标是让 a, b 小于 c 。结论 1 :$$\lfloor \frac{Ax+B}{y} \rfloor =\lfloor \frac{A(x%y)+B}{y} \
https://kewth.github.io/2020/07/16/%E6%9C%80%E5%A4%A7%E6%9D%83%E9%97%AD%E5%90%88%E5%AD%90%E5%9B%BE/
概念 一个有向图 (G = (V, E)) 的闭合子图是一个导出子图 (G_0 = (V_0, E_0)) ,满足 (\forall u \in V_0, (u, x) \in E) 有 (x \in V_0) 成立。 最大权闭合子图即点权和最大的闭合子图。
https://kewth.github.io/2020/01/10/%E7%89%9B%E5%AE%A2%E7%BB%83%E4%B9%A0%E8%B5%9B57/#more
咕咕咕我又来写总结啦。第一次打牛客,一进牛客发现还有 30s 就有一场比赛,就报了名。一开始只是打算玩玩,看看牛客的题来着。一不小心上瘾了,可惜不计 rating 。(另外 %%% @cyjian 喜提 rank1 )先看 A 题挺签到的,花几分钟过了,然而交 WA 了一次,原因竟然是下标 0, 1 开头混用了,感觉自己很蠢。
https://kewth.github.io/2019/10/10/%E8%8E%AB%E6%AF%94%E4%B9%8C%E6%96%AF%E5%8F%8D%E6%BC%94/#more
(以下除号皆表示整除)对于一些式子复杂度大的数论题,或许用莫比乌斯反演可以高效解决问题。前置技能: 基本数论函数 狄利克雷卷积 莫比乌斯函数满足
https://kewth.github.io/2019/10/15/%E4%BA%9A%E7%BA%BF%E6%80%A7%E7%AD%9B/
亚线性筛,就是以低于线性的复杂度预处理一些线性信息的筛法统称。目前我会杜教筛和 min25 还有 powerful number。杜教筛杜教筛一般用于求一类数论函数的前缀和。假设要求数论函数
问题是这样的:对于一个无穷大的递推数列 ({h_i}) 和长度为 (k) 的已知数列 ({a_i}),满足(\forall n, h_n = \sum_{i=1}^k a_i h_{n-i}) 。 已知 (h_i (0 \le i < k)) 求 (h_n) 。直接递推复杂度 (O(nk)) ,矩阵快速幂可以做到 (O(k^3 logn)) 的复杂度,
原来拉格朗日插值不仅能插点值,还能插系数。 插点值已知函数 f(x) 上 n 个点
https://kewth.github.io/2019/10/10/%E6%95%B4%E4%BD%93%E4%BA%8C%E5%88%86/#more
不久前学了整体二分,做了几道题,还在考试上派上用场过几次。觉得自己大概懂了整体二分,直到一次碰上了强制在线的毒瘤题。。。整体二分:从离线到强制在线基础大概讲讲整体二分吧。整体二分大概用于这样一个场景:有多组询问,每个询问可以二分,但是每个询问二分的时间不能接受,而不同询问的二分有共同点,这时就可以用整体二分把多个询问一起二分。所以这是个离线算法。
https://kewth.github.io/2019/10/13/cometoj-12/
以后打比赛写总结。话说今天打到短裙好开心啊A 题签到题。为什么我第一个想的就是 O(1) 的哈希?表示完全没有去想好写得多的排序,而是直接把三个字符用 int 表示去搞。然后本地测样例玄学错误,最后发现哈希的数组开小了。7min 做出 A 题表示自闭。真是可怕交题的时候刷新就有 40+ AC 了B 题还是签到题,以为能在 5min AC 结果打了 9min ,感觉我不适合这种手速题。
https://kewth.github.io/2019/10/21/%E4%BA%8C%E6%AC%A1%E5%89%A9%E4%BD%99/
二次剩余,俗称模意义开根。也就是对于常数
https://kewth.github.io/2019/12/06/THUWC2020/#more
Day -inf (12.06)thuwc 的报名网站反应是真的慢,中午特意请假去机房填表,结果被这反应速度折服了,一中午还没填完。好事是,借着这个,我得以手动翘掉了下午的语文课,又跑去机房填表,网站太慢了,就趁着加载的间隙打了一道题,边听歌边填表边打题,十分舒适。然后实在是太慢了一节语文课还是不够,算上盖章一不小心把物理课也翘了一半,回来的时候正好全班人围在门口看老师做实验。目测今年分数线不高,
https://kewth.github.io/2020/08/01/Green-Hackenbush/
最近看到一个有意思的博弈问题。 对于一张无向连通图(不一定是简单图),规定一个点为根,两个玩家轮流操作,每次可以删掉根可以到达的一条边,不能操作者输。 这类博弈即 Green Hackenbush 。
https://kewth.github.io/2019/10/25/cometoj-13/
淦。Skip 掉 A ,直接开 C1 。一看卧槽搜索题,果然简单,然后码,然后码挂了,调了一波,在 8min AC 。然后既然做了 C1 那就继续看 C2 嘛,一看卧槽煞笔题,果然简单,然后码,然后没码挂,交了一波,TLE 了 4 个点。。。回去看 A ,卧槽果然签到题,花 2min A 了。然而对于 C2 还是一脸懵逼,后来理性分析了复杂度上界,发现用 set 多了个 log ,想着怎么撸掉这个
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.