Submission #520060

# Submission time Handle Problem Language Result Execution time Memory
520060 2022-01-28T09:18:49 Z KoD Matching (COCI20_matching) C++17
58 / 110
2500 ms 15600 KB
#include <bits/stdc++.h>

using std::vector;
using std::array;
using std::pair;
using std::tuple;

constexpr int MAX = 100000;

template <class F> struct RecLambda : private F {
    explicit RecLambda(F&& f) : F(std::forward<F>(f)) {}
    template <class... Args> decltype(auto) operator()(Args&&... args) const {
        return F::operator()(*this, std::forward<Args>(args)...);
    }
};

int main() {
    std::ios_base::sync_with_stdio(false);
    std::cin.tie(nullptr);
    int N;
    std::cin >> N;
    vector<int> X(N), Y(N);
    for (int i = 0; i < N; ++i) {
        std::cin >> X[i] >> Y[i];
    }
    vector<vector<int>> graph(2 * N), revgraph(2 * N);
    const auto add_edge = [&](const int i, const int j) {
        graph[i].push_back(j);
        revgraph[j].push_back(i);
    };
    vector<pair<int, int>> vert, hori;
    vector<char> found(2 * N);
    for (int i = 0; i < N; ++i) {
        for (int j = 0; j < i; ++j) {
            if (X[i] == X[j]) {
                if (Y[i] < Y[j]) {
                    vert.emplace_back(i, j);
                } else {
                    vert.emplace_back(j, i);
                }
                for (int k = 0; k < 2; ++k) {
                    add_edge(2 * i + k, 2 * j + k);
                    add_edge(2 * j + k, 2 * i + k);
                }
                found[2 * i] = found[2 * j] = true;
            } 
            if (Y[i] == Y[j]) {
                if (X[i] < X[j]) {
                    hori.emplace_back(i, j);
                } else {
                    hori.emplace_back(j, i);
                }
                for (int k = 0; k < 2; ++k) {
                    add_edge(2 * i + k, 2 * j + k);
                    add_edge(2 * j + k, 2 * i + k);
                }
                found[2 * i + 1] = found[2 * j + 1] = true;
            }
        }
    }
    for (int i = 0; i < 2 * N; ++i) {
        if (!found[i]) {
            add_edge(i, i ^ 1);
        }
    }
    for (const auto& [u, v] : vert) {
        for (const auto& [a, b] : hori) {
            if (X[a] < X[u] and X[u] < X[b] and Y[u] < Y[a] and Y[a] < Y[v]) {
                add_edge(2 * u, 2 * a);
                add_edge(2 * a + 1, 2 * u + 1);
            }
        }
    }
    vector<char> done(2 * N);
    vector<int> stack;
    for (int i = 0; i < 2 * N; ++i) {
        RecLambda([&](auto&& dfs, const int u) -> void {
            if (done[u]) {
                return;
            }
            done[u] = true;
            for (const int v : graph[u]) {
                dfs(v);
            }
            stack.push_back(u);
        })(i);
    }
    int idx = 0;
    vector<int> group(2 * N);
    std::fill(done.begin(), done.end(), false);
    while (!stack.empty()) {
        const int u = stack.back();
        stack.pop_back();
        RecLambda([&](auto&& dfs, const int u) -> void {
            if (done[u]) {
                return;
            }
            group[u] = idx;
            done[u] = true;
            for (const int v : revgraph[u]) {
                dfs(v);
            }
        })(u);
        idx += 1;
    }
    vector<char> type(N);
    for (int i = 0; i < N; ++i) {
        if (group[2 * i] == group[2 * i + 1]) {
            std::cout << "NE\n";
            return 0;
        }
        type[i] = group[2 * i] > group[2 * i + 1];
    }
    std::cout << "DA\n";
    for (const auto& [u, v] : vert) {
        if (type[u]) {
            std::cout << u + 1 << ' ' << v + 1 << std::endl;
        }
    }
    for (const auto& [u, v] : hori) {
        if (!type[u]) {
            std::cout << u + 1 << ' ' << v + 1 << std::endl;
        }
    }
    return 0;
}
# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 1 ms 204 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 1 ms 204 KB Output is correct
3 Correct 0 ms 204 KB Output is correct
4 Correct 1 ms 204 KB Output is correct
5 Correct 1 ms 204 KB Output is correct
6 Correct 0 ms 204 KB Output is correct
7 Correct 1 ms 204 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 1 ms 204 KB Output is correct
3 Correct 0 ms 204 KB Output is correct
4 Correct 1 ms 204 KB Output is correct
5 Correct 1 ms 204 KB Output is correct
6 Correct 0 ms 204 KB Output is correct
7 Correct 1 ms 204 KB Output is correct
8 Correct 1 ms 204 KB Output is correct
9 Correct 1 ms 308 KB Output is correct
10 Correct 1 ms 204 KB Output is correct
11 Correct 1 ms 204 KB Output is correct
12 Correct 1 ms 204 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 1 ms 204 KB Output is correct
3 Correct 0 ms 204 KB Output is correct
4 Correct 1 ms 204 KB Output is correct
5 Correct 1 ms 204 KB Output is correct
6 Correct 0 ms 204 KB Output is correct
7 Correct 1 ms 204 KB Output is correct
8 Correct 1 ms 204 KB Output is correct
9 Correct 1 ms 308 KB Output is correct
10 Correct 1 ms 204 KB Output is correct
11 Correct 1 ms 204 KB Output is correct
12 Correct 1 ms 204 KB Output is correct
13 Correct 12 ms 844 KB Output is correct
14 Correct 12 ms 840 KB Output is correct
15 Correct 12 ms 844 KB Output is correct
16 Correct 12 ms 844 KB Output is correct
17 Correct 14 ms 884 KB Output is correct
18 Correct 13 ms 820 KB Output is correct
19 Correct 13 ms 832 KB Output is correct
20 Correct 12 ms 900 KB Output is correct
21 Correct 13 ms 844 KB Output is correct
22 Correct 11 ms 844 KB Output is correct
23 Correct 13 ms 1116 KB Output is correct
24 Correct 12 ms 1100 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 204 KB Output is correct
2 Correct 1 ms 204 KB Output is correct
3 Correct 0 ms 204 KB Output is correct
4 Correct 1 ms 204 KB Output is correct
5 Correct 1 ms 204 KB Output is correct
6 Correct 0 ms 204 KB Output is correct
7 Correct 1 ms 204 KB Output is correct
8 Correct 1 ms 204 KB Output is correct
9 Correct 1 ms 308 KB Output is correct
10 Correct 1 ms 204 KB Output is correct
11 Correct 1 ms 204 KB Output is correct
12 Correct 1 ms 204 KB Output is correct
13 Correct 12 ms 844 KB Output is correct
14 Correct 12 ms 840 KB Output is correct
15 Correct 12 ms 844 KB Output is correct
16 Correct 12 ms 844 KB Output is correct
17 Correct 14 ms 884 KB Output is correct
18 Correct 13 ms 820 KB Output is correct
19 Correct 13 ms 832 KB Output is correct
20 Correct 12 ms 900 KB Output is correct
21 Correct 13 ms 844 KB Output is correct
22 Correct 11 ms 844 KB Output is correct
23 Correct 13 ms 1116 KB Output is correct
24 Correct 12 ms 1100 KB Output is correct
25 Execution timed out 2532 ms 15600 KB Time limit exceeded
26 Halted 0 ms 0 KB -