結果
問題 | No.1263 ご注文は数学ですか? |
ユーザー |
|
提出日時 | 2020-10-23 13:04:22 |
言語 | Rust (1.83.0 + proconio) |
結果 |
AC
|
実行時間 | 9 ms / 2,000 ms |
コード長 | 4,422 bytes |
コンパイル時間 | 13,640 ms |
コンパイル使用メモリ | 378,268 KB |
実行使用メモリ | 5,376 KB |
最終ジャッジ日時 | 2024-07-21 10:03:20 |
合計ジャッジ時間 | 14,430 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge4 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 1 |
other | AC * 7 |
ソースコード
#[allow(unused_imports)]use std::cmp::*;#[allow(unused_imports)]use std::collections::*;use std::io::{Write, BufWriter};// https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8macro_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, [graph1; $len:expr]) => {{let mut g = vec![vec![]; $len];let ab = read_value!($next, [(usize1, usize1)]);for (a, b) in ab {g[a].push(b);g[b].push(a);}g}};($next:expr, ( $($t:tt),* )) => {( $(read_value!($next, $t)),* )};($next:expr, [ $t:tt ; $len:expr ]) => {(0..$len).map(|_| read_value!($next, $t)).collect::<Vec<_>>()};($next:expr, chars) => {read_value!($next, String).chars().collect::<Vec<char>>()};($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"));}#[allow(unused)]macro_rules! debug {($($format:tt)*) => (write!(std::io::stderr(), $($format)*).unwrap());}#[allow(unused)]macro_rules! debugln {($($format:tt)*) => (writeln!(std::io::stderr(), $($format)*).unwrap());}/*** Returns the least index of elements that are modified, wrapped with Some.* If the entire array is reversed, it returns None instead.* v's elements must be pairwise distinct.*/fn next_permutation<T: Ord>(v: &mut [T]) -> Option<usize> {let mut tail_dec: usize = 1;let n = v.len();while tail_dec < n {if v[n - tail_dec - 1] > v[n - tail_dec] {tail_dec += 1;} else {break;}}// v[n - tail_dec .. n] is strictly decreasingif tail_dec < n {let x = n - tail_dec - 1;let mut y = n;{let pivot = &v[x];for i in (n - tail_dec .. n).rev() {if v[i] > *pivot {y = i;break;}}assert!(y < n);}v.swap(x, y);}v[n - tail_dec .. n].reverse();if tail_dec < n {Some(n - tail_dec - 1)} else {None}}const MOD: i64 = 1_000_000_007;// Tags: inclusion-exclusion-on-poset, symmetric-groupfn solve() {let out = std::io::stdout();let mut out = BufWriter::new(out.lock());macro_rules! puts {($($format:tt)*) => (let _ = write!(out,$($format)*););}input!(x: usize);let mut p: Vec<_> = (0..x).collect();let mut hm = HashMap::new();loop {let mut vis = vec![false; x];let mut part = vec![];for i in 0..x {if vis[i] {continue;}vis[i] = true;let mut v = p[i];let mut c = 1;while !vis[v] {vis[v] = true;v = p[v];c += 1;}part.push(c);}part.sort();*hm.entry(part).or_insert(0) += 1;if let None = next_permutation(&mut p) {break;}}eprintln!("{:?}", hm);let mut prod = 1;for (part, x) in hm {let mut sgn = 1;for p in part {if p % 2 == 0 {sgn = -sgn;}}if sgn == -1 {prod = MOD - prod;}prod = prod * x % MOD;}puts!("{}\n", prod);}fn main() {// In order to avoid potential stack overflow, spawn a new thread.let stack_size = 104_857_600; // 100 MBlet thd = std::thread::Builder::new().stack_size(stack_size);thd.spawn(|| solve()).unwrap().join().unwrap();}