結果

問題 No.186 中華風 (Easy)
ユーザー rulerruler
提出日時 2022-08-20 17:08:02
言語 Rust
(1.77.0)
結果
AC  
実行時間 1 ms / 2,000 ms
コード長 1,947 bytes
コンパイル時間 1,390 ms
コンパイル使用メモリ 165,376 KB
実行使用メモリ 5,376 KB
最終ジャッジ日時 2024-04-17 15:26:43
合計ジャッジ時間 1,378 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,376 KB
testcase_02 AC 1 ms
5,376 KB
testcase_03 AC 1 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 1 ms
5,376 KB
testcase_06 AC 1 ms
5,376 KB
testcase_07 AC 1 ms
5,376 KB
testcase_08 AC 1 ms
5,376 KB
testcase_09 AC 1 ms
5,376 KB
testcase_10 AC 1 ms
5,376 KB
testcase_11 AC 1 ms
5,376 KB
testcase_12 AC 1 ms
5,376 KB
testcase_13 AC 0 ms
5,376 KB
testcase_14 AC 1 ms
5,376 KB
testcase_15 AC 1 ms
5,376 KB
testcase_16 AC 1 ms
5,376 KB
testcase_17 AC 1 ms
5,376 KB
testcase_18 AC 1 ms
5,376 KB
testcase_19 AC 1 ms
5,376 KB
testcase_20 AC 1 ms
5,376 KB
testcase_21 AC 1 ms
5,376 KB
testcase_22 AC 1 ms
5,376 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

pub fn read<T: std::str::FromStr>() -> T {
    use std::io::Read;
    std::io::stdin()
        .lock()
        .by_ref()
        .bytes()
        .map(|c| c.unwrap() as char)
        .skip_while(|c| c.is_whitespace())
        .take_while(|c| !c.is_whitespace())
        .collect::<String>()
        .parse::<T>()
        .ok()
        .unwrap()
}
pub fn extgcd(a: i64, b: i64) -> (i64, i64, i64) {
    if b == 0 {
        return if a < 0 { (-a, -1, 0) } else { (a, 1, 0) };
    }
    let (g, s, t) = extgcd(b, a % b);
    (g, t, s - a / b * t)
}
pub fn crt(mr: &[(i64, i64)]) -> Option<(i64, i64)> {
    let (mut m, mut r) = (1, 0);
    for &(mut m1, mut r1) in mr.iter() {
        assert!(m1 > 0);
        // r1 %= m1;
        r1 = r1.rem_euclid(m1);
        use std::mem::swap;
        if m < m1 {
            swap(&mut m, &mut m1);
            swap(&mut r, &mut r1);
        }
        if m % m1 == 0 {
            if r % m1 != r1 {
                return None;
            }
            // continue;
        }
        let (g, inv_u, _) = extgcd(m, m1);
        if (r1 - r) % g != 0 {
            return None;
        }
        let u1 = m1 / g;
        let x = (r1 - r) / g % u1 * inv_u % u1;
        dbg!(x, r1, r);
        r += x * m;
        m *= u1;
        if r < 0 {
            r += m;
        }
        assert!(0 <= r && r < m);
        dbg!(r, m);
    }
    if r < 0 {
        r += m;
    }
    assert!(0 <= r && r < m);
    Some((m, r))
}
pub fn main() {
    use std::io::Write;
    let out = std::io::stdout();
    let writer = &mut std::io::BufWriter::new(out.lock());
    let mr: Vec<_> = (0..3)
        .map(|_| {
            let r: i64 = read();
            let m: i64 = read();
            (m, r)
        })
        .collect();
    if let Some((m, mut r)) = crt(&mr) {
        if r == 0 {
            r += m;
        }
        writeln!(writer, "{}", r).unwrap();
    } else {
        writeln!(writer, "{}", -1).unwrap();
    }
}
0