結果

問題 No.2885 Range Triangle Collision Decision Queries
ユーザー sortA0329sortA0329
提出日時 2024-09-07 20:35:35
言語 C++23(gcc13)
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 274 ms / 3,000 ms
コード長 3,054 bytes
コンパイル時間 6,336 ms
コンパイル使用メモリ 336,692 KB
実行使用メモリ 39,704 KB
最終ジャッジ日時 2024-09-07 20:36:04
合計ジャッジ時間 24,951 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 48 ms
6,816 KB
testcase_01 AC 49 ms
6,940 KB
testcase_02 AC 48 ms
6,940 KB
testcase_03 AC 48 ms
6,940 KB
testcase_04 AC 48 ms
6,940 KB
testcase_05 AC 170 ms
39,592 KB
testcase_06 AC 183 ms
39,672 KB
testcase_07 AC 157 ms
39,516 KB
testcase_08 AC 185 ms
39,516 KB
testcase_09 AC 187 ms
39,576 KB
testcase_10 AC 247 ms
39,504 KB
testcase_11 AC 271 ms
39,580 KB
testcase_12 AC 254 ms
39,532 KB
testcase_13 AC 274 ms
39,640 KB
testcase_14 AC 230 ms
39,496 KB
testcase_15 AC 195 ms
39,676 KB
testcase_16 AC 211 ms
39,596 KB
testcase_17 AC 174 ms
39,696 KB
testcase_18 AC 201 ms
39,528 KB
testcase_19 AC 202 ms
39,664 KB
testcase_20 AC 201 ms
39,592 KB
testcase_21 AC 218 ms
39,568 KB
testcase_22 AC 170 ms
39,704 KB
testcase_23 AC 202 ms
39,668 KB
testcase_24 AC 205 ms
39,596 KB
testcase_25 AC 188 ms
39,512 KB
testcase_26 AC 251 ms
39,524 KB
testcase_27 AC 225 ms
39,516 KB
testcase_28 AC 223 ms
39,572 KB
testcase_29 AC 227 ms
39,604 KB
testcase_30 AC 223 ms
39,588 KB
testcase_31 AC 253 ms
39,580 KB
testcase_32 AC 227 ms
39,516 KB
testcase_33 AC 227 ms
39,560 KB
testcase_34 AC 223 ms
39,624 KB
testcase_35 AC 253 ms
39,532 KB
testcase_36 AC 224 ms
39,580 KB
testcase_37 AC 228 ms
39,588 KB
testcase_38 AC 223 ms
39,656 KB
testcase_39 AC 224 ms
39,556 KB
testcase_40 AC 222 ms
39,528 KB
testcase_41 AC 222 ms
39,580 KB
testcase_42 AC 222 ms
39,672 KB
testcase_43 AC 199 ms
39,560 KB
testcase_44 AC 153 ms
39,520 KB
testcase_45 AC 231 ms
39,456 KB
testcase_46 AC 198 ms
39,460 KB
testcase_47 AC 212 ms
39,504 KB
testcase_48 AC 210 ms
39,660 KB
testcase_49 AC 40 ms
5,376 KB
testcase_50 AC 41 ms
5,376 KB
testcase_51 AC 43 ms
5,376 KB
testcase_52 AC 43 ms
5,376 KB
testcase_53 AC 2 ms
5,376 KB
testcase_54 AC 2 ms
6,940 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

// 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) };
    }
};
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;
    for (int i = 0; i != Q; ++i) {
        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);
        cout << (l1 < sr1 && sl1 < r1 && l2 < sr2 && sl2 < r2 && l3 < sr3 && sl3 < r3 ? "Yes\n" : "No\n");
    }
}
0