結果
問題 |
No.2911 位相の公理
|
ユーザー |
![]() |
提出日時 | 2024-10-04 23:09:43 |
言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
結果 |
WA
|
実行時間 | - |
コード長 | 657 bytes |
コンパイル時間 | 5,470 ms |
コンパイル使用メモリ | 314,860 KB |
実行使用メモリ | 6,824 KB |
最終ジャッジ日時 | 2024-10-04 23:09:50 |
合計ジャッジ時間 | 5,277 ms |
ジャッジサーバーID (参考情報) |
judge1 / judge5 |
(要ログイン)
ファイルパターン | 結果 |
---|---|
other | AC * 19 WA * 5 |
ソースコード
#include <atcoder/all> #include <bits/stdc++.h> #define rep(i, a, b) for (ll i = (ll)(a); i < (ll)(b); i++) using namespace atcoder; using namespace std; typedef long long ll; int binaryToInt(string s) { int res = 0; for (int i = 0; i < s.size(); i++) { res = res * 2 + (s[i] - '0'); } return res; } int main() { int m, n; cin >> m >> n; vector<string> s(n); vector<int> a(n); set<int> st; rep(i, 0, n) { cin >> s[i]; a[i] = binaryToInt(s[i]); st.insert(a[i]); } if (st.size() == (1 << m)) { cout << "Yes" << endl; } else { cout << "No" << endl; } }