結果

問題 No.186 中華風 (Easy)
ユーザー terasaterasa
提出日時 2022-12-13 13:31:23
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 1,880 bytes
コンパイル時間 216 ms
コンパイル使用メモリ 82,288 KB
実行使用メモリ 70,532 KB
最終ジャッジ日時 2024-11-07 09:06:28
合計ジャッジ時間 2,958 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 68 ms
68,608 KB
testcase_01 AC 69 ms
68,608 KB
testcase_02 AC 70 ms
68,352 KB
testcase_03 AC 67 ms
68,352 KB
testcase_04 AC 72 ms
68,352 KB
testcase_05 AC 68 ms
68,352 KB
testcase_06 AC 70 ms
68,352 KB
testcase_07 AC 72 ms
68,608 KB
testcase_08 AC 70 ms
68,736 KB
testcase_09 AC 70 ms
68,992 KB
testcase_10 AC 69 ms
68,224 KB
testcase_11 AC 67 ms
68,352 KB
testcase_12 AC 68 ms
68,608 KB
testcase_13 AC 69 ms
68,608 KB
testcase_14 AC 70 ms
68,352 KB
testcase_15 AC 68 ms
68,352 KB
testcase_16 WA -
testcase_17 WA -
testcase_18 AC 69 ms
68,736 KB
testcase_19 AC 71 ms
68,352 KB
testcase_20 AC 70 ms
68,608 KB
testcase_21 AC 69 ms
68,352 KB
testcase_22 AC 67 ms
68,096 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

from typing import List, Tuple, Callable, TypeVar, Optional
import sys
import itertools
import heapq
import bisect
import math
from collections import deque, defaultdict
from functools import lru_cache, cmp_to_key
import string

input = sys.stdin.readline

if __file__ != 'prog.py':
    sys.setrecursionlimit(10 ** 6)


def readints(): return map(int, input().split())
def readlist(): return list(readints())
def readstr(): return input()[:-1]


def extgcd(a: int, b: int) -> Tuple[int, int, int]:
    """solve ax + by = gcd(a, b)"""
    x, y, u, v = 1, 0, 0, 1
    while b:
        q, r = divmod(a, b)
        x -= q * u
        y -= q * v
        x, u = u, x
        y, v = v, y
        a, b = b, r
    return a, x, y


def crt(P: Tuple[int, int]) -> Tuple[int, int]:
    """return the smallest x that satisfies x ≡ a (mod m) for all (a, m) pairs and lcm(M)
    # reference: https://qiita.com/drken/items/ae02240cd1f8edfc86fd
    """
    """
    if there exist x s.t. x ≡ a1 (mod m1) and x ≡ a2 (mod m2),
    let g = gcd(m1, m2).
    since m1 and m2 are multiple of g, x ≡ a1 (mod g) and x ≡ a2 (mod g).
    therefore a1 ≡ a2 (mod g).

    there exist (p, q) s.t. m1 * p + m2 * q = gcd(m1, m2). (this can be obtained by extgcd)
    let g = gcd(m1, m2) and s = (a2 - a1) / g
    then m1 * p + m2 * q = g
    <=> m1 * p + m2 * q = (a2 - a1) / s
    <=> s * m1 * p + s * m2 * q = a2 - a1
    <=> a1 + s + m1 + p = a2 - s * m2 * q

    let x = a1 + s * m1 * p (= a2 - s * m2 * q)
    then x ≡ a1 (mod m1), x ≡ a2 (mod m2).
    """
    r = 0
    M = 1
    for a, m in P:
        g, p, q = extgcd(M, m)
        if (a - r) % g != 0:
            return (0, -1)
        s = (a - r) // g
        tmp = s * p % (m // g)
        r += M * tmp
        M *= m // g
    return (r, M)


P = [tuple(readints()) for _ in range(3)]
ans, lcm = crt(P)
print(ans if lcm != -1 else -1)
0