結果
問題 | No.462 6日知らずのコンピュータ |
ユーザー |
|
提出日時 | 2017-01-05 21:21:40 |
言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 1,508 bytes |
コンパイル時間 | 1,740 ms |
コンパイル使用メモリ | 175,004 KB |
実行使用メモリ | 6,824 KB |
最終ジャッジ日時 | 2024-12-17 13:57:00 |
合計ジャッジ時間 | 3,797 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge2 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 44 WA * 40 |
ソースコード
#include <bits/stdc++.h> using namespace std; typedef long long ll; typedef vector< int > vi; typedef vector< vi > vvi; typedef vector< ll > vl; typedef vector< vl > vvl; typedef pair< int, int > pii; typedef vector< pii > vp; typedef vector< double > vd; typedef vector< vd > vvd; typedef vector< string > vs; template< class T1, class T2 > int upmin( T1 &x, T2 v ){ if( x > v ){ x = v; return 1; } return 0; } template< class T1, class T2 > int upmax( T1 &x, T2 v ){ if( x < v ){ x = v; return 1; } return 0; } const int INF = 0x3f3f3f3f; const int MOD7 = ( int ) 1e9 + 7; int N, K; vl A; void init(){ cin >> N >> K; A = vl( K ); for( int i = 0; i < K; ++i ){ cin >> A[ i ]; } } void preprocess(){ int f = -1; if( K == 0 ){ f = N; } sort( A.begin(), A.end() ); if( f == -1 and A[ 0 ] == 0 ){ A.erase( A.begin() ); --K; } if( K == 0 ){ f = N; } if( not A.empty() and A.back() > 1LL << N ){ cout << 0 << endl; exit( 0 ); } if( not A.empty() and A.back() == 1LL << N ){ A.erase( --A.end() ); --K; } if( K == 0 ){ f = N; } for( int i = 1; i < K; ++i ){ if( ~A[ i ] & A[ i - 1 ] ){ cout << 0 << endl; exit( 0 ); } } if( f == -1 ){ f = N - K; } int ans = 1; for( int i = 2; i <= f; ++i ){ ans = 1LL * ans * i % MOD7; } cout << ans << endl; } void solve(){ } signed main(){ ios::sync_with_stdio( 0 ); init(); preprocess(); solve(); return 0; }