結果

問題 No.1675 Strange Minimum Query
ユーザー だれだれ
提出日時 2021-09-10 21:44:04
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
RE  
実行時間 -
コード長 5,179 bytes
コンパイル時間 3,865 ms
コンパイル使用メモリ 194,920 KB
実行使用メモリ 17,880 KB
最終ジャッジ日時 2024-06-11 23:10:27
合計ジャッジ時間 13,207 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
6,816 KB
testcase_01 RE -
testcase_02 AC 2 ms
6,940 KB
testcase_03 RE -
testcase_04 RE -
testcase_05 RE -
testcase_06 RE -
testcase_07 RE -
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 AC 125 ms
17,880 KB
testcase_14 AC 166 ms
16,640 KB
testcase_15 AC 156 ms
17,152 KB
testcase_16 AC 2 ms
6,944 KB
testcase_17 AC 38 ms
6,944 KB
testcase_18 AC 55 ms
6,940 KB
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 AC 206 ms
14,944 KB
testcase_23 AC 157 ms
8,432 KB
testcase_24 AC 143 ms
10,428 KB
testcase_25 AC 103 ms
7,256 KB
testcase_26 WA -
testcase_27 AC 139 ms
15,344 KB
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 AC 206 ms
10,260 KB
testcase_32 AC 278 ms
15,872 KB
testcase_33 AC 284 ms
15,952 KB
testcase_34 AC 277 ms
15,916 KB
testcase_35 AC 235 ms
16,768 KB
testcase_36 AC 235 ms
16,768 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <algorithm>
#include <bitset>
#include <cassert>
#include <cmath>
#include <cstdio>
#include <fstream>
#include <functional>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <map>
#include <numeric>
#include <queue>
#include <set>
#include <sstream>
#include <stack>
#include <unordered_set>
using namespace std;
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif
#define GET_MACRO(_1, _2, _3, NAME, ...) NAME
#define _rep(i, n) _rep2(i, 0, n)
#define _rep2(i, a, b) for(int i = (int)(a); i < (int)(b); i++)
#define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
using i64 = long long;
template<class T, class U>
bool chmin(T& a, const U& b) { return (b < a) ? (a = b, true) : false; }
template<class T, class U>
bool chmax(T& a, const U& b) { return (b > a) ? (a = b, true) : false; }

template<typename T>istream& operator>>(istream&i,vector<T>&v){rep(j,v.size())i>>v[j];return i;}
template<typename T>string join(vector<T>&v){stringstream s;rep(i,v.size())s<<' '<<v[i];return s.str().substr(1);}
template<typename T>ostream& operator<<(ostream&o,vector<T>&v){if(v.size())o<<join(v);return o;}
template<typename T>string join(vector<vector<T>>&vv){string s="\n";rep(i,vv.size())s+=join(vv[i])+"\n";return s;}
template<typename T>ostream& operator<<(ostream&o,vector<vector<T>>&vv){if(vv.size())o<<join(vv);return o;}

template<class T, T (*op)(T, T), T (*e)(), class U, T (*mapping)(T, U), U (*composition)(U, U), U (*id)()>
struct LazySegTree{
private:
    int n;
    int log = 0;
    vector<T> data;
    vector<U> lazy;

    inline T eval_at(int x){
        return mapping(data[x], lazy[x]);
    }

    inline void propagate_at(int x){
        if (lazy[x] == id()) return;
        data[x] = eval_at(x);
        if (x < n){
            lazy[x << 1] = composition(lazy[x << 1], lazy[x]);
            lazy[(x << 1) | 1] = composition(lazy[(x << 1) | 1], lazy[x]);
        }
        lazy[x] = id();
        return;
    }

    void propagate_down(int x){
        for (int i = log; i >= 1; i--){
            if (x >> i & 1){
                for (int j = i; j >= 0; j--){
                    propagate_at(x >> j);
                }
                return;
            }
        }
    }

    inline void merge_up(int x){
        while (x > 1){
            x >>= 1;
            data[x] = op(eval_at(x << 1), eval_at((x << 1) | 1));
        }
    }

public:
    LazySegTree(int n) : LazySegTree(vector<T>(n, e())) {}
    LazySegTree(vector<T> v){
        while (1 << log < int(v.size())){
            log++;
        }
        n = 1 << log;
        data.resize(n << 1, e());
        lazy.resize(n << 1, id());
        for (int i = 0; i < int(v.size()); i++){
            data[i + n] = v[i];
        }
        for (int i = n - 1; i >= 1; i--){
            data[i] = op(data[i << 1], data[(i << 1) | 1]);
        }
    }

    void set(int x, T value){
        x += n;
        propagate_down(x);
        data[x] = value;
        lazy[x] = id();
        merge_up(x);
    }

    T get(int x){
        propagate_down(x + n);
        return eval_at(x + n);
    }

    void apply(int l, int r, U value){
        l += n;
        r += n;

        int lx = l / (l & -l);
        int rx = r / (r & -r) - 1;

        propagate_down(lx);
        propagate_down(rx);

        while (l < r){
            if (l & 1){
                lazy[l] = composition(lazy[l], value);
                l++;
            }
            if (r & 1){
                r--;
                lazy[r] = composition(lazy[r], value);
            }
            l >>= 1;
            r >>= 1;
        }

        merge_up(lx);
        merge_up(rx);
    }

    T prod(int l, int r){
        l += n;
        r += n;

        propagate_down(l / (l & -l));
        propagate_down(r / (r & -r) - 1);

        T lx = e(), rx = e();

        while (l < r){
            if (l & 1){
                lx = op(lx, eval_at(l));
                l++;
            }
            if (r & 1){
                r--;
                rx = op(eval_at(r), rx);
            }
            l >>= 1;
            r >>= 1;
        }

        return op(lx, rx);
    }

    T all_prod(){
        return eval_at(1);
    }
};

int op(int a, int b){
    return min(a, b);
}

int e(){
    return 1e9;
}

int mapping(int a, int b){
    if (b == -1) return a;
    return max(a, b);
}

int composition(int a, int b){
    if (b == -1) return a;
    return max(a, b);
}

int id(){
    return -1;
}

int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    int n, q;
    cin >> n >> q;
    vector<int> a(n, 0);
    LazySegTree<int, op, e, int, mapping, composition, id> seg(a);
    vector<tuple<int, int, int>> v;
    while (q--){
        int l, r, b;
        cin >> l >> r >> b;
        l--;
        seg.apply(l, r, b);
        v.emplace_back(l, r, b);
    }
    for (auto [l, r, b]: v){
        if (seg.prod(l, r) != b){
            cout << -1 << endl;
            assert(false);
            return 0;
        }
    }
    vector<int> ans(n, 1);
    rep(i, n) ans[i] = seg.get(i);
    cout << ans << endl;
}
0