Submission #527393

#	Time	Username	Problem	Language	Result	Execution time	Memory
527393		maomao90	Potemkin cycle (CEOI15_indcyc)	C++17	10 / 100	1117 ms	585696 KiB

indcyc

#include <bits/stdc++.h>
using namespace std;

#define REP(i, j, k) for (int i = j; i < k; i++)
#define RREP(i, j, k) for (int i = j; i >= k; i--)

template<class T>
inline bool mxto(T &a, T b) {return a < b ? a = b, 1 : 0;}
template<class T>
inline bool mnto(T &a, T b) {return a > b ? a = b, 1 : 0;}

typedef long long ll;
#define FI first
#define SE second
#define MP make_pair
typedef pair<int, int> ii;
#define pb push_back
#define ALL(x) x.begin(), x.end()
typedef vector<int> vi;
typedef vector<ii> vii;

#ifndef DEBUG
#define cerr if (0) cerr
#endif

#define INF 1000000005
#define LINF 1000000000000000005ll
#define MAXN 1005
#define MAXR 100005

int n, r;
vi adj[MAXN], nadj[MAXR];
int grid[MAXN][MAXN];
ii eg[MAXR];
bool vis[MAXR];
int dist[MAXN], p[MAXN];

int main() {
#ifdef DEBUG
    ios::sync_with_stdio(0), cin.tie(0);
#endif
    cin >> n >> r;
    memset(grid, -1, sizeof grid);
    REP (i, 0, r) {
        int a, b; cin >> a >> b;
        adj[a].pb(b);
        adj[b].pb(a);
        grid[a][b] = grid[b][a] = i;
        eg[i] = MP(min(a, b), max(a, b));
    }
    REP (i, 0, r) {
        auto [a, b] = eg[i];
        REP (z, 0, 2) {
            REP (j, 1, n + 1) {
                if (j == a) continue;
                if (grid[b][j] == -1) continue;
                if (grid[a][j] != -1) continue;
                nadj[i].pb(grid[b][j]);
                cerr << i << " --- " << grid[b][j] << '\n';
            }
            swap(a, b);
        }
    }
    REP (i, 0, r) {
        if (vis[i]) continue;
        vis[i] = 1;
        dist[i] = 0;
        p[i] = -1;
        queue<int> bfs;
        bfs.push(i);
        cerr << i << '\n';
        while (!bfs.empty()) {
            int u = bfs.front(); bfs.pop();
            cerr << ' ' << u << '\n';
            for (int v : nadj[u]) {
                if (p[u] == v) continue;
                cerr << "  " << v << '\n';
                if (vis[v]) {
                    swap(v, u);
					vi tans;
					while (dist[u] > dist[v]) {
						tans.pb(u);
						u = p[u];
					}
					assert(dist[u] == dist[v]);
					vi rans;
					while (u != v) {
						tans.pb(u);
						rans.pb(v);
						u = p[u];
						v = p[v];
					}
					tans.pb(u);
					reverse(ALL(rans));
					for (int a : rans) {
						tans.pb(a);
					}
                    vi ans;
                    ans.pb(eg[tans[0]].FI);
                    ans.pb(eg[tans[0]].SE);
                    REP (i, 1, tans.size() - 1) {
                        auto [a, b] = eg[tans[i]];
                        if (a == ans.back()) swap(a, b);
                        ans.pb(a);
                    }
                    for (int i : ans) {
                        cout << i << ' ';
                    }
                    cout << '\n';
                    return 0;
                }
                vis[v] = 1;
                p[v] = u;
                dist[v] = dist[u] + 1;
                bfs.push(v);
            }
        }
    }
    cout << "no\n";
}

/*
8 12
1 2
2 3
1 3
2 4
4 5
2 5
5 6
5 7
6 7
3 6
6 8
8 3
*/

Compilation message (stderr)

indcyc.cpp: In function 'int main()':
indcyc.cpp:4:40: warning: comparison of integer expressions of different signedness: 'int' and 'std::vector<int>::size_type' {aka 'long unsigned int'} [-Wsign-compare]
    4 | #define REP(i, j, k) for (int i = j; i < k; i++)
......
  101 |                     REP (i, 1, tans.size() - 1) {
      |                          ~~~~~~~~~~~~~~~~~~~~~
indcyc.cpp:101:21: note: in expansion of macro 'REP'
  101 |                     REP (i, 1, tans.size() - 1) {
      |                     ^~~

• Subtask 1: 0 / 10
• Subtask 2: 0 / 10
• Subtask 3: 0 / 10
• Subtask 4: 10 / 10
• Subtask 5: 0 / 10
• Subtask 6: 0 / 10
• Subtask 7: 0 / 10
• Subtask 8: 0 / 10
• Subtask 9: 0 / 10
• Subtask 10: 0 / 10