結果

問題 No.2313 Product of Subsequence (hard)
ユーザー LyricalMaestro
提出日時 2026-04-26 03:10:24
言語 PyPy3
(7.3.17)
コンパイル:
pypy3 -mpy_compile _filename_
実行:
pypy3 _filename_
結果
TLE  
実行時間 -
コード長 2,454 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 790 ms
コンパイル使用メモリ 85,376 KB
実行使用メモリ 340,296 KB
最終ジャッジ日時 2026-04-26 03:11:00
合計ジャッジ時間 11,627 ms
ジャッジサーバーID
（参考情報） 		judge3_0 / judge2_0
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 10 TLE * 1 -- * 16
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

## https://yukicoder.me/problems/no/353

import math

MOD = 998244353

def main():
    N, K = map(int, input().split())
    A = list(map(int, input().split()))
    if K == 1:
        print((pow(2, N, MOD) - 1) % MOD)
        return

    base_k = K

    # Kを素因数分解
    sqrt_k = int(math.sqrt(K))
    k_primes = {}
    for p in range(2, sqrt_k + 1):
        if K % p == 0:
            ans = 0
            while K % p == 0:
                ans += 1
                K //= p
            k_primes[p] = ans
    if K > 1:
        k_primes[K] = 1
    
    k_primes_array = [(p, value) for p, value in k_primes.items()]
    k_primes_array.sort(key=lambda x: x[0])

    # 状態を全て定義
    def dfs(k_primes_array, index, p, p_list, p_to_list_map):
        if index == len(k_primes_array):
            xx = tuple(p_list)
            p_to_list_map[p] = xx
            return

        p0, value = k_primes_array[index]
        q = 1
        for v in range(value + 1):
            p_list.append(v)
            dfs(k_primes_array, index + 1, p * q, p_list, p_to_list_map)
            p_list.pop()
            q *= p0
        return

    p_to_list_map = {}
    dfs(k_primes_array, 0, 1, [], p_to_list_map)

    # 各種状態遷移について定義しておく
    transition = {}
    for from_p, from_p_list in p_to_list_map.items():
        for transi_p, transi_p_list in p_to_list_map.items():
            q = 1
            for j in range(len(k_primes_array)):
                p, max_v = k_primes_array[j]
                q *= p ** (min(max_v, from_p_list[j] + transi_p_list[j]))
            
            transition[(from_p, transi_p)] = q


    # 各要素について
    a_array = []
    for a in A:
        ans = []
        q = 1
        for p, value in k_primes_array:
            x = 0
            while a % p == 0:
                x += 1
                a //= p
            x = min(value, x)
            q *= p ** x
        a_array.append(q)        
    
    # dpで解く
    dp = {1: 1}
    for a in a_array:
        new_dp = dp.copy()
        for key_p, value in dp.items():
            new_key_p = transition[(key_p, a)]
            if new_key_p not in new_dp:
                new_dp[new_key_p] = 0
            new_dp[new_key_p] += value
            new_dp[new_key_p] %= MOD
        dp = new_dp
    
    if base_k not in dp:
        print(0)
    else:
        print(dp[base_k])



            






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