結果

問題 No.3461 Min GCD
コンテスト
ユーザー 👑 loop0919
提出日時 2026-02-28 15:25:44
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
TLE  
実行時間 -
コード長 1,124 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 401 ms
コンパイル使用メモリ 77,976 KB
実行使用メモリ 459,672 KB
最終ジャッジ日時 2026-02-28 15:26:02
合計ジャッジ時間 12,831 ms
ジャッジサーバーID
（参考情報） 		judge7 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 18 TLE * 1 -- * 2
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import math
import sys
from itertools import accumulate

input = sys.stdin.readline

LIMIT = 10**5 + 10
INF = 10**12


def factorize(n):
    factorized = []
    for i in range(1, math.isqrt(n) + 1):
        if n % i == 0:
            factorized.append(i)
            factorized.append(n // i)

    if math.isqrt(n) ** 2 == n:
        factorized.pop()

    return factorized


N, K = [int(s) for s in input().split()]
A = [int(s) for s in input().split()]
B = [int(s) for s in input().split()]

need_op = [dict() for _ in range(N)]

for i, (a, b) in enumerate(zip(A, B)):
    for fac in factorize(a):
        need_op[i][fac] = (fac - b) % fac

    min_cnt = INF

    for key in sorted(need_op[i], reverse=True):
        min_cnt = min(need_op[i][key], min_cnt)
        need_op[i][key] = min_cnt

keys = [list(sorted(need_op[i])) for i in range(N)]

imos = [0] * LIMIT
for i in range(N):
    for curr, to in zip(keys[i], keys[i][1:]):
        imos[curr] += need_op[i][to]
        imos[to] -= need_op[i][to]

    imos[keys[i][-1]] += INF

imos = [0] + list(accumulate(imos))

print(max(i for i in range(LIMIT) if imos[i] <= K))
0