結果

問題 No.2270 T0空間
コンテスト
ユーザー NAMIDAIRO
提出日時 2023-04-14 22:41:34
言語 C++17
(gcc 13.3.0 + boost 1.87.0)
結果
TLE  
実行時間 -
コード長 3,102 bytes
コンパイル時間 1,363 ms
コンパイル使用メモリ 120,904 KB
最終ジャッジ日時 2025-02-12 07:27:18
ジャッジサーバーID
（参考情報） 		judge1 / judge1
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 20 TLE * 2
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <iostream>
#include <vector>
#include <algorithm>
#include <map>
#include <queue>
#include <set>
#include <random>
#include <iomanip>
#include <string>
#include <cmath>
#include <complex>
using namespace std;
typedef long long ll;
#define rep(i, n) for(int i = 0; i < (n); i++)

template<class T>
using vi = vector<T>;

template<class T>
using vii = vector<vi<T>>;

template<class T>
using viii = vector<vii<T>>;

using P = pair<ll, int>;

void chmin(ll & x, ll y) { x = min(x, y); }


template<class T>
struct FFT {
    const double pi = acos(-1);
    const int mx = 30;
    vector<complex<long double>> zeta, invzeta;

    FFT() : zeta(mx), invzeta(mx) {
        int n = 1;
        for (int i = 0; i < mx; i++) {
            zeta[i] = polar(1.0, 2 * pi / n);
            n <<= 1;
        }
        n = 1;
        for (int i = 0; i < mx; i++) {
            invzeta[i] = polar(1.0, -2 * pi / n);
            n <<= 1;
        }
    }

    void dft(vector<complex<long double>>& d, const int log, const int inv = false) {
        int n = (int)d.size();
        if (n == 1 || log == 0) return;

        vector<complex<long double>> d0, d1;
        for (int i = 0; i < n / 2; i++) {
            d0.push_back(d[2 * i]);
            d1.push_back(d[2 * i + 1]);
        }
        dft(d0, log - 1, inv);
        dft(d1, log - 1, inv);
        complex<long double> pow = 1, z = (inv ? invzeta[log] : zeta[log]);

        for (int i = 0; i < n / 2; i++) {
            d[i] = d0[i] + pow * d1[i];
            pow *= z;
        }

        for (int i = n / 2; i < n; i++) {
            d[i] = d0[i - n / 2] + pow * d1[i - n / 2];
            pow *= z;
        }
        return;
    }

    void idft(vector<complex<long double>>& d, const int log) {
        dft(d, log, true);
        return;
    }

    vector<long double>  convolution(vector<T>& f, vector<T>& g) {
        int n = 1, log = 0, lenf = (int)f.size(), leng = (int)g.size();
        while (n < lenf + leng) {
            n <<= 1;
            log++;
        }

        vector<complex<long double>> df(n), dg(n);
        for (int i = 0; i < lenf; i++) df[i] = f[i];
        for (int i = 0; i < leng; i++) dg[i] = g[i];

        dft(df, log);
        dft(dg, log);
        for (int i = 0; i < n; i++) df[i] *= dg[i];
        idft(df, log);

        vector<long double> res(n);
        for (int i = 0; i < n; i++) res[i] = df[i].real() / n;
        return res;
    }
};

int main()
{
       std::cin.tie(nullptr);
   std::ios_base::sync_with_stdio(false);
    int n;
    cin >> n;
    vii <bool> check(n, vi<bool>(n));
    rep(i, n) check[i][i] = true;

    int m;
    cin >> m;
    while (m--) {
        string s;
        cin >> s;
        vi<int> d0, d1;
        rep(i, n) {
            if (s[i] == '0') d0.push_back(i);
            else d1.push_back(i);
        }

        for (int e0 : d0) for (int e1 : d1) {
            check[max(e0, e1)][min(e0, e1)] = true;
            //check[e1][e0] = true;
        }
    }

    bool ok = true;
    rep(i, n) rep(j, i) if (!check[i][j]) ok = false;
    cout << (ok ? "Yes" : "No") << endl;

	return 0;
}
0