QOJ.ac
QOJ
ID | Problem | Submitter | Result | Time | Memory | Language | File size | Submit time | Judge time |
---|---|---|---|---|---|---|---|---|---|
#421364 | #7992. 【模板】线段树 | jayket | WA | 0ms | 3680kb | C++23 | 8.1kb | 2024-05-25 17:07:22 | 2024-05-25 17:07:23 |
Judging History
answer
#include <bits/stdc++.h>
using i64 = long long;
template<class T>
constexpr T power(T a, i64 b) {
T res = 1;
for (; b; b /= 2, a *= a) {
if (b % 2) {
res *= a;
}
}
return res;
}
constexpr i64 mul(i64 a, i64 b, i64 p) {
i64 res = a * b - i64(1.L * a * b / p) * p;
res %= p;
if (res < 0) {
res += p;
}
return res;
}
template<i64 P>
struct MLong {
i64 x;
constexpr MLong() : x{} {}
constexpr MLong(i64 x) : x{norm(x % getMod())} {}
static i64 Mod;
constexpr static i64 getMod() {
if (P > 0) {
return P;
} else {
return Mod;
}
}
constexpr static void setMod(i64 Mod_) {
Mod = Mod_;
}
constexpr i64 norm(i64 x) const {
if (x < 0) {
x += getMod();
}
if (x >= getMod()) {
x -= getMod();
}
return x;
}
constexpr i64 val() const {
return x;
}
explicit constexpr operator i64() const {
return x;
}
constexpr MLong operator-() const {
MLong res;
res.x = norm(getMod() - x);
return res;
}
constexpr MLong inv() const {
assert(x != 0);
return power(*this, getMod() - 2);
}
constexpr MLong &operator*=(MLong rhs) & {
x = mul(x, rhs.x, getMod());
return *this;
}
constexpr MLong &operator+=(MLong rhs) & {
x = norm(x + rhs.x);
return *this;
}
constexpr MLong &operator-=(MLong rhs) & {
x = norm(x - rhs.x);
return *this;
}
constexpr MLong &operator/=(MLong rhs) & {
return *this *= rhs.inv();
}
friend constexpr MLong operator*(MLong lhs, MLong rhs) {
MLong res = lhs;
res *= rhs;
return res;
}
friend constexpr MLong operator+(MLong lhs, MLong rhs) {
MLong res = lhs;
res += rhs;
return res;
}
friend constexpr MLong operator-(MLong lhs, MLong rhs) {
MLong res = lhs;
res -= rhs;
return res;
}
friend constexpr MLong operator/(MLong lhs, MLong rhs) {
MLong res = lhs;
res /= rhs;
return res;
}
friend constexpr std::istream &operator>>(std::istream &is, MLong &a) {
i64 v;
is >> v;
a = MLong(v);
return is;
}
friend constexpr std::ostream &operator<<(std::ostream &os, const MLong &a) {
return os << a.val();
}
friend constexpr bool operator==(MLong lhs, MLong rhs) {
return lhs.val() == rhs.val();
}
friend constexpr bool operator!=(MLong lhs, MLong rhs) {
return lhs.val() != rhs.val();
}
};
template<>
i64 MLong<0LL>::Mod = 1;
template<int P>
struct MInt {
int x;
constexpr MInt() : x{} {}
constexpr MInt(i64 x) : x{norm(x % getMod())} {}
static int Mod;
constexpr static int getMod() {
if (P > 0) {
return P;
} else {
return Mod;
}
}
constexpr static void setMod(int Mod_) {
Mod = Mod_;
}
constexpr int norm(int x) const {
if (x < 0) {
x += getMod();
}
if (x >= getMod()) {
x -= getMod();
}
return x;
}
constexpr int val() const {
return x;
}
explicit constexpr operator int() const {
return x;
}
constexpr MInt operator-() const {
MInt res;
res.x = norm(getMod() - x);
return res;
}
constexpr MInt inv() const {
assert(x != 0);
return power(*this, getMod() - 2);
}
constexpr MInt &operator*=(MInt rhs) & {
x = 1LL * x * rhs.x % getMod();
return *this;
}
constexpr MInt &operator+=(MInt rhs) & {
x = norm(x + rhs.x);
return *this;
}
constexpr MInt &operator-=(MInt rhs) & {
x = norm(x - rhs.x);
return *this;
}
constexpr MInt &operator/=(MInt rhs) & {
return *this *= rhs.inv();
}
friend constexpr MInt operator*(MInt lhs, MInt rhs) {
MInt res = lhs;
res *= rhs;
return res;
}
friend constexpr MInt operator+(MInt lhs, MInt rhs) {
MInt res = lhs;
res += rhs;
return res;
}
friend constexpr MInt operator-(MInt lhs, MInt rhs) {
MInt res = lhs;
res -= rhs;
return res;
}
friend constexpr MInt operator/(MInt lhs, MInt rhs) {
MInt res = lhs;
res /= rhs;
return res;
}
friend constexpr std::istream &operator>>(std::istream &is, MInt &a) {
i64 v;
is >> v;
a = MInt(v);
return is;
}
friend constexpr std::ostream &operator<<(std::ostream &os, const MInt &a) {
return os << a.val();
}
friend constexpr bool operator==(MInt lhs, MInt rhs) {
return lhs.val() == rhs.val();
}
friend constexpr bool operator!=(MInt lhs, MInt rhs) {
return lhs.val() != rhs.val();
}
};
template<>
int MInt<0>::Mod = 1;
template<int V, int P>
constexpr MInt<P> CInv = MInt<P>(V).inv();
constexpr int P = 1 << 20;
using Z = MInt<P>;
template<class Info, class Tag>
struct LazySegmengtree {
int n;
std::vector<Info>info;
std::vector<Tag>tag;
LazySegmengtree () {}
LazySegmengtree (int n) {
this->n = n;
info.assign(4 << std::__lg(n), Info()), tag.assign(4 << std::__lg(n), Tag());
}
template<typename T>
void build(std::vector<T> a) {
auto work = [&](auto && self, int p, int l, int r) {
if (l == r) {
info[p] = Info(a[l]);
return;
}
int mid = std::midpoint(l, r);
self(self, p << 1, l, mid), self(self, p << 1 | 1, mid + 1, r);
info[p] = info[p << 1] + info[p << 1 | 1];
};
work(work, 1, 1, n);
}
void apply(int p, const Tag& v) {
info[p].apply(v), tag[p].apply(v);
}
void pull(int p) {
apply(p << 1, tag[p]), apply(p << 1 | 1, tag[p]);
tag[p] = Tag();
}
void modify(int p, int l, int r, int L, int R, const Info& v) {
if (l > R or r < L) {
return;
}
if (L <= l and r <= R) {
info[p] = v;
return;
}
pull(p);
int mid = std::midpoint(l, r);
modify(p << 1, l, mid, L, R, v), modify(p << 1 | 1, mid + 1, r, L, R, v);
info[p] = info[p << 1] + info[p << 1 | 1];
}
void modify(int p, const Info& v) {
modify(1, 1, n, p, p, v);
}
Info rangeQuery(int p, int l, int r, int L, int R) {
if (l > R or r < L) {
return Info();
}
if (L <= l and r <= R) {
return info[p];
}
pull(p);
int mid = std::midpoint(l, r);
return rangeQuery(p << 1, l, mid, L, R) + rangeQuery(p << 1 | 1, mid + 1, r, L, R);
}
Info rangeQuery(int l, int r) {
return rangeQuery(1, 1, n, l, r);
}
void rangeApply(int p, int l, int r, int L, int R, const Tag& v) {
if (l > R or r < L) {
return;
}
if (L <= l and r <= R) {
apply(p, v);
return;
}
pull(p);
int mid = std::midpoint(l, r);
rangeApply(p << 1, l, mid, L, R, v), rangeApply(p << 1 | 1, mid + 1, r, L, R, v);
info[p] = info[p << 1] + info[p << 1 | 1];
}
void rangeApply(int l, int r, const Tag& v) {
rangeApply(1, 1, n, l, r, v);
}
template<class F>
int findFirst(int p, int l, int r, int L, int R, F pred) {
if (l > R or r < L or !pred(info[p])) {
return -1;
}
if (l == r) {
return l;
}
pull(p);
int mid = std::midpoint(l, r);
int res = findFirst(p << 1, l, mid, L, R, pred);
return res == -1 ? findFirst(p << 1 | 1, mid + 1, r, L, R, pred) : res;
}
template<class F>
int findFirst(int l, int r, F pred) {
return findFirst(1, 1, n, l, r, pred);
}
template<class F>
int findLast(int p, int l, int r, int L, int R, F pred) {
if (l > R or r < L or !pred(info[p])) {
return -1;
}
if (l == r) {
return l;
}
pull(p);
int mid = std::midpoint(l, r);
int res = findLast(p << 1 | 1, mid + 1, r, L, R, pred);
return res == -1 ? findLast(p << 1, l, mid, L, R, pred) : res;
}
template<class F>
int findLast(int l, int r, F pred) {
return findLast(1, 1, n, l, r, pred);
}
};
constexpr i64 inf = 1E18;
struct Tag {
Z add = 0;
void apply(const Tag& t) {
add += t.add;
}
};
struct Info {
Z val = 1;
void apply(const Tag& t) {
val += t.add;
}
};
Info operator+(const Info& a, const Info& b) {
return {a.val * b.val};
}
int main(void) {
std::ios::sync_with_stdio(false);
std::cin.tie(nullptr);
int n, q; std::cin >> n >> q;
std::vector<int>a(n + 1);
for (int i = 1; i <= n; i += 1) {
std::cin >> a[i];
}
LazySegmengtree<Info, Tag>s(n);
s.build(a);
while (q--) {
int op; std::cin >> op;
if (op == 1) {
int l, r, x; std::cin >> l >> r >> x;
s.rangeApply(l, r, {(Z)x});
} else {
int l, r; std::cin >> l >> r;
std::cout << (s.rangeQuery(l, r).val) << "\n";
}
}
return 0;
}
Details
Tip: Click on the bar to expand more detailed information
Test #1:
score: 0
Wrong Answer
time: 0ms
memory: 3680kb
input:
10 10 969575 741825 24903 1047319 450475 256145 1045323 479255 810659 768323 1 5 6 3034 2 1 10 2 1 9 2 1 4 1 3 6 126904 2 5 5 2 9 9 1 7 7 853094 1 4 9 1025178 2 5 8
output:
1045541 1012343 558151 580413 810659 772217
result:
wrong answer 6th lines differ - expected: '527353', found: '772217'