結果

問題 No.1426 Got a Covered OR
ユーザー roarisroaris
提出日時 2021-03-12 23:11:41
言語 PyPy3
(7.3.15)
結果
AC  
実行時間 175 ms / 2,000 ms
コード長 1,429 bytes
コンパイル時間 667 ms
コンパイル使用メモリ 82,304 KB
実行使用メモリ 92,416 KB
最終ジャッジ日時 2024-04-22 14:42:16
合計ジャッジ時間 4,183 ms
ジャッジサーバーID
（参考情報） 		judge5 / judge2
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 52 ms
61,056 KB
testcase_01 AC 52 ms
61,056 KB
testcase_02 AC 54 ms
60,928 KB
testcase_03 AC 54 ms
61,056 KB
testcase_04 AC 52 ms
61,184 KB
testcase_05 AC 52 ms
61,056 KB
testcase_06 AC 53 ms
61,056 KB
testcase_07 AC 53 ms
61,184 KB
testcase_08 AC 53 ms
61,056 KB
testcase_09 AC 53 ms
61,056 KB
testcase_10 AC 53 ms
61,056 KB
testcase_11 AC 54 ms
61,312 KB
testcase_12 AC 120 ms
77,184 KB
testcase_13 AC 143 ms
84,480 KB
testcase_14 AC 126 ms
80,768 KB
testcase_15 AC 115 ms
76,416 KB
testcase_16 AC 73 ms
67,584 KB
testcase_17 AC 93 ms
75,392 KB
testcase_18 AC 134 ms
87,168 KB
testcase_19 AC 135 ms
87,424 KB
testcase_20 AC 102 ms
78,976 KB
testcase_21 AC 120 ms
83,200 KB
testcase_22 AC 175 ms
85,376 KB
testcase_23 AC 161 ms
92,416 KB
testcase_24 AC 77 ms
82,432 KB
testcase_25 AC 154 ms
92,032 KB
testcase_26 AC 154 ms
91,904 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