[논문 리뷰] Classes of critical graphs for tree-depth

Michael D. Barrus, John Sinkovic|arXiv (Cornell University)|2015. 02. 18.

Advanced Graph Theory Research참고 문헌 4인용 수 4

한 줄 요약

이 논문은 트리 깊이 k에 대해 동시에 k-비판적이고 1-유일성인 무한한 그래프 가중치를 식별하고 특성화하며, 비판적 그래프에 관한 핵심 추측을 지지하는 구체적인 구성법을 제공한다. 완전 그래프 $K_k$, 사이클 $C_{2^{k-2}+1}$, 경로 $P_{2^{k-1}}$, 그리고 클리크와 경로를 결합하여 만든 새로운 가중치 $ olimits_{k,s}$ 가 모두 동시에 k-비판적이고 1-유일성을 만족함을 증명하며, 비판적 그래프의 귀납적 구성에 기초가 되는 예시를 제공한다.

ABSTRACT

A k-ranking of a graph G is a labeling of the vertices of G with values from {1,...,k} such that any path joining two vertices with the same label contains a vertex having a higher label. The tree-depth of G is the smallest value of k for which a k-ranking of G exists. The graph G is k-critical if it has tree-depth k and any proper minor of G has smaller tree-depth, and it is 1-unique if for every vertex v in G, there exists an optimal ranking of G in which v is the unique vertex with label 1. We present several classes of graphs that are both k-critical and 1-unique, providing examples that satisfy conjectures on critical graphs discussed in [M.D. Barrus and J. Sinkovic, Uniqueness and minimal obstructions for tree-depth, submitted].

연구 동기 및 목표

• 트리 깊이 k에 대해 동시에 k-비판적이고 1-유일성인 그래프의 유형을 식별하고 특성화하는 것.
• 비판적 그래프의 구조에 관한 추측을 지지하기 위해 이러한 그래프의 명시적 구성법을 제공하는 것.
• 이 그래프들이 비판적 그래프에 관한 핵심 추측, 즉 최대 차수 제약과 정점 수 제약을 만족하는지 확인하는 것.
• 1-유일성 성질을 활용하여 더 큰 비판적 그래프를 귀납적으로 구성하는 프레임워크를 수립하는 것.

제안 방법

• 경로 연장, 사이클 추가, 클리크 부착을 통해 목표 트리 깊이와 비판성을 만족하는 그래프 가중치를 구성하는 방법.
• 정점에서 별-클리크 변환을 적용하여 1-유일성을 검증하며, 변환 후 $\operatorname{td}(H) < \operatorname{td}(G)$ 조건을 사용한다.
• k에 대한 귀납법을 적용하여 $ olimits_{k,s}$에 속한 그래프가 정확히 트리 깊이 k를 가지며, 정점 또는 간선 제거 후에도 비판성을 유지함을 증명한다.
• 부분 그래프의 분리합과 유도 부분 그래프의 트리 깊이를 유 bounds하는 데에 정리 2.6를 활용하여 깊이 제약이 유지됨을 보장한다.
• 경로의 트리 깊이 공식($\lfloor \log_2 n \rfloor + 1$)과 사이클의 트리 깊이 공식($\lfloor \log_2(n-1) \rfloor + 2$)을 적용하여 기저 사례를 검증한다.
• 부분 그래프 깊이 제약을 사용하여, 어떤 정점이나 간선을 제거할 경우 트리 깊이가 k 이하로 감소함을 보여, k-비판성을 입증한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 1$에 대해 동시에 k-비판적이고 1-유일성인 무한한 그래프 가중치가 존재하는가?
• RQ2 모든 k-비판적 그래프가 1-유일성임을 명시적 구성법으로 뒷받침할 수 있는가?
• RQ3 그래프 $R_{k,t}$와 $ olimits_{k,s}$가 각각의 매개변수에 대해 k-비판성과 1-유일성 조건을 만족하는가?
• RQ4 정점 및 간선 제거 시 그래프가 k-비판적이고 1-유일성으로 유지되는 구조적 성질은 무엇인가?
• RQ5 가중치 $ olimits_{k,s}$를 사용하여 특정 트리 깊이를 갖는 더 큰 비판적 그래프를 귀납적으로 생성할 수 있는가?

주요 결과

• 완전 그래프 $K_k$는 모든 $k \geq 1$에 대해 k-비판적이고 1-유일성이다. 각 정점은 어떤 최적 순위 매기기에서 유일한 레이블 1을 가질 수 있다.
• 사이클 $C_{2^{k-2}+1}$과 경로 $P_{2^{k-1}}$는 모든 $k \geq 2$에 대해 k-비판적이고 1-유일성이다. 알려진 로그 공식을 통해 트리 깊이가 검증된다.
• 길이 $2^{k-2}+1+t$인 경로에 끼움을 추가하여 만든 가중치 $R_{k,t}$는 $k \geq 3$ 및 $0 \leq t \leq 2^{k-2}-2$일 때 k-비판적이고 1-유일성이다. $R_{k,0} = C_{2^{k-2}+1}$이다.
• 클리브 $H_i$를 크기가 $s$인 중심 집합 $B_i$에 연결하여 만든 가중치 $ olimits_{k,s}$는 $k \geq 2$, $s < k$, $q \geq 1$일 때 k-비판적이고 1-유일성이다. $|B_i|$는 $s$의 분할을 이룬다.
• 모든 $ olimits_{k,s}$에 속한 그래프에서 모든 정점은 1-유일성이다. 별-클리크 변환 조건을 통해 확인되었으며, 변환 후 $\operatorname{td}(H) < \operatorname{td}(G)$이다.
• 모든 $ olimits_{k,s}$에 속한 그래프는 k-비판적이다. 어떤 정점이나 간선을 제거하면 트리 깊이가 $k-1$로 감소하며, 부분 그래프의 귀납적 깊이 제약을 통해 증명된다.