結果

問題 No.3311 フィルター
コンテスト
ユーザー cho435
提出日時 2025-10-24 23:19:53
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 71 ms / 2,000 ms
コード長 1,123 bytes
コンパイル時間 3,822 ms
コンパイル使用メモリ 258,036 KB
実行使用メモリ 8,320 KB
最終ジャッジ日時 2025-10-25 12:57:50
合計ジャッジ時間 4,494 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
#define rep(i, s, t) for (ll i = s; i < (ll)(t); i++)
#define all(x) begin(x), end(x)

template <class T> bool chmin(T& x, T y) {
	return x > y ? (x = y, true) : false;
}
template <class T> bool chmax(T& x, T y) {
	return x < y ? (x = y, true) : false;
}

struct io_setup {
	io_setup() {
		ios::sync_with_stdio(false);
		cin.tie(nullptr);
		cout << fixed << setprecision(15);
	}
} io_setup;

void solve() {
	int n, m;
	cin >> m >> n;
	auto decode = [&](string s) {
		int res = 0;
		for (char c : s) res = res * 2 + c - '0';
		return res;
	};
	vector<int> s(n);
	rep(i, 0, n) {
		string t;
		cin >> t;
		s[i] = decode(t);
	}
	sort(s.begin(), s.end());
	if (s[0] == 0) {
		cout << "No\n";
		return;
	}
	set<int> st{s.begin(), s.end()};
	int al = (1 << m) - 1;
	for (int bit : s) {
		al &= bit;
		rep(i, 0, m) if ((~bit >> i) & 1) {
			if (!st.count(bit ^ (1 << i))) {
				cout << "No\n";
				return;
			}
		}
	}
	if (al == s[0]) cout << "Yes\n";
	else cout << "No\n";
}

int main() {
	int t = 1;
	// cin >> t;
	while (t--) solve();
}
0