bzoj4025: 二分图 lct
题意：带增删边的查询二分图
题解：因为二分图肯定带奇环，lct维护，每次要加入一条边之前判断会不会构成环，如果会就把最先会删除的边删掉，然后如果是奇环就打个标记，然后把奇环数++，删除的时候，把标记删除，然后奇环数量--，需要注意的是可能有自环，还有一点就是我们先把边拆成点了，判断奇环的时候不能直接看是奇数还是偶数，我们先/2再看是不是奇数，如果/2是偶数就是有奇环
/**************************************************************
Problem: 4025
User: walfy
Language: C++
Result: Accepted
Time:11120 ms
Memory:45776 kb
****************************************************************/
//#pragma GCC optimize(2)
//#pragma GCC optimize(3)
//#pragma GCC optimize(4)
//#pragma GCC optimize("unroll-loops")
//#pragma comment(linker, "/stack:200000000")
//#pragma GCC optimize("Ofast,no-stack-protector")
//#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx,tune=native")
#include<bits/stdc++.h>
#define fi first
#define se second
#define db double
#define mp make_pair
#define pb push_back
#define pi acos(-1.0)
#define ll long long
#define vi vector<int>
#define mod 1000000007
#define ld long double
#define C 0.5772156649
#define ls l,m,rt<<1
#define rs m+1,r,rt<<1|1
#define pll pair<ll,ll>
#define pil pair<int,ll>
#define pli pair<ll,int>
#define pii pair<int,int>
//#define cd complex<double>
#define ull unsigned long long
#define base 1000000000000000000
#define Max(a,b) ((a)>(b)?(a):(b))
#define Min(a,b) ((a)<(b)?(a):(b))
#define fin freopen("a.txt","r",stdin)
#define fout freopen("a.txt","w",stdout)
#define fio ios::sync_with_stdio(false);cin.tie(0)
template<typename T>
inline T const& MAX(T const &a,T const &b){return a>b?a:b;}
template<typename T>
inline T const& MIN(T const &a,T const &b){return a<b?a:b;}
inline void add(ll &a,ll b){a+=b;if(a>=mod)a-=mod;}
inline void sub(ll &a,ll b){a-=b;if(a<0)a+=mod;}
inline ll gcd(ll a,ll b){return b?gcd(b,a%b):a;}
inline ll qp(ll a,ll b){ll ans=1;while(b){if(b&1)ans=ans*a%mod;a=a*a%mod,b>>=1;}return ans;}
inline ll qp(ll a,ll b,ll c){ll ans=1;while(b){if(b&1)ans=ans*a%c;a=a*a%c,b>>=1;}return ans;}
using namespace std;
const double eps=1e-8;
const ll INF=0x3f3f3f3f3f3f3f3f;
const int N=500000+10,maxn=100000+10,inf=0x3f3f3f3f;
struct LCT{
int fa[N],ch[N][2],rev[N],sz[N],q[N],odd[N],ti[N],id[N],mi[N];
void init()
{
memset(ch,0,sizeof ch);
memset(fa,0,sizeof fa);
memset(sz,0,sizeof sz);
memset(rev,0,sizeof rev);
}
inline bool isroot(int x){return ch[fa[x]][0]!=x&&ch[fa[x]][1]!=x;}
inline void pushup(int x)
{
sz[x]=sz[ch[x][0]]+sz[ch[x][1]]+1;
mi[x]=ti[x];id[x]=x;
if(ch[x][0]&&mi[x]>mi[ch[x][0]])
{
mi[x]=mi[ch[x][0]];
id[x]=id[ch[x][0]];
}
if(ch[x][1]&&mi[x]>mi[ch[x][1]])
{
mi[x]=mi[ch[x][1]];
id[x]=id[ch[x][1]];
}
}
inline void pushdown(int x)
{
if(rev[x])
{
rev[x]=0;swap(ch[x][0],ch[x][1]);
rev[ch[x][0]]^=1,rev[ch[x][1]]^=1;
}
}
inline void Rotate(int x)
{
int y=fa[x],z=fa[y],l,r;
if(ch[y][0]==x)l=0,r=l^1;
else l=1,r=l^1;
if(!isroot(y))
{
if(ch[z][0]==y)ch[z][0]=x;
else ch[z][1]=x;
}
fa[x]=z;fa[y]=x;fa[ch[x][r]]=y;
ch[y][l]=ch[x][r];ch[x][r]=y;
pushup(y);
}
inline void splay(int x)
{
int top=1;q[top]=x;
for(int i=x;!isroot(i);i=fa[i])q[++top]=fa[i];
for(int i=top;i;i--)pushdown(q[i]);
while(!isroot(x))
{
int y=fa[x],z=fa[y];
if(!isroot(y))
{
if((ch[y][0]==x)^(ch[z][0]==y))Rotate(x);
else Rotate(y);
}
Rotate(x);
}
pushup(x);
}
inline void access(int x){for(int y=0;x;y=x,x=fa[x])splay(x),ch[x][1]=y,pushup(x);}
inline void makeroot(int x){access(x),splay(x),rev[x]^=1;}
inline int findroot(int x){access(x),splay(x);while(ch[x][0])x=ch[x][0];return x;}
inline void split(int x,int y){makeroot(x),access(y),splay(y);}
inline void cut(int x,int y){split(x,y);if(ch[y][0]==x)ch[y][0]=0,fa[x]=0;}
inline void link(int x,int y){makeroot(x),fa[x]=y,splay(x);}
}lct;
struct node{int u,v,st,en,id;}p[N];
vi s[N],e[N];
int main()
{
// fin;
int n,m,T;
scanf("%d%d%d",&n,&m,&T);
for(int i=1;i<=n;i++)lct.ti[i]=lct.mi[i]=inf,lct.id[i]=i,lct.sz[i]=1;
for(int i=1;i<=m;i++)
{
scanf("%d%d%d%d",&p[i].u,&p[i].v,&p[i].st,&p[i].en);
p[i].id=i+n;
s[p[i].st].pb(i),e[p[i].en].pb(i);
lct.ti[i+n]=lct.mi[i+n]=p[i].en;lct.id[i+n]=i+n;lct.sz[i+n]=1;
}
int o=0,f=0;
for(int i=0;i<=T;i++)
{
if(i)puts(o?"No":"Yes");
// printf("%d %d\n",i,o);
for(int j=0;j<s[i].size();j++)
{
node te=p[s[i][j]];
if(te.u==te.v)
{
lct.odd[te.id]=1,o++;
continue;
}
int x=lct.findroot(te.u),y=lct.findroot(te.v);
if(x!=y)lct.link(te.u,te.id),lct.link(te.v,te.id);
else
{
lct.split(te.u,te.v);
int k=lct.id[te.v]-n;
if(lct.mi[te.v]>te.en)
{
if((lct.sz[te.v]/2)%2==0)lct.odd[te.id]=1,o++;
continue;
}
if((lct.sz[te.v]/2)%2==0)lct.odd[k+n]=1,o++;
lct.cut(p[k].u,p[k].id),lct.cut(p[k].v,p[k].id);
lct.link(te.u,te.id),lct.link(te.v,te.id);
}
}
for(int j=0;j<e[i].size();j++)
{
node te=p[e[i][j]];
if(te.u==te.v)
{
o-=lct.odd[te.id];
lct.odd[te.id]=0;
continue;
}
int x=lct.findroot(te.u),y=lct.findroot(te.v);
if(x!=y)o-=lct.odd[te.id],lct.odd[te.id]=0;
else
{
lct.split(te.u,te.v);
// if((lct.sz[te.v]/2)%2==0)
o-=lct.odd[te.id],lct.odd[te.id]=0;
int k=lct.id[te.v]-n;
lct.cut(p[k].u,p[k].id),lct.cut(p[k].v,p[k].id);
}
}
}
return 0;
}
/********************
3 3 5
1 2 0 5
2 3 0 4
1 1 1 3
********************/
