結果

問題 No.2164 Equal Balls
ユーザー tassei903tassei903
提出日時 2022-12-15 10:21:46
言語 PyPy3
(7.3.13)
結果
AC  
実行時間 2,546 ms / 5,000 ms
コード長 4,959 bytes
コンパイル時間 1,044 ms
コンパイル使用メモリ 87,048 KB
実行使用メモリ 141,252 KB
最終ジャッジ日時 2023-08-08 20:11:39
合計ジャッジ時間 46,597 ms
ジャッジサーバーID
(参考情報)
judge11 / judge13
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 119 ms
93,260 KB
testcase_01 AC 120 ms
93,216 KB
testcase_02 AC 133 ms
94,068 KB
testcase_03 AC 122 ms
93,236 KB
testcase_04 AC 122 ms
93,124 KB
testcase_05 AC 123 ms
93,204 KB
testcase_06 AC 118 ms
93,340 KB
testcase_07 AC 120 ms
93,224 KB
testcase_08 AC 236 ms
97,420 KB
testcase_09 AC 252 ms
97,864 KB
testcase_10 AC 189 ms
95,044 KB
testcase_11 AC 362 ms
104,816 KB
testcase_12 AC 237 ms
97,164 KB
testcase_13 AC 204 ms
95,648 KB
testcase_14 AC 229 ms
97,028 KB
testcase_15 AC 358 ms
104,136 KB
testcase_16 AC 241 ms
97,492 KB
testcase_17 AC 170 ms
95,184 KB
testcase_18 AC 271 ms
98,788 KB
testcase_19 AC 398 ms
105,500 KB
testcase_20 AC 250 ms
97,484 KB
testcase_21 AC 158 ms
94,908 KB
testcase_22 AC 148 ms
94,436 KB
testcase_23 AC 223 ms
114,476 KB
testcase_24 AC 210 ms
108,120 KB
testcase_25 AC 195 ms
114,404 KB
testcase_26 AC 192 ms
96,112 KB
testcase_27 AC 220 ms
112,128 KB
testcase_28 AC 221 ms
112,396 KB
testcase_29 AC 182 ms
102,704 KB
testcase_30 AC 216 ms
112,272 KB
testcase_31 AC 227 ms
122,088 KB
testcase_32 AC 222 ms
112,604 KB
testcase_33 AC 186 ms
112,252 KB
testcase_34 AC 212 ms
116,100 KB
testcase_35 AC 148 ms
97,644 KB
testcase_36 AC 258 ms
121,920 KB
testcase_37 AC 228 ms
124,672 KB
testcase_38 AC 2,468 ms
139,884 KB
testcase_39 AC 2,465 ms
139,684 KB
testcase_40 AC 2,469 ms
140,152 KB
testcase_41 AC 2,466 ms
139,740 KB
testcase_42 AC 2,470 ms
140,192 KB
testcase_43 AC 2,464 ms
139,892 KB
testcase_44 AC 2,475 ms
140,340 KB
testcase_45 AC 2,473 ms
140,184 KB
testcase_46 AC 2,474 ms
140,268 KB
testcase_47 AC 2,474 ms
140,352 KB
testcase_48 AC 2,546 ms
141,252 KB
testcase_49 AC 1,747 ms
125,100 KB
testcase_50 AC 1,745 ms
125,264 KB
testcase_51 AC 1,843 ms
125,452 KB
testcase_52 AC 1,703 ms
125,576 KB
testcase_53 AC 1,685 ms
125,880 KB
権限があれば一括ダウンロードができます

ソースコード

diff #

import sys
input = lambda :sys.stdin.readline()[:-1]
ni = lambda :int(input())
na = lambda :list(map(int,input().split()))
yes = lambda :print("yes");Yes = lambda :print("Yes");YES = lambda : print("YES")
no = lambda :print("no");No = lambda :print("No");NO = lambda : print("NO")
#######################################################################
def Primitive_Root(p):
    """Z/pZ上の原始根を見つける
 
    p:素数
    """
    if p==2:
        return 1
    if p==998244353:
        return 3
    if p==10**9+7:
        return 5
 
    fac=[]
    q=2
    v=p-1
 
    while v>=q*q:
        e=0
        while v%q==0:
            e+=1
            v//=q
 
        if e>0:
            fac.append(q)
        q+=1
 
    if v>1:
        fac.append(v)
 
    g=2
    while g<p:
        if pow(g,p-1,p)!=1:
            return None
 
        flag=True
        for q in fac:
            if pow(g,(p-1)//q,p)==1:
                flag=False
                break
 
        if flag:
            return g
 
        g+=1
 
#参考元 https://atcoder.jp/contests/practice2/submissions/16789717
def NTT(A):
    """AをMod を法とする数論変換を施す
 
    ※Modはグローバル変数から指定
    """
    primitive=Primitive_Root(Mod)
 
    N=len(A)
    H=(N-1).bit_length()
 
    if Mod==998_244_353:
        m=998_244_352
        u=119
        e=23
        S=[1,998244352,911660635,372528824,929031873,
           452798380,922799308,781712469,476477967,166035806,
           258648936,584193783,63912897,350007156,666702199,
           968855178,629671588,24514907,996173970,363395222,
           565042129,733596141,267099868,15311432]
    else:
        m=Mod-1
        e=((m&-m)-1).bit_length()
        u=m>>e
        S=[pow(primitive,(Mod-1)>>i,Mod) for i in range(e+1)]
 
    for l in range(H, 0, -1):
        d = 1 << l - 1
        U = [1]*(d+1)
        u = 1
        for i in range(d):
            u=u*S[l]%Mod
            U[i+1]=u
 
        for i in range(1 <<H - l):
            s=2*i*d
            for j in range(d):
                A[s],A[s+d]=(A[s]+A[s+d])%Mod, U[j]*(A[s]-A[s+d])%Mod
                s+=1
 
#参考元 https://atcoder.jp/contests/practice2/submissions/16789717
def Inverse_NTT(A):
    """AをMod を法とする逆数論変換を施す
 
    ※Modはグローバル変数から指定
    """
    primitive=Primitive_Root(Mod)
 
    N=len(A)
    H=(N-1).bit_length()
 
    if Mod==998244353:
        m=998_244_352
        e=23
        u=119
        S=[1,998244352,86583718,509520358,337190230,
           87557064,609441965,135236158,304459705,685443576,
           381598368,335559352,129292727,358024708,814576206,
           708402881,283043518,3707709,121392023,704923114,950391366,
           428961804,382752275,469870224]
    else:
        m=Mod-1
        e=(m&-m).bit_length()-1
        u=m>>e
 
        inv_primitive=pow(primitive,Mod-2,Mod)
        S=[pow(inv_primitive,(Mod-1)>>i,Mod) for i in range(e+1)]
 
    for l in range(1, H + 1):
        d = 1 << l - 1
        for i in range(1 << H - l):
            u = 1
            for j in range(i * 2 * d, (i * 2 + 1) * d):
                A[j+d] *= u
                A[j], A[j+d] = (A[j] + A[j+d]) % Mod, (A[j] - A[j+d]) % Mod
                u = u * S[l] % Mod
 
    N_inv=pow(N,Mod-2,Mod)
    for i in range(N):
        A[i]=A[i]*N_inv%Mod
 
#参考元 https://atcoder.jp/contests/practice2/submissions/16789717
def Convolution_Mod(A,B):
    """A,BをMod を法とする畳み込みを求める.
 
    ※Modはグローバル変数から指定
    """
    L=len(A)+len(B)-1
    H=L.bit_length()
    N=1<<H
 
    A=A+[0]*(N-len(A))
    B=B+[0]*(N-len(B))
 
    NTT(A)
    NTT(B)
 
    for i in range(N):
        A[i]=A[i]*B[i]%Mod
 
    Inverse_NTT(A)
 
    del A[L:]
    return A
#=================================================
Mod=998244353

mod = 998244353
nn = 10**6
fact = [1] * nn
for i in range(nn - 1):
    fact[i + 1] = fact[i] * (i + 1) % mod
invfact = [1] * nn
invfact[nn - 1] = pow(fact[nn - 1], mod - 2, mod)
for i in range(nn - 1)[::-1]:
    invfact[i] = invfact[i + 1] * (i + 1) % mod
 
def binom(x, y):
    if x < 0 or y < 0 or x - y < 0:
        return 0
    return fact[x] * invfact[y] % mod * invfact[x - y] % mod

n, m = na()

a = na()
b = na()
from collections import deque
dq = deque()


LA = [0] * m
LB = [0] * m
for i in range(m):
    A = []
    B = []
    la = float("inf")
    lb = float("inf")
    for j in range(i, n, m):
        la = min(la, a[j])
        lb = min(lb, b[j])
    LB[i] = lb
    LA[i] = la
S = sum(LB)
for i in range(m):
    la,lb = LA[i],LB[i]
    op = [1] * (la+lb+1)
    for j in range(i, n, m):
        for k in range(-lb, la+1):
            op[k+lb] *= binom(a[j]+b[j],k+b[j])
            op[k+lb] %= mod
    dq.append(op)

while len(dq)>1:
    l = dq.popleft()
    r = dq.popleft()
    z = Convolution_Mod(l, r)[:S+1]
    dq.append(z)
z = dq.popleft()
if len(z) <= S:
    print(0)
else:
    print(z[S])

0