Strawberry fields forever

若所有的边不构成环，则不需分割；若存在自环，则无论如何分割仍存在环；存在非自环时，只需将所有环都拆成两类，两类自身不存在环，其集合内也不存在环； 所以只有三种答案，需要判断图中是否有环 1.无环 ans=1 2.有自环 ans=-1 3.有非自环 ans=2 我这里用Tarjan计算了scc，或者用bfs判环也可以。 #include #include #include

拓扑排序题，每加入一条边，判断 （1）形成有向环，退出 （2）形成唯一拓扑顺序，退出 （3）加入所有边后，仍无法确定唯一拓扑顺序 注意判断的优先级！！！ #include #include #include using namespace std; int n,m,nn,ans,flag; int g[30][30],d[30]; bool vis[30],qt;

经典的差分约束问题，对于每一条语句： P A B X  ==>  dis[B]-dis[A]==X  ==>  dis[B]-dis[A]>=X && dis[A]-dis[B]>=X V A B  ==>  dis[B]-dis[A]>=1 然后相应的连边即可，最后用spfa判断负环，若无负环，则输出Reliable，反之Unreliable 注意：spfa中的松弛操作应作相应修改，还有