#678679 (C++17) No.1605 Matrix Shape

提出ソース

結果

問題	No.1605 Matrix Shape
ユーザー	rniya
提出日時	2021-07-16 21:42:34
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	345 ms / 2,000 ms
コード長	5,972 bytes
コンパイル時間	2,137 ms
コンパイル使用メモリ	209,520 KB
実行使用メモリ	18,616 KB
最終ジャッジ日時	2023-09-20 13:26:47
合計ジャッジ時間	7,087 ms
ジャッジサーバーID （参考情報）	judge12 / judge11

このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示

入力	結果	実行時間実行使用メモリ
testcase_00	AC	5 ms 6,368 KB
testcase_01	AC	5 ms 6,164 KB
testcase_02	AC	4 ms 6,192 KB
testcase_03	AC	5 ms 6,208 KB
testcase_04	AC	4 ms 6,216 KB
testcase_05	AC	5 ms 6,356 KB
testcase_06	AC	5 ms 6,136 KB
testcase_07	AC	4 ms 6,204 KB
testcase_08	AC	5 ms 6,144 KB
testcase_09	AC	6 ms 6,076 KB
testcase_10	AC	5 ms 6,192 KB
testcase_11	AC	4 ms 6,200 KB
testcase_12	AC	5 ms 6,364 KB
testcase_13	AC	5 ms 6,140 KB
testcase_14	AC	5 ms 6,096 KB
testcase_15	AC	5 ms 6,140 KB
testcase_16	AC	5 ms 6,192 KB
testcase_17	AC	5 ms 6,144 KB
testcase_18	AC	5 ms 6,092 KB
testcase_19	AC	313 ms 18,556 KB
testcase_20	AC	212 ms 14,116 KB
testcase_21	AC	214 ms 13,736 KB
testcase_22	AC	310 ms 18,504 KB
testcase_23	AC	345 ms 18,548 KB
testcase_24	AC	343 ms 18,616 KB
testcase_25	AC	66 ms 9,368 KB
testcase_26	AC	66 ms 9,380 KB
testcase_27	AC	66 ms 9,308 KB
testcase_28	AC	64 ms 9,240 KB
testcase_29	AC	66 ms 9,308 KB
testcase_30	AC	220 ms 14,200 KB
testcase_31	AC	216 ms 14,288 KB
testcase_32	AC	138 ms 11,488 KB
testcase_33	AC	138 ms 11,484 KB
testcase_34	AC	49 ms 9,052 KB
testcase_35	AC	219 ms 16,124 KB
testcase_36	AC	113 ms 12,692 KB

権限があれば一括ダウンロードができます

ソースコード

raw source code

#define LOCAL
#include <bits/stdc++.h>
using namespace std;
#pragma region Macros
typedef long long ll;
typedef __int128_t i128;
typedef unsigned int uint;
typedef unsigned long long ull;
#define ALL(x) (x).begin(), (x).end()

template <typename T> istream& operator>>(istream& is, vector<T>& v) {
    for (T& x : v) is >> x;
    return is;
}
template <typename T> ostream& operator<<(ostream& os, const vector<T>& v) {
    for (int i = 0; i < (int)v.size(); i++) {
        os << v[i] << (i + 1 == (int)v.size() ? "" : " ");
    }
    return os;
}
template <typename T, typename U> ostream& operator<<(ostream& os, const pair<T, U>& p) {
    os << '(' << p.first << ',' << p.second << ')';
    return os;
}
template <typename T, typename U, typename V> ostream& operator<<(ostream& os, const tuple<T, U, V>& t) {
    os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ')';
    return os;
}
template <typename T, typename U, typename V, typename W> ostream& operator<<(ostream& os, const tuple<T, U, V, W>& t) {
    os << '(' << get<0>(t) << ',' << get<1>(t) << ',' << get<2>(t) << ',' << get<3>(t) << ')';
    return os;
}
template <typename T, typename U> ostream& operator<<(ostream& os, const map<T, U>& m) {
    os << '{';
    for (auto itr = m.begin(); itr != m.end();) {
        os << '(' << itr->first << ',' << itr->second << ')';
        if (++itr != m.end()) os << ',';
    }
    os << '}';
    return os;
}
template <typename T, typename U> ostream& operator<<(ostream& os, const unordered_map<T, U>& m) {
    os << '{';
    for (auto itr = m.begin(); itr != m.end();) {
        os << '(' << itr->first << ',' << itr->second << ')';
        if (++itr != m.end()) os << ',';
    }
    os << '}';
    return os;
}
template <typename T> ostream& operator<<(ostream& os, const set<T>& s) {
    os << '{';
    for (auto itr = s.begin(); itr != s.end();) {
        os << *itr;
        if (++itr != s.end()) os << ',';
    }
    os << '}';
    return os;
}
template <typename T> ostream& operator<<(ostream& os, const multiset<T>& s) {
    os << '{';
    for (auto itr = s.begin(); itr != s.end();) {
        os << *itr;
        if (++itr != s.end()) os << ',';
    }
    os << '}';
    return os;
}
template <typename T> ostream& operator<<(ostream& os, const unordered_set<T>& s) {
    os << '{';
    for (auto itr = s.begin(); itr != s.end();) {
        os << *itr;
        if (++itr != s.end()) os << ',';
    }
    os << '}';
    return os;
}
template <typename T> ostream& operator<<(ostream& os, const deque<T>& v) {
    for (int i = 0; i < (int)v.size(); i++) {
        os << v[i] << (i + 1 == (int)v.size() ? "" : " ");
    }
    return os;
}

void debug_out() { cerr << '\n'; }
template <class Head, class... Tail> void debug_out(Head&& head, Tail&&... tail) {
    cerr << head;
    if (sizeof...(Tail) > 0) cerr << ", ";
    debug_out(move(tail)...);
}
#ifdef LOCAL
#define debug(...)                                                                   \
    cerr << " ";                                                                     \
    cerr << #__VA_ARGS__ << " :[" << __LINE__ << ":" << __FUNCTION__ << "]" << '\n'; \
    cerr << " ";                                                                     \
    debug_out(__VA_ARGS__)
#else
#define debug(...) 42
#endif

template <typename T> T gcd(T x, T y) { return y != 0 ? gcd(y, x % y) : x; }
template <typename T> T lcm(T x, T y) { return x / gcd(x, y) * y; }

template <class T1, class T2> inline bool chmin(T1& a, T2 b) {
    if (a > b) {
        a = b;
        return true;
    }
    return false;
}
template <class T1, class T2> inline bool chmax(T1& a, T2 b) {
    if (a < b) {
        a = b;
        return true;
    }
    return false;
}
#pragma endregion

/**
 * @brief UnionFind
 * @docs docs/datastructure/UnionFind.md
 */
struct UnionFind {
    int num;
    vector<int> par, rank;
    UnionFind(int n) : num(n), par(n), rank(n, 1) { iota(par.begin(), par.end(), 0); }
    int root(int x) { return (par[x] == x ? x : par[x] = root(par[x])); }
    bool merge(int x, int y) {
        x = root(x);
        y = root(y);
        if (x == y) return false;
        if (rank[x] < rank[y]) swap(x, y);
        par[y] = x;
        rank[x] += rank[y];
        num--;
        return true;
    }
    bool same(int x, int y) { return root(x) == root(y); }
    int size(int x) { return rank[root(x)]; }
    int count() { return num; }
    int operator[](int x) { return root(x); }
};

const int INF = 1e9;
const long long IINF = 1e18;
const int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1};
const char dir[4] = {'D', 'R', 'U', 'L'};
const long long MOD = 1000000007;
// const long long MOD = 998244353;

const int MAX_H = 200010;

int main() {
    cin.tie(0);
    ios::sync_with_stdio(false);
    int N;
    cin >> N;

    vector<int> IN(N + MAX_H, 0), OUT(N + MAX_H, 0);
    set<int> s;
    UnionFind UF(N + MAX_H);
    for (int i = 0; i < N; i++) {
        int H, W;
        cin >> H >> W;
        H--, W--;
        OUT[N + H]++;
        IN[i]++;
        UF.merge(N + H, i);
        OUT[i]++;
        IN[N + W]++;
        UF.merge(i, N + W);
        s.emplace(H);
        s.emplace(W);
    }

    int r = UF[0];
    for (int i = 1; i < N + MAX_H; i++) {
        if (i >= N && !s.count(i - N)) continue;
        if (r != UF[i]) {
            cout << 0 << '\n';
            return 0;
        }
    }

    vector<int> inv, outv;
    for (int i = 0; i < MAX_H; i++) {
        if (IN[N + i] == OUT[N + i]) continue;
        if (IN[N + i] == OUT[N + i] + 1)
            inv.emplace_back(i);
        else if (IN[N + i] + 1 == OUT[N + i])
            outv.emplace_back(i);
        else {
            cout << 0 << '\n';
            return 0;
        }
    }

    if (inv.empty() && outv.empty()) {
        cout << s.size() << '\n';
        return 0;
    }
    if (inv.size() == 1 && outv.size() == 1) {
        cout << 1 << '\n';
        return 0;
    }
    cout << 0 << '\n';
    return 0;
}

yukicoder

結果

テストケース

ソースコード