[USACO08FEB]酒店Hotel

嘟嘟嘟

这道题以前在学校内网刷过类似的，AC了后还挺有成就感，所以更详细的题解请看这里。

总的来说，就是用线段树维护区间最长连续0.因此我们要维护这么几个值：lmax：从当前区间左端点开始最长的连续0的长度；rmax：右端点开始最长连续0的长度；imax当前区间最长连续0的长度。有了这三个量，区间就可以合并了。

合并的方法看上面的链接，这里不再细讲了，这道题主要的区别查询。

查询是找长度为x的区间的位置，而不是在给定区间中查询最长连续区间。查询的具体步骤是这样的：

1.当前区间连续的最长长度比要找的len小，自然返回0。

2.否则我们看lmax[now]，这个区间左起最长长度，如果大于len，就返回左端点就行啦。

3.因为题中说要使房间号尽量小，所以接下来应该看rmax[now << 1] + lmax[now << 1 |1]和len的关系，如果包含len，就返回r[now << 1] - rmax[now << 1] + 1.

4.最后就只能递归找右子区间了。

就因为上面的逻辑我刚开始想的不对，于是debug了快一个下午……

emacs格式，代码缩进很丑

 #include<cstdio>
 #include<iostream>
 #include<algorithm>
 #include<cstring>
 #include<cmath>
 #include<cstdlib>
 #include<cctype>
 #include<stack>
 #include<queue>
 #include<vector>
 using namespace std;
 #define enter puts("")
 #define space putchar(' ')
 #define Mem(a, x) memset(a, x, sizeof(a))
 #define rg register
 typedef long long ll;
 typedef double db;
 const int INF = 0x3f3f3f3f;
 const db eps = 1e-;
 const int maxn = 5e4 + ;
 inline ll read()
 {
   ll ans = ;
   char ch = getchar(), las = ' ';
   while(!isdigit(ch)) las = ch, ch = getchar();
   while(isdigit(ch)) ans = (ans << ) + (ans << ) + ch - '', ch = getchar();
   if(las == '-') ans = -ans;
   return ans;
 }
 inline void write(ll x)
 {
   if(x < ) putchar('-'), x = -x;
   if(x >= ) write(x / );
   putchar(x %  + '');
 }

 int n, m;

 struct Tree
 {
   int l, r, lzy;
   int lmax, rmax, imax;
   Tree operator + (const Tree& other)const
   {
     Tree ret;
     ret.l = l; ret.r = other.r;
     ret.lzy = -;
     ret.lmax = lmax;
     if(lmax == r - l + ) ret.lmax += other.lmax;
     ret.rmax = other.rmax;
     if(other.rmax == other.r - other.l + ) ret.rmax += rmax;
     ret.imax = max(max(imax, other.imax), rmax + other.lmax);
     return ret;
   }
 }t[maxn << ];
 void build(int L, int R, int now)
 {
   t[now].l = L; t[now].r = R;
   t[now].lzy = -;
   t[now].lmax = t[now].rmax = t[now].imax = R - L + ;
   if(L == R) return;
   int mid = (L + R) >> ;
   build(L, mid, now << );
   build(mid + , R, now <<  | );
 }
 void pushdown(int now)
 {
   if(t[now].lzy != -)
     {
       t[now << ].lmax = t[now << ].rmax = t[now << ].imax = (t[now << ].r - t[now << ].l + ) * (t[now].lzy ^ );
       t[now <<  | ].lmax = t[now <<  | ].rmax = t[now <<  | ].imax = (t[now <<  | ].r - t[now <<  | ].l + ) * (t[now].lzy ^ );
       t[now << ].lzy = t[now <<  | ].lzy = t[now].lzy;
       t[now].lzy = -;
     }
 }
 void update(int L, int R, int now, int flg)
 {
   if(L == t[now].l && R == t[now].r)
     {
       t[now].lmax = t[now].rmax = t[now].imax = (R - L + ) * (flg ^ );
       t[now].lzy = flg; return;
     }
   pushdown(now);
   int mid = (t[now].l + t[now].r) >> ;
    if(R <= mid) update(L, R, now << , flg);
    else if(L > mid) update(L, R, now <<  | , flg);
    else update(L, mid, now << , flg), update(mid + , R, now <<  | , flg);
    t[now] = t[now << ] + t[now <<  | ];
 }
 int query(int len, int now)
 {
   if(t[now].imax < len) return ;
   pushdown(now);
   if(t[now].lmax >= len) return t[now].l;
   else if(t[now << ].imax >= len) return query(len, now << );
   else if(t[now << ].rmax + t[now <<  | ].lmax >= len) return t[now << ].r - t[now << ].rmax + ;
   else return query(len, now <<  | );
 }

 int main()
 {
   n = read(); m = read();
   build(, n, );
   for(int i = ; i <= m; ++i)
     {
       int d = read();
       if(d == )
     {
       int x = read();
       int ans = query(x, );
       write(ans); enter;
       if(ans) update(ans, ans + x - , , );
     }
       else
     {
       int L = read(), len = read();
       update(L, L + len - , , );
     }
     }
   return ;
 }