結果

問題 No.866 レベルKの正方形
ユーザー fukafukatanifukafukatani
提出日時 2019-08-17 15:58:57
言語 Rust
(1.77.0 + proconio)
結果
WA  
実行時間 -
コード長 3,589 bytes
コンパイル時間 13,408 ms
コンパイル使用メモリ 400,424 KB
実行使用メモリ 448,544 KB
最終ジャッジ日時 2024-09-24 20:00:15
合計ジャッジ時間 21,513 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 WA -
testcase_01 WA -
testcase_02 WA -
testcase_03 WA -
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 TLE -
testcase_09 -- -
testcase_10 -- -
testcase_11 -- -
testcase_12 -- -
testcase_13 -- -
testcase_14 -- -
testcase_15 -- -
testcase_16 -- -
testcase_17 -- -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
testcase_22 -- -
testcase_23 -- -
testcase_24 -- -
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: unused variable: `i`
  --> src/main.rs:23:9
   |
23 |     for i in 0..h {
   |         ^ help: if this is intentional, prefix it with an underscore: `_i`
   |
   = note: `#[warn(unused_variables)]` on by default

warning: unused variable: `criterion1`
  --> src/main.rs:41:9
   |
41 |     let criterion1 = |start_x: usize, start_y: usize, width: usize| -> bool {
   |         ^^^^^^^^^^ help: if this is intentional, prefix it with an underscore: `_criterion1`

ソースコード

diff # 

#![allow(unused_imports)]
#![allow(non_snake_case)]
use std::cmp::*;
use std::collections::*;
use std::io::Write;

#[allow(unused_macros)]
macro_rules! debug {
    ($($e:expr),*) => {
        #[cfg(debug_assertions)]
        $({
            let (e, mut err) = (stringify!($e), std::io::stderr());
            writeln!(err, "{} = {:?}", e, $e).unwrap()
        })*
    };
}

fn main() {
    let v = read_vec::<usize>();
    let (h, w, k) = (v[0], v[1], v[2]);

    let mut grid = vec![];
    for i in 0..h {
        let chs = read::<String>()
            .chars()
            .map(|ch| ch.to_digit(36).unwrap() as usize - 10)
            .collect::<Vec<_>>();
        grid.push(chs);
    }

    let mut cum2d_vec = vec![CumulativeSum2D::new(w, h); 26];
    for y in 0..h {
        for x in 0..w {
            cum2d_vec[grid[y][x]].add(x, y, 1);
        }
    }
    for ref mut cum2d in cum2d_vec.iter_mut() {
        cum2d.build();
    }

    let criterion1 = |start_x: usize, start_y: usize, width: usize| -> bool {
        let mut found = 0;
        for ref cum2d in cum2d_vec.iter() {
            if cum2d.query(start_x, start_y, start_x + width, start_y + width) > 0 {
                found += 1;
            }
        }
        found <= k
    };
    let criterion2 = |start_x: usize, start_y: usize, width: usize| -> bool {
        let mut found = 0;
        for ref cum2d in cum2d_vec.iter() {
            if cum2d.query(start_x, start_y, start_x + width, start_y + width) > 0 {
                found += 1;
            }
        }
        found <= k - 1
    };

    let mut ans = 0;
    for y in 0..h {
        for x in 0..w {
            let max_width = min(h - y, w - x);
            let (lb2, _) = binary_search(0, max_width + 1, x, y, criterion2);
            // let (lb1, _) = binary_search(lb2, max_width + 1, x, y, criterion1);
            // ans += lb1 - lb2;
            ans += lb2;
        }
    }
    println!("{}", ans);
}

fn read<T: std::str::FromStr>() -> T {
    let mut s = String::new();
    std::io::stdin().read_line(&mut s).ok();
    s.trim().parse().ok().unwrap()
}

fn read_vec<T: std::str::FromStr>() -> Vec<T> {
    read::<String>()
        .split_whitespace()
        .map(|e| e.parse().ok().unwrap())
        .collect()
}

#[derive(Clone)]
struct CumulativeSum2D {
    data: Vec<Vec<i32>>,
}

impl CumulativeSum2D {
    fn new(w: usize, h: usize) -> CumulativeSum2D {
        CumulativeSum2D {
            data: vec![vec![0; w + 1]; h + 1],
        }
    }

    fn add(&mut self, mut x: usize, mut y: usize, z: i32) {
        x += 1;
        y += 1;
        if x >= self.data[0].len() || y >= self.data.len() {
            return;
        }
        self.data[y][x] += z;
    }

    fn build(&mut self) {
        for i in 1..self.data.len() {
            for j in 1..self.data[i].len() {
                self.data[i][j] +=
                    self.data[i][j - 1] + self.data[i - 1][j] - self.data[i - 1][j - 1];
            }
        }
    }

    // sum of [sx, gx), [sy, gy)
    fn query(&self, sx: usize, sy: usize, gx: usize, gy: usize) -> i32 {
        self.data[gy][gx] - self.data[gy][sx] - self.data[sy][gx] + self.data[sy][sx]
    }
}

fn binary_search<F>(
    lb: usize,
    ub: usize,
    start_x: usize,
    start_y: usize,
    criterion: F,
) -> (usize, usize)
where
    F: Fn(usize, usize, usize) -> bool,
{
    let mut ok = lb;
    let mut ng = ub;
    while ng - ok > 1 {
        let mid = (ng + ok) / 2;
        if criterion(start_x, start_y, mid) {
            ok = mid;
        } else {
            ng = mid;
        }
    }
    (ok, ng)
}
0