Chemistry
题解
首先,我们考虑一条链拥有怎样的性质,也就是说我们如果要能确定我们当前的图是一条链,它有哪些必须满足的条件。
- 无环。
- 没有度数大于 2 2 2的点。
- 点数 − - −边数 = 1 =1 =1
对于条件 1 1 1与条件 2 2 2,很明显,对于一个固定的左端点,它肯定存在一个右端点使得这两点之间的区间都是满足条件的,而区间外都是不满足条件的。
也就是说满足条件的区间是连续的,这明显是可以通过双指针来进行维护的。
当然,维护这段区间显然是需要维护上面的两个条件是否满足是必须维护的。
对于条件 2 2 2,直接记录下来点的度数就行了,而条件 1 1 1,可以通过 L C T LCT LCT来进行维护。
既然我们已经知道了对于每个左端点,我们满足条件 1 , 2 1,2 1,2的区间,我们显然只需要在这个区间内找到有多少个点满足条件 3 3 3。
很明显,在条件 1 , 2 1,2 1,2的限制下,我们该图的边数最多也不会超过点数 − 1 -1 −1,所以满足条件 3 3 3也就是点数 − - −边数取到最小值 1 1 1的点的个数。
而点数 − - −边数这一个量是可以通过线段树来进行维护的。
我们往移动 l l l时相当于全局 − 1 -1 −1,而加边与删边都相当于对较大的一个端点当 n n n的区间内 ∓ 1 \mp 1 ∓1,由与只有右端点在这个范围内时才能够覆盖这条边。
对于每个左端点,我们都查询一下它的合法连续段中有多少个点取到最小值 1 1 1即可,线段树上也就只需要维护最小值与取到最小值的点的个数。
时间复杂度 O ( n log n ) O\left(n\log\,n\right) O(nlogn)。
源码
注意 L C T LCT LCT得多旋几次,保证均摊的复杂度。
#include<bits/stdc++.h>
using namespace std;
#define MAXN 250005
#define lowbit(x) (x&-x)
#define reg register
#define pb push_back
#define mkpr make_pair
#define fir first
#define sec second
#define lson (rt<<1)
#define rson (rt<<1|1)
typedef long long LL;
typedef unsigned long long uLL;
const LL INF=0x3f3f3f3f3f3f3f3f;
const int mo=998244353;
const int inv2=499122177;
const int jzm=2333;
const