文章标题

F. 丽娃河的狼人传说
Time limit per test: 1.0 seconds
Time limit all tests: 1.0 seconds
Memory limit: 256 megabytes
Accept / Submit: 224 / 1759

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

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

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

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

对于每组数据：

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

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

接下来 m 行表示约束条件。第 i 行三个整数 li,ri,ti 表示：第 i 个区间 [li,ri]
至少要安装 ti 盏路灯 (1≤li≤ri≤n,1≤ti≤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

/////////////////////////////////////////////////////////////

include

include

include

include

using namespace std ;

typedef struct node{
int l ;
int r ;
int sum ;
}Lnode;

Lnode load[1010] ;
int t ;
int n , m , k ;
int visit[1010] ;
int eg =0 ;

/*bool cmp(Lnode a, Lnode b) // 右区间小的在前 右相等左区间小的在前
{
// 右边相等按左排序 大区间在前（安装灯时从区间右边往左边安装 大区间包含下面的小区）
if (a.r == b.r) // 右边相等
{
return a.l < b.l;
}
return a.r < b.r;
}*/

int main(){
scanf(“%d” , &t) ;
while(t–){
int flag =0 ;
int load_sum = 0 ;
memset(visit , 0 , sizeof(visit)) ;

    scanf("%d%d%d" , &n , &m ,&k) ;    int x ;    for(int i=0 ; i< k ; i++){        scanf("%d" ,&x ) ;        visit[x] = 1 ;    }    for(int i=0 ; i<m ; i++){        scanf("%d%d%d" , &load[i].l , &load[i].r , &load[i].sum ) ;  // m个区间      }     //sort(load, load + m, cmp);    for(int i=0 ; i<m-1 ; i++){ //  m个排序 （可用sort函数代替）         for(int j=i+1 ; j < m ; j++){            if(load[i].r > load[j].r){                Lnode t = load[i] ;                load[i] = load[j] ;                load[j] = t ;            }else if(load[i].r == load[j].r && load[i].l > load[j].l ){                Lnode t = load[i] ;                load[i] = load[j] ;                load[j] = t ;            }        }    }     for(int i=0 ; i< m ; i++){ // m个需求区间         int number =0  ;         for(int j=load[i].l ; j<=load[i].r ; j++){ // 区间内已有路灯             if(visit[j]){                number ++ ;            }        }         if(number < load[i].sum){            load_sum += load[i].sum - number ;        }        int Sum = load[i].sum - number ; // 此区间缺少的路灯        for(int k = load[i].r ; k >= load[i].l && Sum>0; k--){ //  如果  Sum < 0 也可能进入此循环，更改路灯的安装             if(visit[k] == 0){                visit[k] = 1 ;                Sum -- ;                 if( Sum == 0 )                    break ;            }        }         if(Sum > 0 ) {            flag = 1 ;            break ;        }    }    printf("Case %d: " , ++eg) ;     if(flag == 1){        printf("-1\n") ;    }    else         printf("%d\n" , load_sum) ; }

}