結果
問題 | No.2519 Coins in Array |
ユーザー | chineristAC |
提出日時 | 2023-10-27 22:58:08 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 203 ms / 2,000 ms |
コード長 | 10,251 bytes |
コンパイル時間 | 226 ms |
コンパイル使用メモリ | 82,360 KB |
実行使用メモリ | 134,088 KB |
最終ジャッジ日時 | 2024-09-25 14:58:55 |
合計ジャッジ時間 | 8,153 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge2 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 65 ms
70,124 KB |
testcase_01 | AC | 65 ms
70,832 KB |
testcase_02 | AC | 66 ms
70,604 KB |
testcase_03 | AC | 110 ms
84,756 KB |
testcase_04 | AC | 66 ms
70,260 KB |
testcase_05 | AC | 64 ms
70,932 KB |
testcase_06 | AC | 70 ms
72,612 KB |
testcase_07 | AC | 85 ms
78,456 KB |
testcase_08 | AC | 72 ms
73,344 KB |
testcase_09 | AC | 84 ms
76,584 KB |
testcase_10 | AC | 85 ms
76,784 KB |
testcase_11 | AC | 96 ms
80,072 KB |
testcase_12 | AC | 98 ms
79,468 KB |
testcase_13 | AC | 100 ms
79,472 KB |
testcase_14 | AC | 66 ms
70,368 KB |
testcase_15 | AC | 68 ms
69,500 KB |
testcase_16 | AC | 96 ms
78,232 KB |
testcase_17 | AC | 66 ms
69,552 KB |
testcase_18 | AC | 88 ms
76,756 KB |
testcase_19 | AC | 74 ms
73,384 KB |
testcase_20 | AC | 65 ms
70,932 KB |
testcase_21 | AC | 67 ms
69,380 KB |
testcase_22 | AC | 76 ms
74,048 KB |
testcase_23 | AC | 198 ms
122,428 KB |
testcase_24 | AC | 198 ms
122,468 KB |
testcase_25 | AC | 68 ms
69,556 KB |
testcase_26 | AC | 66 ms
70,492 KB |
testcase_27 | AC | 195 ms
121,164 KB |
testcase_28 | AC | 198 ms
121,160 KB |
testcase_29 | AC | 197 ms
121,164 KB |
testcase_30 | AC | 191 ms
114,524 KB |
testcase_31 | AC | 106 ms
85,624 KB |
testcase_32 | AC | 141 ms
97,952 KB |
testcase_33 | AC | 170 ms
105,536 KB |
testcase_34 | AC | 125 ms
92,184 KB |
testcase_35 | AC | 154 ms
99,924 KB |
testcase_36 | AC | 116 ms
90,752 KB |
testcase_37 | AC | 104 ms
84,392 KB |
testcase_38 | AC | 140 ms
97,704 KB |
testcase_39 | AC | 121 ms
90,476 KB |
testcase_40 | AC | 203 ms
134,088 KB |
ソースコード
from collections import deque mod = 998244353 omega = pow(3,119,mod) rev_omega = pow(omega,mod-2,mod) N = 2*10**5 g1 = [1]*(N+1) # 元テーブル g2 = [1]*(N+1) #逆元テーブル inv = [1]*(N+1) #逆元テーブル計算用テーブル for i in range( 2, N + 1 ): g1[i]=( ( g1[i-1] * i ) % mod ) inv[i]=( ( -inv[mod % i] * (mod//i) ) % mod ) g2[i]=( (g2[i-1] * inv[i]) % mod ) inv[0]=0 def cmb(n,r): if r < 0 or n < r: return 0 return g1[n] * (g2[r] * g2[n-r] % mod) % mod _fft_mod = 998244353 _fft_imag = 911660635 _fft_iimag = 86583718 _fft_rate2 = (911660635, 509520358, 369330050, 332049552, 983190778, 123842337, 238493703, 975955924, 603855026, 856644456, 131300601, 842657263, 730768835, 942482514, 806263778, 151565301, 510815449, 503497456, 743006876, 741047443, 56250497, 867605899) _fft_irate2 = (86583718, 372528824, 373294451, 645684063, 112220581, 692852209, 155456985, 797128860, 90816748, 860285882, 927414960, 354738543, 109331171, 293255632, 535113200, 308540755, 121186627, 608385704, 438932459, 359477183, 824071951, 103369235) _fft_rate3 = (372528824, 337190230, 454590761, 816400692, 578227951, 180142363, 83780245, 6597683, 70046822, 623238099, 183021267, 402682409, 631680428, 344509872, 689220186, 365017329, 774342554, 729444058, 102986190, 128751033, 395565204) _fft_irate3 = (509520358, 929031873, 170256584, 839780419, 282974284, 395914482, 444904435, 72135471, 638914820, 66769500, 771127074, 985925487, 262319669, 262341272, 625870173, 768022760, 859816005, 914661783, 430819711, 272774365, 530924681) def _butterfly(a): n = len(a) h = (n - 1).bit_length() len_ = 0 while len_ < h: if h - len_ == 1: p = 1 << (h - len_ - 1) rot = 1 for s in range(1 << len_): offset = s << (h - len_) for i in range(p): l = a[i + offset] r = a[i + offset + p] * rot % _fft_mod a[i + offset] = (l + r) % _fft_mod a[i + offset + p] = (l - r) % _fft_mod if s + 1 != (1 << len_): rot *= _fft_rate2[(~s & -~s).bit_length() - 1] rot %= _fft_mod len_ += 1 else: p = 1 << (h - len_ - 2) rot = 1 for s in range(1 << len_): rot2 = rot * rot % _fft_mod rot3 = rot2 * rot % _fft_mod offset = s << (h - len_) for i in range(p): a0 = a[i + offset] a1 = a[i + offset + p] * rot a2 = a[i + offset + p * 2] * rot2 a3 = a[i + offset + p * 3] * rot3 a1na3imag = (a1 - a3) % _fft_mod * _fft_imag a[i + offset] = (a0 + a2 + a1 + a3) % _fft_mod a[i + offset + p] = (a0 + a2 - a1 - a3) % _fft_mod a[i + offset + p * 2] = (a0 - a2 + a1na3imag) % _fft_mod a[i + offset + p * 3] = (a0 - a2 - a1na3imag) % _fft_mod if s + 1 != (1 << len_): rot *= _fft_rate3[(~s & -~s).bit_length() - 1] rot %= _fft_mod len_ += 2 def _butterfly_inv(a): n = len(a) h = (n - 1).bit_length() len_ = h while len_: if len_ == 1: p = 1 << (h - len_) irot = 1 for s in range(1 << (len_ - 1)): offset = s << (h - len_ + 1) for i in range(p): l = a[i + offset] r = a[i + offset + p] a[i + offset] = (l + r) % _fft_mod a[i + offset + p] = (l - r) * irot % _fft_mod if s + 1 != (1 << (len_ - 1)): irot *= _fft_irate2[(~s & -~s).bit_length() - 1] irot %= _fft_mod len_ -= 1 else: p = 1 << (h - len_) irot = 1 for s in range(1 << (len_ - 2)): irot2 = irot * irot % _fft_mod irot3 = irot2 * irot % _fft_mod offset = s << (h - len_ + 2) for i in range(p): a0 = a[i + offset] a1 = a[i + offset + p] a2 = a[i + offset + p * 2] a3 = a[i + offset + p * 3] a2na3iimag = (a2 - a3) * _fft_iimag % _fft_mod a[i + offset] = (a0 + a1 + a2 + a3) % _fft_mod a[i + offset + p] = (a0 - a1 + a2na3iimag) * irot % _fft_mod a[i + offset + p * 2] = (a0 + a1 - a2 - a3) * irot2 % _fft_mod a[i + offset + p * 3] = (a0 - a1 - a2na3iimag) * irot3 % _fft_mod if s + 1 != (1 << (len_ - 1)): irot *= _fft_irate3[(~s & -~s).bit_length() - 1] irot %= _fft_mod len_ -= 2 def _convolution_naive(a, b): n = len(a) m = len(b) ans = [0] * (n + m - 1) if n < m: for j in range(m): for i in range(n): ans[i + j] = (ans[i + j] + a[i] * b[j]) % _fft_mod else: for i in range(n): for j in range(m): ans[i + j] = (ans[i + j] + a[i] * b[j]) % _fft_mod return ans def _convolution_fft(a, b): a = a.copy() b = b.copy() n = len(a) m = len(b) z = 1 << (n + m - 2).bit_length() a += [0] * (z - n) _butterfly(a) b += [0] * (z - m) _butterfly(b) for i in range(z): a[i] = a[i] * b[i] % _fft_mod _butterfly_inv(a) a = a[:n + m - 1] iz = pow(z, _fft_mod - 2, _fft_mod) for i in range(n + m - 1): a[i] = a[i] * iz % _fft_mod return a def _convolution_square(a): a = a.copy() n = len(a) z = 1 << (2 * n - 2).bit_length() a += [0] * (z - n) _butterfly(a) for i in range(z): a[i] = a[i] * a[i] % _fft_mod _butterfly_inv(a) a = a[:2 * n - 1] iz = pow(z, _fft_mod - 2, _fft_mod) for i in range(2 * n - 1): a[i] = a[i] * iz % _fft_mod return a def convolution(a, b): """It calculates (+, x) convolution in mod 998244353. Given two arrays a[0], a[1], ..., a[n - 1] and b[0], b[1], ..., b[m - 1], it calculates the array c of length n + m - 1, defined by > c[i] = sum(a[j] * b[i - j] for j in range(i + 1)) % 998244353. It returns an empty list if at least one of a and b are empty. Constraints ----------- > len(a) + len(b) <= 8388609 Complexity ---------- > O(n log n), where n = len(a) + len(b). """ n = len(a) m = len(b) if n == 0 or m == 0: return [] if min(n, m) <= 0: return _convolution_naive(a, b) if a is b: return _convolution_square(a) return _convolution_fft(a, b) def taylor_shift(f,a): g = [f[i]*g1[i]%mod for i in range(len(f))][::-1] e = [g2[i] for i in range(len(f))] t = 1 for i in range(1,len(f)): t = t * a % mod e[i] = e[i] * t % mod res = convolution(g,e)[:len(f)] return [res[len(f)-1-i]*g2[i]%mod for i in range(len(f))] def inverse(f,limit): assert(f[0]!=0) f += [0] * (limit-len(f)) l = len(f) L = 1<<((l-1).bit_length()) n = L.bit_length()-1 f = f[:L] f+=[0]*(L-len(f)) res = [pow(f[0],mod-2,mod)] for i in range(1,n+1): h = convolution(res,f[:2**i])[:2**i] h = [(-h[i]) % mod for i in range(2**i)] h[0] = (h[0]+2) % mod res = convolution(res,h)[:2**i] return res[:limit] def poly_in_exp(f,M): """ f(e^x)をM次まで求める a_ne^nx->a_n 1/(1-nx) """ deq = deque([]) for i in range(len(f)): deq.append(([[f[i]],[1,-i % mod]])) while len(deq) > 1: fq,fp = deq.popleft() gq,gp = deq.popleft() hp = convolution(fp,gp) hq0 = convolution(fq,gp) hq1 = convolution(gq,fp) hq = [0] * max(len(hq0),len(hq1)) for i in range(len(hq0)): hq[i] += hq0[i] hq[i] %= mod for i in range(len(hq1)): hq[i] += hq1[i] hq[i] %= mod deq.append([hq,hp]) fq,fp = deq.popleft() res = convolution(fq,inverse(fp,M+1))[:M+1] for i in range(M+1): res[i] *= g2[i] res[i] %= mod return res import sys from itertools import permutations import heapq from collections import deque import random from math import gcd input = lambda :sys.stdin.readline().rstrip() mi = lambda :map(int,input().split()) li = lambda :list(mi()) def f_brute(a,b): if gcd(a,b)!=1: return 0 mini = [a*b for i in range(b)] mini[0] = 0 for i in range(b): mini[(a*i) % b] = min(mini[(a*i) % b],a*i) res = 0 for r in range(b): res = max(res,mini[r]-b+1) return res N = int(input()) A = li() if N == 2: print(f_brute(A[0],A[1])) print(1,2) exit() if N == 3: x = f_brute(f_brute(A[0],A[1]),A[2]) y = f_brute(f_brute(A[0],A[2]),A[1]) z = f_brute(f_brute(A[1],A[2]),A[0]) if min(x,y,z) == x: print(x) print(1,2) print(1,2) elif min(x,y,z) == y: print(y) print(1,3) print(1,2) else: print(z) print(2,3) print(1,2) exit() even_idx = [i for i in range(N) if A[i] & 1 == 0] odd_idx = [i for i in range(N) if A[i] & 1 == 1] if len(even_idx) > 1: print(0) i,j = even_idx[0],even_idx[1] print(i+1,j+1) for i in range(N-2): print(1,N-1-i) exit() if len(even_idx) == 1: print(0) i,j = odd_idx[0],odd_idx[1] print(i+1,j+1) A = [A[k] for k in range(N) if k not in (i,j)] + [f_brute(A[i],A[j])] p = -1 for i in range(N-2): if A[i] & 1 == 0: p = i break print(p+1,N-1) for i in range(N-3): print(1,N-2-i) exit() print(0) print(1,2) print(1,2) for i in range(N-3): print(1,N-2-i)