結果

問題 No.1426 Got a Covered OR
ユーザー 👑 kmjpkmjp
提出日時 2021-03-13 00:09:28
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
AC  
実行時間 40 ms / 2,000 ms
コード長 1,839 bytes
コンパイル時間 2,307 ms
コンパイル使用メモリ 196,748 KB
実行使用メモリ 13,440 KB
最終ジャッジ日時 2024-04-22 15:28:03
合計ジャッジ時間 4,216 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 21 ms
12,928 KB
testcase_01 AC 21 ms
12,800 KB
testcase_02 AC 22 ms
12,928 KB
testcase_03 AC 21 ms
12,800 KB
testcase_04 AC 21 ms
12,928 KB
testcase_05 AC 20 ms
12,928 KB
testcase_06 AC 22 ms
12,800 KB
testcase_07 AC 23 ms
13,056 KB
testcase_08 AC 21 ms
12,928 KB
testcase_09 AC 22 ms
12,928 KB
testcase_10 AC 21 ms
12,928 KB
testcase_11 AC 20 ms
12,800 KB
testcase_12 AC 24 ms
13,056 KB
testcase_13 AC 25 ms
13,056 KB
testcase_14 AC 24 ms
13,056 KB
testcase_15 AC 24 ms
13,056 KB
testcase_16 AC 20 ms
12,928 KB
testcase_17 AC 22 ms
12,800 KB
testcase_18 AC 32 ms
13,056 KB
testcase_19 AC 33 ms
13,184 KB
testcase_20 AC 24 ms
12,800 KB
testcase_21 AC 26 ms
13,056 KB
testcase_22 AC 26 ms
13,312 KB
testcase_23 AC 40 ms
13,312 KB
testcase_24 AC 36 ms
13,440 KB
testcase_25 AC 36 ms
13,312 KB
testcase_26 AC 36 ms
13,312 KB
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;
typedef signed long long ll;

#define _P(...) (void)printf(__VA_ARGS__)
#define FOR(x,to) for(x=0;x<(to);x++)
#define FORR(x,arr) for(auto& x:arr)
#define FORR2(x,y,arr) for(auto& [x,y]:arr)
#define ALL(a) (a.begin()),(a.end())
#define ZERO(a) memset(a,0,sizeof(a))
#define MINUS(a) memset(a,0xff,sizeof(a))
template<class T> bool chmax(T &a, const T &b) { if(a<b){a=b;return 1;}return 0;}
template<class T> bool chmin(T &a, const T &b) { if(a>b){a=b;return 1;}return 0;}
//-------------------------------------------------------

int N;
int B[101010];
const ll mo=1000000007;
ll comb(ll N_, ll C_) {
	const int NUM_=400001;
	static ll fact[NUM_+1],factr[NUM_+1],inv[NUM_+1];
	if (fact[0]==0) {
		inv[1]=fact[0]=factr[0]=1;
		for (int i=2;i<=NUM_;++i) inv[i] = inv[mo % i] * (mo - mo / i) % mo;
		for (int i=1;i<=NUM_;++i) fact[i]=fact[i-1]*i%mo, factr[i]=factr[i-1]*inv[i]%mo;
	}
	if(C_<0 || C_>N_) return 0;
	return factr[C_]*fact[N_]%mo*factr[N_-C_]%mo;
}

ll modpow(ll a, ll n = mo-2) {
	ll r=1;a%=mo;
	while(n) r=r*((n%2)?a:1)%mo,a=a*a%mo,n>>=1;
	return r;
}

void solve() {
	int i,j,k,l,r,x,y; string s;
	
	cin>>N;
	FOR(i,N) cin>>B[i+1];
	
	ll ret=1;
	int pre=0;
	for(i=1;i<=N;i++) if(B[i]!=-1) {
		int C[2][2]={};
		FOR(j,30) {
			C[(B[pre]>>j)&1][(B[i]>>j)&1]++;
		}
		
		if(C[1][0]) {
			ret=0;
		}
		else {
			x=C[0][1];
			y=C[1][1];
			ll pat=0;
			FOR(j,x+1) {
				ll p=comb(x,j)*modpow((1LL<<(x+y-j))-1,i-pre)%mo;
				if(j%2==1) {
					pat+=mo-p;
				}
				else {
					pat+=p;
				}
			}
			ret=ret*(pat%mo)%mo;
		}
		
		pre=i;
	}
	
	cout<<ret<<endl;
	
}


int main(int argc,char** argv){
	string s;int i;
	if(argc==1) ios::sync_with_stdio(false), cin.tie(0);
	FOR(i,argc-1) s+=argv[i+1],s+='\n'; FOR(i,s.size()) ungetc(s[s.size()-1-i],stdin);
	cout.tie(0); solve(); return 0;
}
0