[SCOI2011]糖果 差分约束+判环

 [SCOI2011]糖果

显然差分约束，根据条件建立所有边，注意相等建立双向边。

至于为什么跑最长路，我认为是只有式子  i - 0 >= 1才能建立0到 i (i从1到n)的边，这样才能把所有点连起来。

不过这里的题解没有建立0到 i 的所有边，因为从 0 开始直接spfa 判断 n 次 会TLE，就对每个点用dfs的spfa，这种处理对于负权环较快。ans开long long 。图不联通，对每个点spfa。

 在spfa里面，每次访问过book标记，若可以变长 dis【v】< w，且正在进行 dfs ，就说明存在环。

只要不只对0spfa就不会TLE

#include 
using namespace std;
#define INF 0x7fffffff
#define ll long long
struct E{
    int w,v,nxt;
};
int cnt,head[2000000],book[100005],dis[100005];
int tot[100005],in[100005];
E edge[300005];
int n,m;
void add(int u,int v,int w){
    cnt++;
    edge[cnt].v = v; edge[cnt].w = w;
    edge[cnt].nxt = head[u]; head[u] = cnt;
}
bool spfa(int S){
    book[S] = 1;	
    for(int v,w,i=head[S];i;i=edge[i].nxt){
        v = edge[i].v; w = dis[S] +edge[i].w; 
        if(dis[v]=n)return false;
            if(book[v])return false; 
            dis[v]=w;
            if(!spfa(v))return false;
        }
    }
    book[S] = 0; 
    return true;
}
int main()
{
    scanf("%d %d",&n,&m);
    for(int i=0;i