20AB-day3GoodSubsegments题意给你一个长度为\(n\)的序列\(a\)，问有多少个子区间，满足\(\sum_{i=l}^r2^{a_i}=2^x\)，其中\(x\)为非负整数。原题解第一个想法：若\(2^{a_l}+2^{a_{l+1}}+\cdots+2^{a_r}=2^x\)，则\(x\le\max(a_l,a_{l+1},\cdots,a_r)+\logn\)。第二

(题目传送门)你就算再怎么套路我也做不出来……看到\(\maxa_k\)，根据套路想到用单调栈处理出\(a_i\)左边第一个比它大的位置\(pre_i\)，右边第一个比它大的位置\(nxt_i\)。枚举最大值\(a_i\)考虑它的贡献，显然若存在\(j,k\)满足\(nxt_i<j,k<pre_i\)且\(a_j\timesa_k=a

对于这一类析合树问题有简单的线段树扫描线做法：考虑一个长为\(len\)的区间内一定有\(len-1\)个数值相邻的对，于是每次新加一个数\(a_i\)可以考虑相邻的两个数的出现位置\(p\)，若\(p\lei\)就对\([1,p]\)区间加，表示左端点在\([1,p]\)的区间内多出一个相邻对接下来的问

洛谷传送门AtCoder传送门尝试二分答案，问题变为要求恰好选\(x\)段\(\ges\)，最大化选的段数。发现我们不是很会算段数的\(\max\)，因为要求段不重不漏地覆盖\([1,n]\)。考虑给每个\(\ges\)段\([l,r]\)一个\(r-l\)的代价，于是变成了算代价的\(\min\)。此时不再要求

题目链接看到严格选\(k\)个，不难想到WQS二分。定义\(f(x)\)为分成\(x\)段，最多有多少个超过\(S\)的。然后你会发现他不是凸的。因为他有很多平段，比如把两个很小的合并不改变答案。换个方向？考虑定义\(f(x)\)为有\(x\)个超过\(S\)的段，最多有多少个段。然后发现这个

有点意思的简单题。答案有可二分性。合并两段，显然仍然合法。考虑如何check。因为答案可以被二分，我们尝试求恰好\(x\)段就行了。恰好，这是wqs二分的内容。如何设计一个与\(x\)有关的凸函数呢？这个函数大概是\(\sum_{i=1}^xw(l_i,r_i)\)的形式，每一个\([l,r]\)都是合

简要题意一个好区间是其中数在值域上连续的区间，给定\(n\)的排列，每次给定一个区间，问其中有多少好的子区间。数据范围：\(1\len\le120000\)。做法只有整体询问的版本是CupboardMonsters。值域上连续当且仅当区间最大值减最小值等于区间长度，考虑维护最大值减最小值减区间长度

简单题，不知道为啥和弱化版一个Difficulty。考虑弱化怎么做。区间\([l,r]\)中的数是连续的，当且仅当区间最大值\(\max\)减去区间最小值\(\min\)为\(r-l\)，即\(\max-\min=r-l\)。考虑扫描线，固定右端点\(r\)，统计每个左端点的贡献。由于\(S(l,r)=\text{max}-\text{min}+l