[PA2014]Parking

[PA2014]Parking

题目大意：

停车场是一个宽度为\(w(w\le10^9)\)的矩形。我们以其左下角顶点为原点，坐标轴平行于矩形的边，建立直角坐标系。停车场很长，我们可以认为它一直向右边伸展到无穷远处。
总共有\(n(n\le5\times10^4)\)辆车。车都是边平行于坐标轴的矩形，大小可能不同。你可以将车在停车场内任意地平移，且不能互相重叠。
告诉你每辆车目前的位置和目标位置，求是否可以通过移动达到目标状态。

思路：

如果两辆车路线必定会相交，且两辆车宽度加起来大于\(w\)，那么就不能达到目标状态。

从右到左枚举目标状态中的车，树状数组按照初始状态维护从左到右的前缀最大值即可。

源代码：

#include<cstdio>
#include<cctype>
#include<algorithm>
inline int getint() {
    register char ch;
    while(!isdigit(ch=getchar()));
    register int x=ch^'0';
    while(isdigit(ch=getchar())) x=(((x<<2)+x)<<1)+(ch^'0');
    return x;
}
const int N=5e4+1;
int n,w,rank[N];
struct Rect {
    int x1,x2,w,id;
    void read() {
        int y1,y2;
        x1=getint();
        y1=getint();
        x2=getint();
        y2=getint();
        w=std::abs(y1-y2);
        if(x1>x2) std::swap(x1,x2);
    }
    bool operator < (const Rect &rhs) const {
        if(x1==rhs.x1) return x2<rhs.x2;
        return x1<rhs.x1;
    }
};
Rect s[N],t[N];
class FenwickTree {
    private:
        int val[N];
        int lowbit(const int &x) const {
            return x&-x;
        }
    public:
        void reset() {
            std::fill(&val[1],&val[n]+1,0);
        }
        void modify(int p,const int &x) {
            for(;p<=n;p+=lowbit(p)) {
                val[p]=std::max(val[p],x);
            }
        }
        int query(int p) const {
            int ret=0;
            for(;p;p-=lowbit(p)) {
                ret=std::max(ret,val[p]);
            }
            return ret;
        }
};
FenwickTree bit;
int main() {
    for(register int T=getint();T;T--) {
        n=getint(),w=getint();
        bit.reset();
        for(register int i=1;i<=n;i++) {
            s[i].read();
            s[i].id=i;
        }
        for(register int i=1;i<=n;i++) {
            t[i].read();
            t[i].id=i;
        }
        std::sort(&s[1],&s[n]+1);
        std::sort(&t[1],&t[n]+1);
        for(register int i=1;i<=n;i++) {
            rank[s[i].id]=i;
        }
        for(register int i=n;i>=1;i--) {
            if(bit.query(rank[t[i].id])+t[i].w>w) {
                puts("NIE");
                goto Next;
            }
            bit.modify(rank[t[i].id],t[i].w);
        }
        puts("TAK");
        Next:;
    }
    return 0;
}