Submission #588462

# Submission time Handle Problem Language Result Execution time Memory
588462 2022-07-03T10:40:16 Z Blagojce Potemkin cycle (CEOI15_indcyc) C++11
30 / 100
1000 ms 3352 KB
#include <bits/stdc++.h>
#define fr(i, n, m) for(int i = (n); i < (m); i ++)
#define st first
#define nd second
#define pb push_back
#define pq priority_queue
#define all(x) begin(x), end(x)

using namespace std;
typedef long long ll;
typedef pair<int,int> pii;

const int mxn = 1003;

int n, m;
vector<int> g[mxn];		
		
int dep[mxn];	
int state[mxn];
int D[mxn];
int L[mxn];

int parent[mxn];
bool adj[mxn][mxn];

void dfs(int u){
	state[u] = 1;
	vector<int> restore;
	restore.resize(g[u].size());
	fr(i, 0, (int)g[u].size()){
		auto e = g[u][i];
		restore[i] = L[e];
		
	}
	for(auto e : g[u]){
		if(state[e] == 1 && e != parent[u]){
			L[e] = min(L[e], dep[u]);
		}
	}
	for(auto e : g[u]){
		if(state[e] == 2) continue;
		if(state[e] == 0){
			dep[e] = dep[u] + 1;
			parent[e] = u;
			dfs(e);
		}
		else if(e != parent[u]){
			D[u] = max(D[u], dep[e]);	
		}
	}
	
	for(auto e : g[u]){
		if(state[e] != 1 || dep[u] - dep[e] < 3) continue;
		
		int x = u;
		bool ok = true;
		while(dep[x] >= dep[e]){
			if(x == u || x == e){
				if(L[x] < dep[u] || dep[e] < D[x]){
					ok = false;
					break;
				}
			}
			else{
				if((L[x] != 1e6 && L[x] <= dep[u]) || (D[x] !=-1e6 && dep[e] <= D[x])){
					ok = false;
					break;
				}
			}
			if(x == parent[x]) break;
			x = parent[x];
		}
		if(ok){
			x = u;
			vector<int> sol;
			while(dep[x] >= dep[e]){
				sol.pb(x);
				if(x == parent[x]) break;
				x = parent[x];
				
			}
			reverse(all(sol));
			
			for(auto u : sol) cout<<u+1<<' ';
			cout<<endl;
			exit(0);
		}
	}
	fr(i, 0, (int)g[u].size()){
		auto e = g[u][i];
		L[e] = restore[i];
	}
	state[u] = 2;
}
		
int main(){
	cin >> n >> m;
	fr(i, 0, m){
		int u, v;
		cin >> u >> v;
		--u, --v;
		g[u].pb(v);
		g[v].pb(u);
		adj[u][v] = adj[v][u] = true;
	}
	fr(i, 0, n){
		fr(j, 0, n) state[j] = 0, dep[j] = -1e6, D[j] = -1e6, L[j] = 1e6, parent[j] = j;
		dep[i] = 0;
		dfs(i);
	}
	cout<<"no"<<endl;
}
/*
6 8
1 2
2 3
3 4
2 5
6 1
5 6
4 2
4 1


*/
# Verdict Execution time Memory Grader output
1 Correct 0 ms 340 KB Output is correct
2 Correct 0 ms 340 KB Output is correct
3 Correct 0 ms 340 KB Output is correct
4 Correct 0 ms 340 KB Output is correct
5 Correct 0 ms 212 KB Output is correct
# Verdict Execution time Memory Grader output
1 Correct 1 ms 340 KB Output is correct
# Verdict Execution time Memory Grader output
1 Incorrect 0 ms 340 KB Expected integer, but "no" found
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 1 ms 468 KB Output is correct
# Verdict Execution time Memory Grader output
1 Incorrect 4 ms 476 KB Expected integer, but "no" found
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 29 ms 728 KB Output is correct
2 Incorrect 29 ms 728 KB Expected integer, but "no" found
3 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 27 ms 676 KB Expected integer, but "no" found
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Execution timed out 1083 ms 2332 KB Time limit exceeded
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Incorrect 483 ms 1668 KB Expected integer, but "no" found
2 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 38 ms 2560 KB Output is correct
2 Execution timed out 1032 ms 3352 KB Time limit exceeded
3 Halted 0 ms 0 KB -