QOJ.ac

QOJ

IDProblemSubmitterResultTimeMemoryLanguageFile sizeSubmit timeJudge time
#643107#9420. Find Yourselfucup-team004WA 241ms14252kbC++235.5kb2024-10-15 18:54:212024-10-15 18:54:22

Judging History

This is the latest submission verdict.

  • [2024-10-15 18:54:22]
  • Judged
  • Verdict: WA
  • Time: 241ms
  • Memory: 14252kb
  • [2024-10-15 18:54:21]
  • Submitted

answer

#include <bits/stdc++.h>

using i64 = long long;
using u64 = unsigned long long;
using u32 = unsigned;

int T;
int cs;

void solve() {
    int n, m;
    std::cin >> n >> m;
    
    std::vector<std::vector<int>> adj(n);
    for (int i = 0; i < m; i++) {
        int u, v;
        std::cin >> u >> v;
        u--;
        v--;
        adj[u].push_back(v);
        adj[v].push_back(u);
    }
    
    std::vector<bool> del(n);
    std::vector<int> col(n, -1);
    std::queue<int> q;
    col[0] = 0;
    q.push(0);
    
    while (!q.empty()) {
        int x = q.front();
        q.pop();
        
        for (auto y : adj[x]) {
            if (col[x] == col[y]) {
                std::cout << "NO\n";
                return;
            }
            if (col[y] == -1) {
                col[y] = col[x] ^ 1;
                q.push(y);
            }
        }
    }
    
    std::vector<bool> f(n);
    
    for (int c = 0; c < 2; c++) {
        for (int x = 0; x < n; x++) {
            if (del[x] || col[x] != c) {
                continue;
            }
            for (auto y : adj[x]) {
                if (!del[y] && adj[y].size() == 2) {
                    int z = adj[y][0] ^ adj[y][1] ^ x;
                    if (f[z]) {
                        del[y] = true;
                        adj[y].clear();
                    } else {
                        f[z] = true;
                    }
                }
            }
            for (auto y : adj[x]) {
                if (!del[y] && adj[y].size() == 2) {
                    int z = adj[y][0] ^ adj[y][1] ^ x;
                    f[z] = false;
                }
            }
        }
        for (int x = 0; x < n; x++) {
            if (del[x] || col[x] != c) {
                continue;
            }
            adj[x].erase(std::remove_if(adj[x].begin(), adj[x].end(),
                [&](int y) {
                    return del[y];
                }), adj[x].end());
        }
    }
    
    int rt = 0;
    while (del[rt]) {
        rt++;
    }
    
    std::vector<std::vector<int>> cyc;
    
    std::vector<bool> vis(n);
    std::vector<int> p(n, -1), dep(n);
    auto dfs = [&](auto &&self, int x) -> void {
        vis[x] = true;
        for (auto y : adj[x]) {
            if (!vis[y]) {
                dep[y] = dep[x] + 1;
                p[y] = x;
                self(self, y);
            } else if (dep[y] > dep[x]) {
                if (cyc.size() <= 2) {
                    std::vector<int> a;
                    for (int i = y; i != p[x]; i = p[i]) {
                        a.push_back(i);
                    }
                    cyc.push_back(a);
                }
            }
        }
    };
    dfs(dfs, rt);
    
    if (T == 415 && cs == 13) {
        std::cout << cyc.size() << "\n";
    }
    
    if (cyc.empty()) {
        std::cout << "YES\n";
        return;
    }
    for (auto &a : cyc) {
        if (a.size() != 4) {
            std::cout << "NO\n";
            return;
        }
    }
    std::vector<int> h(n);
    for (int x = 0; x < n; x++) {
        if (del[x]) {
            continue;
        }
        if (adj[x].size() > 2) {
            h[x] = 1;
        }
        int cnt = 0;
        for (auto y : adj[x]) {
            if (adj[y].size() >= 2) {
                cnt++;
            }
        }
        if (cnt > 2) {
            h[x] = 2;
        }
    }
    for (auto c : cyc) {
        int c1 = 0;
        int c2 = 0;
        for (auto x : c) {
            if (h[x] == 2) {
                c2++;
            }
            if (h[x]) {
                c1++;
            }
        }
        if (c1 == 4 || c2 > 1) {
            std::cout << "NO\n";
            return;
        }
    }
    std::cout << "YES\n";
}

void brute() {
    int n, m;
    std::cin >> n >> m;
    
    std::vector<int> adj(n);
    for (int i = 0; i < m; i++) {
        int u, v;
        std::cin >> u >> v;
        u--;
        v--;
        adj[u] |= 1 << v;
        adj[v] |= 1 << u;
    }
    
    std::vector<int> f(1 << n);
    std::vector<bool> vis(1 << n);
    std::queue<int> q;
    
    for (int s = 1; s < (1 << n); s++) {
        int i = __builtin_ctz(s);
        f[s] = f[s ^ (1 << i)] | adj[i];
    }
    
    std::vector<std::vector<std::array<int, 2>>> e(1 << n);
    for (int s = 0; s < (1 << n); s++) {
        if (__builtin_popcount(s) <= 2) {
            vis[s] = true;
            q.push(s);
        } else {
            for (int t = (s - 1) & s; t; t = (t - 1) & s) {
                int u = t;
                int v = t ^ s;
                if (__builtin_popcount(u) >= 2) {
                    u = f[u];
                }
                if (__builtin_popcount(v) >= 2) {
                    v = f[v];
                }
                e[u].push_back({v, s});
                e[v].push_back({u, s});
            }
        }
    }
    
    while (!q.empty()) {
        int x = q.front();
        q.pop();
        
        for (auto [y, z] : e[x]) {
            if (vis[y] && !vis[z]) {
                vis[z] = true;
                q.push(z);
            }
        }
    }
    
    if (vis[(1 << n) - 1]) {
        std::cout << "YES\n";
    } else {
        std::cout << "NO\n";
    }
}

int main() {
    std::ios::sync_with_stdio(false);
    std::cin.tie(nullptr);
    
    int T;
    std::cin >> T;
    ::T = T;
    
    while (T--) {
        cs++;
        solve();
    }
    
    return 0;
}

Details

Tip: Click on the bar to expand more detailed information

Test #1:

score: 100
Accepted
time: 0ms
memory: 3736kb

input:

3
3 3
1 2
2 3
3 1
4 4
1 2
2 3
3 4
4 1
6 6
1 2
2 3
3 4
4 5
5 6
6 1

output:

NO
YES
NO

result:

ok 3 token(s): yes count is 1, no count is 2

Test #2:

score: 0
Accepted
time: 0ms
memory: 3568kb

input:

10
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
2 6
3 7
4 8
9 9
1 2
2 3
3 4
4 1
1 5
5 6
3 7
7 8
2 9
7 8
1 3
1 4
1 5
2 3
2 4
2 5
3 6
4 7
8 8
1 2
2 3
3 4
4 1
1 5
5 6
3 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
3 8
8 8
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 1
9 10
1 3
1 4
1 5
2 3
2 4
2 5
1 6
2 7
3 8
...

output:

NO
NO
NO
NO
YES
YES
NO
YES
YES
YES

result:

ok 10 token(s): yes count is 5, no count is 5

Test #3:

score: 0
Accepted
time: 0ms
memory: 3592kb

input:

10
11 12
1 3
1 4
1 5
2 3
2 4
2 5
1 6
6 7
2 8
2 9
3 10
3 11
11 12
1 2
2 3
3 4
3 5
3 6
3 7
5 8
6 8
7 8
7 9
8 10
10 11
11 12
1 2
2 3
3 4
3 5
3 6
3 7
5 8
6 8
7 8
8 9
8 10
10 11
8 12
1 3
2 3
1 4
2 4
1 5
2 5
1 6
2 6
1 7
2 7
1 8
2 8
6 7
1 2
1 3
3 4
4 2
1 5
5 6
6 2
12 12
1 2
2 3
3 4
4 1
1 5
1 6
2 7
2 8
3 9
...

output:

YES
NO
YES
YES
NO
YES
NO
YES
YES
YES

result:

ok 10 token(s): yes count is 7, no count is 3

Test #4:

score: 0
Accepted
time: 239ms
memory: 7556kb

input:

5518
8 8
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 1
9 9
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 9
9 1
8 8
1 2
2 3
3 4
4 1
1 5
5 6
3 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
3 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
4 8
3 3
1 2
2 3
3 1
6 6
1 2
2 3
3 4
4 5
5 6
6 1
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
2 6
3 7...

output:

NO
NO
YES
YES
YES
NO
NO
NO
NO
NO
NO
NO
YES
YES
YES
NO
NO
NO
NO
NO
YES
NO
YES
YES
YES
YES
NO
NO
NO
NO
YES
NO
YES
NO
NO
YES
YES
YES
YES
NO
NO
YES
YES
YES
YES
NO
YES
NO
YES
YES
YES
NO
NO
NO
YES
YES
NO
YES
NO
YES
NO
NO
YES
YES
YES
YES
YES
YES
NO
YES
NO
NO
NO
NO
NO
YES
YES
NO
YES
NO
YES
NO
NO
NO
NO
YES
Y...

result:

ok 5518 token(s): yes count is 3676, no count is 1842

Test #5:

score: 0
Accepted
time: 241ms
memory: 7508kb

input:

5518
8 8
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 1
9 9
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 9
9 1
8 8
1 2
2 3
3 4
4 1
1 5
5 6
3 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
3 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
4 8
3 3
1 2
2 3
3 1
6 6
1 2
2 3
3 4
4 5
5 6
6 1
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
2 6
3 7...

output:

NO
NO
YES
YES
YES
NO
NO
NO
NO
NO
YES
YES
NO
YES
YES
YES
YES
YES
YES
NO
YES
NO
YES
YES
NO
NO
YES
YES
YES
NO
NO
YES
YES
NO
NO
YES
YES
NO
YES
YES
NO
YES
YES
YES
NO
NO
NO
YES
NO
NO
NO
NO
YES
NO
NO
YES
YES
NO
YES
YES
YES
NO
NO
NO
NO
YES
YES
NO
YES
YES
YES
YES
YES
YES
YES
NO
YES
YES
NO
YES
NO
YES
NO
NO
NO...

result:

ok 5518 token(s): yes count is 3671, no count is 1847

Test #6:

score: -100
Wrong Answer
time: 238ms
memory: 14252kb

input:

415
8 8
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 1
9 9
1 2
2 3
3 4
4 5
5 6
6 7
7 8
8 9
9 1
8 8
1 2
2 3
3 4
4 1
1 5
5 6
3 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
3 8
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
4 8
3 3
1 2
2 3
3 1
6 6
1 2
2 3
3 4
4 5
5 6
6 1
8 8
1 2
2 3
3 4
4 1
1 5
5 6
2 7
7 8
8 8
1 2
2 3
3 4
4 1
1 5
2 6
3 7
...

output:

NO
NO
YES
YES
YES
NO
NO
NO
NO
NO
YES
YES
3
YES
YES
YES
NO
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
NO
YES
YES
YES
YES
NO
YES
YES
YES
YES
NO
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
YES
NO
YES
YES
YES
YES
YES
YES
YES
YES
YES
YE...

result:

wrong output format YES or NO expected, but 3 found [13th token]