結果

問題 No.1078 I love Matrix Construction
ユーザー StrorkisStrorkis
提出日時 2020-06-13 14:05:51
言語 Rust
(1.77.0 + proconio)
結果
AC  
実行時間 264 ms / 2,000 ms
コード長 4,065 bytes
コンパイル時間 12,475 ms
コンパイル使用メモリ 393,652 KB
実行使用メモリ 60,240 KB
最終ジャッジ日時 2024-06-25 03:04:01
合計ジャッジ時間 17,289 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge1
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 22 ms
10,368 KB
testcase_03 AC 75 ms
23,820 KB
testcase_04 AC 117 ms
32,356 KB
testcase_05 AC 105 ms
27,136 KB
testcase_06 AC 20 ms
10,112 KB
testcase_07 AC 8 ms
5,376 KB
testcase_08 AC 100 ms
27,628 KB
testcase_09 AC 4 ms
5,376 KB
testcase_10 AC 264 ms
60,240 KB
testcase_11 AC 127 ms
34,164 KB
testcase_12 AC 217 ms
49,536 KB
testcase_13 AC 231 ms
55,808 KB
testcase_14 AC 153 ms
39,168 KB
testcase_15 AC 225 ms
52,956 KB
testcase_16 AC 7 ms
5,376 KB
testcase_17 AC 1 ms
5,376 KB
testcase_18 AC 17 ms
8,064 KB
testcase_19 AC 50 ms
16,000 KB
testcase_20 AC 44 ms
15,616 KB
testcase_21 AC 2 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

struct SCC {
    n: usize,
    graph: Vec<Vec<usize>>,
    rev_graph: Vec<Vec<usize>>,
    post_order: Vec<usize>,
    component: Vec<usize>,
}

impl SCC {
    fn new(n: usize) -> SCC {
        SCC {
            n,
            graph: vec![Vec::new(); n],
            rev_graph: vec![Vec::new(); n],
            component: vec![n; n],
            post_order: Vec::with_capacity(n),
        }
    }

    fn add_edge(&mut self, from: usize, to: usize) {
        self.graph[from].push(to);
        self.rev_graph[to].push(from);
    }

    fn dfs(&mut self, from: usize) {
        self.component[from] = self.n + 1;
        for to in self.graph[from].to_owned() {
            if self.component[to] == self.n {
                self.dfs(to);
            }
        }
        self.post_order.push(from);
    }
    
    fn rev_dfs(&mut self, from: usize, k: usize) {
        self.component[from] = k;
        for to in self.rev_graph[from].to_owned() {
            if self.component[to] > self.n {
                self.rev_dfs(to, k);
            }
        }
    }

    fn solve(&mut self) {
        for i in 0..self.n {
            if self.component[i] == self.n {
                self.dfs(i);
            }
        }

        let mut k: usize = 0;
        for i in (0..self.n).rev() {
            if self.component[self.post_order[i]] > self.n {
                self.rev_dfs(self.post_order[i], k);
                k += 1;
            }
        }
    }
}

struct TwoSAT {
    n: usize,
    scc: SCC,
}

impl TwoSAT {
    fn new(n: usize) -> TwoSAT {
        TwoSAT {
            n,
            scc: SCC::new(n * 2),
        }
    }

    fn add_closure(&mut self, x: usize, y: usize) {
        self.scc.add_edge((x + self.n) % (self.n * 2), y);
        self.scc.add_edge((y + self.n) % (self.n * 2), x);
    }

    fn solve(&mut self) -> Option<Vec<bool>> {
        self.scc.solve();

        let mut res = vec![false; self.n];
        for i in 0..self.n {
            if self.scc.component[i] == self.scc.component[i + self.n] {
                return None;
            }
            res[i] = self.scc.component[i] > self.scc.component[i + self.n];
        }

        Some(res)
    }
}

use std::io::{BufRead, Write};

fn main() {
    let stdin = std::io::stdin();
    let stdout = std::io::stdout();
    let mut reader = std::io::BufReader::new(stdin.lock());
    let mut writer = std::io::BufWriter::new(stdout.lock());

    let n: usize = {
        let mut buf = String::new();
        reader.read_line(&mut buf).unwrap();
        buf.trim_end().parse().unwrap()
    };

    let s: Vec<usize> = {
        let mut buf = String::new();
        reader.read_line(&mut buf).unwrap();
        let iter = buf.split_whitespace();
        iter.map(|x| x.parse::<usize>().unwrap() - 1).collect()
    };

    let t: Vec<usize> = {
        let mut buf = String::new();
        reader.read_line(&mut buf).unwrap();
        let iter = buf.split_whitespace();
        iter.map(|x| x.parse::<usize>().unwrap() - 1).collect()
    };

    let u: Vec<usize> = {
        let mut buf = String::new();
        reader.read_line(&mut buf).unwrap();
        let iter = buf.split_whitespace();
        iter.map(|x| x.parse().unwrap()).collect()
    };

    let m = n * n;
    let mut two_sat = TwoSAT::new(m);

    for i in 0..n {
        for j in 0..n {
            match u[i] {
                0 => two_sat.add_closure(s[i] * n + j, j * n + t[i]),
                1 => two_sat.add_closure(s[i] * n + j + m, j * n + t[i]),
                2 => two_sat.add_closure(s[i] * n + j, j * n + t[i] + m),
                _ => two_sat.add_closure(s[i] * n + j + m, j * n + t[i] + m),
            }
        }
    }

    let ans = two_sat.solve();
    let ans = match ans {
        Some(res) => res,
        None => {
            writeln!(writer, "-1").unwrap();
            return;    
        }
    };

    for (i, &value) in ans.iter().enumerate() {
        write!(writer, "{}", if value { 1 } else { 0 }).unwrap();
        write!(writer, "{}", if i % n < n - 1 { ' ' } else { '\n' }).unwrap();
    }
}
0