結果

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

ソースコード

diff #
raw source code 

from collections import deque, defaultdict, Counter
from bisect import bisect_left, bisect_right
from itertools import permutations, combinations, groupby
from heapq import heappop, heappush
import math, sys
input = lambda: sys.stdin.readline().rstrip("\r\n")
def printl(li, sep=" "): print(sep.join(map(str, li)))
def yn(flag): print(Yes if flag else No)
_int = lambda x: int(x)-1
MOD = 998244353 #10**9+7
INF = 1<<60
Yes, No = "Yes", "No"

N, K = map(int, input().split())
A = list(map(int, input().split()))
B = list(map(int, input().split()))

def div(num):
    ret = []
    i = 1
    while i*i <= num:
        if num%i == 0:
            ret.append(i)
            if i*i < num: ret.append(num//i)
        i += 1
    return ret

D = []
for i in range(N):
    D.append(div(A[i]))

def check(m):
    res = 0
    for i in range(N):
        mn = INF
        for d in D[i]:
            if d < m: continue
            if B[i]%d == 0:
                mn = 0
                break
            else:
                tmp = -(-B[i]//d)*d - B[i]
                if mn > tmp: mn = tmp
        res += mn
        if res > K: return False
    return True

l, r = 1, 10**5+1
while r-l > 1:
    m = (l+r)//2
    if check(m): l = m
    else: r = m
print(l)
0