2017大学生程序设计邀请赛（华东师范大学）F. 丽娃河的狼人传说

传送门：http://acm.ecnu.edu.cn/contest/11/problem/F/

丽娃河是华师大著名的风景线。但由于学校财政紧缺，丽娃河边的路灯年久失修，一到晚上就会出现走在河边要打着手电的情况，不仅非常不方便，而且影响安全：已经发生了大大小小的事故多起。

方便起见，丽娃河可以看成是从 1  到 n  的一条数轴。为了美观，路灯只能安装在整数点上，每个整数点只能安装一盏路灯。经专业勘测，有 m  个区间特别容易发生事故，所以至少要安装一定数量的路灯，

请问至少还要安装多少路灯。

Input

第一行一个整数 T  (1≤T≤300)  ，表示测试数据组数。

对于每组数据：

• 第一行三个整数 n,m,k  (1≤n≤10 3 ,1≤m≤10 3 ,1≤k≤n)  。

• 第二行 k  个不同的整数用空格隔开，表示这些位置一开始就有路灯。

• 接下来 m  行表示约束条件。第 i  行三个整数 l i ,r i ,t i   表示：第 i  个区间 [l i ,r i ]  至少要安装 t i   盏路灯 (1≤l i ≤r i ≤n,1≤t i ≤n)  。

Output

对于每组数据，输出 Case x: y。其中 x 表示测试数据编号（从 1 开始），y 表示至少要安装的路灯数目。如果无解，y 为 −1  。

Examples

Input

3
5 1 3
1 3 5
2 3 2
5 2 3
1 3 5
2 3 2
3 5 3
5 2 3
1 3 5
2 3 2
4 5 1

Output

Case 1: 1
Case 2: 2
Case 3: 1

Note

因为今天不是满月，所以狼人没有出现。

题解：

按右端点排序，然后对于不满足条件的尽量往右垒就好了。贪心的证明：由于左边的都已经垒满了，所以垒左边的肯定是没意义的。垒中间肯定没有垒右边的号，因为右边的区间不可能长得断开，使得垒在左边收益更大。这样就可以实现 O(n 2 )  。

本题虽然不作要求，但是可以做到 O(nlog 2 n)  ，用线段树维护，不符合条件可能需要二分。具体细节留给读者思考。

模仿Q巨AC代码

#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<iostream>
#include<algorithm>
using namespace std;
const int MAXN=1005;
int usd[MAXN],l[MAXN],r[MAXN],t[MAXN],id[MAXN];
int main()
{
    int T;
    scanf("%d",&T);
    for(int ca=1;ca<=T;ca++)
    {
        int n,m,k;
        scanf("%d%d%d",&n,&m,&k);
        memset(usd,0,sizeof(usd));
        for(int i=1;i<=k;i++)
        {
            int x;
            scanf("%d",&x);
            usd[x]=1;
        }
        int gg=0;
        for(int i=1;i<=m;i++)
        {
            scanf("%d%d%d",&l[i],&r[i],&t[i]),id[i]=i;
            gg|=(t[i]>r[i]-l[i]+1);
            for(int j=1;j<=n;j++)
                t[i]-=(l[i]<=j && j<=r[i] && usd[j]);
        }
        if(gg)
        {
            printf("Case %d: %d\n",ca,-1);
            continue;
        }
        sort(id+1,id+m+1,[](int a,int b){return r[a]<r[b];});
        int res=0;
        for(int ii=1;ii<=m;ii++)
        {
            int i=id[ii];
            for(int j=r[i],k=t[i];k>0;j--)
            {
                if(usd[j])continue;
                for(int s=1;s<=m;s++)
                    t[s]-=(l[s]<=j && j<=r[s]);
                usd[j]=1,k--,res++;
            }
        }
        printf("Case %d: %d\n",ca,res);
    }
    return 0;
}