学步园

关键是缩点。

//author: CHC
//First Edit Time:	2014-08-10 09:35
//Last Edit Time:	2014-08-10 14:58
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <set>
#include <vector>
#include <map>
#include <queue>
#include <set>
#include <algorithm>
#include <limits.h>
using namespace std;
typedef long long LL;
const int MAXN=1e+4;
const int MAXM=1e+6;
//const int INF = INT_MAX;
//const LL LL_INF = LONG_LONG_MAX;
struct Edge
{
    int from,to;
    LL ci;
    int next;
    Edge(){}
    Edge(int _from,int _to,LL _ci,int _next):from(_from),to(_to),ci(_ci),next(_next){}
}e[MAXM];
int head[MAXN],tot;
int dis[MAXN];
int top,sta[MAXN],cur[MAXN];
int n,m;
inline void init(){
    memset(head,-1,sizeof(head));
    tot=0;
}
inline void AddEdge(int u,int v,LL ci0,LL ci1=0){
    e[tot]=Edge(u,v,ci0,head[u]);
    head[u]=tot++;
    e[tot]=Edge(v,u,ci1,head[v]);
    head[v]=tot++;
}
inline bool bfs(int st,int et){
    memset(dis,0,sizeof(dis));
    dis[st]=1;
    queue <int> q;
    q.push(st);
    while(!q.empty()){
        int now=q.front();
        q.pop();
        for(int i=head[now];i!=-1;i=e[i].next){
            int next=e[i].to;
            if(e[i].ci&&!dis[next]){
                dis[next]=dis[now]+1;
                if(next==et)return true;
                q.push(next);
            }
        }
    }
    return false;
}
LL Dinic(int st,int et){
    LL ans=0;
    while(bfs(st,et)){
        //printf("here\n");
        top=0;
        memcpy(cur,head,sizeof(head));
        int u=st,i;
        while(1){
            if(u==et){
                int pos=0;
                LL minn=e[sta[0]].ci;
                //printf("top:%d\n",top);
                for(i=0;i<top;i++)
                {
                    if(minn>e[sta[i]].ci){
                        minn=e[sta[i]].ci;
                        pos=i;
                    }
                    //printf("%d --> %d\n",e[sta[i]].from,e[sta[i]].to);
                }
                for(i=0;i<top;i++){
                    e[sta[i]].ci-=minn;
                    e[sta[i]^1].ci+=minn;
                }
                top=pos;
                u=e[sta[top]].from;
                ans+=minn;
                //printf("minn:%d\n\n",minn);
            }
            for(i=cur[u];i!=-1;cur[u]=i=e[i].next)
                if(e[i].ci&&dis[u]+1==dis[e[i].to])break;
            if(cur[u]!=-1){
                sta[top++]=cur[u];
                u=e[cur[u]].to;
            }
            else {
                if(top==0)break;
                dis[u]=0;
                u=e[sta[--top]].from;
            }
        }
    }
    return ans;
}
struct p0
{
    int si,ni,ei,ti;
}cs[MAXN];
struct p1
{
    int id,x;
    p1(){}
    p1(int _id,int _x):id(_id),x(_x){}
}a[MAXN*2];
bool cmp(p1 x,p1 y){
    return x.x<y.x;
}
set <int> has;
set <int> ::iterator it;
int main()
{
    int n,m;
    while(~scanf("%d%d",&n,&m)){
        init();
        has.clear();
        int tos=0;
        for(int i=1;i<=n;i++){
            scanf("%d%d%d%d",&cs[i].si,&cs[i].ni,&cs[i].ei,&cs[i].ti);
            a[tos++]=p1(i,cs[i].si+1);
            a[tos++]=p1(i,cs[i].ei);
            has.insert(cs[i].si+1);
            has.insert(cs[i].ei);
        }
        sort(a,a+tos,cmp);
        int tos1=n+10;
        for(it=has.begin();it!=has.end();it++){
            //端点
            AddEdge(0,tos1,(LL)m);
            for(int i=1;i<=n;i++)
                if(cs[i].si+1<=*it && *it<=cs[i].ei){
                    AddEdge(tos1,i,(LL)m);
                }
            ++tos1;
        }
        //printf("tos:%d\n",tos);
        for(int i=0;i<tos;i++){
            //区间
            if(i==0||a[i].x==a[i-1].x)continue;
            //时间
            int val=a[i].x-a[i-1].x-1;
            if(!val)continue;
            AddEdge(0,tos1,(LL)m*val);
            for(int j=1;j<=n;j++)
                if(cs[j].si+1<=a[i-1].x && a[i].x<=cs[j].ei){
                    AddEdge(tos1,j,(LL)m*val);
                }
            ++tos1;
        }
        LL ans1,ans2=0;
        for(int i=1;i<=n;i++)
        {
            AddEdge(i,tos1,(LL)cs[i].ni*cs[i].ti);
            ans2+=cs[i].ni*cs[i].ti;
        }
        ans1=Dinic(0,tos1);
        //printf("%I64d\n",Dinic(0,tos1));
        //printf("%I64d %I64d\n",ans1,ans2);
        if(ans1==ans2)puts("Yes");
        else puts("No");
    }
    return 0;
}