差分约束系统+输出路径（I - Advertisement POJ - 1752 ）

题目链接：https://cn.vjudge.net/contest/276233#problem/I

题目大意：输入k和n，然后输入n行，每一次输入两个数，代表开端和结尾，如果这个区间内点的个数大于等于k，那么就要求这个区间至少有k个点被圈起来，如果这个区间内的点的个数小于k，就要求这个区间内的点全部被包括起来，然后问你最多需要多少点？

具体思路：正常的建图方式，为了使得路径输出的时候，方便利用数组，我们可以直接在原来的基础上加上10000，这样的化就可以用数组记录到底有还是没有了。路径输出的时候判断条件（dis[i+1]-dis[i]>=1）.

AC代码：

#include<iostream>
#include<cstring>
#include<stack>
#include<iomanip>
#include<cmath>
#include<queue>
#include<algorithm>
#include<stdio.h>
using namespace std;
# define ll long long
# define inf 0x3f3f3f3f
const int maxn = 30000+100;
const int maxedge = 5e6+10;
struct node
{
    int to;
    int nex;
    int cost;
} edge[maxedge];
vector<int>w;
int head[maxn],pre[maxn],dis[maxn],vis[maxn];
int num;
void init()
{
    num=0;
    for(int i=0; i<=maxn; i++)
    {
        pre[i]=-inf;
        dis[i]=inf;
        head[i]=-1;
    }
}
void addedge(int fr,int to,int cost)
{
    edge[num].to=to;
    edge[num].cost=cost;
    edge[num].nex=head[fr];
    head[fr]=num++;
}
int spfa(int st,int ed)
{
    queue<int>q;
    vis[st]=1;
    dis[st]=0;
    q.push(st);
    while(!q.empty())
    {
        int tmp=q.front();
        q.pop();
        vis[tmp]=0;
        for(int i=head[tmp]; i!=-1; i=edge[i].nex)
        {
            int u=edge[i].to;
            if(dis[u]>dis[tmp]+edge[i].cost)
            {
                dis[u]=dis[tmp]+edge[i].cost;
                pre[u]=tmp;
                if(vis[u])
                    continue;
                vis[u]=1;
                q.push(u);
            }
        }
    }
    return dis[ed];
}
int main()
{
    int k,n;
    scanf("%d %d",&k,&n);
    int u,v;
    init();
    int minx=inf,maxy=0;
    for(int i=1; i<=n; i++)
    {
        scanf("%d %d",&u,&v);
        if(u>v)
            swap(u,v);
        u+=10000;
        v+=10000;
        int len=v-u+1;
        addedge(v,u-1,len);
        addedge(u-1,v,-min(len,k));
        minx=min(minx,u-1);
        maxy=max(maxy,v);
    }
    for(int i=minx; i<maxy; i++)
    {
       addedge(minx-1,i,0);
        addedge(i,i+1,0);
        addedge(i+1,i,1);
    }
    addedge(minx,maxy,0);
    int ans=spfa(minx,maxy);
    for(int i=minx+1; i<=maxy; i++)
    {
        if(dis[i]!=dis[i-1])
        {
            w.push_back(i);
        }
    }
    int len=w.size();
    printf("%d\n",len);
    sort(w.begin(),w.end());
    for(int i=0; i<len; i++)
    {
        cout<<w[i]-10000<<endl;
    }

    return 0;
}