結果

問題 No.1675 Strange Minimum Query
ユーザー nebukuro09nebukuro09
提出日時 2021-09-10 22:32:49
言語 D
(dmd 2.106.1)
結果
WA  
実行時間 -
コード長 4,058 bytes
コンパイル時間 1,230 ms
コンパイル使用メモリ 128,972 KB
実行使用メモリ 28,636 KB
最終ジャッジ日時 2024-06-22 12:27:59
合計ジャッジ時間 16,920 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,812 KB
testcase_01 AC 1 ms
6,940 KB
testcase_02 AC 1 ms
6,944 KB
testcase_03 AC 350 ms
14,144 KB
testcase_04 AC 318 ms
17,892 KB
testcase_05 AC 24 ms
8,768 KB
testcase_06 AC 410 ms
14,600 KB
testcase_07 AC 460 ms
19,616 KB
testcase_08 WA -
testcase_09 WA -
testcase_10 WA -
testcase_11 WA -
testcase_12 WA -
testcase_13 AC 322 ms
28,172 KB
testcase_14 AC 441 ms
28,636 KB
testcase_15 AC 428 ms
28,592 KB
testcase_16 AC 1 ms
6,940 KB
testcase_17 AC 98 ms
6,944 KB
testcase_18 AC 140 ms
9,316 KB
testcase_19 WA -
testcase_20 WA -
testcase_21 WA -
testcase_22 AC 577 ms
24,552 KB
testcase_23 AC 409 ms
17,696 KB
testcase_24 AC 394 ms
19,756 KB
testcase_25 AC 268 ms
15,196 KB
testcase_26 WA -
testcase_27 AC 376 ms
23,604 KB
testcase_28 WA -
testcase_29 WA -
testcase_30 WA -
testcase_31 AC 555 ms
19,492 KB
testcase_32 AC 771 ms
25,416 KB
testcase_33 AC 769 ms
25,488 KB
testcase_34 AC 763 ms
25,436 KB
testcase_35 AC 665 ms
28,556 KB
testcase_36 AC 663 ms
27,852 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import std.stdio, std.array, std.string, std.conv, std.algorithm;
import std.typecons, std.range, std.random, std.math, std.container;
import std.numeric, std.bigint, core.bitop;

immutable long MOD = 998244353;

void main() {
    auto s = readln.split.map!(to!int);
    auto N = s[0];
    auto Q = s[1];
    auto A = iota(Q).map!(_ => readln.split.map!(to!int).array).array;

    foreach (a; A) a[0]--, a[1]--;
    A.sort!"a[2] < b[2]";

    auto st = new LazySegmentTree!(long, long, min, (a,b)=>b, (a,b)=>b, (a,b)=>a, 1L<<59, 1L<<59)(N);

    foreach (a; A) {
        auto l = a[0];
        auto r = a[1];
        auto x = a[2].to!long;
        st.update(l, r, x);
    }

    foreach (a; A) {
        auto l = a[0];
        auto r = a[1];
        auto x = a[2].to!long;
        if (st.query(l, r) != x) {
            writeln(-1);
            return;
        }
    }

    auto B = N.iota.map!(i => st.query(i, i)).array;
    B.map!(to!string).join(" ").writeln;
}

/*
  参考元: https://github.com/yosupo06/dunkelheit/blob/master/source/dkh/datastructure/segtree.d
*/

/*
  T: 取得クエリで取得する値の型
  L: 更新クエリで投げる値の型
  opTT: 2つの区間の結果をマージする関数 (T, T) -> T
  opTL: クエリを適用する（作用させる）関数 (T, L) -> T
  opLL: 2つのクエリをまとめる関数 (L, L) -> L
  opPrd: (L, int) -> 区間の長さに応じて結果を変化させる関数. 区間和とかに使う (L, int) -> T
  eT: Tの単位元
  eL: Lの単位元
 */

/*
  1. 区間代入 / 区間min
    auto st = new LazySegmentTree!(long, long, min, (a,b)=>b, (a,b)=>b, (a,b)=>a, 1L<<59, 1L<<59)(N);

  2. 区間加算 / 区間sum
    auto st = new LazySegmentTree!(long, long, (a,b)=>a+b, (a,b)=>a+b, (a,b)=>a+b, (a,b)=>a*b, 0L, 0L)(N+1);

  3. 区間加算 / 区間min
    auto st = new LazySegmentTree!(long, long, min, (a,b)=>a+b, (a,b)=>a+b, (a,b)=>a, 1L<<59, 0L)(N+1);
    st.table[] = 0L;

  4. 区間代入 / 区間sum
    auto st = new LazySegmentTree!(long, long, (a,b)=>a+b, (a,b)=>b, (a,b)=>b, (a,b)=>a*b, 0L, 1L<<59)(N+1);

  いずれもAOJでverify済.
  1. http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_2_F
  2. http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_2_G
  3. http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_2_H
  4. http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=DSL_2_I
 */

class LazySegmentTree(T, L, alias opTT, alias opTL, alias opLL, alias opPrd, T eT, L eL) {
    T[] table;
    L[] lazy_;
    int n;
    int size;

    this(int n) {
        this.n = n;
        size = 1;
        while (size <= n) size <<= 1;
        size <<= 1;
        table = new T[](size);
        lazy_ = new L[](size);
        table[] = eT;
        lazy_[] = eL;
    }

    void push(int i, int a, int b) {
        if (lazy_[i] == eL) return;
        table[i] = opTL(table[i], opPrd(lazy_[i], b - a + 1));
        if (i * 2 + 1 < size) {
            lazy_[i*2] = opLL(lazy_[i*2], lazy_[i]);
            lazy_[i*2+1] = opLL(lazy_[i*2+1], lazy_[i]);
        }
        lazy_[i] = eL;
    }

    T query(int l, int r) {
        if (l > r) return eT;
        return query(l, r, 1, 0, n-1);
    }

    T query(int l, int r, int i, int a, int b) {
        if (b < l || r < a) return eT;
        push(i, a, b);
        if (l <= a && b <= r) {
            return table[i];
        } else {
            return opTT(query(l, r, i*2, a, (a+b)/2), query(l, r, i*2+1, (a+b)/2+1, b));
        }
    }

    void update(int l, int r, L val) {
        if (l > r) return;
        update(l, r, 1, 0, n-1, val);
    }

    void update(int l, int r, int i, int a, int b, L val) {
        if (b < l || r < a) {
            push(i, a, b);
        } else if (l <= a && b <= r) {
            lazy_[i] = opLL(lazy_[i], val);
            push(i, a, b);
        } else {
            push(i, a, b);
            update(l, r, i*2, a, (a+b)/2, val);
            update(l, r, i*2+1, (a+b)/2+1, b, val);
            table[i] = opTT(table[i*2], table[i*2+1]);
        }
    }
}
0