hdu2883(DINIC最大流)

思路：同hdu3572一样的模型。有n个客人，没人点了ni个烤肉串，其中没串需要ti的时间来烤熟，但是可以不是连续的ti时间，只要烤得时间加起来有ti就好了，与3752不同的是时间范围有点大，需要离散化一下，所以变成了区间。对起始时间排序去重，那么可以得到top个时间点，也就是top个区间，那么对于每个客人的时间要求，只要客人的要求[s,e] 完全包含了第i个区间，那么该客人与这个区间连边，容量inf，然后就是源点与客人连边，容量t*ni，最后就是时间区间与汇点连边，那么在这个时间区间内可以完成的烧烤时间任务必然是m * 区间宽度。

/*****************************************
Author      :Crazy_AC(JamesQi)
Time        :2015
File Name   :
*****************************************/
// #pragma comment(linker, "/STACK:1024000000,1024000000")
#include <iostream>
#include <algorithm>
#include <iomanip>
#include <sstream>
#include <string>
#include <stack>
#include <queue>
#include <deque>
#include <vector>
#include <map>
#include <set>
#include <stdio.h>
#include <string.h>
#include <math.h>
#include <stdlib.h>
#include <limits.h>
using namespace std;
#define MEM(a,b) memset(a,b,sizeof a)
typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int> ii;
const int inf = 1 << 30;
const int INF = 0x3f3f3f3f;
const int MOD = 1e9 + 7;
inline int Readint(){
	char c = getchar();
	while(!isdigit(c)) c = getchar();
	int x = 0;
	while(isdigit(c)){
		x = x * 10 + c - '0';
		c = getchar();
	}
	return x;
}
int n,m;
const int maxn = 2200;
const int maxm = 444444;
int s[maxn],num[maxn],e[maxn],t[maxn];
int T[maxn * 2];
int cnt,top,tol;
int head[maxn],pnt[maxm],nxt[maxm],cap[maxm];
void add(int u,int v,int c)
{
	pnt[tol] = v;cap[tol] = c;nxt[tol] = head[u];head[u] = tol++;
	pnt[tol] = u;cap[tol] = 0;nxt[tol] = head[v];head[v] = tol++;
}
int d[maxn];
bool BFS(int st,int ed)
{
	queue<int> que;
	memset(d, -1,sizeof d);
	d[st] = 0;
	que.push(st);
	while(!que.empty())
	{
		int u = que.front();
		que.pop();
		// cout << "p\n";
		for (int i = head[u];i != -1;i = nxt[i])
		{
			int v = pnt[i];
			if (cap[i] > 0 && d[v] == -1)
			{
				que.push(v);
				d[v] = d[u] + 1;
			}
		}
	}
	return d[ed] != -1;
}
int dfs(int u,int ed,int c)
{
	if (u == ed) return c;
	for (int i = head[u];i != -1;i = nxt[i])
	{
		int v = pnt[i];
		if (cap[i] > 0 && d[v] == d[u] + 1)
		{
			int f = dfs(v,ed,min(cap[i],c));
			if (f > 0){
				cap[i] -= f;
				cap[i ^ 1] += f;
				return f;
			}
		}
	}
	return 0;
}
int DINIC(int st,int ed)
{
	int flow = 0;
	while(BFS(st,ed))
	{
		while(true)
		{
			int f = dfs(st,ed,inf);
			flow += f;
			if (f == 0) break;
		}
	}
	return flow;
}
int main()
{	
	// freopen("in.txt","r",stdin);
	// freopen("out.txt","w",stdout);
	while(~scanf("%d%d",&n,&m)){
		cnt = tol = top = 0;
		int st = 0;
		int vt;
		int sum = 0;
		memset(head, -1,sizeof head);
		for (int i = 1;i <= n;i++){
			scanf("%d%d%d%d",&s[i],&num[i],&e[i],&t[i]);
			T[cnt++] = s[i];
			T[cnt++] = e[i];
			sum += num[i] * t[i];
			add(st,i,num[i] * t[i]);
		}
		/*离散化*/
		sort(T,T + cnt);
		for (int i = 1;i < cnt;++i){
			if (T[top] != T[i]) T[++top] = T[i];
		}
		vt = top + n + 1;//汇点;
		for (int i = 1;i <= top;i++){
			add(n + i,vt,m * (T[i] - T[i - 1]));
			for (int j = 1;j <= n;j++)
				if (s[j] <= T[i - 1] && e[j] >= T[i])
					add(j,n + i,inf);
		}
		int ans = DINIC(st,vt);
		if (ans == sum) puts("Yes");
		else puts("No");
	}
	return 0;
}