結果

問題 No.2911 位相の公理
ユーザー dadas
提出日時 2024-10-04 21:44:52
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 1,910 ms / 2,000 ms
コード長 2,810 bytes
コンパイル時間 2,143 ms
コンパイル使用メモリ 203,860 KB
最終ジャッジ日時 2025-02-24 15:10:27
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 24
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
// #include <ext/pb_ds/assoc_container.hpp>
// #include <ext/pb_ds/tree_policy.hpp>
// using namespace __gnu_pbds;
// #define ordered_set tree<int, null_type, less<int>, rb_tree_tag,tree_order_statistics_node_update>
// #define ordered_multiset tree<int, null_type, less_equal<int>, rb_tree_tag,tree_order_statistics_node_update>
using namespace std;
void _main();
int main() {
	cin.tie(0);
	ios::sync_with_stdio(false);
	_main();
	return 0;
}
using ll = long long;
using ull = unsigned long long;
using ld = long double;
using vi = std::vector<int>;
using vvi = std::vector<vi>;
using vl = std::vector<ll>;
using vii = std::vector<pair<int, int> >;
using vvl = std::vector<vl>;
using vll = std::vector<pair<ll , ll> >;
using vd = std::vector<double>;
using vvd = std::vector<vd>;
using vs = std::vector<std::string>;
using vvs = std::vector<vs>;
using vb = std::vector<bool>;
using vvb = std::vector<vb>;
using vc = std::vector<char>;
using vvc = std::vector<vc>;
using pii = std::pair<int, int>;
using pll = std::pair<ll, ll>;
using piil = std::pair<pair<int, int>, ll>;
using mii = std::map<int, int>;
using mll = std::map<ll, ll>;
using pql = std::priority_queue<ll>;
using pqi = std::priority_queue<int>;
using pqiil = std::priority_queue<pair<pair<int, int>, ll> >;
using pqii = std::priority_queue<pair<int, int> >;

#define pb push_back
#define ps push
#define eb emplace_back
#define is insert
#define er erase
#define f first
#define s second
#define lb lower_bound
#define ub upper_bound
#define sf(i) sizeof(i)
#define endl "\n"
#define sz(v) ((int)(v).size())
#define all(v) (v).begin(), (v).end()
#define rep(i, L, R) for(ll i = L;i<=R;i++)
#define pcis precision

template<typename T>
struct infinity {
	static constexpr T max=std::numeric_limits<T>::max();
	static constexpr T min=std::numeric_limits<T>::min();
	static constexpr T value=std::numeric_limits<T>::max()/2;
	static constexpr T mvalue=std::numeric_limits<T>::min()/2;
};
template<typename T>constexpr T INF=infinity<T>::value;
constexpr ll lINF=INF<ll>;
constexpr int iINF = INF<int>;
constexpr ld PI = 3.1415926535897932384626;



void _main() {

	ll N, M;
	cin >>N >>M;
	ll A[M+1];
	map<ll, bool> mp;
	for (ll i = 1; i<=M; i++) {
		string S;
		cin >> S;
		ll a = 0;
		for (ll i = 0; i<N; i++) {
			if (S[N-i-1] == '1') {
				a += (1LL<<i);
			}
		}
		A[i] = a;
		mp[a] = true;
	}

	// AND닫힘 && OR닫힘
	// 각 비트를 만들 수 있는지 확인?
	for (ll i = 1; i<=M; i++) {
		for (ll j = 1; j<=M; j++) {
			if (!mp[A[i]&A[j]]) {
				cout << "No" << endl;
				return;
			}

			if (!mp[A[i]|A[j]]) {
				cout << "No" << endl;
				return;
			}
		}
	}

	if (!mp[(1LL<<N)-1]) {
		cout << "No" << endl;
		return;
	}
	if (!mp[0]) {
		cout << "No" << endl;
		return;
	}
	cout << "Yes" << endl;








}
0