結果

問題 No.800 四平方定理
ユーザー MasuqaTMasuqaT
提出日時 2019-08-18 19:45:48
言語 Rust
(1.77.0 + proconio)
結果
AC  
実行時間 154 ms / 2,000 ms
コード長 6,861 bytes
コンパイル時間 11,362 ms
コンパイル使用メモリ 377,684 KB
実行使用メモリ 102,016 KB
最終ジャッジ日時 2024-10-01 14:12:47
合計ジャッジ時間 15,018 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 3 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 AC 2 ms
5,248 KB
testcase_04 AC 2 ms
5,248 KB
testcase_05 AC 2 ms
5,248 KB
testcase_06 AC 2 ms
5,248 KB
testcase_07 AC 3 ms
5,248 KB
testcase_08 AC 4 ms
5,248 KB
testcase_09 AC 2 ms
5,248 KB
testcase_10 AC 67 ms
51,200 KB
testcase_11 AC 74 ms
55,040 KB
testcase_12 AC 68 ms
56,576 KB
testcase_13 AC 53 ms
49,664 KB
testcase_14 AC 68 ms
53,120 KB
testcase_15 AC 71 ms
56,704 KB
testcase_16 AC 67 ms
53,760 KB
testcase_17 AC 68 ms
53,888 KB
testcase_18 AC 86 ms
61,312 KB
testcase_19 AC 87 ms
61,312 KB
testcase_20 AC 1 ms
5,248 KB
testcase_21 AC 1 ms
5,248 KB
testcase_22 AC 86 ms
61,568 KB
testcase_23 AC 154 ms
102,016 KB
testcase_24 AC 130 ms
94,128 KB
testcase_25 AC 145 ms
101,632 KB
testcase_26 AC 1 ms
5,248 KB
testcase_27 AC 2 ms
5,248 KB
testcase_28 AC 128 ms
93,640 KB
testcase_29 AC 133 ms
97,792 KB
testcase_30 AC 130 ms
93,824 KB
testcase_31 AC 118 ms
87,280 KB
testcase_32 AC 131 ms
95,088 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
warning: unused `Result` that must be used
   --> src/main.rs:235:5
    |
235 |     write!(writer, "{}", count);
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^
    |
    = 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)

ソースコード

diff # 

// Macro by MasuqaT (occar421)
// https://github.com/occar421/ProgrammingContest/tree/master/templates/src/standard_io.rs

use std::io;
use std::io::{BufRead, Write};
use std::ops::{Rem, Div, Mul};
use std::fmt::Display;

// From https://qiita.com/tanakh/items/0ba42c7ca36cd29d0ac8
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!(output, $expected);
        }
    };
}

#[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)
                }
            }
        }
    });
}

#[allow(unused_macros)]
macro_rules! assert_judge_with_error {
    ($method:ident, $input:expr, $expected:expr, $t:ty | $precision: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");

            let actual: $t = output.parse().unwrap();
            let expected: $t = $expected.parse().unwrap();

            assert_eq_with_error!(actual, expected, $precision);
        }
    };
}

pub trait GenericInteger: Copy + PartialEq + Rem<Output=Self> + Div<Output=Self> + Mul<Output=Self> {
    fn zero() -> Self;
}

macro_rules! dec_gi {
    () => {};
    ($t:ty $(, $r:ty)*) => {
        impl GenericInteger for $t {
            #[inline]
            fn zero() -> Self { 0 }
        }

        dec_gi![ $( $r ),* ];
    };
}

dec_gi![u8, u16, u32, u64, u128, usize, i8, i16, i32, i64, i128, isize];

#[allow(dead_code)]
pub fn gcd<T>(a: T, b: T) -> T where T: GenericInteger {
    if b == T::zero() {
        a
    } else {
        gcd(b, a % b)
    }
}

#[allow(dead_code)]
#[inline]
pub fn lcm<T>(a: T, b: T) -> T where T: GenericInteger {
    a / gcd(a, b) * b
}

pub trait IterExt<T> where T: Display {
    fn easy_join(&mut self, separator: &str) -> String;
}

impl<TItem, TTrait> IterExt<TItem> for TTrait where TItem: Display, TTrait: Iterator<Item=TItem> {
    #[inline]
    fn easy_join(&mut self, separator: &str) -> String {
        self.map(|i| format!("{}", i)).collect::<Vec<_>>().join(separator)
    }
}

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

    let output = io::stdout();

    process(input, output);
}

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

//    let mut count = 0;
//    for x in 1..=n {
//        for y in x..=n {
//            let sq_min_z = d + 1 - (x * x + y * y);
//            if sq_min_z < 0 || sq_min_z < y * y {
//                println!("{:?}", (x, y, "brk!"));
//                break;
//            }
//            let min_z = (sq_min_z as f64).sqrt() as i64;
//            for z in min_z..=n {
//                let sq_w: i64 = (x * x + y * y + z * z) - d;
//                if sq_w < 0 {
//                    println!("{:?}", (x, y, z, "not enough", sq_w));
//                    continue;
//                }
//                let w = (sq_w as f64).sqrt() as i64;
//                if w * w == sq_w && w <= n {
//                    println!("{:?}", (x, y, z, w));
//                    count += n_diff3(x, y, z);
//                } else {
//                    println!("{:?}", (x, y, z, "wasted", w))
//                }
//            }
//        }
//    }
//
//    write!(writer, "{}", count);

    // after checking editor's note :(
    // x^2 + y^2 + z^2 = w^2 + D
    // x^2 + y^2 = w^2 - z^2 + D
    let mut left_side_memo = vec![0usize; 2 * n * n + d + 1];
    let mut right_side_memo = vec![0usize; 2 * n * n + d + 1];
    for x in 1..=n {
        for y in 1..=n {
            left_side_memo[x * x + y * y] += 1;
        }
    }
    for w in 1..=n {
        for z in 1..=n {
            if let Some(ww_zz_d) = (w * w + d).checked_sub(z * z) {
                right_side_memo[ww_zz_d] += 1;
            }
        }
    }

    let count: usize = left_side_memo.iter().zip(right_side_memo.iter())
        .map(|v| v.0 * v.1).sum();
    write!(writer, "{}", count);
}

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

    #[test]
    fn sample1() {
        assert_judge!(process, "3 2", "7");
    }

    #[test]
    fn sample2() {
        assert_judge!(process, "7 100", "6");
    }

    #[test]
    fn sample3() {
        assert_judge!(process, "1500 1000000", "1911906");
    }

    #[test]
    fn large_05() {
        assert_judge!(process, "1492 0", "744810");
    }
}
0