結果

問題 No.856 増える演算
ユーザー convexineq
提出日時 2021-04-03 16:42:42
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 515 ms / 3,153 ms
コード長 1,538 bytes
コンパイル時間 339 ms
コンパイル使用メモリ 82,476 KB
実行使用メモリ 181,760 KB
最終ジャッジ日時 2024-12-25 00:33:04
合計ジャッジ時間 34,266 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 80
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

from math import pi,cos,sin,log
ROOT = 3
roots  = [cos(2*pi/2**i) + sin(2*pi/2**i)*1j for i in range(24)]
iroots  = [cos(2*pi/2**i) - sin(2*pi/2**i)*1j for i in range(24)]
def untt(a,n):
    for i in range(n):
        m = 1<<(n-i-1)
        for s in range(1<<i):
            w_N = 1
            s *= m*2
            for p in range(m):
                a[s+p], a[s+p+m] = (a[s+p]+a[s+p+m]), (a[s+p]-a[s+p+m])*w_N
                w_N = w_N*roots[n-i]
def iuntt(a,n):
    for i in range(n):
        m = 1<<i
        for s in range(1<<(n-i-1)):
            w_N = 1
            s *= m*2
            for p in range(m):
                a[s+p], a[s+p+m] = (a[s+p]+a[s+p+m]*w_N)/2, (a[s+p]-a[s+p+m]*w_N)/2
                w_N = w_N*iroots[i+1]
            
def pow2(a):
    la = len(a)
    deg = 2*la-2
    n = deg.bit_length()
    N = 1<<n
    a += [0.0]*(N-la)
    untt(a,n)
    for i in range(N):
      a[i] *= a[i]
    iuntt(a,n)
    return a[:deg+1]
n = int(input())
*a, = map(int,input().split())
M = 10**5+1
v = [0.0j]*M
for ai in a: v[ai] += 1.0
res = pow2(v)
for ai in a: res[2*ai] -= 1.0
MOD2 = 10**9+7
ans = 1
for i,ri in enumerate(res):
    ans = ans*pow(i,int(round(ri.real))//2,MOD2)%MOD2
v = 0
for ai in a[::-1]:
    ans *= pow(ai,v,MOD2)
    ans %= MOD2
    v += ai
L = R = -1
v = 1e18
rmin = n-1
for i in range(n-1)[::-1]:
    w = a[rmin]*log(a[i]) + log(a[i] + a[rmin])
    if w < v:
        L,R,v = i,rmin,w
    if a[i] < a[rmin]:
        rmin = i
v = (a[L]+a[R])*pow(a[L],a[R],MOD2)%MOD2
print(ans*pow(v,MOD2-2,MOD2)%MOD2)
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0