Parking Lot 【CodeForces - 46D】【线段树区间更新好题】

题目链接

---

  这道题的思路很重要（一开始还感觉是不是题意错了…… ）——题记。

  先讲一下题意：我们知道有个长度为L的停车场，并且，对于每一辆车，它们的车头与上一辆车必须相差F长，它们的车尾必须与下一辆车相差B长，问的是这辆车最前会停在哪个位置？其中，F与B可以相互包含，就是车前与车后的间距是可以补充取大得到的，不必要多空距离。

  这道题最难处理的也是最具有思维的就是车前的距离与车尾的距离，如果直接放（B+F）是很多人错误的原因，其实我们可以画草图看一下，不难发现，我们把停车场的总长看作（L+B+F）——目的是为了第一辆车和最后一辆车的前后特殊情况考虑。

  考虑到每辆车，都可以看成「F、Car、B」的形式，就是与前车的间距，车长，与后车的间距，第一辆车的「F、Car、B」会是抵着头的，此时的Car的位置，也是我们推过去的整车的头的位置，而对于第二辆开始，后面的车，我们考虑它们的「F、Car、B」，会发现，他们的F中有与前面车的B的空间存在着交叉（交集不为空的意思），所以必须取优化这段的空间。

  为了方便停车，每辆车与前面的车必须相隔前面车的车尾要求（其实可以不做车头要求，因为只需要车尾达到要求即可取出）所以，一定要关注到B的变化，而把车放进去，是一定要关注到车头以及车尾的双双变化才行的。

---

#include <iostream>
#include <cstdio>
#include <cmath>
#include <string>
#include <cstring>
#include <algorithm>
#include <limits>
#include <vector>
#include <stack>
#include <queue>
#include <set>
#include <map>
#define lowbit(x) ( x&(-x) )
#define pi 3.141592653589793
#define e 2.718281828459045
#define INF 0x3f3f3f3f
using namespace std;
typedef unsigned long long ull;
typedef long long ll;
const int maxN = 1e5 + 7;                   //车头F、车尾B
int L, B, F, N, car[maxN], stop[maxN], lazy[maxN<<2];   //car指的是车的长度，stop指的是车停的初始位置；lazy：【1】指的是征用、【0】指的是开放
struct node
{
    int ls, rs, ms;
    node(int a=0, int b=0, int c=0):ls(a), rs(b), ms(c) {}
}tree[maxN<<2];
void pushup(int rt, int l, int r)
{
    int mid = (l + r)>>1;
    tree[rt].ms = max(tree[rt<<1].rs + tree[rt<<1|1].ls, max(tree[rt<<1].ms, tree[rt<<1|1].ms));
    tree[rt].ls = tree[rt<<1].ls;
    tree[rt].rs = tree[rt<<1|1].rs;
    if(tree[rt].ls == (mid - l + 1)) tree[rt].ls += tree[rt<<1|1].ls;
    if(tree[rt].rs == (r - mid)) tree[rt].rs += tree[rt<<1].rs;
    tree[rt].ms = max(tree[rt].ms, max(tree[rt].ls, tree[rt].rs));
}
void buildTree(int rt, int l, int r)
{
    lazy[rt] = -1;
    if(l == r)
    {
        tree[rt] = node(1, 1, 1);
        return;
    }
    int mid = (l + r)>>1;
    buildTree(rt<<1, l, mid);
    buildTree(rt<<1|1, mid+1, r);
    pushup(rt, l, r);
}
void pushdown(int rt, int l, int r)
{
    int mid = (l + r)>>1;
    if(lazy[rt] != -1)
    {
        tree[rt<<1] = node(lazy[rt] * (mid - l + 1), lazy[rt] * (mid - l + 1), lazy[rt] * (mid - l + 1));
        tree[rt<<1|1] = node(lazy[rt] * (r - mid), lazy[rt] * (r - mid), lazy[rt] * (r - mid));
        lazy[rt<<1] = lazy[rt<<1|1] = lazy[rt];
        lazy[rt] = -1;
    }
}
void update(int rt, int l, int r, int ql, int qr, int val)
{
    if(ql<=l && qr>=r)
    {
        lazy[rt] = val;
        tree[rt] = node(val*(r - l + 1), val*(r - l + 1), val*(r - l + 1));
        return;
    }
    if(l == r) return;
    pushdown(rt, l, r);
    int mid = (l + r)>>1;
    if(ql > mid) update(rt<<1|1, mid+1, r, ql, qr, val);
    else if(qr <= mid) update(rt<<1, l, mid, ql, qr, val);
    else
    {
        update(rt<<1, l, mid, ql, qr, val);
        update(rt<<1|1, mid+1, r, ql, qr, val);
    }
    pushup(rt, l, r);
}
int query(int rt, int l, int r, int num)
{
    if(tree[rt].ls >= num) return l;
    pushdown(rt, l, r);
    int mid = (l + r)>>1;
    if(tree[rt<<1].ms >= num) return query(rt<<1, l, mid, num);
    else if(tree[rt<<1].rs + tree[rt<<1|1].ls >= num) return mid - (tree[rt<<1].rs) + 1;
    else return query(rt<<1|1, mid+1, r, num);
}
inline void init()
{
    memset(stop, -1, sizeof(stop));
}
int main()
{
    init();
    scanf("%d%d%d", &L, &B, &F);
    L += B + F;
    buildTree(1, 1, L);
    scanf("%d", &N);
    for(int i=1; i<=N; i++)
    {
        int op,x;
        scanf("%d%d", &op, &x);
        if(op == 1)
        {
            car[i] = x;
            if(tree[1].ms < F + car[i] + B) { printf("-1\n"); continue; }
            stop[i] = query(1, 1, L, F + car[i] + B);
            update(1, 1, L, stop[i] + B, stop[i] + B + car[i] - 1, 0);
            printf("%d\n", stop[i] - 1);
        }
        else
        {
            if(stop[x] == -1) continue;
            update(1, 1, L, stop[x] + B, stop[x] + car[x] + B - 1, 1);
            stop[i] = -1;
        }
    }
    return 0;
}