poj1548最小路径覆盖

题意：用机器人去清扫垃圾，机器人只能向下、右走，到右下角结束，问最少需要多少个机器人能够覆盖到图中所有垃圾。

分析：典型的最短路径覆盖，最少需要多少条路径覆盖到所有的点。

#include <iostream>
#include <cstdio>
using namespace std;
const int oo=1e9;
const int mm=1e6;
const int mn=6666;
int node,src,dest,edge;
int ver[mm],next[mm],flow[mm];
int head[mn],work[mn],dis[mn],q[mn];
int x[mn],y[mn];
void prepare(int _node,int _src,int _dest)
{
    node=_node,src=_src,dest=_dest;
    for(int i=0;i<node;i++) head[i]=-1;
    edge=0;
}
void addedge(int u,int v,int c)
{
    ver[edge]=v;flow[edge]=c;next[edge]=head[u];head[u]=edge++;
    ver[edge]=u;flow[edge]=0;next[edge]=head[v];head[v]=edge++;
}
bool Dinic_bfs()
{
    int i,u,v,l,r=0;
    for(i=0;i<node;i++)
        dis[i]=-1;
    dis[q[r++]=src]=0;
    for(l=0;l<r;l++)
        for(i=head[u=q[l]];i>=0;i=next[i])
            if(flow[i]&&dis[v=ver[i]]<0)
            {
                dis[q[r++]=v]=dis[u]+1;
                if(v==dest) return 1;
            }
    return 0;
}
int Dinic_dfs(int u,int exp)
{
    if(u==dest) return exp;
    for(int &i=work[u],v,tmp;i>=0;i=next[i])
    {
        if(flow[i]&&dis[v=ver[i]]==dis[u]+1&&(tmp=Dinic_dfs(v,min(exp,flow[i])))>0)
        {
            flow[i]-=tmp;
            flow[i^1]+=tmp;
            return tmp;
        }
    }
    return 0;
}
int Dinic_flow()
{
    int i,ret=0,delta;
    while(Dinic_bfs())
    {
        for(i=0;i<node;i++) work[i]=head[i];
        while(delta=Dinic_dfs(src,oo))  ret+=delta;
    }
    return ret;
}

int main()
{
    int i,n,j;
    while(scanf("%d%d",&x[1],&y[1]))
    {
        if(x[1]==-1&&y[1]==-1)  break;
        for(i=2;;i++)
        {
            scanf("%d%d",&x[i],&y[i]);
            if(x[i]==0&&y[i]==0)    break;
        }
        n=i-1;
        prepare(n+n+2,0,n+n+1);
        for(i=1;i<=n;i++)
        {
            addedge(src,i,1);
            addedge(i+n,dest,1);
            for(j=i+1;j<=n;j++)
            {
                if(x[i]<=x[j]&&y[i]<=y[j])
                    addedge(i,j+n,1);
            }
        }
        printf("%d\n",n-Dinic_flow());
    }
    return 0;
}