verify/AOJ/no_1068/src/main.rs

View this file on GitHub
Last update: 2025-08-03 12:43:51+09:00
Problem: https://onlinejudge.u-aizu.ac.jp/problems/1068

Depends on

Code

// verification-helper: PROBLEM https://onlinejudge.u-aizu.ac.jp/problems/1068

use algebra::{Commutative, IdempotentMonoid, Monoid};
use proconio::{fastout, input};
use sparse_table_on_segtree::SparseTableOnSegTree;

#[derive(Debug, Clone)]
pub enum MinMonoid {}
impl Monoid for MinMonoid {
    type Target = u32;
    fn id_element() -> Self::Target {
        u32::MAX
    }
    fn binary_operation(a: &Self::Target, b: &Self::Target) -> Self::Target {
        *a.min(b)
    }
}
impl IdempotentMonoid for MinMonoid {}
impl Commutative for MinMonoid {}

#[fastout]
fn main() {
    loop {
        input! {
            r: usize,
            c: usize,
            q: usize,
        }
        if r == 0 {
            break;
        }
        input! {
            grid: [[u32; c]; r],
        }
        let seg = SparseTableOnSegTree::<MinMonoid>::new(grid);
        for _ in 0..q {
            input! {
                r1: usize,
                c1: usize,
                r2: usize,
                c2: usize,
            }
            let ans = seg.prod(r1..=r2, c1..=c2);
            println!("{}", ans);
        }
    }
}

Traceback (most recent call last):
  File "/opt/hostedtoolcache/Python/3.13.9/x64/lib/python3.13/site-packages/onlinejudge_verify/documentation/build.py", line 71, in _render_source_code_stat
    bundled_code = language.bundle(stat.path, basedir=basedir, options={'include_paths': [basedir]}).decode()
                   ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/opt/hostedtoolcache/Python/3.13.9/x64/lib/python3.13/site-packages/onlinejudge_verify/languages/rust.py", line 288, in bundle
    raise NotImplementedError
NotImplementedError