#345226 (Rust) No.420 mod2漸化式

提出ソース

結果

問題	No.420 mod2漸化式
ユーザー	MasuqaT
提出日時	2019-05-05 19:08:08
言語	Rust (1.77.0 + proconio)
結果	WA
実行時間	-
コード長	5,510 bytes
コンパイル時間	12,537 ms
コンパイル使用メモリ	382,212 KB
実行使用メモリ	6,948 KB
最終ジャッジ日時	2024-06-25 12:39:55
合計ジャッジ時間	13,847 ms
ジャッジサーバーID （参考情報）	judge3 / judge1

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 6,812 KB
testcase_01	WA	-
testcase_02	AC	1 ms 6,816 KB
testcase_03	AC	1 ms 6,944 KB
testcase_04	AC	1 ms 6,940 KB
testcase_05	AC	1 ms 6,944 KB
testcase_06	WA	-
testcase_07	AC	1 ms 6,940 KB
testcase_08	AC	1 ms 6,940 KB
testcase_09	AC	1 ms 6,944 KB
testcase_10	AC	1 ms 6,944 KB
testcase_11	AC	1 ms 6,940 KB
testcase_12	AC	1 ms 6,944 KB
testcase_13	AC	1 ms 6,940 KB
testcase_14	AC	0 ms 6,944 KB
testcase_15	WA	-
testcase_16	WA	-
testcase_17	WA	-
testcase_18	WA	-
testcase_19	WA	-
testcase_20	WA	-
testcase_21	WA	-
testcase_22	WA	-
testcase_23	WA	-
testcase_24	WA	-
testcase_25	WA	-
testcase_26	WA	-
testcase_27	WA	-
testcase_28	WA	-
testcase_29	WA	-
testcase_30	WA	-
testcase_31	WA	-
testcase_32	WA	-
testcase_33	AC	1 ms 6,944 KB
testcase_34	AC	1 ms 6,944 KB
testcase_35	AC	1 ms 6,940 KB

権限があれば一括ダウンロードができます

コンパイルメッセージ

warning: unused `Result` that must be used
   --> src/main.rs:170:9
    |
170 |         write!(writer, "0 0");
    |         ^^^^^^^^^^^^^^^^^^^^^
    |
    = note: this `Result` may be an `Err` variant, which should be handled
    = note: `#[warn(unused_must_use)]` on by default
    = note: this warning originates in the macro `write` (in Nightly builds, run with -Z macro-backtrace for more info)

warning: unused `Result` that must be used
   --> src/main.rs:215:5
    |
215 |     write!(writer, "{} {}", c, s);
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = note: this `Result` may be an `Err` variant, which should be handled
    = note: this warning originates in the macro `write` (in Nightly builds, run with -Z macro-backtrace for more info)

ソースコード

raw source code

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

macro_rules! input {
    (source = $s:expr, $($r:tt)*) => {
        let mut iter = $s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
    (stdin = $s:expr, $($r:tt)*) => {
        let s = {
            let mut s = String::new();
            $s.read_to_string(&mut s).unwrap();
            s
        };
        let mut iter = s.split_whitespace();
        input_inner!{iter, $($r)*}
    };
}

macro_rules! input_inner {
    ($iter:expr) => {};
    ($iter:expr, ) => {};

    ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
        let $var = read_value!($iter, $t);
        input_inner!{$iter $($r)*}
    };
}

macro_rules! read_value {
    ($iter:expr, ( $($t:tt),* )) => {
        ( $(read_value!($iter, $t)),* )
    };

    ($iter:expr, [ $t:tt ; $len:expr ]) => {
        (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
    };

    ($iter:expr, chars) => {
        read_value!($iter, String).chars().collect::<Vec<char>>()
    };

    ($iter:expr, usize1) => {
        read_value!($iter, usize) - 1
    };

    ($iter:expr, $t:ty) => {
        $iter.next().unwrap().parse::<$t>().expect("Parse error")
    };
}

#[allow(unused_macros)]
macro_rules! assert_judge {
    ($method:ident, $input:expr, $expected:expr) => {
        {
            let input = $input.as_bytes();
            let mut output = Vec::new();

            $method(&input[..], &mut output);

            let output = String::from_utf8(output).expect("Not UTF-8");

            assert_eq!($expected, output);
        }
    };
}

#[allow(unused_macros)]
macro_rules! assert_judge_with_output {
    ($method:ident, $input:expr) => {
        {
            let input = $input.as_bytes();
            let mut output = Vec::new();

            $method(&input[..], &mut output);

            String::from_utf8(output).expect("Not UTF-8")
        }
    };
}

#[allow(unused_macros)]
macro_rules! assert_eq_with_error {
    ($left:expr, $right:expr, $precision:expr) => ({
        match (&$left, &$right, &$precision) {
            (left_val, right_val, precision_val) => {
                if !(*left_val - *precision_val < *right_val && *right_val < *left_val + *precision_val) {
                    // The reborrows below are intentional. Without them, the stack slot for the
                    // borrow is initialized even before the values are compared, leading to a
                    // noticeable slow down.
                    panic!(r#"assertion failed: `(left == right) +- precision`
      left: `{:?}`,
     right: `{:?}`,
 precision: `{:?}`"#, &*left_val, &*right_val, &*precision_val)
                }
            }
        }
    });
}

fn main() {
    let stdio = io::stdin();
    let input = stdio.lock();

    let output = io::stdout();

    process(input, output);
}

// f(0) = 0
// f(1) = f(0) + 1 = 1 :> 1
// f(2) = f(1) + 0 = 1 :> 1
// f(3) = f(1) + 1 = 2 :> 1 + 1
// f(4) = f(2) + 0 = 1 :> 1
// f(5) = f(2) + 1 = 2 :> 1 + 1
// f(6) = f(3) + 0 = 2 :> 1 + 1
// f(7) = f(3) + 1 = 3 :> ?
// f(8) = f(4) + 0 = 1 :> 1
// f(9) = f(4) + 1 = 2 :> 1 + 1
// f(10)= f(5) + 0 = 2 :> 1 + 1
// f(11)= f(5) + 1 = 3 :> ?
// f(12)= f(6) + 0 = 2
// f(13)= f(6) + 1 = 3
// f(14)= f(7) + 0 = 3
// f(15)= f(7) + 1 = 4
// f(16)= f(8) + 0 = 1

// 0 <= n < 2^4
// f(n)==4
// 15: ((0 * 2 + 1 * 2 + 1) * 2 + 1) * 2 + 1
// f(n)==3
//  7: ((0 * 2 + 1 * 2 + 1) * 2 + 1)

// 11: ((0 * 2 + 1 * 2 + 0) * 2 + 1) * 2 + 1
// 13: ((0 * 2 + 1 * 2 + 1) * 2 + 0) * 2 + 1
// 14: ((0 * 2 + 1 * 2 + 1) * 2 + 1) * 2 + 0

// f(n)==2
//  3: ((0 * 2 + 1 * 2 + 1)        )
//  5: ((0 * 2 + 1 * 2 + 0) * 2 + 1)
//  6: ((0 * 2 + 1 * 2 + 1) * 2 + 0)

//  9: ((0 * 2 + 1 * 2 + 0) + 2 + 0) * 2 + 1
// 10: ((0 * 2 + 1 * 2 + 0) * 2 + 1) * 2 + 0
// 12: ((0 * 2 + 1 * 2 + 1) * 2 + 0) * 2 + 0

//fn c(x: u64, max_bits: u8) -> Vec<(u64, u8)> {
//    if x == 1 {
//        return vec![(0, 0), (1, 1)];
//    }
//    let v = c(x - 1, max_bits);
//    return v.iter().flat_map(|v|
//        if v.1 >= max_bits {
//            vec![(v.0 << 1, v.1)]
//        } else {
//            vec![(v.0 << 1, v.1), ((v.0 << 1) | 1_u64, v.1 + 1)]
//        }
//    ).collect();
//}

fn process<R, W>(mut reader: R, mut writer: W) -> () where
    R: BufRead,
    W: Write {
    input! {
        stdin = reader,
        x: u64
    }

    if x > 31 || x == 0 {
        write!(writer, "0 0");
        return;
    }
//    let x = x as u8;
//
//    let mut original_numbers = Vec::new();
//
//    // 32/x && top-bit==1
//    for combi in c(31, x) {
//        if combi.1 != x {
//            continue;
//        }
////        let code = (combi.0 << 1) + 1;
//        let code = combi.0;
//
////        let mut v = 0;
////        // from bottom bit
////        for i in 0..32 {
////            let bottom_bit = (code >> i) & 1;
////            v += v * 2 + bottom_bit;
////        }
//        original_numbers.push(code);
//    }
//
//    write!(writer, "{} {}", original_numbers.len(), original_numbers.iter().sum::<u64>());

    
    // after checking editor's note :(
    let mut c = 1;
    for i in 0..x {
        c *= 31 - i;
    }
    for i in 0..x {
        c /= x - i;
    }

    let mut cs = 1_u64;
    for i in 0..x - 1 {
        cs *= 30 - i;
    }
    for i in 0..x - 1 {
        cs /= x - 1 - i
    }
    let s = (2u64.pow(31) - 1) * cs;

    write!(writer, "{} {}", c, s);
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn sample1() {
        assert_judge!(process, "5", "169911 58851789346035");
    }
}

yukicoder

結果

テストケース

コンパイルメッセージ

ソースコード