Lazy Segtree
モノイド $(S, \cdot: S \times S \to S, e \in S)$と、$S$ から $S$ への写像の集合 $F$ であって、以下の条件を満たすようなものについて使用できるデータ構造です。
- $F$ は恒等写像 $\mathrm{id}$ を含む。つまり、任意の $x \in S$ に対し $\mathrm{id}(x) = x$ をみたす。
- $F$ は写像の合成について閉じている。つまり、任意の $f, g \in F$ に対し $f \circ g \in F$ である。
- 任意の $f \in F, x, y \in S$ に対し $f(x \cdot y) = f(x) \cdot f(y)$ をみたす。
長さ $N$ の $S$ の配列に対し、
- 区間の要素に一括で $F$ の要素 $f$ を作用($x = f(x)$ )
- 区間の要素の総積の取得
を $O(\log N)$ で行うことが出来ます。詳細な要件は Appendix を参照してください。
また、このライブラリはオラクルとしてop, e, mapping, composition, idを使用しますが、これらが定数時間で動くものと仮定したときの計算量を記述します。オラクル内部の計算量が $O(f(n))$ である場合はすべての計算量が $O(f(n))$ 倍となります。
コンストラクタ
(1) lazy_segtree<S, op, e, F, mapping, composition, id> seg(int n);
(2) lazy_segtree<S, op, e, F, mapping, composition, id> seg(vector<T> v);
- モノイドの型
S
- $\cdot: S \times S \to S$ を計算する関数
S op(S a, S b)
- $e$ を返す関数
S e()
- 写像の型
F
- $f(x)$ を返す関数
S mapping(F f, S x)
- $f \circ g$ を返す関数
F composition(F f, F g)
- $id$ を返す関数
F id()
を定義する必要があります。
詳しくは、使用例や こちら も参照してください。
- (1): 長さ
n の数列 a を作ります。初期値は全部e()です。
- (2): 長さ
n = v.size() の数列 a を作ります。v の内容が初期値となります。
制約
計算量
set
void seg.set(int p, S x)
a[p] = x
制約
計算量
get
S seg.get(int p)
a[p] を返します。
制約
計算量
prod
S seg.prod(int l, int r)
op(a[l], ..., a[r - 1]) を、モノイドの性質を満たしていると仮定して計算します。$l = r$ のときは e() を返します。
制約
計算量
all_prod
S seg.all_prod()
op(a[0], ..., a[n-1]) を計算します。$n = 0$ のときは e() を返します。
計算量
apply
(1) void seg.apply(int p, T x)
(2) void seg.apply(int l, int r, T x)
- (1)
a[p] = op_st(a[p], x)
- (2)
i = l..r-1についてa[i] = op_st(a[i], x)
制約
- (1) $0 \leq p < n$
- (2) $0 \leq l \leq r \leq n$
計算量
max_right
(1) int seg.max_right<g>(int l)
(2💻) int seg.max_right<G>(int l, G g)
- (1): 関数
bool g(S x) を定義する必要があります。segtreeの上で二分探索をします。
- (2):
Sを引数にとりboolを返す関数オブジェクトを渡して使用します。
以下の条件を両方満たす r を(いずれか一つ)返します。
r = l もしくは g(op(a[l], a[l + 1], ..., a[r - 1])) = truer = n もしくは g(op(a[l], a[l + 1], ..., a[r])) = false
fが単調だとすれば、g(op(a[l], a[l + 1], ..., a[r - 1])) = true となる最大の r、と解釈することが可能です。
制約
fを同じ引数で呼んだ時、返り値は等しい(=副作用はない)f(e_s()) = true- $0 \leq l \leq n$
計算量
min_left
(1) int seg.min_left<g>(int r)
(2💻) int seg.min_left<G>(int r, G g)
- (1): 関数
bool g(S x) を定義する必要があります。segtreeの上で二分探索をします。
- (2):
Sを引数にとりboolを返す関数オブジェクトを渡して使用します。
以下の条件を両方満たす l を(いずれか一つ)返します。
l = r もしくは g(op(a[l], a[l + 1], ..., a[r - 1])) = truel = 0 もしくは g(op(a[l - 1], a[l + 1], ..., a[r - 1])) = false
fが単調だとすれば、g(op(a[l], a[l + 1], ..., a[r - 1])) = true となる最小の l、と解釈することが可能です。
制約
fを同じ引数で呼んだ時、返り値は等しい(=副作用はない)f(e_s()) = true- $0 \leq r \leq n$
計算量
使用例
#include <atcoder/lazysegtree>
#include <atcoder/modint>
#include <cstdio>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
struct S {
mint a;
int size;
};
struct F {
mint a, b;
};
S op(S l, S r) { return S{l.a + r.a, l.size + r.size}; }
S e() { return S{0, 0}; }
S mapping(F l, S r) { return S{r.a * l.a + r.size * l.b, r.size}; }
F composition(F l, F r) { return F{r.a * l.a, r.b * l.a + l.b}; }
F id() { return F{1, 0}; }
int main() {
int n, q;
scanf("%d %d", &n, &q);
vector<S> a(n);
for (int i = 0; i < n; i++) {
int x;
scanf("%d", &x);
a[i] = S{x, 1};
}
lazy_segtree<S, op, e, F, mapping, composition, id> seg(a);
for (int i = 0; i < q; i++) {
int t;
scanf("%d", &t);
if (t == 0) {
int l, r;
int c, d;
scanf("%d %d %d %d", &l, &r, &c, &d);
seg.apply(l, r, F{c, d});
} else {
int l, r;
scanf("%d %d", &l, &r);
printf("%d\n", seg.prod(l, r).a.val());
}
}
}
#include <atcoder/lazysegtree>
#include <atcoder/modint>
#include <cstdio>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
struct S {
// # of 0 / # of 1 / inversion number
long long zero, one, inversion;
};
// swapping flag
using F = bool;
S op(S l, S r) {
return S{
l.zero + r.zero,
l.one + r.one,
l.inversion + r.inversion + l.one * r.zero,
};
}
S e() { return S{0, 0, 0}; }
S mapping(F l, S r) {
if (!l) return r;
// swap
return S{r.one, r.zero, r.one * r.zero - r.inversion};
}
F composition(F l, F r) { return (l && !r) || (!l && r); }
F id() { return false; }
int main() {
int n, q;
scanf("%d %d", &n, &q);
vector<S> a(n);
for (int i = 0; i < n; i++) {
int x;
scanf("%d", &x);
if (x == 0)
a[i] = S{1, 0, 0};
else
a[i] = S{0, 1, 0};
}
lazy_segtree<S, op, e, F, mapping, composition, id> seg(a);
for (int i = 0; i < q; i++) {
int t, l, r;
scanf("%d %d %d", &t, &l, &r);
l--;
if (t == 1) {
seg.apply(l, r, true);
} else {
printf("%lld\n", seg.prod(l, r).inversion);
}
}
}