結果

問題 No.1731 Product of Subsequence
ユーザー とりゐとりゐ
提出日時 2023-05-23 21:28:14
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 462 ms / 2,000 ms
コード長 1,581 bytes
コンパイル時間 148 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 78,792 KB
最終ジャッジ日時 2024-06-02 10:30:29
合計ジャッジ時間 5,356 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 173 ms
77,396 KB
testcase_01 AC 48 ms
60,672 KB
testcase_02 AC 46 ms
60,672 KB
testcase_03 AC 46 ms
60,672 KB
testcase_04 AC 47 ms
60,672 KB
testcase_05 AC 46 ms
60,928 KB
testcase_06 AC 48 ms
61,440 KB
testcase_07 AC 48 ms
60,928 KB
testcase_08 AC 116 ms
77,500 KB
testcase_09 AC 49 ms
62,592 KB
testcase_10 AC 253 ms
78,368 KB
testcase_11 AC 205 ms
77,604 KB
testcase_12 AC 54 ms
64,128 KB
testcase_13 AC 67 ms
68,736 KB
testcase_14 AC 202 ms
78,728 KB
testcase_15 AC 48 ms
60,672 KB
testcase_16 AC 47 ms
60,928 KB
testcase_17 AC 47 ms
60,928 KB
testcase_18 AC 462 ms
78,792 KB
testcase_19 AC 72 ms
69,248 KB
testcase_20 AC 362 ms
78,644 KB
testcase_21 AC 242 ms
77,660 KB
testcase_22 AC 52 ms
63,872 KB
testcase_23 AC 50 ms
62,464 KB
testcase_24 AC 57 ms
64,384 KB
testcase_25 AC 53 ms
64,000 KB
testcase_26 AC 103 ms
77,508 KB
testcase_27 AC 124 ms
77,848 KB
testcase_28 AC 137 ms
77,512 KB
testcase_29 AC 112 ms
77,652 KB
testcase_30 AC 186 ms
77,824 KB
testcase_31 AC 53 ms
64,128 KB
testcase_32 AC 50 ms
62,720 KB
testcase_33 AC 54 ms
64,384 KB
testcase_34 AC 90 ms
77,696 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

mod=10**9+7
table_size=10**4

fac=[1]*(table_size+1)
finv=[1]*(table_size+1)

for i in range(2,table_size+1):
  fac[i]=fac[i-1]*i%mod
finv[table_size]=pow(fac[table_size],mod-2,mod)
for i in range(table_size-1,-1,-1):
  finv[i]=finv[i+1]*(i+1)%mod

def rebuild(n):
  global table_size,fac,finv
  fac+=[0]*(n-table_size)
  fac+=[0]*(n-table_size)
  finv+=[0]*(n-table_size)
  for i in range(table_size+1,n+1):
    fac[i]=fac[i-1]*i%mod
  finv[n]=inv(fac[n])
  for i in range(n-1,table_size,-1):
    finv[i]=finv[i+1]*(i+1)%mod
  table_size=n

def binom(n,k):
  if n<0 or k<0:
    return 0
  if k>n:
    return 0
  if n>table_size:
    rebuild(n+10**4)
  return (fac[n]*finv[k]%mod)*finv[n-k]%mod

def fpow(x,k):
  res=1
  while k:
    if k&1:
      res=res*x%mod
    x=x*x%mod
    k>>=1
  return res

def inv(a):
  if a<table_size:
    return fac[a-1]*finv[a]%mod
  return fpow(a,mod-2)


from math import gcd
from collections import defaultdict
n,k=map(int,input().split())
a=list(map(int,input().split()))
pow2=[1]*(n+1)
for i in range(1,n+1):
  pow2[i]=pow2[i-1]*2%mod

if k==1:
  print(pow(2,n,mod)-1)
  exit()

cnt=defaultdict(int)
for i in a:
  cnt[gcd(k,i)]+=1

dp=defaultdict(int)
dp[1]=1

for i in cnt:
  ndp=defaultdict(int)
  c=cnt[i]
  for frm in dp:
    rem=pow2[c]
    tmp=frm
    for j in range(c+1):
      nxt=gcd(k,tmp*i)
      if tmp==nxt:
        ndp[tmp]+=dp[frm]*rem%mod
        ndp[tmp]%=mod
        break
      else:
        ndp[tmp]+=dp[frm]*binom(c,j)%mod
        ndp[tmp]%=mod
        rem-=binom(c,j)
        rem%=mod
        tmp=nxt
  dp=ndp

print(dp[k])
0