結果

問題 No.2885 Range Triangle Collision Decision Queries
ユーザー sortA0329sortA0329
提出日時 2024-09-07 20:40:50
言語 C++23(gcc13)
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 226 ms / 3,000 ms
コード長 3,145 bytes
コンパイル時間 4,979 ms
コンパイル使用メモリ 279,996 KB
実行使用メモリ 40,404 KB
最終ジャッジ日時 2024-09-07 20:41:13
合計ジャッジ時間 22,332 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 42 ms
6,816 KB
testcase_01 AC 43 ms
6,940 KB
testcase_02 AC 42 ms
6,940 KB
testcase_03 AC 42 ms
6,940 KB
testcase_04 AC 43 ms
6,944 KB
testcase_05 AC 143 ms
40,080 KB
testcase_06 AC 142 ms
40,044 KB
testcase_07 AC 150 ms
40,108 KB
testcase_08 AC 157 ms
40,036 KB
testcase_09 AC 145 ms
40,028 KB
testcase_10 AC 222 ms
39,996 KB
testcase_11 AC 223 ms
40,016 KB
testcase_12 AC 218 ms
39,996 KB
testcase_13 AC 226 ms
40,168 KB
testcase_14 AC 218 ms
40,072 KB
testcase_15 AC 187 ms
40,320 KB
testcase_16 AC 188 ms
40,224 KB
testcase_17 AC 166 ms
40,172 KB
testcase_18 AC 193 ms
40,128 KB
testcase_19 AC 198 ms
40,276 KB
testcase_20 AC 187 ms
40,160 KB
testcase_21 AC 187 ms
40,096 KB
testcase_22 AC 164 ms
40,088 KB
testcase_23 AC 191 ms
40,176 KB
testcase_24 AC 200 ms
40,008 KB
testcase_25 AC 180 ms
40,172 KB
testcase_26 AC 220 ms
40,220 KB
testcase_27 AC 211 ms
40,156 KB
testcase_28 AC 222 ms
40,224 KB
testcase_29 AC 225 ms
40,164 KB
testcase_30 AC 212 ms
40,312 KB
testcase_31 AC 217 ms
40,208 KB
testcase_32 AC 215 ms
40,296 KB
testcase_33 AC 215 ms
40,196 KB
testcase_34 AC 223 ms
40,232 KB
testcase_35 AC 216 ms
40,156 KB
testcase_36 AC 211 ms
40,296 KB
testcase_37 AC 218 ms
40,404 KB
testcase_38 AC 213 ms
40,276 KB
testcase_39 AC 222 ms
40,224 KB
testcase_40 AC 217 ms
40,304 KB
testcase_41 AC 210 ms
40,220 KB
testcase_42 AC 209 ms
40,156 KB
testcase_43 AC 188 ms
40,132 KB
testcase_44 AC 162 ms
39,968 KB
testcase_45 AC 188 ms
39,976 KB
testcase_46 AC 190 ms
40,008 KB
testcase_47 AC 205 ms
39,980 KB
testcase_48 AC 202 ms
39,972 KB
testcase_49 AC 36 ms
6,940 KB
testcase_50 AC 37 ms
6,944 KB
testcase_51 AC 38 ms
6,940 KB
testcase_52 AC 38 ms
6,944 KB
testcase_53 AC 2 ms
6,944 KB
testcase_54 AC 2 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
#include <unistd.h>

// https://judge.yosupo.jp/submission/217135
using idt=std::size_t;
template<class _Tp>
struct _Sprod{
    _Tp*f;
    idt n;
    _Sprod():f(nullptr),n(0){}
    void build(idt _n,auto&&fn){
        delete []f;
        f=new _Tp[(_n<2?1:(std::__lg(_n-1)+1))*_n];
        n=_n;
        for(idt i=0;i<n;++i){
            f[i]=fn(i);
        }
        for(idt j=2,w=1;j<n;j<<=1,++w){
            auto t=f+w*n;
            for(idt i=0;i+j<n;i+=2*j){
                t[i+j-1]=f[i+j-1],t[i+j]=f[i+j];
                for(idt k=i+j-1;k>i;--k){
                    t[k-1]=f[k-1]*t[k];
                }
                idt ed=std::min(n,i+j+j)-1;
                for(idt k=i+j;k<ed;++k){
                    t[k+1]=t[k]*f[k+1];
                }
            }
        }
    }
    ~_Sprod(){
        delete []f;
    }
    _Tp get(idt l,idt r)const{
        if(l==r){
            return f[l];
        }
        auto t=f+(63^__builtin_clzll(l^r))*n;
        return t[l]*t[r];
    }
};
template<class _Tp,idt _Bk=16>
struct RangeProd{
    _Tp*arr,*pre,*suf;
    idt n;
    _Sprod<_Tp> spd;
    RangeProd(idt _n,auto&&fn):arr(new _Tp[_n]),pre(new _Tp[_n]),suf(new _Tp[_n]),n(_n){
        for(idt i=0;i<n;++i){
            arr[i]=fn(i);
        }
        for(idt i=0;i<n;i+=_Bk){
            pre[i]=arr[i];
            for(idt j=i+1,ed=std::min(n,i+_Bk);j<ed;++j){
                pre[j]=pre[j-1]*arr[j];
            }
        }
        for(idt i=0;i<n;i+=_Bk){
            idt ed=std::min(n,i+_Bk);
            suf[ed-1]=arr[ed-1];
            for(idt j=ed-1;j!=i;--j){
                suf[j-1]=arr[j-1]*suf[j];
            }
        }
        if(n>_Bk){
            spd.build(n/_Bk,[&](idt i){
                return suf[i*_Bk];
            });
        }
    }
    ~RangeProd(){
        delete []arr;
        delete []pre;
        delete []suf;
    }
    _Tp get(idt l,idt r)const{
        idt bl=l/_Bk,br=r/_Bk;
        if(bl==br){
			_Tp res=arr[l];
			for(idt i=l+1;i<=r;++i){
				res=res*arr[i];
			}
            return res;
		}
        if(bl+1==br){
            return suf[l]*pre[r];
        }
        return suf[l]*spd.get(bl+1,br-1)*pre[r];
    }
};

struct Data {
    long long l1, l2, l3, r1, r2, r3;
    Data operator*(Data b) const {
        return { max(l1, b.l1), max(l2, b.l2), max(l3, b.l3), min(r1, b.r1), min(r2, b.r2), min(r3, b.r3) };
    }
};
char outbuf[800064];
int main() {
    cin.tie(0)->sync_with_stdio(0);
    int N;
    cin >> N;
    RangeProd<Data> st(N, [](idt i) -> Data {
        long long A, B, D;
        cin >> A >> B >> D;
        return { B - D, (A - D) + (B - D), A - B, B, A + B, (A + D) - (B - D) };
    });
    int Q;
    cin >> Q;
    char* out = outbuf;
    while(Q--) {
        int S, L, R;
        cin >> S >> L >> R;
        auto [l1, l2, l3, r1, r2, r3] = st.arr[S - 1];
        auto [sl1, sl2, sl3, sr1, sr2, sr3] = st.get(L - 1, R - 1);
        const bool f = l1 < sr1 && sl1 < r1 && l2 < sr2 && sl2 < r2 && l3 < sr3 && sl3 < r3;
        memcpy(out, f ? "Yes\n" : "No\n\0", 4);
        out += 3 + f;
    }
    write(1, outbuf, out - outbuf);
}
0