結果

問題 No.462 6日知らずのコンピュータ
ユーザー chaemonchaemon
提出日時 2016-12-13 00:23:39
言語 C++14
(gcc 13.2.0 + boost 1.83.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 3,130 bytes
コンパイル時間 829 ms
コンパイル使用メモリ 89,848 KB
実行使用メモリ 4,384 KB
最終ジャッジ日時 2023-08-19 22:11:40
合計ジャッジ時間 3,447 ms
ジャッジサーバーID
(参考情報)
judge15 / judge11
このコードへのチャレンジ(β)

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
4,376 KB
testcase_01 AC 2 ms
4,376 KB
testcase_02 AC 1 ms
4,380 KB
testcase_03 AC 1 ms
4,376 KB
testcase_04 AC 2 ms
4,376 KB
testcase_05 AC 2 ms
4,376 KB
testcase_06 AC 2 ms
4,384 KB
testcase_07 AC 1 ms
4,376 KB
testcase_08 AC 2 ms
4,376 KB
testcase_09 AC 1 ms
4,376 KB
testcase_10 AC 2 ms
4,380 KB
testcase_11 AC 2 ms
4,376 KB
testcase_12 AC 1 ms
4,384 KB
testcase_13 AC 2 ms
4,380 KB
testcase_14 AC 2 ms
4,380 KB
testcase_15 AC 1 ms
4,380 KB
testcase_16 AC 1 ms
4,380 KB
testcase_17 AC 2 ms
4,380 KB
testcase_18 AC 2 ms
4,380 KB
testcase_19 AC 2 ms
4,384 KB
testcase_20 AC 2 ms
4,380 KB
testcase_21 AC 1 ms
4,376 KB
testcase_22 AC 1 ms
4,380 KB
testcase_23 AC 1 ms
4,380 KB
testcase_24 AC 2 ms
4,376 KB
testcase_25 AC 2 ms
4,380 KB
testcase_26 AC 2 ms
4,384 KB
testcase_27 AC 1 ms
4,376 KB
testcase_28 AC 1 ms
4,376 KB
testcase_29 AC 1 ms
4,380 KB
testcase_30 AC 2 ms
4,380 KB
testcase_31 AC 2 ms
4,376 KB
testcase_32 AC 1 ms
4,380 KB
testcase_33 AC 2 ms
4,380 KB
testcase_34 AC 1 ms
4,380 KB
testcase_35 AC 1 ms
4,380 KB
testcase_36 AC 1 ms
4,380 KB
testcase_37 AC 1 ms
4,380 KB
testcase_38 AC 2 ms
4,376 KB
testcase_39 AC 2 ms
4,380 KB
testcase_40 AC 1 ms
4,380 KB
testcase_41 AC 2 ms
4,380 KB
testcase_42 AC 2 ms
4,376 KB
testcase_43 AC 2 ms
4,380 KB
testcase_44 AC 2 ms
4,376 KB
testcase_45 AC 1 ms
4,380 KB
testcase_46 AC 1 ms
4,380 KB
testcase_47 AC 1 ms
4,380 KB
testcase_48 AC 1 ms
4,384 KB
testcase_49 AC 1 ms
4,380 KB
testcase_50 AC 1 ms
4,380 KB
testcase_51 AC 1 ms
4,380 KB
testcase_52 AC 1 ms
4,380 KB
testcase_53 AC 2 ms
4,380 KB
testcase_54 AC 2 ms
4,380 KB
testcase_55 AC 1 ms
4,380 KB
testcase_56 AC 2 ms
4,384 KB
testcase_57 AC 1 ms
4,376 KB
testcase_58 AC 1 ms
4,376 KB
testcase_59 AC 1 ms
4,376 KB
testcase_60 AC 2 ms
4,384 KB
testcase_61 AC 1 ms
4,380 KB
testcase_62 AC 1 ms
4,376 KB
testcase_63 AC 1 ms
4,380 KB
testcase_64 AC 1 ms
4,380 KB
testcase_65 AC 2 ms
4,380 KB
testcase_66 AC 2 ms
4,380 KB
testcase_67 AC 1 ms
4,380 KB
testcase_68 AC 2 ms
4,376 KB
testcase_69 AC 1 ms
4,380 KB
testcase_70 AC 2 ms
4,380 KB
testcase_71 AC 1 ms
4,380 KB
testcase_72 AC 1 ms
4,380 KB
testcase_73 AC 1 ms
4,380 KB
testcase_74 AC 2 ms
4,380 KB
testcase_75 AC 2 ms
4,380 KB
testcase_76 AC 1 ms
4,380 KB
testcase_77 AC 1 ms
4,380 KB
testcase_78 AC 1 ms
4,380 KB
testcase_79 AC 2 ms
4,380 KB
testcase_80 AC 1 ms
4,376 KB
testcase_81 AC 1 ms
4,380 KB
testcase_82 AC 2 ms
4,380 KB
testcase_83 AC 1 ms
4,380 KB
testcase_84 AC 1 ms
4,376 KB
testcase_85 AC 1 ms
4,380 KB
testcase_86 AC 1 ms
4,380 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
main.cpp: 関数 ‘Num add(Num&, const Num&, Num)’ 内:
main.cpp:83:1: 警告: 非 void を戻す関数内に return 文がありません [-Wreturn-type]
   83 | }
      | ^
main.cpp: 関数 ‘Num subt(Num&, const Num&, Num)’ 内:
main.cpp:96:1: 警告: 非 void を戻す関数内に return 文がありません [-Wreturn-type]
   96 | }
      | ^

ソースコード

diff #

// #includes {{{
#include <algorithm>
#include <numeric>
#include <iostream>
#include <string>
#include <vector>
#include <queue>
#include <list>
#include <deque>
#include <stack>
#include <set>
#include <map>
#include <cstdio>
#include <cstdlib>
#include <cassert>
#include <cstring>
#include <cmath>
using namespace std;
// }}}
// pre-written code {{{
#define REP(i,n) for(int i=0;i<(int)(n);++i)
#define RREP(i,a,b) for(int i=(int)(a);i<(int)(b);++i)
#define FOR(i,c) for(__typeof((c).begin()) i=(c).begin();i!=(c).end();++i)
#define LET(x,a) __typeof(a) x(a)
//#define IFOR(i,it,c) for(__typeof((c).begin())it=(c).begin();it!=(c).end();++it,++i)
#define ALL(c) (c).begin(), (c).end()
#define MP make_pair

#define EXIST(e,s) ((s).find(e)!=(s).end())

#define RESET(a) memset((a),0,sizeof(a))
#define SET(a) memset((a),-1,sizeof(a))
#define PB push_back
#define DEC(it,command) __typeof(command) it=command

//debug
#define dump(x)  cerr << #x << " = " << (x) << endl;
#define debug(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl;
#define debug2(x) cerr << #x << " = [";REP(__ind,(x).size()){cerr << (x)[__ind] << ", ";}cerr << "] (L" << __LINE__ << ")" << endl;

const int INF=0x3f3f3f3f;

typedef long long Int;
typedef unsigned long long uInt;
#ifdef __MINGW32__
typedef double rn;
#else
typedef long double rn;
#endif

typedef pair<int,int> pii;

/*
#ifdef MYDEBUG
#include"debug.h"
#include"print.h"
#endif
*/
// }}}

const int mod = 1000000007;


typedef int Num;

//{{{ operation
inline Num prod(const Num &a, const Num &b, const Num m = mod){
	Num c = (a*(long long)b)%m;
//	assert(0<=c and c<m);
	return c;
}
inline void mult(Num &a, const Num &b, const Num m = mod){
	a = prod(a,b,m);
}
inline Num sum(const Num &a, const Num &b, const Num m = mod){
	Num c=a+b;
	if(c>=m)c-=m;
//	assert(0<=c and c<m);
	return c;
}
inline Num add(Num &a, const Num &b, const Num m = mod){
	a = sum(a,b,m);
}
inline Num neg(const Num &a, const Num m = mod){
	if(a==0)return 0;
	else return m-a;
}
inline Num diff(const Num &a, const Num &b, const Num m = mod){
	Num c=a-b;
	if(c<0)c+=m;
	return c;
}
inline Num subt(Num &a, const Num &b, const Num m = mod){
	a -= b;
	if(a<0)a+=m;
}
/*
inline Num inv(const Num &a, const Num m = mod){
	return invMod(a,m);
}
inline Num quot(const Num &a, const Num &b, const Num m = mod){
	return prod(a,inv(b,m),m);
}
inline void divide(Num &a, const Num &b, const Num m = mod){
	a = prod(a,inv(b,m),m);
}
*/
//}}}

int fact[66];

int N,k;

int main(){
	int f = 1;
	for(int i=0;i<66;i++){
		fact[i] = f;
		mult(f,i+1);
	}
	vector<pair<int,Int> > a;
	cin>>N>>k;
	REP(i,k){
		Int t;
		cin>>t;
		a.push_back(make_pair(__builtin_popcountll(t),t));
	}
	sort(ALL(a));
	if(a.size()==0){
		cout<<fact[N]<<endl;
		return 0;
	}
	bool valid = true;
	REP(i,k-1){
		if(a[i].first>=a[i+1].first or (a[i].second&a[i+1].second)!=a[i].second){
			valid = false;
		}
	}
	if(!valid){
		cout<<0<<endl;
		return 0;
	}
	int ans = 1;
	mult(ans,fact[a[0].first]);
	REP(i,k-1){
		mult(ans,fact[a[i+1].first-a[i].first]);
	}
	mult(ans,fact[N-a[k-1].first]);
	cout<<ans<<endl;
	return 0;
}
0