GRL_3_A 連結点

Calendar Clock iconCalendar Clock icon

AOJ

# 目次

# 問題

http://judge.u-aizu.ac.jp/onlinejudge/description.jsp?id=GRL_3_A

# 解説

連結点とは、その点を削除するとグラフが非連結になるような頂点.
ポイントは、DFSを構築することとその過程で後退辺を見つけること.
頂点を一度ずつ通ってDFS木を構築し、その間に一度も通る必要のなかった辺を後退辺(Backward Edge) とする.
ある頂点の子孫の中に後退辺をもつ頂点が1つでも存在すればその頂点は連結点である.
ルートの場合はこどもが2つ以上存在すればただちに連結点.こどもが1つであれば非連結点。

# 計算量

O(V+E)O(V+E)

# 解答

// C++ 14
#include <iostream>
#include <string>
#include <vector>
#include <list>
#include <algorithm>
#include <queue>
#include <stack>
#include <set>
#include <map>
#include <unordered_map>
#include <math.h>

#define ll long long
#define Int int
#define loop(x, start, end) for(Int x = start; x < end; x++)
#define loopdown(x, start, end) for(int x = start; x > end; x--)
#define rep(n) for(int x = 0; x < n; x++)
#define span(a,x,y) a.begin()+x,a.begin()+y
#define span_all(a) a.begin(),a.end()
#define len(x) (x.size())
#define last(x) (*(x.end()-1))

using namespace std;

#define MAX_V 10000

vector<Int> graph[MAX_V];
bool used_v[MAX_V],used_e[MAX_V][MAX_V];
Int ord[MAX_V],lowlink[MAX_V];
Int k=0;
vector<Int> aps;

void dfs(Int v, Int parent) {
  used_v[v] = true;
  ord[v]=lowlink[v]=k++;
  bool isAp = false;
  Int childCnt = 0;
  
  for (Int u: graph[v]) {
    if(!used_v[u]) {
      childCnt++;
      used_e[v][u] = true;
      dfs(u, v);
      lowlink[v] = min(lowlink[v], lowlink[u]);
      isAp |= parent != -1 && lowlink[u] >= ord[v];
    }
    else if(!used_e[u][v]) {
      lowlink[v] = min(lowlink[v], ord[u]);
    }
  }
  
  isAp |= parent == -1 && childCnt >= 2;
  if (isAp) aps.push_back(v);
}

Int main(void) {
  Int n, e, u, v;
  cin >> n >> e;
  loop(i,0,e) {
    cin >> u >> v;
    graph[u].push_back(v);
    graph[v].push_back(u);
  }
  dfs(0, -1);
  sort(aps.begin(), aps.end());
  for (Int v: aps) cout << v << endl;
}

リモートフリーランス。ウェブサービス、スマホアプリエンジニア。
東アジアを拠点に世界を移動しながら活動してます!

お仕事のご依頼・お問い合わせはこちら

コメント