Strawberry fields forever

若所有的边不构成环，则不需分割；若存在自环，则无论如何分割仍存在环；存在非自环时，只需将所有环都拆成两类，两类自身不存在环，其集合内也不存在环；所以只有三种答案，需要判断图中是否有环1.无环 ans=12.有自环 ans=-13.有非自环 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]>=XV A B  ==>  dis[B]-dis[A]>=1然后相应的连边即可，最后用spfa判断负环，若无负环，则输出Reliable，反之Unreliable注意：spfa中的松弛操作应作相应修改，还有