結果
| 問題 |
No.462 6日知らずのコンピュータ
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2017-12-03 12:32:38 |
| 言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 1,810 bytes |
| コンパイル時間 | 1,843 ms |
| コンパイル使用メモリ | 164,076 KB |
| 実行使用メモリ | 5,248 KB |
| 最終ジャッジ日時 | 2024-11-28 08:53:57 |
| 合計ジャッジ時間 | 4,478 ms |
|
ジャッジサーバーID (参考情報) |
judge2 / judge4 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | AC * 2 WA * 1 |
| other | AC * 51 WA * 33 |
ソースコード
#include "bits/stdc++.h"
using namespace std;
#define print(x) cout<<x<<endl;
#define rep(i,a,b) for(int i=a;i<b;i++)
#define REP(i,a) for(int i=0;i<a;i++)
#define printall(n,array) for(int i=0;i<n;i++){cout<<array[i]<<" ";}cout<<endl;
typedef long long ll;
typedef pair<int, int> PI;
typedef pair<int, PI> V;
typedef vector<int> VE;
const ll mod = 1000000007; //10^9+7
int binally_count(ll n){
string str(std::bitset<62>(n).to_string<char, std::char_traits<char>, std::allocator<char> >());
int cnt=0;
REP(i,62){
if(str[i]=='1')cnt++;
}
return cnt;
}
ll nPn(int n){
ll sum=1;
rep(i,1,n+1){
sum*=i;
sum%=mod;
}
return sum;
}
string bainary(ll val){
if( !val )
return std::string("0");
std::string str;
while( val != 0 ) {
if( (val & 1) == 0 ) // val は偶数か?
str.insert(str.begin(), '0'); // 偶数の場合
else
str.insert(str.begin(), '1'); // 奇数の場合
val >>= 1;
}
return str;
}
bool check(ll a,ll b){
string ab=bainary(a);
string bb=bainary(b);
while(ab.size()!=bb.size()){bb="0"+bb;}
//print(ab<<" "<<bb);
REP(i,ab.size()){
if(ab[i]=='0'&&bb[i]=='1'){
print("false");
print(ab<<" "<<bb);
return false;
}
}
return true;
}
int main(){
int n,k;
cin>>n>>k;
ll a[61];
REP(i,k)cin>>a[i];
ll ans=0;
if(k==0){
ans=nPn(n);
print(ans);
return 0;
}
sort(a,a+k);
rep(i,1,k){
if(check(a[i],a[i-1])==false){
print(0);
return 0;
}
}
int pre_cnt=binally_count(a[0]);
ans=nPn(pre_cnt);
//print(ans);
int cnt=0;
rep(i,1,k){
cnt=binally_count(a[i]);
ans=(ans*(nPn(cnt-pre_cnt))%mod)%mod;
//print(cnt-pre_cnt);
pre_cnt=cnt;
}
ans=(ans*(nPn(n-cnt))%mod)%mod;
print(ans);
}