#145210 (C++11) No.462 6日知らずのコンピュータ

提出ソース

結果

問題	No.462 6日知らずのコンピュータ
ユーザー	IL_msta
提出日時	2017-01-22 17:57:11
言語	C++11 (gcc 11.4.0)
結果	AC
実行時間	2 ms / 2,000 ms
コード長	4,885 bytes
コンパイル時間	1,046 ms
コンパイル使用メモリ	108,940 KB
実行使用メモリ	4,504 KB
最終ジャッジ日時	2023-08-24 20:03:44
合計ジャッジ時間	3,995 ms
ジャッジサーバーID （参考情報）	judge13 / judge11

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	1 ms 4,356 KB
testcase_01	AC	2 ms 4,380 KB
testcase_02	AC	2 ms 4,380 KB
testcase_03	AC	2 ms 4,376 KB
testcase_04	AC	1 ms 4,376 KB
testcase_05	AC	2 ms 4,380 KB
testcase_06	AC	2 ms 4,376 KB
testcase_07	AC	1 ms 4,376 KB
testcase_08	AC	2 ms 4,380 KB
testcase_09	AC	2 ms 4,376 KB
testcase_10	AC	2 ms 4,380 KB
testcase_11	AC	1 ms 4,380 KB
testcase_12	AC	1 ms 4,376 KB
testcase_13	AC	1 ms 4,380 KB
testcase_14	AC	2 ms 4,376 KB
testcase_15	AC	1 ms 4,380 KB
testcase_16	AC	1 ms 4,380 KB
testcase_17	AC	2 ms 4,376 KB
testcase_18	AC	2 ms 4,384 KB
testcase_19	AC	1 ms 4,376 KB
testcase_20	AC	2 ms 4,380 KB
testcase_21	AC	2 ms 4,376 KB
testcase_22	AC	2 ms 4,376 KB
testcase_23	AC	2 ms 4,380 KB
testcase_24	AC	1 ms 4,380 KB
testcase_25	AC	2 ms 4,376 KB
testcase_26	AC	2 ms 4,376 KB
testcase_27	AC	2 ms 4,376 KB
testcase_28	AC	1 ms 4,380 KB
testcase_29	AC	2 ms 4,380 KB
testcase_30	AC	2 ms 4,380 KB
testcase_31	AC	1 ms 4,380 KB
testcase_32	AC	2 ms 4,380 KB
testcase_33	AC	1 ms 4,380 KB
testcase_34	AC	2 ms 4,380 KB
testcase_35	AC	2 ms 4,380 KB
testcase_36	AC	1 ms 4,380 KB
testcase_37	AC	1 ms 4,380 KB
testcase_38	AC	1 ms 4,376 KB
testcase_39	AC	1 ms 4,380 KB
testcase_40	AC	1 ms 4,376 KB
testcase_41	AC	2 ms 4,380 KB
testcase_42	AC	2 ms 4,376 KB
testcase_43	AC	2 ms 4,376 KB
testcase_44	AC	2 ms 4,380 KB
testcase_45	AC	1 ms 4,376 KB
testcase_46	AC	1 ms 4,376 KB
testcase_47	AC	2 ms 4,380 KB
testcase_48	AC	2 ms 4,376 KB
testcase_49	AC	2 ms 4,376 KB
testcase_50	AC	1 ms 4,376 KB
testcase_51	AC	1 ms 4,376 KB
testcase_52	AC	1 ms 4,376 KB
testcase_53	AC	2 ms 4,380 KB
testcase_54	AC	2 ms 4,380 KB
testcase_55	AC	2 ms 4,376 KB
testcase_56	AC	1 ms 4,376 KB
testcase_57	AC	2 ms 4,376 KB
testcase_58	AC	2 ms 4,376 KB
testcase_59	AC	2 ms 4,376 KB
testcase_60	AC	2 ms 4,380 KB
testcase_61	AC	1 ms 4,376 KB
testcase_62	AC	2 ms 4,376 KB
testcase_63	AC	1 ms 4,380 KB
testcase_64	AC	1 ms 4,376 KB
testcase_65	AC	2 ms 4,380 KB
testcase_66	AC	2 ms 4,380 KB
testcase_67	AC	1 ms 4,376 KB
testcase_68	AC	1 ms 4,380 KB
testcase_69	AC	2 ms 4,376 KB
testcase_70	AC	2 ms 4,376 KB
testcase_71	AC	2 ms 4,380 KB
testcase_72	AC	2 ms 4,380 KB
testcase_73	AC	1 ms 4,376 KB
testcase_74	AC	1 ms 4,376 KB
testcase_75	AC	2 ms 4,376 KB
testcase_76	AC	2 ms 4,380 KB
testcase_77	AC	1 ms 4,376 KB
testcase_78	AC	2 ms 4,376 KB
testcase_79	AC	2 ms 4,376 KB
testcase_80	AC	2 ms 4,376 KB
testcase_81	AC	2 ms 4,504 KB
testcase_82	AC	2 ms 4,376 KB
testcase_83	AC	1 ms 4,376 KB
testcase_84	AC	1 ms 4,380 KB
testcase_85	AC	2 ms 4,380 KB
testcase_86	AC	1 ms 4,376 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#ifdef __GNUC__
#pragma GCC optimize ("O3")
#pragma GCC target ("avx")
#endif

#define _USE_MATH_DEFINES

#include <iostream>
#include <iomanip>

#include <sstream>
#include <algorithm>
#include <cmath>

#include <string>
#include <cstring>
#include <vector>
#include <valarray>
#include <array>

#include <queue>
#include <complex>
#include <set>
#include <map>
#include <stack>
#include <list>

#include<cassert>//assert();
#include <fstream>
/////////
#define REP(i, x, n) for(int i = x; i < n; i++)
#define rep(i,n) REP(i,0,n)
#define P(p) cout<<(p)<<endl;
 
#define PII pair<int,int>
#define MAIN_INIT std::cin.tie(0); \
    std::ios::sync_with_stdio(false);\
	std::cout << std::fixed;//小数を10進数表示
/////////
#ifdef getchar_unlocked
#define mygc(c) (c)=getchar_unlocked()
#else
#define mygc(c) (c)=getchar()
#endif
#ifdef putchar_unlocked
#define mypc(c) putchar_unlocked(c)
#else
#define mypc(c) putchar(c)
#endif
/////////
typedef long long LL;
typedef long double LD;
typedef unsigned long long ULL;
/////////
using namespace::std;
/////////
#ifdef _DEBUG
#define DEBUG_BOOL(b) assert(b)
#else
#define DEBUG_BOOL(b) 
#endif
/////数値読み込み
#define ENABLE_READER_ON(T)	\
inline void reader(T &x){int k;x = 0;bool flag = true;\
while(true){mygc(k);\
if( k == '-'){flag = false;break;}if('0' <= k && k <= '9'){x = k - '0';break;}\
}\
if( flag ){while(true){mygc(k);if( k<'0' || '9'<k)break;x = x * 10 + (k - '0');}}\
else{while(true){mygc(k);if( k<'0' || '9'<k)break;x = x * 10 - (k-'0');}}\
}
//整数
ENABLE_READER_ON(int)
ENABLE_READER_ON(long)
ENABLE_READER_ON(long long)
ENABLE_READER_ON(unsigned int)
ENABLE_READER_ON(unsigned long)
ENABLE_READER_ON(unsigned long long)

//////
//文字読み込み
inline int reader(char& c){int i;
for(;;){mygc(i);if(i!=' '&&i!='\n'&&i!='\r'&&i!='\t'&&i!=EOF) break;}
c = i;
return i;}

inline int reader(char c[]){int i,s=0;
for(;;){mygc(i);if(i!=' '&&i!='\n'&&i!='\r'&&i!='\t'&&i!=EOF) break;}
c[s++]=i;
for(;;){mygc(i);if(i==' '||i=='\n'||i=='\r'||i=='\t'||i==EOF) break;c[s++]=i;}
c[s]='\0';return s;
}

inline int reader(string& c,int size=100){int i;c.reserve(size);
for(;;){mygc(i);if(i != ' '&&i != '\n'&&i != '\r'&&i != '\t'&&i != EOF)break;}
c.push_back(i);
for(;;){mygc(i);if(i == ' ' || i == '\n' || i == '\r' || i == '\t' || i == EOF)break;c.push_back(i);}
return c.size();}

/////////
//数値出力
#define ENABLE_WRITER_ON(T)	\
inline void writer(T x){char f[20];int s = 0;\
if (x<0){mypc('-');while(x){f[s++] = ~(x%10)+1,x /= 10;}}\
else{while(x){f[s++] = (x % 10), x /= 10;}}\
if (!s)f[s++] = 0;while (s--)mypc(f[s] + '0');}

ENABLE_WRITER_ON(int)
ENABLE_WRITER_ON(long)
ENABLE_WRITER_ON(long long)
ENABLE_WRITER_ON(unsigned int)
ENABLE_WRITER_ON(unsigned long)
ENABLE_WRITER_ON(unsigned long long)
/////////
inline void writer(const char c){mypc(c);}
inline void writer(const char c[]){for (int i = 0; c[i] != '\0'; i++)mypc(c[i]); }
inline void writer(const string str){writer( str.c_str() );}
///////////////////////////////////////////////////////////
// 最大公約数
template<class T>
inline T gcd(T a, T b){return b == 0 ? a : gcd(b, a % b);}
// 最小公倍数
template<class T>
inline T lcm(T a, T b){return a * b / gcd(a, b);}
////////////////////////////////
unsigned long long  bitcount64(unsigned long long bits)
{
    bits = (bits & 0x5555555555555555) + (bits >> 1 & 0x5555555555555555);
    bits = (bits & 0x3333333333333333) + (bits >> 2 & 0x3333333333333333);
    bits = (bits & 0x0f0f0f0f0f0f0f0f) + (bits >> 4 & 0x0f0f0f0f0f0f0f0f);
    bits = (bits & 0x00ff00ff00ff00ff) + (bits >> 8 & 0x00ff00ff00ff00ff);
    bits = (bits & 0x0000ffff0000ffff) + (bits >>16 & 0x0000ffff0000ffff);
    return (bits & 0x00000000ffffffff) + (bits >>32 & 0x00000000ffffffff);
}

const ULL mod = 1000000007;
ULL fact(ULL N ){//(N!)%mod
	if( N == 0 ){
		return 1;
	}
	ULL ret = 1;
	for(ULL i = 1;i<=N;++i){
		ret = (ret * i)%mod;
	}
	return ret;
}
inline void solve(){
	LL N,K;
	reader(N);reader(K);
	vector<LL> A(K);
	for(int i=0;i<K;++i){
		reader(A[i]);
	}
	sort(A.begin(), A.end() );
	
	if( K == 0 ){
		writer( fact(N) );//N!
		return;
	}

	ULL ans = 1;
	ULL now;//
	ULL ato;//立てるビットの数
	for(int i=0;i<K;++i){
		//A[i-1]からはじめて、A[i]を作る。A[-1] = 0
		if( i == 0 ){
			now = 0;
		}else{
			now = A[i-1];
		}
		//////
		//戻してないかチェック
		if( (A[i] & now) != now ){
			writer( 0 );writer("\n");
			return;
		}
		
		///////ULL ato;//立てるビットの数
		ato = bitcount64(A[i]) - bitcount64( now );
		ans = (ans * fact(ato) ) % mod;
	}
	now = A[K-1];
	//最後まで立てる。
	ULL MAX = ((ULL)1<<N)-1;
	ato = bitcount64( MAX ) - bitcount64( now );
	ans = (ans * fact(ato) ) % mod;

	writer( ans );writer('\n');
}

int main(void){
    MAIN_INIT;
    cout << setprecision(16);//小数をいっぱい表示する。16?

	solve();

	return 0;
}

yukicoder

結果

テストケース

ソースコード