2018年12月_litble

原创 Dilworth定理是个啥东东

Dilworth定理Dilworth定理，一言以蔽之，偏序集能划分成的最少的全序集个数等于最大反链的元素个数。这对于数学不好的人（如litble）来说，不是句人话。翻译一下几个概念：偏序偏序嘛，应该不是那么陌生的东西，所谓“时属九月，三维偏序” 。定义集合AAA中的一个二元关系≤\leq≤，譬如对于(a1,b1)(a_1,b_1)(a1,b1)和(a2,b2)(a_2,b_2)(a...

2018-12-27 20:44:11 7958 6

原创 51nod 1355 斐波那契的最小公倍数 Max-Min容斥+莫比乌斯反演

题目分析首先有一个结论：gcd(fib(ai))=fib(gcd(ai))gcd(fib(a_i))= fib(gcd(a_i))gcd(fib(ai))=fib(gcd(ai))，可以尝试使用辗转相减球gcd的方法证明一下。（boshi:可以证，但没必要）然后lcmlcmlcm是个什么玩意呢？对于一个指定的质因数ppp，假设aia_iai的质因数ppp的次数为cic_ici，则他们的...

2018-12-24 19:53:58 253 1

原创关于反演的一些归纳总结

感谢boshi大佬！！！您tql！！！什么是反演？假设我们手头有个函数FFF（准确的说是数列，因为一般只有整数自变量有用），通过某种变换HHH，可以得到函数GGG。可现在我的手头只有函数GGG，得寻找一种变换H−1H^{-1}H−1，使得GGG在做过这种变换之后能够获得FFF，这个过程就称之为反演。莫比乌斯反演在litble还是个傻逼的年代 (虽然现在也是个傻逼)，曾经写过一篇讲莫比乌斯...

2018-12-21 22:01:24 5518

原创洛谷P4585/bzoj4137 火星商店问题线段树＋可持久化trie树

题目分析首先特殊商品显然可持久化trie树一波就行了。至于非特殊商品呢？时间线段树套可持久化trie？注意到本题没有要求强制在线，所以并不需要套呗。把询问都落到时间线段树的区间上（用vector存），然后将所有添加商品事件都按照商店编号排序。递归遍历时间线段树，遍历到一个区间（线段树的一个节点）时，将这个区间的所有添加商品事件建立可持久化trie树。然后处理这个节点上的所有询问。代码...

2018-12-14 08:26:24 576

原创 bzoj2923/洛谷P3756 老C的方块最小割

题目分析先将网格图红白染色（你问为什么不是黑白？因为我在草稿纸上画图时发现把黑色格子改成红色是不可能的……）。然后将与蓝色线相邻的红色格子改成黑色，相邻的白色格子改成蓝色。大概长这样（灵魂画手litble再现江湖！）这样你会发现：1.整张图黑格子与红格不相邻，蓝格子和白格子不相邻。2.任何一个特殊图形，是一对相邻的黑格子和蓝格子，加上与它们连通的一个白格子和一个蓝格子。思考建图，由...

2018-12-13 18:41:15 343

原创 bzoj3958 Mummy Madness 二分答案＋扫描线

题目分析在T时刻，每一个木乃伊可能处于的位置，和你可能处于的位置，都是个正方形。如果木乃伊们的正方形将你的正方形完全覆盖，你无处落脚，必定死亡。而T+1时刻，因为T时刻木乃伊可能在的每个格子的周围8个格子，此时都可能有木乃伊了，所以，不可能在T时刻没有你可以待的地方，T+1时刻就有了。因此，你有无可落脚的格子这个状态是单调的，可以二分。二分答案，求出所有木乃伊的矩形和你的矩形的并，然后扫描线...

2018-12-07 20:09:36 345

原创任意模数FFT：MTT

前言注明：本文litble写给自己以后复习用，只是梳理，不做证明，学习MTT推荐下面这篇博客。感谢这位dalao->hereMTT将每个系数拆成a+bMa+bMa+bM的形式，将原来的一个多项式写成两个多项式。则(a1+b1M)(a2+b2M)=a1a2+a1b2M+b1a2M+b1b2M2(a_1+b_1M)(a_2+b_2M)=a_1a_2+a_1b_2M+b_1a_2M+b_...

2018-12-06 20:22:07 931

litble的成(tui)长(fei)史