#[allow(unused_imports)] use std::cmp::*; #[allow(unused_imports)] use std::collections::*; use std::io::{Write, BufWriter}; // https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8 macro_rules! input { ($($r:tt)*) => { let stdin = std::io::stdin(); let mut bytes = std::io::Read::bytes(std::io::BufReader::new(stdin.lock())); let mut next = move || -> String{ bytes.by_ref().map(|r|r.unwrap() as char) .skip_while(|c|c.is_whitespace()) .take_while(|c|!c.is_whitespace()) .collect() }; input_inner!{next, $($r)*} }; } macro_rules! input_inner { ($next:expr) => {}; ($next:expr,) => {}; ($next:expr, $var:ident : $t:tt $($r:tt)*) => { let $var = read_value!($next, $t); input_inner!{$next $($r)*} }; } macro_rules! read_value { ($next:expr, ( $($t:tt),* )) => { ($(read_value!($next, $t)),*) }; ($next:expr, [ $t:tt ; $len:expr ]) => { (0..$len).map(|_| read_value!($next, $t)).collect::>() }; ($next:expr, chars) => { read_value!($next, String).chars().collect::>() }; ($next:expr, usize1) => (read_value!($next, usize) - 1); ($next:expr, [ $t:tt ]) => {{ let len = read_value!($next, usize); read_value!($next, [$t; len]) }}; ($next:expr, $t:ty) => ($next().parse::<$t>().expect("Parse error")); } trait Change { fn chmax(&mut self, x: Self); fn chmin(&mut self, x: Self); } impl Change for T { fn chmax(&mut self, x: T) { if *self < x { *self = x; } } fn chmin(&mut self, x: T) { if *self > x { *self = x; } } } fn powmod(x: i64, mut e: i64, m: i64) -> i64 { let mut sum = 1; let mut cur = x % m; while e > 0 { if e % 2 != 0 { sum = sum * cur % m; } cur = cur * cur % m; e /= 2; } sum } // p must be prime. // Returns (B, H) where HB = A, rows(B) = rank(A) // A: n * m, B: r * m, H: n * r fn find_basis_mod_p(a: &[Vec], p: i64) -> (Vec>, Vec>) { let n = a.len(); let m = a[0].len(); let aold = a.clone(); let mut a = a.to_vec(); let mut pos = vec![]; let mut c = 0; let mut r = n; // TODO no pivoting for i in 0..n { while c < m && a[i][c] == 0 { c += 1; } if c >= m { r = i; break; } pos.push(c); let aic = a[i][c]; let aicinv = powmod(aic, p - 2, p); a[i][c] = 1.into(); for j in c + 1..m { a[i][j] *= aicinv; a[i][j] %= p; } for j in 0..n { if i == j { continue; } let ajc = a[j][c]; a[j][c] = 0; for k in c + 1..m { let val = ajc * a[i][k] % p; a[j][k] -= val; if a[j][k] < 0 { a[j][k] += p; } } } } let mut tr = vec![vec![0; r]; n]; for i in 0..n { let mut cur = aold[i].clone(); for j in 0..r { let idx = pos[j]; let val = cur[idx]; tr[i][j] = val; for k in idx..m { cur[k] -= val * a[j][k] % p; if cur[k] < 0 { cur[k] += p; } } } assert!(cur.iter().all(|&x| x == 0), "{:?}", cur); } (a[..r].to_vec(), tr) } // https://yukicoder.me/problems/no/2405 (3.5) // 行列のランクを r としたとき、最適値は NM あるいは r(N + M) のどちらかと思われる。(つまり行列 1 個か 2 個) // -> WA。ランクが 0 のとき (行列がゼロのとき) にも 1 行は必要。 fn main() { // In order to avoid potential stack overflow, spawn a new thread. let stack_size = 104_857_600; // 100 MB let thd = std::thread::Builder::new().stack_size(stack_size); thd.spawn(|| solve()).unwrap().join().unwrap(); } fn solve() { let out = std::io::stdout(); let mut out = BufWriter::new(out.lock()); macro_rules! puts {($($format:tt)*) => (let _ = write!(out,$($format)*););} #[allow(unused)] macro_rules! putvec { ($v:expr) => { for i in 0..$v.len() { puts!("{}{}", $v[i], if i + 1 == $v.len() {"\n"} else {" "}); } } } input! { p: i64, n: usize, m: usize, a: [[i64; m]; n], } let (b, h) = find_basis_mod_p(&a, p); let r = b.len(); if r * (m + n) > n * m || (r == 0 && m + n > n * m) { puts!("1\n{} {}\n", n, m); for i in 0..n { putvec!(a[i]); } return; } if r == 0 { puts!("2\n{} {}\n", n, 1); for _ in 0..n { puts!("0\n"); } puts!("{} {}\n", 1, m); let v = vec![0; m]; putvec!(v); return; } puts!("2\n{} {}\n", n, r); for i in 0..n { putvec!(h[i]); } puts!("{} {}\n", r, m); for i in 0..r { putvec!(b[i]); } }