Submission #130627

# Submission time Handle Problem Language Result Execution time Memory
130627 2019-07-15T18:49:58 Z dragonslayerit Parachute rings (IOI12_rings) C++14
0 / 100
2464 ms 262144 KB
#include <vector>
#include <algorithm>
#include <cassert>

#include <cstdio>

std::vector<std::pair<int,int> > elist;

int N;

struct Graph{
  int ign;
  std::vector<int> deg;
  std::vector<int> uf;
  bool fail;
  std::vector<std::vector<int> > adj;
  Graph(int ign):ign(ign),deg(N),uf(N),fail(false),adj(N){
    for(int i=0;i<N;i++){
      uf[i]=i;
    }
  }
  int find(int a){
    while(a!=uf[a]){
      a=uf[a]=uf[uf[a]];
    }
    return a;
  }
  void merge(int a,int b){
    adj[a].push_back(b);
    adj[b].push_back(a);
    uf[find(a)]=find(b);
  }
  void add(int a,int b){
    if(a==ign||b==ign) return;
    //printf("G/{%d} += %d,%d\n",ign,a,b);
    if(++deg[a]>2) fail=true;
    if(++deg[b]>2) fail=true;
    if(find(a)==find(b)) fail=true;
    if(fail) return;
    merge(a,b);
  }
  std::vector<int> stk;
  std::vector<int> vis;
  bool dfs(int node,int parent){
    stk.push_back(node);
    vis[node]=1;
    for(int child:adj[node]){
      if(child==parent) continue;
      if(vis[child]){
	stk.erase(stk.begin(),std::find(stk.begin(),stk.end(),child));
	return true;
      }
      if(dfs(child,node)) return true;
    }
    stk.pop_back();
    return false;
  }
  std::vector<int> find_cycle(){
    vis.clear();
    vis.resize(N);
    for(int i=0;i<N;i++){
      if(!vis[i]&&dfs(i,i)){
	return stk;
      }
    }
    assert(0);
  }
}all(-1);

std::vector<int> cycle;

int branch;
std::vector<struct Graph> checkers;

void Init(int N_) {
  N = N_;
  all=Graph(-1);
}

void AddCandidate(int A){
  for(auto& c:checkers){
    if(c.ign==A) return;
  }
  checkers.emplace_back(A);
  for(auto e:elist){
    checkers.back().add(e.first,e.second);
  }
}

void AddBranch(int A){
  //printf("Branch %d\n",A);
  branch++;
  AddCandidate(A);
  for(int x:all.adj[A]){
    AddCandidate(x);
  }
}

void Link(int A, int B) {
  if(branch>2) return;
  bool loop=all.find(A)==all.find(B);
  all.deg[A]++,all.deg[B]++;
  all.merge(A,B);
  for(auto& c:checkers){
    c.add(A,B);
  }
  elist.push_back({A,B});
  
  if(all.deg[A]==3) AddBranch(A);
  if(all.deg[B]==3) AddBranch(B);
  if(loop){
    if(cycle.empty()){
      cycle=all.find_cycle();
    }else{
      all.fail=true;
    }
  }else{
    all.merge(A,B);
  }
}

int CountCritical() {
  if(branch==0){
    //printf("# deg 3+ =0\n");
    if(all.fail) return 0;
    if(cycle.empty()) return N;
    return cycle.size();
  }
  if(branch>2){
    //printf("# deg 3+ >2\n");
    return 0;
  }
  //printf("# deg 3+ in [1,2]\n");
  int ans=0;
  for(const auto& c:checkers){
    if(!c.fail){
      //printf("%d is ok\n",c.ign);
      ans++;
    }
  }
  return ans;
}
# Verdict Execution time Memory Grader output
1 Correct 2 ms 256 KB Output is correct
2 Correct 7 ms 1656 KB Output is correct
3 Correct 7 ms 1656 KB Output is correct
4 Incorrect 2 ms 376 KB Output isn't correct
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 443 ms 44044 KB Output is correct
2 Correct 2464 ms 237992 KB Output is correct
3 Runtime error 246 ms 262144 KB Execution killed with signal 9 (could be triggered by violating memory limits)
4 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 2 ms 256 KB Output is correct
2 Correct 7 ms 1656 KB Output is correct
3 Correct 7 ms 1656 KB Output is correct
4 Incorrect 2 ms 376 KB Output isn't correct
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 2 ms 256 KB Output is correct
2 Correct 7 ms 1656 KB Output is correct
3 Correct 7 ms 1656 KB Output is correct
4 Incorrect 2 ms 376 KB Output isn't correct
5 Halted 0 ms 0 KB -
# Verdict Execution time Memory Grader output
1 Correct 2 ms 256 KB Output is correct
2 Correct 7 ms 1656 KB Output is correct
3 Correct 7 ms 1656 KB Output is correct
4 Incorrect 2 ms 376 KB Output isn't correct
5 Halted 0 ms 0 KB -