結果

問題 No.462 6日知らずのコンピュータ
ユーザー brthyyjp
提出日時 2021-12-19 14:33:30
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 48 ms / 2,000 ms
コード長 787 bytes
コンパイル時間 1,197 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 59,776 KB
最終ジャッジ日時 2024-09-15 14:33:07
合計ジャッジ時間 5,900 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 84
権限があれば一括ダウンロードができます

ソースコード

diff # 

n, k = map(int, input().split())
N = 1000
mod = 10**9+7
fac = [1]*(N+1)
finv = [1]*(N+1)
for i in range(N):
    fac[i+1] = fac[i] * (i+1) % mod

if k == 0:
    ans = 1
    print(fac[n]%mod)
    exit()

A = list(map(int, input().split()))
A.sort()
if k == n+1:
    if A[0] != 0:
        print(0)
        exit()
    if A[-1] != pow(2, n)-1:
        print(0)
        exit()

if A[-1] != pow(2, n)-1:
    A.append(pow(2, n)-1)
ans = 1
b = 0
for a in A:
    cnt = 0
    for i in range(65):
        if (a>>i)&1:
            if (b>>i)&1:
                continue
            else:
                cnt += 1
        else:
            if (b>>i)&1:
                print(0)
                exit()
            else:
                continue
    ans *= fac[cnt]
    ans %= mod
    b |= a

print(ans)
0