結果

問題 No.1243 約数加算
コンテスト
ユーザー gew1fw
提出日時 2025-06-12 20:28:15
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 830 ms / 2,000 ms
コード長 2,729 bytes
コンパイル時間 417 ms
コンパイル使用メモリ 81,900 KB
実行使用メモリ 78,244 KB
最終ジャッジ日時 2025-06-12 20:28:29
合計ジャッジ時間 4,316 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 1
other AC * 9
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
import random
import math

def is_prime(n):
    if n < 2:
        return False
    for p in [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37]:
        if n % p == 0:
            return n == p
    d = n - 1
    s = 0
    while d % 2 == 0:
        d //= 2
        s += 1
    for a in [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37]:
        if a >= n:
            continue
        x = pow(a, d, n)
        if x == 1 or x == n - 1:
            continue
        for _ in range(s - 1):
            x = pow(x, 2, n)
            if x == n - 1:
                break
        else:
            return False
    return True

def pollards_rho(n):
    if n % 2 == 0:
        return 2
    if n % 3 == 0:
        return 3
    if n % 5 == 0:
        return 5
    while True:
        c = random.randint(1, n - 1)
        f = lambda x: (pow(x, 2, n) + c) % n
        x, y, d = 2, 2, 1
        while d == 1:
            x = f(x)
            y = f(f(y))
            d = math.gcd(abs(x - y), n)
        if d != n:
            return d

def factor(n):
    factors = {}
    def _factor(n):
        if n == 1:
            return
        if is_prime(n):
            factors[n] = factors.get(n, 0) + 1
            return
        d = pollards_rho(n)
        _factor(d)
        _factor(n // d)
    _factor(n)
    return factors

def generate_divisors(factors):
    divisors = [1]
    for p, exp in factors.items():
        current_powers = []
        for e in range(1, exp + 1):
            current_powers.append(p ** e)
        temp = []
        for d in divisors:
            for power in current_powers:
                temp.append(d * power)
        divisors += temp
    divisors = list(set(divisors))
    divisors.sort(reverse=True)
    return divisors

def get_max_d(current, target):
    m = current - target
    if m < 1:
        return None
    if current <= m:
        return current
    factors = factor(current)
    if not factors:
        return None
    divisors = generate_divisors(factors)
    for d in divisors:
        if d <= m:
            return d
    return 1

def get_sequence(A, B):
    sequence = []
    current = B
    while current > A:
        d = get_max_d(current, A)
        if d is None:
            return None
        sequence.append(d)
        current -= d
    sequence.reverse()
    return sequence

def main():
    input = sys.stdin.read().split()
    idx = 0
    T = int(input[idx])
    idx += 1
    for _ in range(T):
        A = int(input[idx])
        B = int(input[idx + 1])
        idx += 2
        sequence = get_sequence(A, B)
        K = len(sequence)
        print(K)
        if K > 0:
            print(' '.join(map(str, sequence)))
        else:
            print()

if __name__ == '__main__':
    main()
0