結果

問題 No.462 6日知らずのコンピュータ
ユーザー 👑 CleyL
提出日時 2023-03-28 15:47:40
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 2 ms / 2,000 ms
コード長 906 bytes
コンパイル時間 748 ms
コンパイル使用メモリ 80,408 KB
最終ジャッジ日時 2025-02-11 18:51:39
ジャッジサーバーID
（参考情報） 		judge5 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
sample AC * 3
other AC * 84
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;

bool comp(long long a,long long b){
  return __builtin_popcountll(a) < __builtin_popcountll(b);
}

const long long mod = 1000000007;

const long long f(long long x){
  if(x == 0 || x == 1)return 1;
  long long ans = 1;
  for(long long i = 2; x >= i; i++){
    ans = (ans*i)%mod;
  }
  return ans;
}

int main(){
  long long n,k;cin>>n>>k;

  vector<long long> A(k);
  for(int i = 0; k > i; i++)cin>>A[i];
  A.push_back(0);A.push_back((1LL<<n)-1);
  sort(A.begin(),A.end(),comp);
  A.erase(unique(A.begin(),A.end()),A.end());
  k = A.size();
  long long ans = 1;
  for(int i = 0; k-1 > i; i++){
    long long z = __builtin_popcountll(A[i+1]-A[i]);
    if(!z || __builtin_popcountll(A[i+1])-__builtin_popcountll(A[i]) != z){
      cout << 0 << endl;
      return 0;
    }
    ans = (ans*f(z))%mod;
  }
  cout << ans << endl;
}
0