結果

問題 No.2270 T0空間
ユーザー NAMIDAIRONAMIDAIRO
提出日時 2023-04-14 22:44:38
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 3,111 bytes
コンパイル時間 1,631 ms
コンパイル使用メモリ 123,556 KB
実行使用メモリ 10,496 KB
最終ジャッジ日時 2024-10-10 13:42:56
合計ジャッジ時間 8,213 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 2 ms
8,704 KB
testcase_01 AC 2 ms
5,248 KB
testcase_02 AC 2 ms
5,248 KB
testcase_03 WA -
testcase_04 AC 2 ms
5,248 KB
testcase_05 WA -
testcase_06 WA -
testcase_07 AC 1 ms
5,248 KB
testcase_08 WA -
testcase_09 WA -
testcase_10 AC 2 ms
5,248 KB
testcase_11 AC 88 ms
5,248 KB
testcase_12 AC 63 ms
5,248 KB
testcase_13 AC 304 ms
5,248 KB
testcase_14 AC 303 ms
5,248 KB
testcase_15 AC 299 ms
5,248 KB
testcase_16 AC 949 ms
5,248 KB
testcase_17 TLE -
testcase_18 -- -
testcase_19 -- -
testcase_20 -- -
testcase_21 -- -
権限があれば一括ダウンロードができます

ソースコード

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;
    char s[70];
    
    while (m--) {
        scanf("%s", 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