結果

問題 No.462 6日知らずのコンピュータ
ユーザー ttakanottakano
提出日時 2017-12-03 12:37:03
言語 C++11
(gcc 13.3.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,838 bytes
コンパイル時間 1,608 ms
コンパイル使用メモリ 163,440 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-28 08:55:03
合計ジャッジ時間 3,733 ms
ジャッジサーバーID
(参考情報)
judge4 / judge3
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 3
other AC * 84
権限があれば一括ダウンロードができます

ソースコード

diff #
プレゼンテーションモードにする

#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=pre_cnt;
rep(i,1,k){
cnt=binally_count(a[i]);
ans=(ans*(nPn(cnt-pre_cnt))%mod)%mod;
//print(cnt-pre_cnt);
pre_cnt=cnt;
}
//print(n-cnt);
ans=(ans*(nPn(n-cnt))%mod)%mod;
print(ans);
}
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
0