제출 #1235315

#	제출 시각	아이디	문제	언어	결과	실행 시간	메모리
1235315		simplemind_31	낙하산 고리들 (IOI12_rings)	C++20	37 / 100	1735 ms	153112 KiB

rings

#include <bits/stdc++.h>
using namespace std;
int N,canticriti,asegu=-1,canticiclo,ideal,deberia;
vector<int> degree,dsu,may3,posibilidad,cantiposi,dsuuu,degreeeeee;
vector<vector<int>> graph;
set<pair<int,int>> unidos;
vector<bool> pertenececiclo;
int target=-1;
bool dfs(int now,int ante){
  if(pertenececiclo[now]){
    return false;
  }
  if(now==target){
    if(posibilidad[now]==deberia){
      posibilidad[now]++;
      cantiposi[posibilidad[now]]++;
    }else{
      posibilidad[now]=-1;
    }
    return pertenececiclo[now]=true;
  }
  for(auto u:graph[now]){
    if(u==ante){
      continue;
    }
    if(dfs(u,now)){
      if(posibilidad[now]==deberia){
        posibilidad[now]++;
        cantiposi[posibilidad[now]]++;
      }else{
        posibilidad[now]=-1;
      }
      return pertenececiclo[now]=true;
    }
  }
  return false;
}
int find(int x){return dsu[x]==x?x:dsu[x]=find(dsu[x]);}
bool unite(int x,int y){
  if((x=find(x))==(y=find(y))){
    return false;
  }
  dsu[x]=y;
  return true;
}


int find2(int x){return dsuuu[x]==x?x:dsuuu[x]=find2(dsuuu[x]);}
bool unite2(int x,int y){
  if((x=find2(x))==(y=find2(y))){
    return false;
  }
  dsuuu[x]=y;
  return true;
}
void Init(int N_){
  deberia=0;
  cantiposi.clear();
  posibilidad.clear();
  graph.clear();
  degree.clear();
  dsu.clear();
  pertenececiclo.clear();
  may3.clear();
  canticiclo=ideal=0;
  graph.resize(canticriti=N=N_);
  degree.resize(N);
  dsu.resize(N);
  cantiposi.resize(N);
  posibilidad.resize(N);
  pertenececiclo.assign(N,false);
  cantiposi[0]=N;
  for(int i=0;i<N;i++){
    dsu[i]=i;
  }
}
void reinicar(){
  Init(N);
  for(auto u:unidos){
    if(u.first==asegu || u.second==asegu){
      continue;
    }
    degree[u.first]++;
    degree[u.second]++;
    graph[u.first].push_back(u.second);
    graph[u.second].push_back(u.first);
    if(degree[u.first]>2 || degree[u.second]>2 || !unite(u.first,u.second)){
      canticriti=0;
      return;
    }
  }
  canticriti=1;
}
void Link(int A,int B){
  if(canticriti==0){
    return;
  }
  //nuevo variante=ciclos
  // si existe 2 ciclos entonces canti=0
  // si existe 1 ciclo critic ring debe estar dentro del ciclo
  if(asegu!=-1){
    // al encontrar asegu inicio de nuevo pero olvidandome del asegu, es decir nunca unir asegu
    if(asegu!=A && asegu!=B){
      degree[A]++;
      degree[B]++;
      graph[A].push_back(B);
      graph[B].push_back(A);
      //si encuentro ciclo entonces canti=0;
      if(degree[A]>2 || degree[B]>2 || !unite(A,B)){
        canticriti=0;
        return;
      }
    }
  }else{
    unidos.insert({min(A,B),max(A,B)});
    if(!unite(A,B)){
      target=B;
      ideal++;
      if(dfs(A,B)){
        deberia++;
        canticiclo++;
        if(canticiclo>1){
          canticriti=0;
          return;
        }
      }
    }
    degree[A]++;
    degree[B]++;
    graph[A].push_back(B);
    graph[B].push_back(A);
    if(degree[A]>=4){
      if(posibilidad[A]==deberia){
        posibilidad[A]++;
        cantiposi[posibilidad[A]]++;
      }else{
        posibilidad[A]=-1;
      }
      deberia++;
    }
    if(degree[B]>=4){
      if(posibilidad[B]==deberia){
        posibilidad[B]++;
        cantiposi[posibilidad[B]]++;
      }else{
        posibilidad[B]=-1;
      }
      deberia++;
    }
    if(degree[A]==3){
      may3.push_back(A);
      for(auto u:graph[A]){
        if(posibilidad[u]==deberia){
          posibilidad[u]++;
          cantiposi[posibilidad[u]]++;
        }else{
          posibilidad[u]=-1;
        }
      }
      if(posibilidad[A]==deberia){
        posibilidad[A]++;
        cantiposi[posibilidad[A]]++;
      }else{
        posibilidad[A]=-1;
      }
      deberia++;
    }
    if(degree[B]==3){
      may3.push_back(B);
      for(auto u:graph[B]){
        if(posibilidad[u]==deberia){
          posibilidad[u]++;
          cantiposi[posibilidad[u]]++;
        }else{
          posibilidad[u]=-1;
        }
      }
      if(posibilidad[B]==deberia){
        posibilidad[B]++;
        cantiposi[posibilidad[B]]++;
      }else{
        posibilidad[B]=-1;
      }
      deberia++;
    }
    if(cantiposi[deberia]==0){
      canticriti=0;
      return;
    }else if(cantiposi[deberia]==1){
      for(int i=0;i<N;i++){
        if(posibilidad[i]==deberia){
          asegu=i;
          reinicar();
          return;
        }
      }
    }else if(may3.size()==2){
      if(ideal>1){
        //check brute force
        for(int i=0;i<N;i++){
          if(posibilidad[i]==deberia){
            dsuuu.clear();
            degreeeeee.clear();
            dsuuu.resize(N);
            degreeeeee.resize(N);
            for(int j=0;j<N;j++){
              dsuuu[j]=j;
            }
            for(auto u:unidos){
              if(u.first==i || u.second==i){
                continue;
              }
              degreeeeee[u.first]++;
              degreeeeee[u.second]++;
              if(!unite2(u.first,u.second) || degreeeeee[u.first]>2 || degreeeeee[u.second]>2){
                cantiposi[deberia]--;
                posibilidad[i]=-1;
                break;
              }
            }
          }
        }
        canticriti=cantiposi[deberia];
        return;
      }else{
        canticriti=cantiposi[deberia];
        return;
      }
    }else if(may3.size()==1){
      canticriti=cantiposi[deberia];
      return;
    }else{
      canticriti=cantiposi[deberia];
      return;
    }
  }
}
int CountCritical(){return canticriti;}

• Subtask 1: 20 / 20
• Subtask 2: 17 / 17
• Subtask 3: 0 / 18
• Subtask 4: 0 / 14
• Subtask 5: 0 / 31