結果

問題 No.3461 Min GCD
コンテスト
ユーザー detteiuu
提出日時 2026-02-28 14:42:48
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
TLE  
実行時間 -
コード長 2,078 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 282 ms
コンパイル使用メモリ 78,404 KB
実行使用メモリ 499,940 KB
最終ジャッジ日時 2026-02-28 14:43:03
合計ジャッジ時間 12,041 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge7
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 20 TLE * 1
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

from math import gcd

class Eratosthenes:
    def __init__(self, n):
        self.isPrime = [True]*(n+1)
        self.minfactor = [-1]*(n+1)
        self.isPrime[0], self.isPrime[1] = False, False
        self.minfactor[1] = 1
        for i in range(2, n+1):
            if self.isPrime[i]:
                self.minfactor[i] = i
                for j in range(i*i, n+1, i):
                    self.isPrime[j] = False
                    if self.minfactor[j] == -1:
                        self.minfactor[j] = i
    
    def factorize(self, n):
        factor = []
        while n > 1:
            p = self.minfactor[n]
            cnt = 0
            while self.minfactor[n] == p:
                n //= p
                cnt += 1
            factor.append((p, cnt))
        return factor
    
    def divisor(self, n):
        ans = [1]
        pf = self.factorize(n)
        for p, c in pf:
            L = len(ans)
            for i in range(L):
                v = 1
                for _ in range(c):
                    v *= p
                    ans.append(ans[i]*v)
        return sorted(ans)

INF = 1<<60

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

def func(limit):
    ans = 0
    for i in range(N):
        left = -1
        right = len(C[i])
        while left+1 < right:
            mid = (left+right)//2
            if C[i][mid][0] < limit:
                left = mid
            else:
                right = mid
        ans += C[i][right][1]
    return ans

E = Eratosthenes(10**5)
C = []
for i in range(N):
    GCD = gcd(A[i], B[i])
    div = E.divisor(A[i])
    stack = [(GCD, 0)]
    for d in div:
        if d <= GCD:
            continue
        cnt = (d-B[i])%d
        while stack and cnt <= stack[-1][1]:
            stack.pop()
        stack.append((d, cnt))
    C.append(stack)
for i in range(N):
    C[i].sort(key=lambda x:x[0])

left = 1
right = min(A)+1
while left+1 < right:
    mid = (left+right)//2
    if func(mid) <= K:
        left = mid
    else:
        right = mid

print(left)
0