2018年02月_L_0_Forever_LF

原创 BZOJ4044: [Cerc2014] Virus synthesis

考虑最后一次翻倍操作，操作后就是一个回文串，然后不断向两边添加字符得到原串我们建出回文自动机，考虑对每个回文串dp出建出他需要的最少步数若g[i]表示构建出回文串i的最少步数为了方便，我设的dp状态是f[i]=g[i]-i对于一个奇数回文串A，令B为A去掉尾部字符的串，C为A去掉两端字符得到的回文串，若B是回文串，D=B，否则D=C 那么考虑我们构建串A最后一次翻倍操作后的添...

2018-02-28 11:47:33 336

原创回文自动机学习笔记

回文自动机是一个跟后缀自动机很像的东西qaq首先关于一个串的回文子串有几个性质 1：一个串SSS至多只有|S||S||S|个不同的回文子串 2：每次向一个串尾部添加字符，至多产生一个新的回文子串，如果产生新的回文子串，其一定是包含串尾的回文子串中最长的一个证明了（2）其实就证明了（1）我们来证一下（2）：假设我们向串尾添加了一个字符，产生了新的回文子串，那么其一定含串尾，假...

2018-02-28 11:09:40 269

原创支配树dominator tree学习笔记

说实话冬令营之前我都没见过支配树的题，也不知道这是个什么东西（但是学完之后感觉这个东西已经烂大街了qaq）支配树主要能干这么一件事：给定起点r，对于一个终点x，如果r到x的所有路径都必须经过y，我们称y支配x 设支配x的点集S=p1,p2,p3.....pk  S=p1,p2,p3.....pk  S=p1,p2,p3.....pk\ \ ，其...

2018-02-27 15:02:03 1656 1

原创 BZOJ4174: tty的求助

一开始一直觉得是搞掉一个∑∑\sum然后用类欧做然后就不会了qaq 看了题解发现跟类欧完全没关系qaq为了方便以下用[x]代表⌊x⌋为了方便以下用[x]代表⌊x⌋为了方便以下用[x]代表\lfloor x \rfloor 我们要求这么个东西 ∑n=0N∑m=0M∑k=0M−1[nk+xm]∑n=0N∑m=0M∑k=0M−1[nk+xm]\sum_{n=0}^N\sum_{m=0}^M...

2018-02-26 13:58:17 417

原创 BZOJ3328: PYXFIB

我们要求这个东西 ∑ni=0CinFi[i mod k=0]∑i=0nCniFi[i mod k=0]\sum_{i=0}^nC_n^iFi[i\ mod\ k=0] 先不考虑k|ik|ik|i这个条件，即只计算∑ni=0CinFi∑i=0nCniFi\sum_{i=0}^nC_n^iFi 设出Fib数列的转移矩阵AAA，那么FiFiFi就是AiAiA^...

2018-02-25 16:35:58 265

原创 BZOJ3532: [Sdoi2014]Lis

如果不考虑C值的字典序最小的割的话，可以将先dp出以i结尾的LIS长度f[i]，然后每个点拆点流量为Bi，对于j<i,a[j]<a[i],f[j]+1=f[i]j<i,a[j]<a[i],f[j]+1=f[i]j...

2018-02-23 22:38:58 237

原创 BZOJ4401: 块的计数

枚举块的大小x，令siz[p]表示p的子树中节点数，那么这棵树能被分成n/x块大小为x的块当且仅当存在n/x个p满足x|siz[p]x|siz[p]x|siz[p]，感受一下可以发现根随意定都是一样的code：#include<set>#include<map>#include<deque>#include<queue>#includ...

2018-02-23 15:53:09 240

原创 BZOJ4762: 最小集合

先推荐几个题解qaq Link1 Link2注意看清公式里的括号，‘这类东西qaq定义f(S)f(S)f(S)为SSS中所有数的AND，SaSaS_a为集合S去掉元素a后剩余元素因为0&x=0，所以若对于集合SSS，有S′⊂S,f(S)=0,S≠ϕS′⊂S,f(S)=0,S≠ϕS' \subset S,f(S)=0,S\neq \phi，那么只要|S′|<|S|−1|...

2018-02-23 15:24:25 390

原创 BZOJ2434: [Noi2011]阿狸的打字机

阿狸的打字过程实际上是在建一个trie树，对这棵trie建立ac自动机的fail树后，问第x个串在第y个串中出现了多少次，相当于问y串有多少个前缀，在fail树中位于x的子树里到这里其实好像离线一下就可以了？但还有另一种资瓷在线询问的做法我们不可能对y串的每个前缀处理，因为这个trie树的建立可以让所有串的总长是n^2级别的但其实在trie树上这样走造字符串，很多串有着很长的LCP，比...

2018-02-21 15:50:25 225

原创 BZOJ1502: [NOI2005]月下柠檬树

因为光线平行，射过去的面积其实是一个个圆和他们之间的公切线算面积可以套自适应Simpson积分，好像大概是这个东西S(l,r)=r−l6(h(l)+h(r)+4h(mid))S(l,r)=r−l6(h(l)+h(r)+4h(mid))S(l,r)=\dfrac{r-l}{6}(h(l)+h(r)+4h(mid))code：#include<set>#include&l...

2018-02-21 15:00:41 280

原创 BZOJ2732: [HNOI2012]射箭

这题被卡到有心理阴影… 二分一下问题变成判断是否存在一条抛物线经过若干条线段因为抛物线过(0,0)，所以设一个参数(a,b)，可以根据过这些线段列出很多不等式，然后变成判断这些不等式是否存在解，可以用半平面交判但是这题数据很毒….实现上有些细节比如因为可以过线段的端点，可以将每条线段向上下拓展一些，因为要求a<0，半平面交的下界不能是0，然后用long double 我T了.....

2018-02-11 18:38:17 320

原创 BZOJ1043: [HAOI2008]下落的圆盘

求红线总长可以用每个圆的周长减去被覆盖的部分对每个圆i，枚举j>ij>ij>i计算圆j覆盖了圆i的长度若i和j相离/相切或i包含j不考虑若i被j包含就被完全覆盖否则是相交的情况如图圆A和圆B交与C,D，可以算出AE，CE的长度，用余弦定理可以算得cosCAE，用acos，atan2可以算得A被覆盖的一个弧度区间，把所有覆盖的区间求出来后就变成了一个区间覆盖问题...

2018-02-11 18:23:25 288

原创 IOI2017 古书books

乐滋滋在wc上讲的题对于这类最优化问题，有一个套路是考虑答案的下界，然后判看能不能到达这个下界首先一个显然的下界是 ∑|i−ai|∑|i−ai|\sum |i-ai| ，但注意到这个下界不够紧，比如序列 1 0 3 2，0和3之间的间隔至少要跨越2次建一个图，每本书代表一个点，连出一条有向边到他要去的位置，这个的意思就是指这个图中边不相交的环之间的跨越可能要额外的花费这样确定的下界...

2018-02-11 12:54:20 1429

原创 gdkoi2018&thuwc2018&wc2018游记

emmmmmmm不知道写啥好不如什么都不写就这样吧1月25去广州gdkoi滚粗后跑去thuwc继续滚大粗接着wc碎了几天觉接着gg想想到今天回到家已经半个月了呢，干脆几篇游记一起写了吧1.25下午去到广州二中附近noip时住的那家万达旁的酒店后，晚餐和金中/六中的同学学一起次，还见到了beginend大佬，听说住同一间酒店（后来探本发现就在我们房间旁边），回到酒店打了把lol坑的不行...

2018-02-10 22:10:17 1390 1

L_0_Forever_LF的专栏