#964255 (Rust) No.2696 Sign Creation

提出ソース

結果

問題	No.2696 Sign Creation
ユーザー	Moss_Local
提出日時	2024-03-22 22:51:04
言語	Rust (1.77.0 + proconio)
結果	AC
実行時間	214 ms / 2,500 ms
コード長	10,056 bytes
コンパイル時間	14,574 ms
コンパイル使用メモリ	388,064 KB
実行使用メモリ	17,920 KB
最終ジャッジ日時	2024-05-17 18:16:55
合計ジャッジ時間	15,964 ms
ジャッジサーバーID （参考情報）	judge2 / judge5

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 6,816 KB
testcase_01	AC	1 ms 6,816 KB
testcase_02	AC	1 ms 6,816 KB
testcase_03	AC	1 ms 6,812 KB
testcase_04	AC	1 ms 6,940 KB
testcase_05	AC	1 ms 6,944 KB
testcase_06	AC	1 ms 6,944 KB
testcase_07	AC	1 ms 6,940 KB
testcase_08	AC	3 ms 6,940 KB
testcase_09	AC	1 ms 6,940 KB
testcase_10	AC	3 ms 6,944 KB
testcase_11	AC	2 ms 6,944 KB
testcase_12	AC	3 ms 6,940 KB
testcase_13	AC	116 ms 8,960 KB
testcase_14	AC	56 ms 9,088 KB
testcase_15	AC	53 ms 8,320 KB
testcase_16	AC	100 ms 8,320 KB
testcase_17	AC	31 ms 6,940 KB
testcase_18	AC	21 ms 6,940 KB
testcase_19	AC	49 ms 7,424 KB
testcase_20	AC	4 ms 6,940 KB
testcase_21	AC	61 ms 10,368 KB
testcase_22	AC	38 ms 6,944 KB
testcase_23	AC	50 ms 8,320 KB
testcase_24	AC	50 ms 8,320 KB
testcase_25	AC	63 ms 7,040 KB
testcase_26	AC	35 ms 6,940 KB
testcase_27	AC	36 ms 6,944 KB
testcase_28	AC	30 ms 6,944 KB
testcase_29	AC	33 ms 6,940 KB
testcase_30	AC	35 ms 6,944 KB
testcase_31	AC	214 ms 17,920 KB
testcase_32	AC	1 ms 6,944 KB
testcase_33	AC	1 ms 6,940 KB
testcase_34	AC	1 ms 6,940 KB
testcase_35	AC	1 ms 6,944 KB
testcase_36	AC	1 ms 6,944 KB
testcase_37	AC	1 ms 6,940 KB
testcase_38	AC	1 ms 6,940 KB
testcase_39	AC	1 ms 6,944 KB
testcase_40	AC	1 ms 6,940 KB

権限があれば一括ダウンロードができます

コンパイルメッセージ

warning: variable does not need to be mutable
   --> src/main.rs:122:9
    |
122 |     let mut vec: Vec<i64> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`
    |
    = note: `#[warn(unused_mut)]` on by default

warning: variable does not need to be mutable
   --> src/main.rs:128:9
    |
128 |     let mut vec: Vec<i64> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: variable does not need to be mutable
   --> src/main.rs:133:9
    |
133 |     let mut vec: Vec<usize> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: variable does not need to be mutable
   --> src/main.rs:139:9
    |
139 |     let mut vec: Vec<f64> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: variable does not need to be mutable
   --> src/main.rs:144:9
    |
144 |     let mut vec: Vec<char> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: variable does not need to be mutable
   --> src/main.rs:149:9
    |
149 |     let mut vec: Vec<usize> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: variable does not need to be mutable
   --> src/main.rs:154:9
    |
154 |     let mut vec: Vec<i64> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: variable does not need to be mutable
   --> src/main.rs:160:9
    |
160 |     let mut vec: Vec<usize> = read_vec();
    |         ----^^^
    |         |
    |         help: remove this `mut`

warning: value assigned to `nsign` is never read
   --> src/main.rs:318:21
    |
318 |             let mut nsign = 0;
    |                     ^^^^^
    |
    = help: maybe it is overwritten before being read?
    = note: `#[warn(unused_assignments)]` on by default

warning: value assigned to `num` is never read
   --> src/main.rs:351:2

ソースコード

raw source code

// -*- coding:utf-8-unix -*-
// #![feature(map_first_last)]
#![allow(dead_code)]
#![allow(unused_imports)]
#![allow(unused_macros)]
// use core::num;
use std::cmp::*;
use std::fmt::*;
use std::hash::*;
use std::iter::FromIterator;
use std::*;
use std::{cmp, collections, fmt, io, iter, ops, str};
const INF: i64 = 1223372036854775807;
const UINF: usize = INF as usize;
const LINF: i64 = 2147483647;
const INF128: i128 = 1223372036854775807000000000000;
const MOD1: i64 = 1000000007;
const MOD9: i64 = 998244353;
const MOD: i64 = MOD9;
// const MOD: i64 = MOD2;
const UMOD: usize = MOD as usize;
const M_PI: f64 = 3.14159265358979323846;

// use proconio::input;
// const MOD: i64 = INF;

use cmp::Ordering::*;
use std::collections::*;

use std::io::stdin;
use std::io::stdout;
use std::io::Write;

macro_rules! p {
    ($x:expr) => {
        //if expr
        println!("{}", $x);
    };
}

macro_rules! vp {
    // vector print separate with space
    ($x:expr) => {
        println!(
            "{}",
            $x.iter()
                .map(|x| x.to_string())
                .collect::<Vec<_>>()
                .join(" ")
        );
    };
}

macro_rules! d {
    ($x:expr) => {
        eprintln!("{:?}", $x);
    };
}
macro_rules! yn {
    ($val:expr) => {
        if $val {
            println!("Yes");
        } else {
            println!("No");
        }
    };
}

macro_rules! map{
    // declear btreemap
    ($($key:expr => $val:expr),*) => {
        {
            let mut map = ::std::collections::BTreeMap::new();
            $(
                map.insert($key, $val);
            )*
            map
        }
    };
}

macro_rules! set{
    // declear btreemap
    ($($key:expr),*) => {
        {
            let mut set = ::std::collections::BTreeSet::new();
            $(
                set.insert($key);
            )*
            set
        }
    };
}

fn main() {
    solve();
}

// use str::Chars;
#[allow(dead_code)]
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()
}

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

#[allow(dead_code)]
fn read_mat<T: std::str::FromStr>(n: u32) -> Vec<Vec<T>> {
    (0..n).map(|_| read_vec()).collect()
}

#[allow(dead_code)]
fn readii() -> (i64, i64) {
    let mut vec: Vec<i64> = read_vec();
    (vec[0], vec[1])
}

#[allow(dead_code)]
fn readiii() -> (i64, i64, i64) {
    let mut vec: Vec<i64> = read_vec();
    (vec[0], vec[1], vec[2])
}
#[allow(dead_code)]
fn readuu() -> (usize, usize) {
    let mut vec: Vec<usize> = read_vec();
    (vec[0], vec[1])
}

#[allow(dead_code)]
fn readff() -> (f64, f64) {
    let mut vec: Vec<f64> = read_vec();
    (vec[0], vec[1])
}

fn readcc() -> (char, char) {
    let mut vec: Vec<char> = read_vec();
    (vec[0], vec[1])
}

fn readuuu() -> (usize, usize, usize) {
    let mut vec: Vec<usize> = read_vec();
    (vec[0], vec[1], vec[2])
}
#[allow(dead_code)]
fn readiiii() -> (i64, i64, i64, i64) {
    let mut vec: Vec<i64> = read_vec();
    (vec[0], vec[1], vec[2], vec[3])
}

#[allow(dead_code)]
fn readuuuu() -> (usize, usize, usize, usize) {
    let mut vec: Vec<usize> = read_vec();
    (vec[0], vec[1], vec[2], vec[3])
}

fn read_imat(h: usize) -> Vec<Vec<i64>> {
    (0..h).map(|_| read_vec()).collect()
}
fn read_cmat(h: usize) -> Vec<Vec<char>> {
    (0..h).map(|_| read::<String>().chars().collect()).collect()
}

pub struct Dsu {
    n: usize,
    // root node: -1 * component size
    // otherwise: parent
    parent_or_size: Vec<i32>,
}

impl Dsu {
    // 0 <= size <= 10^8 is constrained.
    pub fn new(size: usize) -> Self {
        Self {
            n: size,
            parent_or_size: vec![-1; size],
        }
    }
    pub fn merge(&mut self, a: usize, b: usize) -> usize {
        assert!(a < self.n);
        assert!(b < self.n);
        let (mut x, mut y) = (self.leader(a), self.leader(b));
        if x == y {
            return x;
        }
        if -self.parent_or_size[x] < -self.parent_or_size[y] {
            std::mem::swap(&mut x, &mut y);
        }
        self.parent_or_size[x] += self.parent_or_size[y];
        self.parent_or_size[y] = x as i32;
        x
    }

    pub fn same(&mut self, a: usize, b: usize) -> bool {
        assert!(a < self.n);
        assert!(b < self.n);
        self.leader(a) == self.leader(b)
    }
    pub fn leader(&mut self, a: usize) -> usize {
        assert!(a < self.n);
        if self.parent_or_size[a] < 0 {
            return a;
        }
        self.parent_or_size[a] = self.leader(self.parent_or_size[a] as usize) as i32;
        self.parent_or_size[a] as usize
    }
    pub fn size(&mut self, a: usize) -> usize {
        assert!(a < self.n);
        let x = self.leader(a);
        -self.parent_or_size[x] as usize
    }
    pub fn groups(&mut self) -> Vec<Vec<usize>> {
        let mut leader_buf = vec![0; self.n];
        let mut group_size = vec![0; self.n];
        for i in 0..self.n {
            leader_buf[i] = self.leader(i);
            group_size[leader_buf[i]] += 1;
        }
        let mut result = vec![Vec::new(); self.n];
        for i in 0..self.n {
            result[i].reserve(group_size[i]);
        }
        for i in 0..self.n {
            result[leader_buf[i]].push(i);
        }
        result
            .into_iter()
            .filter(|x| !x.is_empty())
            .collect::<Vec<Vec<usize>>>()
    }
}

fn solve() {
    let (h, w, n, d) = readuuuu();
    let mut dsu = Dsu::new(n);
    let d = d as i64;
    let mut points = vec![];
    let mut point_to_idx = map![];
    let mut idx_to_point = map![];
    let mut vec_point_to_idx = vec![vec![INF as usize; (w) as usize]; (h) as usize];
    for i in 0..n {
        let (a, b) = readii();
        points.push((a - 1, b - 1, i));
        point_to_idx.insert((a - 1, b - 1), i);
        idx_to_point.insert(i, (a - 1, b - 1));
        vec_point_to_idx[a as usize - 1][b as usize - 1] = i;
    }
    let mut sign = set![];
    for i in 0..n {
        let (x, y, idx) = points[i];
        for dx in -d..=d {
            for dy in -d..=d {
                if dx.abs() + dy.abs() > d {
                    continue;
                }
                let nx = x as i64 + dx;
                let ny = y as i64 + dy;
                if nx < 0 || ny < 0 || nx >= h as i64 || ny >= w as i64 {
                    continue;
                }

                if vec_point_to_idx[nx as usize][ny as usize] != INF as usize {
                    let idx2 = vec_point_to_idx[nx as usize][ny as usize];
                    if dsu.same(idx, idx2) {
                        continue;
                    }
                    if idx == idx2 {
                        continue;
                    }
                    // d!((idx, idx2, x, y, nx, ny, dx, dy));
                    dsu.merge(idx, idx2);
                    sign.insert(idx);
                    sign.insert(idx2);
                }
            }
        }
    }
    let mut star = set![];
    // d!((sign.clone()));
    for i in 0..n {
        if !sign.contains(&i) {
            star.insert(i);
        }
    }
    let mut sign_set = set! {};
    for &idx in &sign {
        let leader = dsu.leader(idx);
        sign_set.insert(leader);
    }
    let sign_num = sign_set.len();
    let mut max_sign_num = 0;
    let mut min_sign_num = INF;
    let mut is_sign = vec![vec![0 as usize; (w) as usize]; (h) as usize];
    let mut is_star = vec![vec![0 as usize; (w) as usize]; (h) as usize];
    let mut group = vec![vec![0 as usize; (w) as usize]; (h) as usize];
    for i in 0..n {
        let (x, y, idx) = points[i];
        let leader = dsu.leader(idx);
        if sign.contains(&idx) {
            is_sign[x as usize][y as usize] = 1;
            group[x as usize][y as usize] = leader;
        } else {
            is_star[x as usize][y as usize] = 1;
        }
    }

    // d!((sign))
    for i in 0..h as i64 {
        for j in 0..w as i64 {
            let mut local_sign_set = set! {};
            let mut nsign = 0;
            let mut nstar = 0;
            if point_to_idx.contains_key(&(i, j)) {
                continue;
            }
            for di in -d..=d {
                for dj in -d..=d {
                    if di.abs() + dj.abs() > d {
                        continue;
                    }
                    let ni = i + di;
                    let nj = j + dj;
                    if ni < 0 || nj < 0 || ni >= h as i64 || nj >= w as i64 {
                        continue;
                    }
                    // if point_to_idx.contains_key(&(ni, nj)) {
                    //     let idx = point_to_idx[&(ni, nj)];
                    //     let leader = dsu.leader(idx);
                    //     if sign.contains(&idx) {
                    //         local_sign_set.insert(leader);
                    //     } else {
                    //         nstar += 1;
                    //     }
                    // }
                    if is_sign[ni as usize][nj as usize] == 1 {
                        let leader = group[ni as usize][nj as usize];
                        local_sign_set.insert(leader);
                    } else if is_star[ni as usize][nj as usize] == 1 {
                        nstar += 1;
                    }
                }
            }
            nsign = local_sign_set.len();
            let mut num = 0;
            if nsign == 0 {
                if nstar == 0 {
                    num = sign_num;
                } else {
                    num = sign_num + 1;
                }
            } else {
                num = sign_num - nsign + 1;
            }
            // d!((i, j, num, sign_num, nsign, nstar));
            max_sign_num = max(max_sign_num, num as i64);
            min_sign_num = min(min_sign_num, num as i64);
        }
    }
    // d!(sign_num);
    println!("{} {}", min_sign_num, max_sign_num);
}

yukicoder

結果

テストケース

コンパイルメッセージ

ソースコード