結果

問題 No.462 6日知らずのコンピュータ
ユーザー t98slider
提出日時 2023-01-23 12:18:04
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 701 bytes
コンパイル時間 1,168 ms
コンパイル使用メモリ 93,300 KB
最終ジャッジ日時 2024-06-25 09:17:15
合計ジャッジ時間 1,761 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge2
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
main.cpp: In function 'int main()':
main.cpp:8:5: error: 'cin' was not declared in this scope
    8 |     cin >> n >> k;
      |     ^~~
main.cpp:2:1: note: 'std::cin' is defined in header '<iostream>'; did you forget to '#include <iostream>'?
    1 | #include <atcoder/all>
  +++ |+#include <iostream>
    2 | using namespace std;
main.cpp:21:13: error: 'cout' was not declared in this scope
   21 |             cout << 0 << endl;
      |             ^~~~
main.cpp:21:13: note: 'std::cout' is defined in header '<iostream>'; did you forget to '#include <iostream>'?
main.cpp:21:26: error: 'endl' was not declared in this scope
   21 |             cout << 0 << endl;
      |                          ^~~~
main.cpp:2:1: note: 'std::endl' is defined in header '<ostream>'; did you forget to '#include <ostream>'?
    1 | #include <atcoder/all>
  +++ |+#include <ostream>
    2 | using namespace std;
main.cpp:26:5: error: 'cout' was not declared in this scope
   26 |     cout << ans.val() << endl;
      |     ^~~~
main.cpp:26:5: note: 'std::cout' is defined in header '<iostream>'; did you forget to '#include <iostream>'?
main.cpp:26:26: error: 'endl' was not declared in this scope
   26 |     cout << ans.val() << endl;
      |                          ^~~~
main.cpp:26:26: note: 'std::endl' is defined in header '<ostream>'; did you forget to '#include <ostream>'?

ソースコード

diff # 

#include <atcoder/all>
using namespace std;
using ll = long long;
using mint = atcoder::modint1000000007;

int main(){
    int n, k;
    cin >> n >> k;
    vector<ll> a(k);
    vector<mint> fact(n + 1);
    for(auto &&v:a)cin >> v;
    fact[0] = 1;
    for(int i = 1; i <= n; i++)fact[i] = i * fact[i - 1];
    a.push_back(0);
    a.push_back((1ll << n) - 1);
    sort(a.begin(), a.end());
    a.erase(unique(a.begin(), a.end()), a.end());
    mint ans = 1;
    for(int i = 0; i + 1 < a.size(); i++){
        if((a[i] & a[i + 1]) != a[i]){
            cout << 0 << endl;
            return 0;
        }
        ans *= fact[__builtin_popcountll(a[i] ^ a[i + 1])];
    }
    cout << ans.val() << endl;
}
0