HDU 2883 kebab(离散化+最大流)

HDU 2883 kebab(离散化+最大流)

http://acm.hdu.edu.cn/showproblem.php?pid=2883

题意:

       给定n个顾客，第i号顾客在si到达，点了ni个羊肉串，每个羊肉串需要ti个时间烤好。顾客想要在ei得到，一个烤炉只烤m串。问你是否能满足所有顾客的要求？能的话输出“Yes”，否则输出“No”。

注意:这ni个羊肉串可以被分开来考,一个单独的羊肉串也能分开烤(比如一个单独的羊肉串需要ti时间,我们把它分成ti份同时烤的话,那么一个羊肉串可以在1个单位时间内拷完)

注意:每个顾客的任务必须在(si,ei]半开半闭的区间内完成.

分析:

       本题与HDU3572有点类似:

http://blog.csdn.net/qq_36782366/article/details/77204842

其实本题的本质就是HDU3572的思想,每个顾客其实提出的是需要ni*ti个单位时间任务(甚至可以在1个时刻同时完成,因为一串羊肉串都可以在1个时刻烤完),但是你每个时间只能提供m个单位时间做任务. 但是这个题目的时间点覆盖1到100W,明显不能再把每个单独的时间看成一个点了,所以这题要把每个不重叠的子时间区间看成一个点.

       首先读入所有任务的开始时间s[i]和结束时间e[i],然后对这些时间点排序,去重,得到cnt个时间点,然后我们就能得到cnt-1个半开半闭的子时间区间(前后两个子区间边界不重叠,且所有区间连起来正好覆盖了原来的整个大时间区间,该大时间区间也是半开,半闭的).

       建图: 源点s编号0,  n个任务编号1到n,  cnt-1个区间编号n+1到n+cnt,  汇点t编号n+cnt+1.

       源点到每个任务i有边(s,i,ni*ti)

       每个时间区间j到汇点有边(j,t, 该区间覆盖的单位时间点数)

       如果任务i包含时间区间j,那么有边(i,j,INF)

       求最大流,看最大流 是否== 所有任务需要的单位时间之和即可.

 AC代码:

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>
#define INF 1e9
using namespace std;
const int maxn=700;//之前这里只写10+5,一直TLE,真是悲剧

struct Edge
{
    Edge(){}
    Edge(int from,int to,int cap,int flow):from(from),to(to),cap(cap),flow(flow){}
    int from,to,cap,flow;
    //cap是容量  flow是流量
};

struct Dinic
{
    int n,m,s,t;            //结点数,边数(包括反向弧),源点与汇点编号
    vector<Edge> edges;     //边表 edges[e]和edges[e^1]互为反向弧
    vector<int> G[maxn];    //邻接表,G[i][j]表示结点i的第j条边在e数组中的序号
    bool vis[maxn];         //BFS使用,标记一个节点是否被遍历过
    int d[maxn];            //从起点到i点的距离
    int cur[maxn];          //当前弧下标

    void init(int n,int s,int t)
    {
        this->n=n,this->s=s,this->t=t;
        for(int i=0;i<=n;i++) G[i].clear();
        edges.clear();
    }

    void AddEdge(int from,int to,int cap)
    {
        edges.push_back( Edge(from,to,cap,0) );
        edges.push_back( Edge(to,from,0,0) );//这条是反向边
        m = edges.size();//总共边的数量
        G[from].push_back(m-2);//正向边在edges数组中的编号
        G[to].push_back(m-1);//反向边在edges数组中的编号
    }

    bool BFS()
    {
        memset(vis,0,sizeof(vis));
        queue<int> Q;//用来保存节点编号的
        Q.push(s);
        d[s]=0;
        vis[s]=true;
        while(!Q.empty())
        {
            int x=Q.front(); Q.pop();
            for(int i=0; i<G[x].size(); i++)//x所连的边
            {
                Edge& e=edges[G[x][i]];//取出所连的那条边
                if(!vis[e.to] && e.cap>e.flow)//如果还没有经过  且流量小于容量 还可以再通
                {
                    vis[e.to]=true;
                    d[e.to] = d[x]+1;
                    Q.push(e.to);
                }
            }
        }
        return vis[t];//表示能否到大t点  不能的话返回false
    }

    int DFS(int x,int a)
    {
        if(x==t || a==0)return a;//到大汇点或者流量为0时返回
        int flow=0,f;//flow用来记录从x到t的最小残量
        for(int& i=cur[x]; i<G[x].size(); i++)
        {
            Edge& e=edges[G[x][i]];
            if(d[x]+1==d[e.to] && (f=DFS( e.to,min(a,e.cap-e.flow) ) )>0 )
			//判断是否是可行边 并对其进行深搜 是否有结果
            {
                e.flow +=f;
                edges[G[x][i]^1].flow -=f;//与其对应的反向边流量减少  以便于后悔恢复
                flow += f;
                a -= f;
                if(a==0) break;
            }
        }
        return flow;
    }

    int Maxflow()
    {
        int flow=0;
        while(BFS())
        {
            memset(cur,0,sizeof(cur));
            flow += DFS(s,INF);
        }
        return flow;
    }
}DC;

int num[maxn],s[maxn],e[maxn],t[maxn];
int a[maxn<<1];
int main()
{
	//源点s(编号0),
	//时间离散化  201-600  留2倍任务的空间
	//N个任务编号为1 到N,
	//汇点t(编号 666).
	int n,m;
	while(~scanf("%d%d",&n,&m))
	{
		DC.init(680,0,666);
		int sum=0;
		int cnt=0;
		for(int i=1;i<=n;i++)
		{
			scanf("%d%d%d%d",&s[i],&num[i],&e[i],&t[i]);
			DC.AddEdge(0,i,num[i]*t[i]);//源点到任务
			sum+=num[i]*t[i];
			a[cnt++]=s[i];
			a[cnt++]=e[i];
		}
		sort(a,a+cnt);
		cnt=unique(a,a+cnt)-a;
		for(int i=1;i<cnt;i++)
		{
			DC.AddEdge(i+200,666,(a[i]-a[i-1])*m);
			for(int j=1;j<=n;j++)
			{
				if(s[j]<=a[i-1]&&a[i]<=e[j])
				{
					DC.AddEdge(j,200+i,INF);
				}
			}
		}
		if(DC.Maxflow()==sum)
			printf("Yes\n");
		else
			printf("No\n");
	}
    return 0;
}