2018年02月_Vectorxj

原创 [期望DP] SRM 579 Div1 Hard RockPaperScissors

SolutionSolutionSolutionE(x)=∑x∈AScore(x)×P(x)E(x)=∑x∈AScore(x)×P(x)E(x)=\sum_{x\in A}Score(x)\times P(x) 只要考虑投了mmm轮得到(r,p,s)(r,p,s)(r,p,s)的概率和分数就好了。概率可以这样DP。 ft,i,r,p,sft,i,r,p,sf_{t,i,r,p,s}表示...

2018-02-28 11:29:57 284

原创 [主席树][单调栈] BZOJ 4369: [IOI2015]teams分组

SolutionSolutionSolutionki∈[Aj,Bj]ki∈[Aj,Bj]k_i\in[A_j,B_j]相当于点(Aj,Bj)(Aj,Bj)(A_j,B_j)在(ki,ki)(ki,ki)(k_i,k_i)的左上方。那对于(ki,ki)(ki,ki)(k_i,k_i)左上方的区域，有些点是在之前操作中已经被删掉的。剩下的一些矩形的并。画一下图，这些矩形的下边界是不升的...

2018-02-28 09:42:21 481

原创 [博弈论][二分图匹配][网络流] LOJ #536. 「LibreOJ Round #6」花札

SolutionSolutionSolution这是一个Undirected Vertex Geography。可以 O(n3)O(n3)\mathcal{O}(n^3) 对每个点得到答案。 UVG游戏中 (G,v)(G,v)(G,v) 即图 GGG 中先手在 vvv 必胜的充要条件是 vvv 在所有最大匹配中。证明：（充分性：）假设 vvv 在包含它的最大匹配 MMM 中： ...

2018-02-27 10:10:27 640

原创 [线段树分治][DP] LOJ #534. 「LibreOJ Round #6」花团

SolutionSolutionSolution操作相当于是动态的做一个背包DP。离线的话，线段树分治一下。因为结尾是已知的，可以一边分治，得到一个修改操作，就插到线段树。只要保证分治从左到右，每个操作都在线段树上得到了实现。 1.5×1041.5×1041.5\times10^4可以跑O(n2logn)O(n2log⁡n)\mathcal{O}(n^2\log{n})了解一下。...

2018-02-26 20:59:17 564

原创 [线段树] LOJ #535. 「LibreOJ Round #6」花火

SolutionSolutionSolution现将所有数转化为二维平面上的点(i,hi)(i,hi)(i,h_i)。几个性质：交换两个数(i,j),(i≤j,hi>hj)(i,j),(i≤j,hi>hj)(i,j),(i\le j, h_i\gt h_j)，减少了的逆序对数是矩形((i,hi),(j,hj))((i,hi),(j,hj))\big((i,h_i),(j,...

2018-02-26 19:30:19 573

原创 [生成函数] HackerRank Count Fox Sequences

SolutionSolutionSolution这是个有序的序列，只要计算一个数出现了最多次，最后乘mmm就好了。枚举出现了kkk次。那剩下的就是∏i=1m−1(∑j=0k−1xj)=(1−xk)m−1(1−x)1−m∏i=1m−1(∑j=0k−1xj)=(1−xk)m−1(1−x)1−m\prod_{i=1}^{m-1}\bigg(\sum_{j=0}^{k-1}x^j\bigg)=...

2018-02-26 10:36:33 306

原创 [DP] SRM 452 Div1 Hard IncreasingNumber

SolutionSolutionSolution刚开始自己脑补了一个O((123)m2logn)O((123)m2log⁡n)\mathcal{O}\big({12\choose3}m^2\log{n}\big)的做法。。大概就是dpi,lo,hi,jdpi,lo,hi,jdp_{i,lo,hi,j}表示考虑iii位，以lololo开头以hihihi结尾，模mmm为jjj的方案数。然后倍增DP...

2018-02-26 08:22:27 248

原创 [DP] 51Nod 1301 集合异或和

SolutionSolutionSolution感觉是挺有趣的一道题qwq 枚举AAA和BBB从高到底第一个不同的位kkk。 A<BA<BA\lt B可以转化成A xor B∈[2k,2k+1]A xor B∈[2k,2k+1]A~xor~B\in[2^k, 2^{k+1}]，且B or 2k=BB or&n...

2018-02-25 17:22:50 307

原创 [数论][Lucas定理] 51Nod 1778 小Q的集合

SolutionSolutionSolution通过枚举⌊im⌋⌊im⌋\lfloor{i\over m}\rfloor和imodmimodmi\bmod m。由Lucas定理是可以独立计算贡献的。 ans====∑i=0n(ni)(ik−(n−i)k)2∑i=0n(⌊nm⌋⌊im⌋)(nmodmimodm)(ik−(n−i)k)2∑i=0⌊nm⌋(⌊nm⌋i)∑j=0nmodm(nmodm...

2018-02-25 11:37:08 298

原创 [平等博弈][SG函数][字典树合并] BZOJ 4730: Alice和Bob又在玩游戏

SolutionSolutionSolution记SuSuS_u为uuu到根的链的子树的SG函数值的集合。考虑从子树转移到根。一种是去掉根，就是把所有子树异或起来。一种操作在子树内，相当于把子树的SSS异或上子树的SG异或和。集合异或上一个数可以打标记。集合的合并可以用字典树合并。求mexmex\text{mex}可以二分。#include <bits/s...

2018-02-24 19:23:04 412

原创 [树的dfs] Codeforces 717 E. Paint it really, really dark gray

SolutionSolutionSolution又是这个idea。。。大致就是自下向上调整每个点，把调整的媒介丢给父亲。最后特判一下根就好了。#include <bits/stdc++.h>#define show(x) cerr << #x << " = " << x << endlusing namespace...

2018-02-23 15:45:25 231

原创 [不平等博弈][DP] TCO 2017 Final Div1 Medium GameOfTokens

SolutionSolutionSolution先考虑已知模板串的情况。如果出现ABB这样A的个数比B的个数少的，那么A是不可能会向左走的。整个模板串就会因为这个分隔开成若干个独立游戏。我们要计算每个游戏的值的和。维护两个变量ansansans和curcurcur分别表示A能比B多走ansansans步，当前游戏A的个数比B的个数多几个。显然的有以下三个转移：patt...

2018-02-22 23:05:59 332

原创 [交互题] ARC070 F - HonestOrUnkind

SolutionSolutionSolution有一句话叫作人多力量大。所以真的人多就能判断出来qwq 一个简单的想法是找出真的人。一个办法可以构造一条有向的链，如果这条链中有真的人，那么就可以得到链头是真的人。发现aaa说bbb是假的说明aaa和bbb之间必有一个假的。可以把他们消掉。具体的操作的话可以维护一个栈，每次询问栈顶和当前枚举到的。这样剩下mmm个人。因为...

2018-02-22 20:48:02 373

原创 [DP][堆与斜率] ARC070 E - NarrowRectangles

SolutionSolutionSolution先看这个部分分。显然是个暴力DP。设dpi,xdpi,xdp_{i,x}表示考虑了前iii个矩形，第iii个左端点在xxx的最优解。转移就是dpi,x=MINx−(ri−1−li−1)≤y≤x+(ri−li)dpi−1,y+|x−li|dpi,x=MINx−(ri−1−li−1)≤y≤x+(ri−li)dpi−1,y+|x−li|dp_{...

2018-02-22 16:06:03 639

Vectorxj的博客