結果

問題 No.2936 Sum of Square of Mex
ユーザー tassei903tassei903
提出日時 2024-10-12 16:53:54
言語 PyPy3
(7.3.15)
結果
WA  
実行時間 -
コード長 4,512 bytes
コンパイル時間 243 ms
コンパイル使用メモリ 82,060 KB
実行使用メモリ 119,140 KB
最終ジャッジ日時 2024-10-12 16:54:13
合計ジャッジ時間 12,343 ms
ジャッジサーバーID
(参考情報)
judge5 / judge2
このコードへのチャレンジ
(要ログイン)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 68 ms
75,292 KB
testcase_01 AC 65 ms
75,736 KB
testcase_02 AC 155 ms
94,760 KB
testcase_03 WA -
testcase_04 AC 66 ms
76,128 KB
testcase_05 AC 65 ms
76,112 KB
testcase_06 AC 66 ms
76,656 KB
testcase_07 WA -
testcase_08 AC 519 ms
114,880 KB
testcase_09 WA -
testcase_10 AC 307 ms
104,772 KB
testcase_11 WA -
testcase_12 AC 309 ms
105,792 KB
testcase_13 WA -
testcase_14 WA -
testcase_15 AC 468 ms
114,884 KB
testcase_16 AC 544 ms
118,928 KB
testcase_17 AC 509 ms
118,808 KB
testcase_18 AC 553 ms
118,804 KB
testcase_19 AC 539 ms
118,884 KB
testcase_20 AC 511 ms
119,056 KB
testcase_21 AC 537 ms
118,680 KB
testcase_22 AC 523 ms
119,140 KB
testcase_23 AC 520 ms
118,436 KB
testcase_24 WA -
testcase_25 WA -
testcase_26 AC 528 ms
118,840 KB
testcase_27 AC 525 ms
118,808 KB
testcase_28 AC 533 ms
118,636 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 = 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 = [pow(m + 1 - i, n, mod) * invfact[i] * pow(-1, i, mod) % mod for i in range(n+1)]
B = [invfact[i] for i in range(n+1)]
#print(A, B)
C = [fact[i] * x % mod for i, x in enumerate(Convolution_Mod(A, B)[:n+1])]
#print(C)
C.append(0)
ans = 0
# print(C)
for i in range(n+1):
    ans += i * i % mod * (C[i] - C[i+1]) % mod
    ans %= mod

print(ans)
0