POJ - 1201（差分约束入门）

返回专题https://blog.csdn.net/wyxxzsy/article/details/82776590

废话不说，直接建模套板子
x[i] 代表 0～i 里点的个数
对于若干个x[i],有若干个约束条件
如样例：
5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1

第一个约束条件“3 7 3”
就是x[7]-x[2]>=3
最终要求 x[最大]-x[最小-1]的最小值
转换成最长路

模型2优化.给定一串序列 $a_1-a_n$ 并给出若干限制条件$a_i-a_j>=c$，要求 $a_{k1}$ 与 $a_{k2}$ 的最小可能差值？
方法：对于每个限制条件$a_i-a_j>=c⟹a_j-a_i<=-c$，从点i到点j建立一条边(-c)，求$a_{k1}$ 到 $a_{k2}$ 的最短路即可。
https://blog.csdn.net/wyxxzsy/article/details/82776590

除了明说的限制，还有隐含的条件
$0<=a_i-a_{i-1}<=1$
从i～（i-1）加-c的边 就ok了
（被什么超级源点搞了半天，狗屎）

#include
#include
#include
#include
#include
#include
#include
#include
using namespace std;
#define clr(a, x) memset(a, x, sizeof(a))
#define mp(x, y) make_pair(x, y)
#define pb(x) push_back(x)
#define X first
#define Y second
#define fastin                    \
    ios_base::sync_with_stdio(0); \
    cin.tie(0);
typedef long long LL;
typedef pair<int, int> PII;
typedef vector<int> VI;
const int INF=0x3f3f3f3f;
const int mod = 1e9 + 7;
const double eps = 1e-6;


const int N=50010;
const int M=500010;
int n,m;


int dis[N];
struct edge{
    int to;int v;
};
vector<edge> G[N];
int vis[N];
int cnt[N];//每个点的入队次数
void init(){
    for(int i=0;i<=N;i++) G[i].clear();
}
void addedge(int u,int v,int w){
    G[u].push_back(edge{v,w});
}
int spfa(int start){
    clr(vis,0);
    clr(dis,INF);
    queue<int> q;
    dis[start] = 0;
    //vis[start] = 1;
    clr(cnt,0);
    cnt[start] = 1;
    q.push(start);
    while(!q.empty())
    {
        int u=q.front();
        q.pop();
        vis[u]=0; //不在队列里了
        for(int i=0;i<G[u].size();i++){
            int v=G[u][i].to;
            int cost=G[u][i].v;
            if(dis[v]>dis[u]+cost)
            {
                dis[v]=dis[u]+cost;
                if(!vis[v]){
                    vis[v] = 1;
                    q.push(v);
                    if(++cnt[v]>n) return 0;
                }
            }
        }
    }
    return 1;
}


int main()
{
    scanf("%d",&m);
    int s=INF,e=0;
    init();
    while(m--){
        int a,b,c;
        scanf("%d%d%d",&a,&b,&c);
        a++,b++;
        s=min(a,s);
        e=max(e,b);
        addedge(a-1,b,-c);
    }
    for(int i=s;i<=e;i++){
        addedge(i-1,i,0);
        addedge(i,i-1,1);
    }
    n = e-s+10;
    spfa(s-1);
    printf("%d\n",-dis[e]);
    return 0;
}