oj.uz

Submission #541647

# Submission time Handle Problem Language Result Execution time Memory
541647 2022-03-24T00:34:06 Z rainliofficial Potemkin cycle (CEOI15_indcyc) C++17
90 / 100
 906 ms 105988 KB 
#include <bits/stdc++.h>
using namespace std;
#define ll long long
#define pii pair<int, int>
#define sz(x) (int)x.size()
#define f first
#define s second

struct edge{
    int from, to;
};

const int MAXN = 1005, MAXR = 2e5+5;
edge allEdges[MAXR];
vector<int> edgeGraph[MAXR], cycle;
int connected[MAXN][MAXN];
bool vis[MAXN][MAXN], on_stack[MAXR], vis2[MAXR];
int n, r;

void dfs(int at, int pv){
    vis[at][pv] = true; 
    // connect all possible edges
    for (int i=0; i<n; i++){
        if (pv != n && i != at && i != pv && connected[at][i] && !connected[i][pv]){
            assert(connected[pv][at] != 0);
            edgeGraph[connected[pv][at]].push_back(connected[at][i]);
        }
    }
    for (int i=0; i<n; i++){
        if (connected[at][i] && !vis[i][at]){
            dfs(i, at);
        }
    }
}

bool dfs2(int at) {
	vis2[at] = on_stack[at] = true;
	for (int u : edgeGraph[at]) {
		if(on_stack[u]) {
			cycle.push_back(at); // start cycle
			on_stack[at] = on_stack[u] = false;
			return true;
		}else if(!vis2[u]) {
			if(dfs2(u)) { // continue cycle
				if(on_stack[at]) {
					cycle.push_back(at);
					on_stack[at] = false;
					return true;
				} else { // found u again
					cycle.push_back(at);
					return false;
				}
			}
			if(!cycle.empty()) // finished with cycle
				return false;
		}
	}
	on_stack[at] = false;
	return false;
}
int main(){
    cin.tie(0); ios_base::sync_with_stdio(0); 
    // freopen("file.in", "r", stdin);
    // freopen("file.out", "w", stdout);
    cin >> n >> r;
    for (int i=0; i<r; i++){
        int a, b;
        cin >> a >> b;
        a--; b--;
        allEdges[2*i+1] = {a, b};
        allEdges[2*i+2] = {b, a};
        connected[a][b] = 2*i+1;
        connected[b][a] = 2*i+2;
    }
    dfs(0, n);
    for (int i=1; i<=2*r; i++){
        if (!vis2[i]){
            dfs2(i);
        }
        if (!cycle.empty()) break;
    }
    if (cycle.empty()){
        cout << "no" << "\n";
        return 0;
    }
    reverse(cycle.begin(), cycle.end());
    vector<int> ans;
    assert(sz(cycle) > 3);
    for (int i=0; i<sz(cycle)-1; i++){
        if (i == 0){
            cout << allEdges[cycle[i]].from+1 << " ";
        }
        cout << allEdges[cycle[i]].to+1 << " ";
    }
}

Subtask #1
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 3 ms 4948 KB Output is correct
2 Correct 3 ms 4948 KB Output is correct
3 Correct 3 ms 4948 KB Output is correct
4 Correct 3 ms 4948 KB Output is correct
5 Correct 3 ms 4948 KB Output is correct

Subtask #2
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 3 ms 5076 KB Output is correct

Subtask #3
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 3 ms 5076 KB Output is correct
2 Correct 2 ms 5076 KB Output is correct

Subtask #4
0 / 10.0

# Verdict Execution time Memory Grader output
1 Incorrect 5 ms 5588 KB Wrong adjacency
2 Halted 0 ms 0 KB -

Subtask #5
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 5 ms 5960 KB Output is correct
2 Correct 6 ms 5972 KB Output is correct

Subtask #6
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 11 ms 7380 KB Output is correct
2 Correct 13 ms 7408 KB Output is correct
3 Correct 39 ms 9780 KB Output is correct
4 Correct 30 ms 9812 KB Output is correct

Subtask #7
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 20 ms 8680 KB Output is correct
2 Correct 16 ms 8704 KB Output is correct

Subtask #8
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 553 ms 35844 KB Output is correct
2 Correct 160 ms 17312 KB Output is correct
3 Correct 564 ms 36016 KB Output is correct
4 Correct 162 ms 16912 KB Output is correct

Subtask #9
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 273 ms 58928 KB Output is correct
2 Correct 273 ms 63152 KB Output is correct

Subtask #10
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 278 ms 30384 KB Output is correct
2 Correct 282 ms 30240 KB Output is correct
3 Correct 871 ms 105988 KB Output is correct
4 Correct 906 ms 102912 KB Output is correct