poj3667 Hotel

此题不难却易出错，很能考察思维的严谨性。

指定ll为区间内左端顶格数的连续可利用房间，rr为右端顶格数的数值，mm为区间内最长的连续可利用房间数。

在查询的时候，由于要返回最靠左的区间左端点，使得在该点右侧有长为l的可利用房间数。

那么首先有解存在当且仅当区间mm值大于等于给定长度l。

考虑区间左端点可能落在左区间也可能落在右区间。

横跨区间中点的情形特别要小心，我就是在这wa了几次。

http://poj.org/problem?id=3667

 #include <cstdio>
 #include <cstring>
 #include <algorithm>
 #define lson (u << 1)
 #define rson (u << 1 | 1)
 using namespace std;
 typedef __int64 LL;
 const int maxn = 5e4 + ;
 struct Seg{
     int l, r;
     int lazy;
     int ll, mm, rr;//vacant rooms
 }seg[maxn << ];
 int n, m, ans;

 void build(int u, int l, int r){
     seg[u].l = l, seg[u].r = r, seg[u].lazy = ;
     seg[u].mm = seg[u].ll = seg[u].rr = r - l;
     if(r - l < ) return;
     int mid = (l + r) >> ;
     build(lson, l, mid);
     build(rson, mid, r);
 }

 void push_down(int u){
     if(seg[u].lazy !=  && seg[u].r - seg[u].l > ){
         if(seg[u].lazy == -){
             seg[lson].lazy = seg[rson].lazy = -;
             seg[lson].mm = seg[lson].rr = seg[lson].ll = seg[lson].r - seg[lson].l;
             seg[rson].mm = seg[rson].rr = seg[rson].ll = seg[rson].r - seg[rson].l;
             seg[u].lazy = ;
         }else if(seg[u].lazy == ){
             seg[lson].lazy = seg[rson].lazy = ;
             seg[lson].mm = seg[lson].rr = seg[lson].ll = ;
             seg[rson].mm = seg[rson].rr = seg[rson].ll = ;
             seg[u].lazy = ;
         }
     }
 }

 void push_up(int u){
     seg[u].mm = max(seg[lson].rr + seg[rson].ll, seg[lson].mm);
     seg[u].mm = max(seg[u].mm, seg[rson].mm);
     seg[u].ll = seg[lson].ll == seg[lson].r - seg[lson].l ? seg[lson].ll + seg[rson].ll : seg[lson].ll;
     seg[u].rr = seg[rson].rr == seg[rson].r - seg[rson].l ? seg[rson].rr + seg[lson].rr : seg[rson].rr;
 }

 void query(int u, int l, int r, int p){
     if(seg[u].mm < p || ans != -) return;
     if(seg[u].ll >= p){
         ans = seg[u].l;
         return;
     }
     push_down(u);
     int mid = (l + r) >> ;
     if(seg[lson].mm >= p) query(lson, l, mid, p);
     else if(seg[lson].rr + seg[rson].ll >= p) ans = mid - seg[lson].rr;
     else query(rson, mid, r, p);
 }

 void update(int u, int l, int r, int L, int R, int sg){
     if(l == L && R == r){
         if(sg == -){
             seg[u].mm = seg[u].rr = seg[u].ll = r - l;
             seg[u].lazy = -;
         }else if(sg == ){
             seg[u].mm = seg[u].rr = seg[u].ll = ;
             seg[u].lazy = ;
         }
         return;
     }
     push_down(u);
     int mid = (l + r) >> ;
     if(R <= mid) update(lson, l, mid, L, R, sg);
     else if(L >= mid) update(rson, mid, r, L, R, sg);
     else{
         update(lson, l, mid, L, mid, sg);
         update(rson, mid, r, mid, R, sg);
     }
     push_up(u);
 }

 int main(){
     freopen("in.txt", "r", stdin);
     while(~scanf("%d%d", &n, &m)){
         build(, , n + );
         for(int i = , u, v, op; i < m; i++){
             scanf("%d", &op);
             if(op == ){
                 scanf("%d", &u);
                 ans = -;
                 query(, , n + , u);
                 printf("%d\n",ans == - ?  : ans);
                 if(ans != -) update(, , n + , ans, ans + u, );
             }else if(op == ){
                 scanf("%d%d", &u, &v);
                 update(, , n + , u, u + v, -);
             }
         }
     }
     return ;
 }