oj.uz

Submission #542167

# Submission time Handle Problem Language Result Execution time Memory
542167 2022-03-25T15:11:34 Z rainliofficial Potemkin cycle (CEOI15_indcyc) C++17
90 / 100
 901 ms 106588 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 2 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 5028 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 2 ms 5076 KB Output is correct
2 Correct 3 ms 5020 KB Output is correct

Subtask #4
0 / 10.0

# Verdict Execution time Memory Grader output
1 Incorrect 3 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 5844 KB Output is correct
2 Correct 5 ms 5972 KB Output is correct

Subtask #6
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 13 ms 7456 KB Output is correct
2 Correct 13 ms 7408 KB Output is correct
3 Correct 33 ms 9860 KB Output is correct
4 Correct 38 ms 9764 KB Output is correct

Subtask #7
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 17 ms 8660 KB Output is correct
2 Correct 17 ms 8720 KB Output is correct

Subtask #8
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 529 ms 35844 KB Output is correct
2 Correct 151 ms 17452 KB Output is correct
3 Correct 521 ms 36336 KB Output is correct
4 Correct 155 ms 17100 KB Output is correct

Subtask #9
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 253 ms 58944 KB Output is correct
2 Correct 275 ms 63160 KB Output is correct

Subtask #10
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 296 ms 30472 KB Output is correct
2 Correct 269 ms 30888 KB Output is correct
3 Correct 870 ms 106588 KB Output is correct
4 Correct 901 ms 103356 KB Output is correct