oj.uz

Submission #570029

# Submission time Handle Problem Language Result Execution time Memory
570029 2022-05-28T12:53:23 Z 600Mihnea Potemkin cycle (CEOI15_indcyc) C++17
90 / 100
 1000 ms 2296 KB 
#include <bits/stdc++.h>

using namespace std;

const int N = 1000 + 7;
const int INF = (int) 1e9 + 7;
int n, m, dist[N], par[N];
bool valid[N], vis[N];
vector<int> g[N], g2[N], gather;

void dfs(int a) {
  gather.push_back(a);
  vis[a] = 1;
  for (auto &b : g2[a]) {
    if (!vis[b] && valid[b]) {
      dfs(b);
    }
  }
}

bool is_edge(int a, int b) {
  int low = 0, high = (int) g[a].size() - 1;
  while (low <= high) {
    int mid = (low + high) / 2;
    if (g[a][mid] == b) {
      return 1;
    }
    if (g[a][mid] < b) {
      low = mid + 1;
    } else {
      high = mid - 1;
    }
  }
  return 0;
}

signed main() {
  ios::sync_with_stdio(0); cin.tie(0);

  cin >> n >> m;
  for (int i = 1; i <= m; i++) {
    int a, b;
    cin >> a >> b;
    g[a].push_back(b);
    g[b].push_back(a);
  }
  for (int i = 1; i <= n; i++) {
    sort(g[i].begin(), g[i].end());
  }
  for (int root = 1; root <= n; root++) {
    for (int i = 1; i <= n; i++) {
      valid[i] = 1;
      vis[i] = 0;
      g2[i].clear();
    }
    valid[root] = 0;
    for (auto &v : g[root]) {
      valid[v] = 0;
    }
    for (int i = 1; i <= n; i++) {
      if (valid[i]) {
        for (auto &j : g[i]) {
          if (valid[j]) {
            g2[i].push_back(j);
          }
        }
      }
    }
    int v1_sol, v2_sol;
    bool found = 0;
    for (int zd = 1; zd <= n; zd++) {
      if (vis[zd] == 0 && valid[zd]) {
        gather.clear();
        dfs(zd);
        vector<int> verts;
        for (auto &member : gather) {
          for (auto &copil : g[member]) {
            if (copil != root && !valid[copil]) {
              verts.push_back(copil);
            }
          }
        }
        sort(verts.begin(), verts.end());
        verts.resize(unique(verts.begin(), verts.end()) - verts.begin());
        if ((int) verts.size() >= 2) {
          for (auto &v1 : verts) {
            for (auto &v2 : verts) {
              if (found) break;
              if (v1 == v2) break;
              if (is_edge(v1, v2)) continue;

              v1_sol = v1;
              v2_sol = v2;
              found = 1;
            }
          }
        }
      }
    }
    if (!found) continue;
    int v1 = v1_sol, v2 = v2_sol;

    for (int i = 1; i <= n; i++) {
      dist[i] = INF;
      par[i] = 0;
    }
    dist[root] = -1;
    for (auto &v : g[root]) {
      if (v != v1 && v != v2) {
        dist[v] = -1;
      }
    }
    queue<int> q;
    dist[v1] = 0;
    q.push(v1);
    while (!q.empty()) {
      int a = q.front();
      q.pop();
      for (auto &b : g[a]) {
        if (dist[b] == INF) {
          dist[b] = 1 + dist[a];
          par[b] = a;
          q.push(b);
        }
      }
    }
    while (v2 != v1) {
      cout << v2 << " ";
      v2 = par[v2];
    }
    cout << v1 << " " << root << "\n";
    return 0;
  }
  cout << "no\n";
}

Compilation message

indcyc.cpp: In function 'int main()':
indcyc.cpp:127:15: warning: 'v1_sol' may be used uninitialized in this function [-Wmaybe-uninitialized]
  127 |     while (v2 != v1) {
      |            ~~~^~~~~

Subtask #1
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 1 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 340 KB Output is correct

Subtask #2
10.0 / 10.0

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

Subtask #3
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 0 ms 340 KB Output is correct
2 Correct 0 ms 340 KB Output is correct

Subtask #4
10.0 / 10.0

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

Subtask #5
10.0 / 10.0

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

Subtask #6
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 16 ms 480 KB Output is correct
2 Correct 1 ms 468 KB Output is correct
3 Correct 3 ms 468 KB Output is correct
4 Correct 36 ms 512 KB Output is correct

Subtask #7
10.0 / 10.0

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

Subtask #8
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 15 ms 1364 KB Output is correct
2 Correct 8 ms 852 KB Output is correct
3 Correct 675 ms 1580 KB Output is correct
4 Correct 260 ms 956 KB Output is correct

Subtask #9
10.0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 14 ms 972 KB Output is correct
2 Correct 549 ms 1004 KB Output is correct

Subtask #10
0 / 10.0

# Verdict Execution time Memory Grader output
1 Correct 23 ms 1392 KB Output is correct
2 Correct 29 ms 1368 KB Output is correct
3 Correct 45 ms 2020 KB Output is correct
4 Execution timed out 1085 ms 2296 KB Time limit exceeded
5 Halted 0 ms 0 KB -