結果

問題 No.2682 Visible Divisible
ユーザー hato336hato336
提出日時 2024-03-20 21:54:44
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 227 ms / 2,000 ms
コード長 2,529 bytes
コンパイル時間 275 ms
コンパイル使用メモリ 82,580 KB
実行使用メモリ 118,784 KB
最終ジャッジ日時 2024-09-30 07:41:58
合計ジャッジ時間 5,228 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 210 ms
118,272 KB
testcase_01 AC 227 ms
118,144 KB
testcase_02 AC 204 ms
118,784 KB
testcase_03 AC 200 ms
118,784 KB
testcase_04 AC 185 ms
118,272 KB
testcase_05 AC 191 ms
118,272 KB
testcase_06 AC 192 ms
118,656 KB
testcase_07 AC 189 ms
117,964 KB
testcase_08 AC 119 ms
85,248 KB
testcase_09 AC 130 ms
85,632 KB
testcase_10 AC 125 ms
85,120 KB
testcase_11 AC 211 ms
118,528 KB
testcase_12 AC 204 ms
118,528 KB
testcase_13 AC 202 ms
118,016 KB
testcase_14 AC 197 ms
118,528 KB
testcase_15 AC 198 ms
118,016 KB
testcase_16 AC 199 ms
118,144 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import collections,sys,math,functools,operator,itertools,bisect,heapq,decimal,string,time,random
#sys.setrecursionlimit(10**9)
#sys.set_int_max_str_digits(0)
#https://qiita.com/t_fuki/items/7cd50de54d3c5d063b4a#コード-3
def gcd(a, b):
    while a:
        a, b = b%a, a
    return b


def is_prime(n):
    if n == 2:
        return 1
    if n == 1 or n%2 == 0:
        return 0

    m = n - 1
    lsb = m & -m
    s = lsb.bit_length()-1
    d = m // lsb

    test_numbers = [2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37]

    for a in test_numbers:
        if a == n:
            continue
        x = pow(a,d,n)
        r = 0
        if x == 1:
            continue
        while x != m:
            x = pow(x,2,n)
            r += 1
            if x == 1 or r == s:
                return 0
    return 1


def find_prime_factor(n):
    if n%2 == 0:
        return 2

    m = int(n**0.125)+1

    for c in range(1,n):
        f = lambda a: (pow(a,2,n)+c)%n
        y = 0
        g = q = r = 1
        k = 0
        while g == 1:
            x = y
            while k < 3*r//4:
                y = f(y)
                k += 1
            while k < r and g == 1:
                ys = y
                for _ in range(min(m, r-k)):
                    y = f(y)
                    q = q*abs(x-y)%n
                g = gcd(q,n)
                k += m
            k = r
            r *= 2
        if g == n:
            g = 1
            y = ys
            while g == 1:
                y = f(y)
                g = gcd(abs(x-y),n)
        if g == n:
            continue
        if is_prime(g):
            return g
        elif is_prime(n//g):
            return n//g
        else:
            return find_prime_factor(g)


def factorize(n):
    res = {}
    while not is_prime(n) and n > 1:  # nが合成数である間nの素因数の探索を繰り返す
        p = find_prime_factor(n)
        s = 0
        while n%p == 0:  # nが素因数pで割れる間割り続け、出力に追加
            n //= p
            s += 1
        res[p] = s
    if n > 1:  # n>1であればnは素数なので出力に追加
        res[n] = 1
    return res

input = sys.stdin.readline
n,k  = map(int,input().split())
a = list(map(int,input().split()))
x = factorize(k)

ans = 'Yes'
for i in x.keys():
    temp = 0
    for j in a:
        cnt = 0
        while j % i == 0:
            j //= i
            cnt += 1
        if cnt >= x[i]:
            temp = 1
            break
    if temp == 0:
        ans = 'No'
        break
print(ans)
0