結果
| 問題 | No.749 クエリ全部盛り |
| コンテスト | |
| ユーザー |
akakimidori
|
| 提出日時 | 2019-09-07 12:15:57 |
| 言語 | Rust (1.92.0 + proconio + num) |
| 結果 |
CE
(最新)
AC
(最初)
|
| 実行時間 | - |
| コード長 | 8,529 bytes |
| 記録 | |
| コンパイル時間 | 13,493 ms |
| コンパイル使用メモリ | 383,944 KB |
| 最終ジャッジ日時 | 2024-11-14 21:38:00 |
| 合計ジャッジ時間 | 14,900 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge3 |
(要ログイン)
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。(リジャッジ後のコンパイルエラーは公開されます)
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
ただし、clay言語の場合は開発者のデバッグのため、公開されます。
コンパイルメッセージ
error: expected one of `!`, `(`, `...`, `..=`, `..`, `::`, `:`, `{`, or `|`, found `,`
--> src/main.rs:5:20
|
5 | fn fold(Self::T, Self::T) -> Self::T;
| ^ expected one of 9 possible tokens
|
= note: anonymous parameters are removed in the 2018 edition (see RFC 1685)
help: explicitly ignore the parameter name
|
5 | fn fold(_: Self::T, Self::T) -> Self::T;
| ~~~~~~~~~~
error: expected one of `!`, `(`, `...`, `..=`, `..`, `::`, `:`, `{`, or `|`, found `)`
--> src/main.rs:5:29
|
5 | fn fold(Self::T, Self::T) -> Self::T;
| ^ expected one of 9 possible tokens
|
= note: anonymous parameters are removed in the 2018 edition (see RFC 1685)
help: explicitly ignore the parameter name
|
5 | fn fold(Self::T, _: Self::T) -> Self::T;
| ~~~~~~~~~~
error: expected one of `!`, `(`, `...`, `..=`, `..`, `::`, `:`, `{`, or `|`, found `,`
--> src/main.rs:6:20
|
6 | fn eval(Self::T, Self::E) -> Self::T;
| ^ expected one of 9 possible tokens
|
= note: anonymous parameters are removed in the 2018 edition (see RFC 1685)
help: explicitly ignore the parameter name
|
6 | fn eval(_: Self::T, Self::E) -> Self::T;
| ~~~~~~~~~~
error: expected one of `!`, `(`, `...`, `..=`, `..`, `::`, `:`, `{`, or `|`, found `)`
--> src/main.rs:6:29
|
6 | fn eval(Self::T, Self::E) -> Self::T;
| ^ expected one of 9 possible tokens
|
= note: anonymous parameters are removed in the 2018 edition (see RFC 1685)
help: explicitly ignore the parameter name
|
6 | fn eval(Self::T, _: Self::E) -> Self::T;
| ~~~~~~~~~~
error: expected one of `!`, `(`, `...`, `..=`, `..`, `::`, `:`, `{`, or `|`, found `,`
--> src/main.rs:7:21
|
7 | fn merge(Self::E, Self::E) -> Self::E;
| ^ expected one of 9 possible tokens
|
= note: anonymous parameters are removed i
ソースコード
// ---------- begin Lazy Segment Tree ----------
pub trait TE {
type T: Clone;
type E: Clone;
fn fold(Self::T, Self::T) -> Self::T;
fn eval(Self::T, Self::E) -> Self::T;
fn merge(Self::E, Self::E) -> Self::E;
fn e() -> Self::T;
fn id() -> Self::E;
}
pub struct LazySegmentTree<R: TE> {
size: usize,
bit: usize,
a: Vec<(R::T, R::E)>,
}
impl <R: TE> LazySegmentTree<R> {
pub fn new(n: usize) -> LazySegmentTree<R> {
let mut bit = 0;
while (1 << bit) < n {
bit += 1;
}
LazySegmentTree {
size: 1 << bit,
bit: bit,
a: vec![(R::e(), R::id()); 2 << bit],
}
}
pub fn build_by(z: &[R::T]) -> LazySegmentTree<R> {
let n = z.len();
let mut bit = 0;
while (1 << bit) < n {
bit += 1;
}
let mut a = vec![(R::e(), R::id()); 2 << bit];
for (a, z) in a[(1 << bit)..].iter_mut().zip(z.iter()) {
a.0 = z.clone();
}
for i in (1..(1 << bit)).rev() {
let l = R::eval(a[2 * i].0.clone(), a[2 * i].1.clone());
let r = R::eval(a[2 * i + 1].0.clone(), a[2 * i + 1].1.clone());
a[i].0 = R::fold(l, r);
}
LazySegmentTree {
size: 1 << bit,
bit : bit,
a: a,
}
}
fn eval(&self, k: usize) -> R::T {
R::eval(self.a[k].0.clone(), self.a[k].1.clone())
}
fn propagate(&mut self, x: usize) {
let x = x + self.size;
for i in (1..(self.bit + 1)).rev() {
let k = x >> i;
self.a[2 * k].1 = R::merge(self.a[2 * k].1.clone(), self.a[k].1.clone());
self.a[2 * k + 1].1 = R::merge(self.a[2 * k + 1].1.clone(), self.a[k].1.clone());
self.a[k].1 = R::id();
self.a[k].0 = R::fold(self.eval(2 * k), self.eval(2 * k + 1));
}
}
fn save(&mut self, x: usize) {
let x = x + self.size;
for i in 1..(self.bit + 1) {
let k = x >> i;
self.a[k].0 = R::fold(self.eval(2 * k), self.eval(2 * k + 1));
}
}
pub fn update(&mut self, l: usize, r: usize, op: R::E) {
self.propagate(l);
self.propagate(r - 1);
let mut x = l + self.size;
let mut y = r + self.size;
while x < y {
if x & 1 == 1 {
self.a[x].1 = R::merge(self.a[x].1.clone(), op.clone());
x += 1;
}
if y & 1 == 1 {
y -= 1;
self.a[y].1 = R::merge(self.a[y].1.clone(), op.clone());
}
x >>= 1;
y >>= 1;
}
self.save(l);
self.save(r - 1);
}
pub fn find(&mut self, l: usize, r: usize) -> R::T {
self.propagate(l);
self.propagate(r - 1);
let mut x = l + self.size;
let mut y = r + self.size;
let mut p = R::e();
let mut q = R::e();
while x < y {
if x & 1 == 1 {
p = R::fold(p, self.eval(x));
x += 1;
}
if y & 1 == 1 {
y -= 1;
q = R::fold(self.eval(y), q);
}
x >>= 1;
y >>= 1;
}
R::fold(p, q)
}
}
// ---------- end Lazy Segment Tree ----------
// ---------- begin ModInt ----------
const MOD: u32 = 1_000_000_007;
#[derive(Clone, Copy)]
struct ModInt(u32);
use std::ops::{Add, AddAssign, Sub, SubAssign, Mul, MulAssign, Neg};
impl Add for ModInt {
type Output = ModInt;
fn add(self, rhs: ModInt) -> Self::Output {
let mut d = self.0 + rhs.0;
if d >= MOD {
d -= MOD;
}
ModInt(d)
}
}
impl AddAssign for ModInt {
fn add_assign(&mut self, rhs: ModInt) {
*self = *self + rhs;
}
}
impl Sub for ModInt {
type Output = ModInt;
fn sub(self, rhs: ModInt) -> Self::Output {
let mut d = self.0 + MOD - rhs.0;
if d >= MOD {
d -= MOD;
}
ModInt(d)
}
}
impl SubAssign for ModInt {
fn sub_assign(&mut self, rhs: ModInt) {
*self = *self - rhs;
}
}
impl Mul for ModInt {
type Output = ModInt;
fn mul(self, rhs: ModInt) -> Self::Output {
ModInt((self.0 as u64 * rhs.0 as u64 % MOD as u64) as u32)
}
}
impl MulAssign for ModInt {
fn mul_assign(&mut self, rhs: ModInt) {
*self = *self * rhs;
}
}
impl Neg for ModInt {
type Output = ModInt;
fn neg(self) -> Self::Output {
ModInt(if self.0 == 0 {0} else {MOD - self.0})
}
}
#[allow(dead_code)]
impl ModInt {
pub fn new(n: u32) -> ModInt {
ModInt(n % MOD)
}
pub fn zero() -> ModInt {
ModInt(0)
}
pub fn one() -> ModInt {
ModInt(1)
}
pub fn pow(self, mut n: u32) -> ModInt {
let mut t = ModInt::one();
let mut s = self;
while n > 0 {
if n & 1 == 1 {
t *= s;
}
s *= s;
n >>= 1;
}
t
}
pub fn inv(self) -> ModInt {
self.pow(MOD - 2)
}
pub fn comb(n: u32, k: u32) -> ModInt {
if k > n {
return ModInt::zero();
}
let k = std::cmp::min(k, n - k);
let mut nu = ModInt::one();
let mut de = ModInt::one();
for i in 0..k {
nu *= ModInt(n - i);
de *= ModInt(i + 1);
}
nu * de.inv()
}
}
struct Precalc {
inv: Vec<ModInt>,
fact: Vec<ModInt>,
ifact: Vec<ModInt>,
}
#[allow(dead_code)]
impl Precalc {
pub fn new(n: usize) -> Precalc {
let mut inv = vec![ModInt::one(); n + 1];
let mut fact = vec![ModInt::one(); n + 1];
let mut ifact = vec![ModInt::one(); n + 1];
for i in 2..(n + 1) {
inv[i] = -inv[MOD as usize % i] * ModInt(MOD / i as u32);
fact[i] = fact[i - 1] * ModInt(i as u32);
ifact[i] = ifact[i - 1] * inv[i];
}
Precalc {
inv: inv,
fact: fact,
ifact: ifact,
}
}
pub fn inv(&self, n: usize) -> ModInt {
self.inv[n]
}
pub fn fact(&self, n: usize) -> ModInt {
self.fact[n]
}
pub fn ifact(&self, n: usize) -> ModInt {
self.ifact[n]
}
pub fn comb(&self, n: usize, k: usize) -> ModInt {
if k > n {
return ModInt::zero();
}
self.fact[n] * self.ifact[k] * self.ifact[n - k]
}
}
// ---------- end ModInt ----------
struct R;
impl TE for R {
type T = (ModInt, ModInt, ModInt);
type E = (ModInt, ModInt, ModInt);
fn fold(l: Self::T, r: Self::T) -> Self::T {
(l.0 + r.0, l.1 + r.1, l.2 + r.2)
}
fn eval(a: Self::T, f: Self::E) -> Self::T {
(a.0 * f.0 + f.1 * a.1 + f.2 * a.2, a.1, a.2)
}
fn merge(f: Self::E, g: Self::E) -> Self::E {
(f.0 * g.0, f.1 * g.0 + g.1, f.2 * g.0 + g.2)
}
fn e() -> Self::T {
(ModInt::zero(), ModInt::zero(), ModInt::zero())
}
fn id() -> Self::E {
(ModInt::one(), ModInt::zero(), ModInt::zero())
}
}
use std::io::{Read, Write};
fn run() {
let mut s = String::new();
std::io::stdin().read_to_string(&mut s).unwrap();
let mut it = s.trim().split_whitespace();
let n: usize = it.next().unwrap().parse().unwrap();
let q: usize = it.next().unwrap().parse().unwrap();
let mut z = vec![(ModInt(0), ModInt(1), ModInt(0)); n + 1];
z[1].2 = ModInt::one();
for i in 2..n {
z[i].2 = z[i - 1].2 + z[i - 2].2;
}
let mut s = LazySegmentTree::<R>::build_by(&z);
let out = std::io::stdout();
let mut out = std::io::BufWriter::new(out.lock());
for _ in 0..q {
let q: u8 = it.next().unwrap().parse().unwrap();
let l: usize = it.next().unwrap().parse().unwrap();
let r: usize = it.next().unwrap().parse().unwrap();
let k: u32 = it.next().unwrap().parse().unwrap();
match q {
0 => {
let (s, _, _) = s.find(l, r + 1);
let ans = s * ModInt(k);
writeln!(out, "{}", ans.0).unwrap();
},
1 => s.update(l, r + 1, (ModInt(0), ModInt(k), ModInt(0))),
2 => s.update(l, r + 1, (ModInt(1), ModInt(k), ModInt(0))),
3 => s.update(l, r + 1, (ModInt(k), ModInt(0), ModInt(0))),
_ => s.update(l, r + 1, (ModInt(1), ModInt(0), ModInt(k))),
}
}
}
fn main() {
run();
}
akakimidori