結果

問題 No.1426 Got a Covered OR
コンテスト
ユーザー aaaaaaaaaa2230
提出日時 2021-03-12 22:56:33
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 1,758 ms / 2,000 ms
コード長 1,098 bytes
コンパイル時間 157 ms
コンパイル使用メモリ 81,864 KB
実行使用メモリ 110,372 KB
最終ジャッジ日時 2024-10-14 13:30:42
合計ジャッジ時間 5,466 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff # 

n = int(input())
B = list(map(int,input().split()))
mod = 10**9+7

num = 0
for b in B:
    if b != -1:
        if b|num != b:
            print(0)
            exit()
        num = b

fact = [1,1]
finv = [1,1]
inv = [0,1]
 
for i in range(2,max(40,n)+5):
    fact.append((fact[-1]*i)%mod)
    inv.append((inv[mod%i]*(mod-mod//i))%mod)
    finv.append((finv[-1]*inv[-1])%mod)
 
def nCr(n,r,mod):
    if r > n:
        return 0
    else: 
        return fact[n]*finv[r]*finv[n-r]%mod

def calc(x,all,le):
    ind = 1
    base = 0

    for i in range(x+1):
        count = 0
        mi = 1
        for j in range(le+1):
            count += mi*nCr(le,j,mod)*pow(2,(all-i)*(le-j),mod)
            count %= mod
            mi *= -1
        base += ind*nCr(x,i,mod)*count
        base %= mod
        ind *= -1

    return base


ans = 1
num = 0
now = 0
for b in B:
    num += 1
    if b == -1:
        continue
    x = b^now
    all = bin(b).count("1")
    c = 0
    for i in range(40):
        if x >> i & 1:
            c += 1
    ans *= calc(c,all,num)
    ans %= mod
    num = 0
    now = b
print(ans)
0