結果

問題 No.460 裏表ちわーわ
ユーザー koba-e964koba-e964
提出日時 2017-02-16 16:00:59
言語 Rust
(1.77.0)
結果
AC  
実行時間 70 ms / 2,000 ms
コード長 3,905 bytes
コンパイル時間 742 ms
コンパイル使用メモリ 149,980 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-08-28 17:39:11
合計ジャッジ時間 3,158 ms
ジャッジサーバーID
（参考情報） 		judge15 / judge12
このコードへのチャレンジ（β）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
4,380 KB
testcase_01 AC 1 ms
4,380 KB
testcase_02 AC 5 ms
4,376 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 1 ms
4,380 KB
testcase_05 AC 61 ms
4,380 KB
testcase_06 AC 60 ms
4,376 KB
testcase_07 AC 60 ms
4,376 KB
testcase_08 AC 69 ms
4,376 KB
testcase_09 AC 1 ms
4,380 KB
testcase_10 AC 68 ms
4,380 KB
testcase_11 AC 61 ms
4,380 KB
testcase_12 AC 61 ms
4,376 KB
testcase_13 AC 70 ms
4,376 KB
testcase_14 AC 69 ms
4,380 KB
testcase_15 AC 69 ms
4,376 KB
testcase_16 AC 60 ms
4,376 KB
testcase_17 AC 70 ms
4,376 KB
testcase_18 AC 69 ms
4,380 KB
testcase_19 AC 69 ms
4,376 KB
testcase_20 AC 62 ms
4,380 KB
testcase_21 AC 69 ms
4,380 KB
testcase_22 AC 69 ms
4,376 KB
testcase_23 AC 69 ms
4,380 KB
testcase_24 AC 68 ms
4,384 KB
testcase_25 AC 1 ms
4,380 KB
testcase_26 AC 1 ms
4,376 KB
testcase_27 AC 1 ms
4,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#[allow(unused_imports)]
use std::cmp::*;
#[allow(unused_imports)]
use std::collections::*;
use std::io::*;
#[allow(dead_code)]
fn getline() -> String {
    let mut ret = String::new();
    std::io::stdin().read_line(&mut ret).ok();
    return ret;
}
fn get_word() -> String {
    let mut stdin = std::io::stdin();
    let mut u8b: [u8; 1] = [0];
    loop {
        let mut buf: Vec<u8> = Vec::with_capacity(16);
        loop {
            let res = stdin.read(&mut u8b);
            if res.unwrap_or(0) == 0 || u8b[0] <= b' ' {
                break;
            } else {
                buf.push(u8b[0]);
            }
        }
        if buf.len() >= 1 {
            let ret = std::string::String::from_utf8(buf).unwrap();
            return ret;
        }
    }
}
fn parse<T: std::str::FromStr>(s: &str) -> T { s.parse::<T>().ok().unwrap() }

#[allow(dead_code)]
fn get<T: std::str::FromStr>() -> T { parse(&get_word()) }

/*
 * Find an assignment (result) s.t. xor_i a[i] * result[i] = b (in GF(2))
 * Returns Some if such an assignment was found, None otherwise.
 */
fn gauss_elim_gf2_i64(basis: &[i64], mut b: i64) -> Option<Vec<bool>> {
    let n = basis.len();
    let mut a = basis.to_vec();
    let mut c = 0;
    let mut revmap = Vec::new();
    let w = 64; // i64's size
    for r in 0 .. w {
        if c >= n {
            break;
        }
        let mut c2 = None;
        for i in c .. n {
            if (a[i] & 1 << r) != 0 {
                c2 = Some(i);
                break;
            }
        }
        if c2 == None {
            revmap.push(None);
            continue;
        }
        a.swap(c, c2.unwrap());
        let rm = a[c] & -(1 << r) << 1;
        a[c] ^= rm;
        for k in c + 1 .. n {
            if (a[k] & 1 << r) != 0 {
                a[k] ^= rm;
            }
        }
        if (b & 1 << r) != 0 {
            b ^= rm;
        }
        revmap.push(Some(c));
        c += 1;
    }
    // recover
    let rank = revmap.len();
    let mut result = vec![false; n];
    for i in (0 .. rank).rev() {
        if (b & 1 << i) != 0 {
            match revmap[i] {
                None => return None,
                Some(c) => {
                    b ^= a[c];
                    result[c] = true;
                },
            }
        }
    }
    if b == 0 {
        Some(result)
    } else {
        None
    }
}

fn solve(board: i64, m: usize, n: usize) -> Option<usize> {
    let mut basis = Vec::new();
    let mut varbasis = Vec::new();
    for i in 0 .. m {
        for j in 0 .. n {
            let mut v: i64 = 0;
            for dx in -1 .. 2 {
                for dy in -1 .. 2 {
                    let ni = i as i32 + dx;
                    let nj = j as i32 + dy;
                    if ni < 0 || ni >= m as i32 || nj < 0 || nj >= n as i32 {
                        continue;
                    }
                    v |= 1i64 << (ni * n as i32 + nj);
                }
            }
            if i > 0 && j > 0 {
                basis.push(v)
            } else {
                varbasis.push(v)
            };
        }
    }
    let q = varbasis.len();
    let mut mi = 100;
    for bits in 0 .. 1usize << q {
        let mut bd = board;
        for i in 0 .. q {
            if (bits & 1 << i) != 0 {
                bd ^= varbasis[i];
            }
        }
        if let Some(x) = gauss_elim_gf2_i64(&basis, bd) {
            mi = min(mi, x.into_iter().filter(|&a| a).count()
                     + bits.count_ones() as usize);
        }
    }
    if mi >= 100 { None } else { Some(mi) }
}

fn main() {
    let m = get();
    let n = get();
    let mut board: i64 = 0;
    for i in 0 .. m {
        for j in 0 .. n {
            let tmp: i64 = get();
            board |= tmp << (i * n + j);
        }
    }
    match solve(board, m, n) {
        Some(x) => println!("{}", x),
        None => println!("Impossible"),
    };
}
0