結果

問題 No.3461 Min GCD
コンテスト
ユーザー tassei903
提出日時 2026-02-28 14:14:06
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
AC  
実行時間 858 ms / 2,000 ms
コード長 1,070 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 216 ms
コンパイル使用メモリ 77,704 KB
実行使用メモリ 104,260 KB
最終ジャッジ日時 2026-02-28 14:14:17
合計ジャッジ時間 10,584 ms
ジャッジサーバーID
（参考情報） 		judge7 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################


"""
gcd(a, b + x) >= M

a = 12
g | a であって
g | b + x となる g の最大値

ある g >= M が存在して
g | a
g | b + x


"""

N = 10 ** 5 + 1
n, k = na()
a = na()
b = na()
div = [[] for i in range(N)]
for i in range(1, N):
    for j in range(i, N, i):
        div[j].append(i)


def check(M):
    s = 0
    for i in range(n):
        z = 10 ** 12
        for g in div[a[i]][::-1]:
            if g < M:
                break
            z = min(z, (-b[i]) % g)
        s += z
        if s > k:
            return False
    # print(M, s)
    return s <= k


ok = 0
ng = 10 ** 5 + 10
while abs(ok - ng) > 1:
    mid = ok + ng >> 1
    if check(mid):
        ok = mid
    else:
        ng = mid

print(ok)
0