結果

問題 No.1426 Got a Covered OR
ユーザー roarisroaris
提出日時 2021-03-12 23:11:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 166 ms / 2,000 ms
コード長 1,429 bytes
コンパイル時間 189 ms
コンパイル使用メモリ 82,436 KB
実行使用メモリ 92,608 KB
最終ジャッジ日時 2024-10-14 13:47:46
合計ジャッジ時間 3,520 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 49 ms
62,344 KB
testcase_01 AC 49 ms
62,496 KB
testcase_02 AC 49 ms
62,696 KB
testcase_03 AC 50 ms
61,516 KB
testcase_04 AC 49 ms
62,096 KB
testcase_05 AC 48 ms
61,804 KB
testcase_06 AC 49 ms
61,572 KB
testcase_07 AC 49 ms
62,412 KB
testcase_08 AC 49 ms
60,964 KB
testcase_09 AC 48 ms
62,464 KB
testcase_10 AC 49 ms
62,952 KB
testcase_11 AC 49 ms
62,624 KB
testcase_12 AC 110 ms
78,560 KB
testcase_13 AC 131 ms
84,412 KB
testcase_14 AC 116 ms
81,316 KB
testcase_15 AC 107 ms
76,612 KB
testcase_16 AC 67 ms
67,952 KB
testcase_17 AC 81 ms
77,028 KB
testcase_18 AC 121 ms
87,276 KB
testcase_19 AC 125 ms
87,240 KB
testcase_20 AC 91 ms
78,644 KB
testcase_21 AC 108 ms
83,560 KB
testcase_22 AC 166 ms
85,248 KB
testcase_23 AC 148 ms
92,608 KB
testcase_24 AC 68 ms
82,952 KB
testcase_25 AC 143 ms
92,072 KB
testcase_26 AC 143 ms
92,068 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

import sys
input = sys.stdin.readline

MAX = 10**5+100
MOD = 10**9+7
fact = [0]*MAX #fact[i]: i!
inv = [0]*MAX #inv[i]: iの逆元
finv = [0]*MAX #finv[i]: i!の逆元
fact[0] = 1
fact[1] = 1
finv[0] = 1
finv[1] = 1
inv[1] = 1
    
for i in range(2, MAX):
    fact[i] = fact[i-1]*i%MOD
    inv[i] = MOD-inv[MOD%i]*(MOD//i)%MOD
    finv[i] = finv[i-1]*inv[i]%MOD

def C(n, r):
    if n<r:
        return 0
    if n<0 or r<0:
        return 0
    return fact[n]*(finv[r]*finv[n-r]%MOD)%MOD

N = int(input())
B = list(map(int, input().split()))
pre = 0
cnt = 0
ans = 1

for i in range(N):
    cnt += 1
    
    if B[i]!=-1:
        already = 0
        new = 0
        
        for j in range(30):
            if (pre>>j)&1==1:
                if (B[i]>>j)&1==0:
                    print(0)
                    exit()
                else:
                    already += 1
            else:
                if (B[i]>>j)&1==1:
                    new += 1
        
        mul = 0
        
        for j in range(cnt+1):
            if j%2==0:
                mul += C(cnt, j)*pow(pow(2, cnt-j, MOD)-1, new, MOD)%MOD*pow(pow(2, already, MOD), cnt-j, MOD)
                mul %= MOD
            else:
                mul -= C(cnt, j)*pow(pow(2, cnt-j, MOD)-1, new, MOD)%MOD*pow(pow(2, already, MOD), cnt-j, MOD)
                mul %= MOD
            
        ans = (ans*mul)%MOD
        pre = B[i]
        cnt = 0
        
print(ans)
0