[XXI Open Cup. Grand Prix of Korea]Chemistry

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 
  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值