結果
| 問題 | 
                            No.1426 Got a Covered OR
                             | 
                    
| コンテスト | |
| ユーザー | 
                             sasa8uyauya
                         | 
                    
| 提出日時 | 2024-10-16 14:54:27 | 
| 言語 | PyPy3  (7.3.15)  | 
                    
| 結果 | 
                             
                                AC
                                 
                             
                            
                         | 
                    
| 実行時間 | 134 ms / 2,000 ms | 
| コード長 | 630 bytes | 
| コンパイル時間 | 314 ms | 
| コンパイル使用メモリ | 82,208 KB | 
| 実行使用メモリ | 99,072 KB | 
| 最終ジャッジ日時 | 2024-10-16 14:54:31 | 
| 合計ジャッジ時間 | 4,112 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge1 / judge3 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 3 | 
| other | AC * 24 | 
ソースコード
n=int(input())
a=[0]+list(map(int,input().split()))
q=[(0,0)]
for i in range(1,n+1):
  if a[i]!=-1:
    l=i-1
    while a[l]==-1:
      l-=1
    q+=[(a[i],i-l)]
if any(q[i-1][0]&q[i][0]!=q[i-1][0] for i in range(1,len(q))):
  print(0)
  exit()
M=10**9+7
fa=[1,1]
fb=[1,1]
for i in range(2,30+1):
  fa+=[fa[-1]*i%M]
  fb+=[fb[-1]*(M//i)*fb[M%i]*fa[M%i-1]*(-1)%M]
c=lambda n,k:fa[n]*fb[k]*fb[n-k]%M if n>=k else 0
a=1
for i in range(1,len(q)):
  u,_=q[i-1]
  v,l=q[i]
  c1=(v^u).bit_count()
  c2=(v&u).bit_count()
  b=0
  for j in range(c1+1):
    b+=c(c1,j)*pow(pow(2,c1-j+c2,M)-1,l,M)*((-1)**(j%2))
    b%=M
  a*=b
  a%=M
print(a)
            
            
            
        
            
sasa8uyauya