結果

問題 No.462 6日知らずのコンピュータ
コンテスト
ユーザー Yamyuki
提出日時 2016-12-13 01:46:07
言語 C90(gcc15)
(gcc 15.2.0)
コンパイル:
gcc-15 -O2 -std=c90 -DONLINE_JUDGE -o a.out _filename_ -lm
実行:
./a.out
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 1,015 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 247 ms
コンパイル使用メモリ 39,396 KB
最終ジャッジ日時 2026-02-23 23:48:37
ジャッジサーバーID
（参考情報） 		judge2 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 84
権限があれば一括ダウンロードができます

ソースコード

diff #
raw source code 

#include<stdio.h>
#include<stdlib.h>

long long mod=1000000007;
long long dp[61];

typedef struct {
	int b[61];
} bits;

bits bit[61];
int check[60];


int cmp(const void*a,const void*b){
	return ((bits*)a)->b[60]-((bits*)b)->b[60];
}

int bitcheck(long long a,bits* b,int c){
	if(a%2==1){
		a--;
		b->b[c]=1;
	}else{
		b->b[c]=0;
	}
	if(a==0) return b->b[c];
	return b->b[c]+bitcheck(a/2,b,c+1);
}

long long kaijo(int a){
	if(dp[a]>0) return dp[a];
	if(a==0) return dp[0]=1;
	return dp[a]=(long long)a*kaijo(a-1)%mod;
}

int main(){
	int n,k,i,j,bitsum;
	long long a,ans;
	scanf("%d %d",&n,&k);
	for(i=0;i<k;i++){
		scanf("%lld",&a);
		bit[i].b[60]=bitcheck(a,&bit[i],0);
	}
	qsort(bit,k,sizeof(bits),cmp);
	ans=1;
	bitsum=0;
	for(i=0;i<k;i++){
		for(j=0;j<n;j++){
			if(check[j]==1 && bit[i].b[j]==0){
				printf("0\n");
				return 0;
			}
			check[j]=bit[i].b[j];
		}
		ans*=kaijo(bit[i].b[60]-bitsum);
		ans%=mod;
		bitsum=bit[i].b[60];
	}
	ans*=kaijo(n-bitsum);
	ans%=mod;
	printf("%lld\n",ans);
	return 0;
}
0