poj 2373 Dividing the Path

Dividing the Path

Time Limit: 1000MS		Memory Limit: 65536K
Total Submissions: 2858		Accepted: 1064

Description

Farmer John's cows have discovered that the clover growing along the ridge of the hill in his field is particularly good. To keep the clover watered, Farmer John is installing water sprinklers along the ridge of the hill. 
To make installation easier, each sprinkler head must be  installed along the ridge of the hill (which we can think of as a  one-dimensional number line of length L (1 <= L <= 1,000,000); L is even). 
 Each sprinkler waters the ground along the ridge for some distance in  both directions. Each spray radius is an integer in the range A..B (1 <= A  <= B <= 1000). Farmer John needs to water the entire ridge in a manner  that covers each location on the ridge by exactly one sprinkler head.  Furthermore, FJ will not water past the end of the ridge in either direction. 
 Each of Farmer John's N (1 <= N <= 1000) cows has a range of  clover that she particularly likes (these ranges might overlap). The ranges are  defined by a closed interval (S,E). Each of the cow's preferred ranges must be  watered by a single sprinkler, which might or might not spray beyond the given  range. 
Find the minimum number of sprinklers required to water the  entire ridge without overlap. 

Input

* Line 1: Two space-separated integers: N and L 
 * Line 2: Two space-separated integers: A and B 
* Lines 3..N+2:  Each line contains two integers, S and E (0 <= S < E <= L) specifying  the start end location respectively of a range preferred by some cow. Locations  are given as distance from the start of the ridge and so are in the range  0..L.

Output

* Line 1: The minimum number of sprinklers required. If it is not possible to design a sprinkler head configuration for Farmer John, output -1.

Sample Input

2 8
1 2
6 7
3 6

Sample Output

3

Hint

INPUT DETAILS:
Two cows along a ridge of length 8. Sprinkler heads are available in integer spray radii in the range 1..2 (i.e., 1 or 2). One cow likes the range 3-6, and the other likes the range 6-7.
OUTPUT DETAILS:
Three sprinklers are required: one at 1 with spray distance 1, and one at 4 with spray distance 2, and one at 7 with spray distance 1. The second sprinkler waters all the clover of the range like by the second cow (3-6). The last sprinkler waters all the clover of the range liked by the first cow (6-7). Here's a diagram:

                 |-----c2----|-c1|       cows' preferred ranges
      |---1---|-------2-------|---3---|   sprinklers
      +---+---+---+---+---+---+---+---+
      0   1   2   3   4   5   6   7   8

The sprinklers are not considered to be overlapping at 2 and 6.

Source

USACO 2004 December Gold

// dp[i]=min{dp[j]}+1  i-2*B=<j<=i-2*A
// 单调队列优化  求区间 dp[i-2*B] ~ dp[i-2*A] 最小值
#include <iostream>
#include <algorithm>
#include <queue>
#include <math.h>
#include <stdio.h>
#include <string.h>
using namespace std;
#define MOD 1000000007
#define maxn 1000010
int dp[maxn];
bool ok[maxn];
struct node{
    int l,r; // 左右 下标 数值
    node(){}
    node(int a,int b){l=a;r=b;}
}in[1010],q[maxn];
int flag;
int N,L;
int A,B;
void solve(){
    int i,j;
    int head=0,tail=0,tp;
    for(i=1;i<=N;i++)
      for(j=in[i].l+1;j<in[i].r;j++)
            ok[j]=0;
     for(i=2*A;i<=L;i+=2){
        tp=i-2*A;
        if(ok[tp]){
        while(head<tail&&dp[tp]<=q[tail-1].r)
               tail--;
         if(ok[tp])
          q[tail++]=node(tp,dp[tp]);
        }
        tp=i-2*B;
        while(head<tail&&q[head].l<tp)
            head++;

        if(ok[i]&&head<tail) dp[i]=q[head].r+1;//因为这里 所以最后结果可能 >=MOD wa的我好难过
      }
}
int main()
{   dp[0]=0;
    while(scanf("%d %d",&N,&L)!=EOF){
       scanf("%d %d",&A,&B);
       int i;
       flag=true;
       for(i=1;i<=N;i++){
        scanf("%d %d",&in[i].l,&in[i].r);
        if(in[i].r-in[i].l>2*B)
            flag=false;
       }
       ok[0]=1;
       if(flag){
         for(i=1;i<=L;i++)
           ok[i]=1,dp[i]=MOD;
         solve();
       }
       if(!flag||dp[L]>=MOD) // 就是因为这里没有写 成 >= 而写成 == wa的我好难过 不过还好 OMs 
         printf("-1
");
       else
         printf("%d
",dp[L]);
    }

    return 0;
}