結果
問題 | No.462 6日知らずのコンピュータ |
ユーザー |
![]() |
提出日時 | 2016-12-13 00:07:21 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 2,077 bytes |
コンパイル時間 | 3,915 ms |
コンパイル使用メモリ | 176,604 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-11-29 18:08:36 |
合計ジャッジ時間 | 3,724 ms |
ジャッジサーバーID (参考情報) |
judge4 / judge3 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 84 |
ソースコード
#include "bits/stdc++.h" using namespace std; #define rep(i,n) for(int (i)=0;(i)<(int)(n);++(i)) #define rer(i,l,u) for(int (i)=(int)(l);(i)<=(int)(u);++(i)) #define reu(i,l,u) for(int (i)=(int)(l);(i)<(int)(u);++(i)) static const int INF = 0x3f3f3f3f; static const long long INFL = 0x3f3f3f3f3f3f3f3fLL; typedef vector<int> vi; typedef pair<int, int> pii; typedef vector<pair<int, int> > vpii; typedef long long ll; template<typename T, typename U> static void amin(T &x, U y) { if(y < x) x = y; } template<typename T, typename U> static void amax(T &x, U y) { if(x < y) x = y; } template<int MOD> struct ModInt { static const int Mod = MOD; unsigned x; ModInt() : x(0) {} ModInt(signed sig) { int sigt = sig % MOD; if(sigt < 0) sigt += MOD; x = sigt; } ModInt(signed long long sig) { int sigt = sig % MOD; if(sigt < 0) sigt += MOD; x = sigt; } int get() const { return (int)x; } ModInt &operator+=(ModInt that) { if((x += that.x) >= MOD) x -= MOD; return *this; } ModInt &operator-=(ModInt that) { if((x += MOD - that.x) >= MOD) x -= MOD; return *this; } ModInt &operator*=(ModInt that) { x = (unsigned long long)x * that.x % MOD; return *this; } ModInt operator+(ModInt that) const { return ModInt(*this) += that; } ModInt operator-(ModInt that) const { return ModInt(*this) -= that; } ModInt operator*(ModInt that) const { return ModInt(*this) *= that; } }; typedef ModInt<1000000007> mint; int main() { int N; int K; while(~scanf("%d%d", &N, &K)) { vector<int> cnt(N + 1, 0); vector<pair<int,ll>> seq; for(int i = 0; i < K; ++ i) { long long a; scanf("%lld", &a); int p = 0; rep(i, N) p += a >> i & 1; ++ cnt[p]; seq.emplace_back(p, a); } bool ok = true; rer(i, 0, N) ok &= cnt[i] <= 1; seq.emplace_back(0, 0); seq.emplace_back(N, (1LL << N) - 1); sort(seq.begin(), seq.end()); mint ans = 1; rep(i, seq.size() - 1) { ok &= (~seq[i + 1].second & seq[i].second) == 0; rep(j, seq[i + 1].first - seq[i].first) ans *= j + 1; } if(!ok) ans = mint(); printf("%d\n", ans.get()); } return 0; }