結果

問題 No.3311 フィルター
コンテスト
ユーザー otoshigo
提出日時 2025-10-25 11:49:17
言語 C++23
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 22 ms / 2,000 ms
コード長 1,608 bytes
コンパイル時間 2,922 ms
コンパイル使用メモリ 281,928 KB
実行使用メモリ 11,136 KB
最終ジャッジ日時 2025-10-25 12:57:59
合計ジャッジ時間 3,893 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 21
権限があれば一括ダウンロードができます

ソースコード

diff # 

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

#define TT template <typename T>
template <class T1, class T2>
bool chmin(T1& x, T2 y) { return x > y ? (x = y, true) : false; }
template <class T1, class T2>
bool chmax(T1& x, T2 y) { return x < y ? (x = y, true) : false; }

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

void solve() {
    int N, M;
    cin >> N >> M;
    vector<string> S(M);
    rep(i, 0, M) cin >> S[i];
    int mi = N + 1;
    vector<int> v;
    rep(i, 0, M) {
        int cnt = 0;
        rep(j, 0, N) {
            if (S[i][j] == '1') cnt++;
        }
        if (cnt < mi) {
            mi = cnt;
            v = {(int)i};
        } else if (cnt == mi) {
            v.push_back(i);
        }
    }
    assert(!v.empty());
    if (mi == 0 || (int)v.size() > 1) {
        cout << "No\n";
    } else {
        if (M != (1 << (N - mi))) {
            cout << "No\n";
            return;
        }
        int at = v[0];
        rep(i, 0, M) {
            if (i == at) continue;
            rep(j, 0, N) {
                if (S[at][j] == '1' && S[i][j] == '0') {
                    cout << "No\n";
                    return;
                }
            }
        }
        cout << "Yes\n";
    }
}

int main() {
    solve();
}
0