結果
問題 | No.462 6日知らずのコンピュータ |
ユーザー |
|
提出日時 | 2016-12-13 01:49:04 |
言語 | C++11(廃止可能性あり) (gcc 13.3.0) |
結果 |
AC
|
実行時間 | 2 ms / 2,000 ms |
コード長 | 1,481 bytes |
コンパイル時間 | 1,573 ms |
コンパイル使用メモリ | 160,248 KB |
実行使用メモリ | 5,248 KB |
最終ジャッジ日時 | 2024-11-30 00:18:05 |
合計ジャッジ時間 | 3,427 ms |
ジャッジサーバーID (参考情報) |
judge5 / judge1 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
sample | AC * 3 |
other | AC * 84 |
ソースコード
#include <bits/stdc++.h>using namespace std;#define F first#define S second#define pi M_PI#define R cin>>#define Z class#define ll long long#define ln cout<<'\n'#define in(a) insert(a)#define pb(a) push_back(a)#define pd(a) printf("%.10f\n",a)#define mem(a) memset(a,0,sizeof(a))#define all(c) (c).begin(),(c).end()#define iter(c) __typeof((c).begin())#define rrep(i,n) for(int i=(int)(n)-1;i>=0;i--)#define REP(i,m,n) for(int i=(int)(m);i<(int)(n);i++)#define rep(i,n) REP(i,0,n)#define tr(it,c) for(iter(c) it=(c).begin();it!=(c).end();it++)template<Z A>void pr(A a){cout<<a;ln;}template<Z A,Z B>void pr(A a,B b){cout<<a<<' ';pr(b);}template<Z A,Z B,Z C>void pr(A a,B b,C c){cout<<a<<' ';pr(b,c);}template<Z A,Z B,Z C,Z D>void pr(A a,B b,C c,D d){cout<<a<<' ';pr(b,c,d);}template<Z A>void PR(A a,ll n){rep(i,n){if(i)cout<<' ';cout<<a[i];}ln;}ll check(ll n,ll m,ll x,ll y){return x>=0&&x<n&&y>=0&&y<m;}const ll MAX=1000000007,MAXL=1LL<<61,dx[4]={-1,0,1,0},dy[4]={0,1,0,-1};typedef pair<int,int> P;void Main() {ll c[62];c[0]=1;REP(i,1,62) c[i]=(c[i-1]*i)%MAX;ll n,m;cin >> n >> m;ll a[m+2];rep(i,m) cin >> a[i];a[m]=0;a[m+1]=(1LL<<n)-1;sort(a,a+m+2);ll t=0,ans=1;rep(i,m+1) {ll d=a[i+1]-a[i];if(t&d) {pr(0);return;}ll x=0;rep(j,61)if(d&(1LL<<j))x++;n-=x;ans*=c[x];ans%=MAX;t|=d;}pr(ans);}int main(){ios::sync_with_stdio(0);cin.tie(0);Main();return 0;}