[논문 리뷰] Highly linked tournaments

Alexey Pokrovskiy|BIROn (Birkbeck, University of London)|2014. 06. 29.

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

한 줄 요약

이 논문은 K"uhn, Lapinskas, Osthus, Patel가 제기한 추측을 확인함으로써, 모든 강한 452k-연결 토너먼트는 k-연결임을 증명한다. 이는 연결성의 선형 바ounds를 확보하기 위해 전이 부분토너먼트와 멀러의 정리를 사용하는 연결 구조 방법을 확장하여, 지정된 정점 쌍 사이에 정점을 공유하지 않는 경로를 구성함으로써 달성된다.

ABSTRACT

A (possibly directed) graph is $k$-linked if for any two disjoint sets of vertices $\{x_1, \dots, x_k\}$ and $\{y_1, \dots, y_k\}$ there are vertex disjoint paths $P_1, \dots, P_k$ such that $P_i$ goes from $x_i$ to $y_{i}$. A theorem of Bollobás and Thomason says that every $22k$-connected (undirected) graph is $k$-linked. It is desirable to obtain analogues for directed graphs as well. Although Thomassen showed that the Bollobás-Thomason Theorem does not hold for general directed graphs, he proved an analogue of the theorem for tournaments - there is a function $f(k)$ such that every strongly $f(k)$-connected tournament is $k$-linked. The bound on $f(k)$ was reduced to $O(k \log k)$ by Kühn, Lapinskas, Osthus, and Patel, who also conjectured that a linear bound should hold. We prove this conjecture, by showing that every strongly $452k$-connected tournament is $k$-linked.

연구 동기 및 목표

• 토너먼트가 k-연결이 되기 위한 선형 연결성 바ounds가 충분한지 해결하는 것.
• K"uhn 등이 이전에 제시한 O(k log k) 바ounds를 강한 연결성에서 k-연결성으로 이끌어내는 데 향상시키는 것.
• 토너먼트에서 k-연결성을 보장하기 위한 선형 연결성 임계값에 대한 정확하고 명시적인 상수(452)를 설정하는 것.
• 연결 구조 방법을 개선하여 고도로 연결된 토너먼트에서 정확한 경로 구성에 도달하는 것.

제안 방법

• 크기가 2인 전이 부분토너먼트(D⁻_i, D⁺_i)를 사용하여 경로 성분을 구성하는 연결 구조를 구축한다.
• T\X에서 Y⁻에서 X⁺로 향하는 5k개의 정점을 공유하지 않는 경로 Q_i를 찾기 위해 멀러의 정리를 적용한다. 여기서 |X| ≤ 222k이다.
• 도미네이션 집합 E⁻_i와 E⁺_i 외부의 추가적인 출발 및 도착 이웃을 식별하기 위해 도수 조건과 평균화 추론을 사용한다.
• 기존 경로의 끝점을 도메인 집합 외부의 정점으로 교체하여 정점 공유를 보장하고 경로의 연속성을 확보한다.
• T⁻와 T⁺에서 Q′_i 경로에 Q⁻_i와 Q⁺_i를 연결하는 P⁻_i와 P⁺_i 경로를 찾기 위해 보조정리 2.1을 활용한다.
• 경로를 연결함으로써 x_i → x′_i → Q⁻_i → P⁻_i → Q′_i → P⁺_i → Q⁺_i → y′_i → y_i의 순서로 k개의 정점을 공유하지 않는 x_i-y_i 경로를 형성한다.

실험 결과

연구 질문

• RQ1 모든 강한 f(k)-연결 토너먼트가 k-연결이 되기 위한 선형 함수 f(k)가 존재하는가?
• RQ2 k-연결 토너먼트에 대한 O(k log k) 연결성 바ounds가 선형 바ounds로 향상될 수 있는가?
• RQ3 모든 강한 Ck-연결 토너먼트가 k-연결이 되기 위한 최적의 명시적 상수 C는 무엇인가?
• RQ4 연결 구조 방법을 정교화하여 토너먼트의 k-연결성에서 정확한 선형 바ounds를 달성할 수 있는가?

주요 결과

• 모든 강한 452k-연결 토너먼트는 k-연결이며, K"uhn, Lapinskas, Osthus, Patel의 추측을 확인한다.
• 452k의 바운드는 명시적이고 구축 가능하며, 이전의 10⁴k log k 바운드보다 향상된 것이다.
• 경로의 정점 공유와 연결성을 보장하기 위해 도메인 집합 외부의 정점을 정교하게 선택하는 데 의존한다.
• 전이 부분토너먼트와 멀러의 정리를 사용하여 지정된 쌍 사이에 정점을 공유하지 않는 경로를 구성한다.
• x′_i와 y′_i는 E⁻_i와 E⁺_i 외부에서 최소 2k개의 선택지가 있어 정점 공유를 보장할 수 있다.
• 최종 경로 연결을 통해 x_i에서 y_i로 향하는 모든 k개의 경로가 정점을 공유하지 않음을 보장하여 k-연결성을 만족시킨다.