結果
| 問題 | No.1106 🦉 何事もバランスが大事 |
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2020-07-12 14:29:35 |
| 言語 | Rust (1.83.0 + proconio) |
| 結果 |
AC
|
| 実行時間 | 2 ms / 2,000 ms |
| コード長 | 4,043 bytes |
| コンパイル時間 | 12,232 ms |
| コンパイル使用メモリ | 376,552 KB |
| 実行使用メモリ | 5,248 KB |
| 最終ジャッジ日時 | 2024-10-15 02:24:43 |
| 合計ジャッジ時間 | 14,641 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 5 |
| other | AC * 77 |
ソースコード
#[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, [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());
}
// ref: https://kuretchi.github.io/blog/entries/automaton-dp/
fn digital_dp<F, G>(alpha: &[i32], act: F, a: &[i32],
n: usize, trans: G, init: &[usize]) -> Vec<Vec<[i64; 2]>>
where F: Fn(i64, i32) -> i64, G: Fn(usize, i32) -> Option<usize> {
let len = a.len();
let mut dp = vec![vec![[0; 2]; n]; len + 1];
for &v in init {
dp[0][v][1] = 1;
}
for i in 0..len {
for j in 0..n {
for eq in 0..2 {
let val = dp[i][j][eq];
for &c in alpha {
if eq == 1 && c > a[i] {
continue;
}
if let Some(to) = trans(j, c) {
dp[i + 1][to][eq & if c == a[i] { 1 } else { 0 }]
+= act(val, c);
}
}
}
}
}
dp
}
fn solve() {
let out = std::io::stdout();
let mut out = BufWriter::new(out.lock());
macro_rules! puts {
($($format:tt)*) => (let _ = write!(out,$($format)*););
}
input!(n: i64);
const N: usize = 30;
let alpha = [-2, -1, 0, 1, 2];
let mut dig = vec![0; N];
let mut v = n;
for i in 0..N {
let mut r = v % 5;
if r >= 3 { r -= 5; }
dig[N - 1 - i] = r as i32;
v = (v - r) / 5;
}
let act = |a: i64, _c: i32| a;
let trans = |st: usize, c: i32| {
let (delta, zero) = ((st / 2) as i32, st % 2);
if zero == 1 && c < 0 {
return None;
}
if delta + c < 0 || delta + c >= 4 * N as i32 {
return None;
}
Some(2 * (delta + c) as usize + (zero & if c == 0 { 1 } else { 0 }))
};
let dp = digital_dp(&alpha, act, &dig, 8 * N, trans, &[4 * N + 1]);
puts!("{}\n", dp[N][4 * N][0] + dp[N][4 * N][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();
}