[논문 리뷰] The tree of decomposition of a biconnected graph

D. V. Karpov|arXiv (Cornell University)|2014. 05. 28.

Advanced Graph Theory Research참고 문헌 7인용 수 3

한 줄 요약

이 논문은 2-정점 분리집합에 대한 투트의 구조 트리 일반화를 위해 k-정점 분리집합 분해의 일부를 사용하는 이중연결 그래프를 위한 새로운 분해 트리를 소개한다. 이 방법은 분해의 각 부분을 노드로 나타내는 트리를 구성하여 색칠 수와 선택 수에 대한 정확한 경계를 제공하며, 어떤 부분 블록이나 부분 삼각형에도 내부 정점이 없는 그래프로 비결정적인 이중연결 그래프를 완전히 특성화한다.

ABSTRACT

The tree of decomposition of a $k$-connected graph by a set $\mathfrak S$ of pairwise independent $k$-vertex cutsets is defined as follows. The vertices of this tree are cutsets of $\mathfrak S$ and parts of decomposition of the graph by the set $\mathfrak S$, each cutset is adjacent to all parts that contain it. We prove, that the graph described above is a tree. The tree of decomposition of a biconnected graph is a particular case of this construction: it is the tree of decomposition of a biconnected graph by the set of all its single cutsets (i.e. 2-vertex cutsets, that are independent with all other 2-vertex cutsets). We show that this tree has much in common with the classic tree of blocks and cutpoints of a connected graph. With the help of the tree of decomposition of a biconnected graph we prove a planarity criterium and find some upper bounds on the chromatic number of this graph. Finally, we study the structure of critical biconnected graphs and prove that each such graph has at least four vertices of degree 2.

연구 동기 및 목표

• 이중연결 그래프에 대한 새로운 트리 기반 분해 구조를 개발하여 고전적인 블록-점구조 트리가 2-정점 분리집합으로 일반화되도록 한다.
• 이중연결 그래프 내에서 상호 독립적인 2-정점 분리집합의 구조적 배열을 분석하기 위한 프레임워크를 제공한다.
• 2-정점 분리집합으로 분해된 부분에 기반하여 이중연결 그래프의 색칠 수와 선택 수에 대한 날카로운 경계를 유도한다.
• 어떤 정점도 제거되지 않으면서도 이중연결성을 유지하지 못하는 조건을 식별함으로써 결정적인 이중연결 그래프를 특성화한다.
• 결정적인 이중연결 그래프에서는 모든 부분 블록과 부분 삼각형이 빈 내부를 가져야 하며, 최소 네 개의 차수 2 정점이 있어야 한다는 것을 확립한다.

제안 방법

• 논문은 이중연결 그래프 G의 모든 2-정점 분리집합의 집합 R₂(G)를 정의하고, 어떤 분리집합도 A를 분할하지 않지만 A 외부의 모든 정점은 어떤 분리집합에 의해 분리되는 부분 A ∈ Part(R₂(G))를 구성한다.
• 각 부분 A는 내부 Int(A) (모든 분리집합에 속하지 않는 정점) 와 경계 Bound(A) (분리집합에 속하는 정점)로 분할되며, Int(A)는 오직 A 내부의 정점들과만 완전히 연결되어 있다.
• 노드가 부분과 분리집합을 나타내는 트리 BT(G)를 구축하며, 간선은 부분이 포함하는 분리집합과 연결되어 계층적인 분해를 반영하는 트리 구조를 형성한다.
• 색칠 수 χ(G)는 각 부분 G(A)의 최대 색칠 수에 작은 덧셈 항을 더하여 경계를 정한다. χ(G) ≤ max_A χ(G(A)) + 1.
• 선택 수 ch(G) 역시 유사하게 경계를 정한다: ch(G) ≤ max_A ch(G(A)) + 2이며, 부분이 사이클일 경우 개선된 경계가 존재한다.
• 이 구조는 결정적인 이중연결 그래프를 특성화하는 데 응용되며, 모든 부분 블록과 부분 삼각형이 빈 내부를 가져야 하며, 종단 부분은 길이가 4 이상이면서 오직 두 개의 비차수 2 정점만을 갖는 사이클이어야 한다.

실험 결과

연구 질문

• RQ1 이중연결 그래프 내에서 2-정점 분리집합의 상대적 배열을 트리 구조로 체계적으로 기술할 수 있는가?
• RQ2 2-정점 분리집합으로 분리된 부분에 기반하여 이중연결 그래프의 색칠 수에 대한 가장 날카로운 경계는 무엇인가?
• RQ3 분해 트리의 구조를 고려하여 이중연결 그래프의 선택 수를 그 분해된 부분의 선택 수로 경계 지을 수 있는가?
• RQ4 이중연결 그래프의 부분과 분리집합으로 분해했을 때, 결정적인 이중연결 그래프를 정의하는 구조적 조건은 무엇인가?
• RQ5 결정적인 이중연결 그래프에서 최소한의 차수 2 정점의 수는 얼마이며, 이 수는 분해 트리와 어떻게 관련되어 있는가?

주요 결과

• 이중연결 그래프 G의 색칠 수는 χ(G) ≤ max_{A∈Part(G)} χ(G(A)) + 1를 만족하며, 등호가 성립하는 것은 최대값이 내부가 비어 있지 않은 부분에서 달성될 경우에만 가능하다.
• 선택 수 ch(G)는 ch(G) ≤ max_{A∈Part(G)} ch(G(A)) + 2를 만족하며, 이 경계는 날카롭다. 사이클 부분인 경우 덧셈 항을 1로 줄일 수 있다.
• 모든 부분이 사이클이라면 χ(G) ≤ 3이 되며, 이는 3-색칠 가능성을 위한 충분조건가 된다.
• 이중연결 그래프 G가 결정적임은 모든 부분 블록과 부분 삼각형이 빈 내부를 가져야 하며, 이는 어떤 정점도 제거되지 않으면서도 이중연결성을 유지하지 못한다는 것을 의미한다.
• 모든 결정적인 이중연결 그래프는 최소 네 개의 차수 2 정점을 가져야 하며, 이 경계는 날카롭다. 이는 4-사이클과 단일 2-정점 분리집합을 가진 특정 그래프로 예시화된다.
• 결정적인 이중연결 그래프의 분해 트리에서 종단 부분은 길이가 4 이상이면서 오직 두 개의 정점만 분리집합에 속하고, 나머지 모든 정점은 G 내에서 차수 2를 갖는 사이클이다.