結果
問題 | No.389 ロジックパズルの組み合わせ |
ユーザー | 89 |
提出日時 | 2022-02-06 19:35:04 |
言語 | PyPy3 (7.3.15) |
結果 |
AC
|
実行時間 | 274 ms / 2,000 ms |
コード長 | 3,662 bytes |
コンパイル時間 | 315 ms |
コンパイル使用メモリ | 82,048 KB |
実行使用メモリ | 262,016 KB |
最終ジャッジ日時 | 2024-06-11 13:55:32 |
合計ジャッジ時間 | 23,565 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 186 ms
212,608 KB |
testcase_01 | AC | 193 ms
213,248 KB |
testcase_02 | AC | 186 ms
213,248 KB |
testcase_03 | AC | 185 ms
212,608 KB |
testcase_04 | AC | 184 ms
212,736 KB |
testcase_05 | AC | 184 ms
212,736 KB |
testcase_06 | AC | 188 ms
212,864 KB |
testcase_07 | AC | 186 ms
212,864 KB |
testcase_08 | AC | 190 ms
212,736 KB |
testcase_09 | AC | 189 ms
220,928 KB |
testcase_10 | AC | 187 ms
219,392 KB |
testcase_11 | AC | 203 ms
224,256 KB |
testcase_12 | AC | 194 ms
218,880 KB |
testcase_13 | AC | 227 ms
247,296 KB |
testcase_14 | AC | 197 ms
224,896 KB |
testcase_15 | AC | 193 ms
217,344 KB |
testcase_16 | AC | 193 ms
219,264 KB |
testcase_17 | AC | 198 ms
223,360 KB |
testcase_18 | AC | 274 ms
260,224 KB |
testcase_19 | AC | 203 ms
212,608 KB |
testcase_20 | AC | 185 ms
212,608 KB |
testcase_21 | AC | 192 ms
212,864 KB |
testcase_22 | AC | 190 ms
212,608 KB |
testcase_23 | AC | 202 ms
212,864 KB |
testcase_24 | AC | 181 ms
212,608 KB |
testcase_25 | AC | 200 ms
212,992 KB |
testcase_26 | AC | 185 ms
212,992 KB |
testcase_27 | AC | 181 ms
212,992 KB |
testcase_28 | AC | 187 ms
212,608 KB |
testcase_29 | AC | 186 ms
212,608 KB |
testcase_30 | AC | 188 ms
212,992 KB |
testcase_31 | AC | 188 ms
212,736 KB |
testcase_32 | AC | 182 ms
212,992 KB |
testcase_33 | AC | 186 ms
212,608 KB |
testcase_34 | AC | 184 ms
212,736 KB |
testcase_35 | AC | 188 ms
213,120 KB |
testcase_36 | AC | 185 ms
213,120 KB |
testcase_37 | AC | 186 ms
212,736 KB |
testcase_38 | AC | 187 ms
212,864 KB |
testcase_39 | AC | 187 ms
213,248 KB |
testcase_40 | AC | 204 ms
213,120 KB |
testcase_41 | AC | 181 ms
212,864 KB |
testcase_42 | AC | 180 ms
212,736 KB |
testcase_43 | AC | 181 ms
212,608 KB |
testcase_44 | AC | 180 ms
212,864 KB |
testcase_45 | AC | 183 ms
213,120 KB |
testcase_46 | AC | 180 ms
213,120 KB |
testcase_47 | AC | 181 ms
213,120 KB |
testcase_48 | AC | 184 ms
212,992 KB |
testcase_49 | AC | 274 ms
260,352 KB |
testcase_50 | AC | 188 ms
217,600 KB |
testcase_51 | AC | 186 ms
217,344 KB |
testcase_52 | AC | 193 ms
224,896 KB |
testcase_53 | AC | 190 ms
219,264 KB |
testcase_54 | AC | 202 ms
226,304 KB |
testcase_55 | AC | 196 ms
214,528 KB |
testcase_56 | AC | 192 ms
218,752 KB |
testcase_57 | AC | 218 ms
240,768 KB |
testcase_58 | AC | 244 ms
257,152 KB |
testcase_59 | AC | 217 ms
252,160 KB |
testcase_60 | AC | 199 ms
231,424 KB |
testcase_61 | AC | 267 ms
258,048 KB |
testcase_62 | AC | 200 ms
232,960 KB |
testcase_63 | AC | 251 ms
257,792 KB |
testcase_64 | AC | 198 ms
226,176 KB |
testcase_65 | AC | 193 ms
222,208 KB |
testcase_66 | AC | 206 ms
230,528 KB |
testcase_67 | AC | 198 ms
228,864 KB |
testcase_68 | AC | 202 ms
227,712 KB |
testcase_69 | AC | 184 ms
212,992 KB |
testcase_70 | AC | 187 ms
212,992 KB |
testcase_71 | AC | 186 ms
212,992 KB |
testcase_72 | AC | 189 ms
212,992 KB |
testcase_73 | AC | 187 ms
212,864 KB |
testcase_74 | AC | 185 ms
212,864 KB |
testcase_75 | AC | 191 ms
213,120 KB |
testcase_76 | AC | 184 ms
212,992 KB |
testcase_77 | AC | 188 ms
212,864 KB |
testcase_78 | AC | 181 ms
212,736 KB |
testcase_79 | AC | 181 ms
212,864 KB |
testcase_80 | AC | 183 ms
213,120 KB |
testcase_81 | AC | 183 ms
213,120 KB |
testcase_82 | AC | 186 ms
212,992 KB |
testcase_83 | AC | 184 ms
212,992 KB |
testcase_84 | AC | 183 ms
212,864 KB |
testcase_85 | AC | 185 ms
212,992 KB |
testcase_86 | AC | 186 ms
212,608 KB |
testcase_87 | AC | 189 ms
212,992 KB |
testcase_88 | AC | 200 ms
212,864 KB |
testcase_89 | AC | 208 ms
235,008 KB |
testcase_90 | AC | 239 ms
248,064 KB |
testcase_91 | AC | 273 ms
260,736 KB |
testcase_92 | AC | 192 ms
222,976 KB |
testcase_93 | AC | 246 ms
252,288 KB |
testcase_94 | AC | 187 ms
214,912 KB |
testcase_95 | AC | 253 ms
262,016 KB |
testcase_96 | AC | 235 ms
244,352 KB |
testcase_97 | AC | 236 ms
243,840 KB |
testcase_98 | AC | 219 ms
227,712 KB |
ソースコード
def extgcd(a, b): if b: d, y, x = extgcd(b, a % b) y -= (a // b)*x return d, x, y return a, 1, 0 class Combination: def __init__(self, n_max, mod=10**9+7): # O(n_max + log(mod)) self.mod = mod f = 1 self.fac = fac = [f] for i in range(1, n_max+1): f = f * i % mod fac.append(f) f = pow(f, mod-2, mod) self.facinv = facinv = [f] for i in range(n_max, 0, -1): f = f * i % mod facinv.append(f) facinv.reverse() # "n 要素を" は区別できる n 要素 # "k グループ" はちょうど k グループ def __call__(self, n, r): # self.C と同じ return self.fac[n] * self.facinv[r] % self.mod * self.facinv[n-r] % self.mod def C(self, n, r): if not 0 <= r <= n: return 0 return self.fac[n] * self.facinv[r] % self.mod * self.facinv[n-r] % self.mod def P(self, n, r): if not 0 <= r <= n: return 0 return self.fac[n] * self.facinv[n-r] % self.mod def H(self, n, r): if (n == 0 and r > 0) or r < 0: return 0 return self.fac[n+r-1] * self.facinv[r] % self.mod * self.facinv[n-1] % self.mod def rising_factorial(self, n, r): # 上昇階乗冪 n * (n+1) * ... * (n+r-1) return self.fac[n+r-1] * self.facinv[n-1] % self.mod def stirling_first(self, n, k): # 第 1 種スターリング数 lru_cache を使うと O(nk) # n 要素を k 個の巡回列に分割する場合の数 if n == k: return 1 if k == 0: return 0 return (self.stirling_first(n-1, k-1) + (n-1)*self.stirling_first(n-1, k)) % self.mod def stirling_second(self, n, k): # 第 2 種スターリング数 O(k + log(n)) # n 要素を区別のない k グループに分割する場合の数 if n == k: return 1 # n==k==0 のときのため return self.facinv[k] * sum((-1)**(k-m) * self.C(k, m) * pow(m, n, self.mod) for m in range(1, k+1)) % self.mod def balls_and_boxes_3(self, n, k): # n 要素を区別のある k グループに分割する場合の数 O(k + log(n)) return sum((-1)**(k-m) * self.C(k, m) * pow(m, n, self.mod) for m in range(1, k+1)) % self.mod def bernoulli(self, n): # ベルヌーイ数 lru_cache を使うと O(n**2 * log(mod)) if n == 0: return 1 if n % 2 and n >= 3: return 0 # 高速化 return (- pow(n+1, self.mod-2, self.mod) * sum(self.C(n+1, k) * self.bernoulli(k) % self.mod for k in range(n))) % self.mod def faulhaber(self, k, n): # べき乗和 0^k + 1^k + ... + (n-1)^k # bernoulli に lru_cache を使うと O(k**2 * log(mod)) bernoulli が計算済みなら O(k * log(mod)) return pow(k+1, self.mod-2, self.mod) * sum(self.C(k+1, j) * self.bernoulli(j) % self.mod * pow(n, k-j+1, self.mod) % self.mod for j in range(k+1)) % self.mod def lah(self, n, k): # n 要素を k 個の空でない順序付き集合に分割する場合の数 O(1) return self.C(n-1, k-1) * self.fac[n] % self.mod * self.facinv[k] % self.mod def bell(self, n, k): # n 要素を k グループ以下に分割する場合の数 O(k**2 + k*log(mod)) return sum(self.stirling_second(n, j) for j in range(1, k+1)) % self.mod mod = 10**9+7 comb = Combination(1000000) m = int(input()) h = list(map(int,input().split())) if len(h) == 1 and h[0] == 0: print(1) exit() P = sum(h) + len(h) - 1 if P > m: print("NA") exit() a = comb.C(m - P + len(h),len(h)) if a == 0: print("NA") else: print(a)