結果
| 問題 |
No.462 6日知らずのコンピュータ
|
| ユーザー |
|
| 提出日時 | 2023-10-23 22:14:25 |
| 言語 | PyPy3 (7.3.15) |
| 結果 |
RE
|
| 実行時間 | - |
| コード長 | 708 bytes |
| コンパイル時間 | 179 ms |
| コンパイル使用メモリ | 82,308 KB |
| 実行使用メモリ | 66,668 KB |
| 最終ジャッジ日時 | 2024-09-22 15:34:04 |
| 合計ジャッジ時間 | 6,044 ms |
|
ジャッジサーバーID (参考情報) |
judge5 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 RE * 1 |
| other | AC * 78 RE * 6 |
ソースコード
n, k = map(int, input().split())
A = list(map(int, input().split()))
A.sort()
mod = 10**9 + 7
Fact = [1]
for i in range(1, n + 1):
Fact.append(Fact[-1] * i)
ans = 1
L = [0 for _ in range(n)]
for i in range(k):
NL = [0 for _ in range(n)]
a = A[i]
cnt = 0
for j in range(n):
NL[j] = a % 2
a //= 2
if L[j] == 0 and NL[j] == 1:
cnt += 1
elif L[j] == 1 and NL[j] == 0:
cnt = -1
break
if cnt == -1:
print(0)
exit()
ans *= Fact[cnt]
ans %= mod
L = NL
NL = [1 for _ in range(n)]
cnt = 0
for i in range(n):
if L[i] == 0 and NL[i] == 1:
cnt += 1
ans *= Fact[cnt]
ans %= mod
print(ans)