今天考试的三道题的难度都只达到NOIP T2或者超过一点,可我才骗到了10分,实属能力不够,愿下次改进;
这次考试,我不足的知识点有:树上差分,求双连通分量,AC自动机,矩阵,差分约束系统,拓扑排序,线段树优化建图;
T1:困难的图论
给定由n 个点m 条边组成的无向连通图,保证没有重边和自环。
你需要找出所有边,满足这些边恰好存在于一个简单环中。一个环被称为简单环,当且仅当它包含的所有点都只在这个环中被经过了一次。注意到这些边可能有很多条,你只需要输出他们编号的异或和即可。
法一:因为是无向图,所以非树边都是返祖边,则可得:若一条边在一个简单环中
•.返祖边,且它覆盖的树边不和任何其他返祖边覆盖的树边有公共边。
•树边且被一条返祖边覆盖,覆盖它的返祖边覆盖的树边不和其他返祖边覆盖的树边有公共边。
可以利用树上差分的思想计算被多少返祖边覆盖,计算是否有重合相当于链上查询,也可以利用差分做到;
法二:简单环也是环,则考虑求出所有点双连通分量,首先这个点双连通分量里的边要合法的话,那么内部的边数一定大等于点数(因为有环)。其次这个点双连通分量里如果边数大于点数,那么所有边可以由两个不同的环覆盖,所以在这个点双连通分量内只能点数等于边数;
我们只需求出所有的点双连通分量,然后把那些点数等于边数的点双连通分量内部的边标记为合法即可,利用Tarjan 算法可以做到O( n+m)
教练的std用的stack和int,然而在OJ上提交时会runtime error,TMD必须手写栈,而且开long long,数组大小还要控制死,不然就是MIT,真的是一道毒瘤题。
法一代码请见:https://blog.csdn.net/sslz_fsy/article/details/102518415
来自FSY巨神
树上差分思想优化https://www.sohu.com/a/271430685_100201031
代码(法二)
#include<bits/stdc++.h>
#define int long long//TMD用int是runtime error
#define N 1000005
using namespace std;
inline int read()
{
int x=0,f=1;
char ch;
while(ch>'9'||ch<'0')
{
if(ch=='-') f=-1;
ch=getchar();
}
while(ch>='0'&&ch<='9')
{
x=x*10+ch-'0';
ch=getchar();
}
return f*x;
}
int dfn[N],low[N],qq[N],q[N],top1,top2;//qq存点,q存边
int bcc,sc[N],n,m,x,y,tot=1,times,ans;
int first[N],net[2*N],to[2*N];
//stack <int>qq;
//stack <int>q; 还不能手写栈
vector<int>a[N];//存点双连通分量含的边
bool used[N],vis[N];
inline void add(int x,int y)
{
net[++tot]=first[x];
first[x]=tot;
to[tot]=y;
}
inline void targin(int x)
{
dfn[x]=low[x]=++times;
qq[++top1]=x;
for(int i=first[x];i;i=net[i])
{
int y=to[i];
if(used[i>>1]) continue;
used[i>>1]=1;
q[++top2]=i>>1;///
if(!dfn[y])
{
targin(y);
low[x]=min(low[x],low[y]);
if(low[y]<dfn[x]) continue;//判断是否是点双联通分量
bcc++;
while(1)
{
int z=qq[top1--];
sc[bcc]++;
if(z==y) break;
}
sc[bcc]++;/要多加一次
while(1)
{
int z=q[top2--];
a[bcc].push_back(z);
if(z==(i>>1)) break;
}
}
low[x]=min