結果

問題 No.462 6日知らずのコンピュータ
コンテスト
ユーザー Yamyuki
提出日時 2016-12-13 01:22:44
言語 C90(gcc15)
(gcc 15.2.0)
コンパイル:
gcc-15 -O2 -std=c90 -DONLINE_JUDGE -o a.out _filename_ -lm
実行:
./a.out
結果
RE  
実行時間 -
コード長 1,096 bytes
記録
記録タグの例:
初AC ショートコード 純ショートコード 純主流ショートコード 最速実行時間
コンパイル時間 378 ms
コンパイル使用メモリ 39,688 KB
最終ジャッジ日時 2026-02-23 23:48:07
ジャッジサーバーID
（参考情報） 		judge4 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 80 RE * 4
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.c: In function 'main':
main.c:44:9: warning: incompatible implicit declaration of built-in function 'memset' [-Wbuiltin-declaration-mismatch]
   44 |         memset(check,0,sizeof(check));
      |         ^~~~~~
main.c:3:1: note: include '<string.h>' or provide a declaration of 'memset'
    2 | #include<stdlib.h>
  +++ |+#include <string.h>
    3 |

ソースコード

diff #
raw source code 

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

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

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

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;
	bitcheck(a/2,b,c+1);
}

long long kaijo(int a){
	if(dp[a]>0LL) 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,check[60],bitsum;
	bits bit[61];
	long long a,ans;
	scanf("%d %d",&n,&k);
	for(i=0;i<k;i++){
		scanf("%lld",&a);
		bitcheck(a,&bit[i],0);
		bit[i].b[60]=0;
		for(j=0;j<n;j++)bit[i].b[60]+=bit[i].b[j];
	}
	qsort(bit,k,sizeof(bits),cmp);
	memset(check,0,sizeof(check));
	memset(dp,0,sizeof(dp));
	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