[논문 리뷰] Seymour's second neighbourhood conjecture for quasi-transitive oriented graphs

Gregory Gutin, Ruijuan Li|arXiv (Cornell University)|2017. 04. 05.

Advanced Graph Theory Research참고 문헌 5인용 수 8

한 줄 요약

이 논문은 순위 전환 방향 그래프의 세이모어 두 번째 이웃 추측을 증명한다. 순위 전환 방향 그래프는 토너먼트와 순서화된 방향 그래프의 초집합이다. 정규 분해와 중앙 순서 기법을 사용하여, 출도가 0인 정점이 없는 모든 순위 전환 방향 그래프는 첫 번째 출이웃의 크기 이상인 두 번째 출이웃을 갖는 정점이 적어도 두 개 이상 존재함을 입증한다.

ABSTRACT

Seymour's second neighbourhood conjecture asserts that every oriented graph has a vertex whose second out-neighbourhood is at least as large as its out-neighbourhood. In this paper, we prove that the conjecture holds for quasi-transitive oriented graphs, which is a superclass of tournaments and transitive acyclic digraphs. A digraph $D$ is called quasi-transitive is for every pair $xy,yz$ of arcs between distinct vertices $x,y,z$, $xz$ or $zx$ ("or" is inclusive here) is in $D$.

연구 동기 및 목표

• 순위 전환 방향 그래프의 세이모어 두 번째 이웃 추측을 해결하기 위해, 이는 토너먼트와 순서화된 비순환 방향 그래프를 포함한다.
• 기존의 토너먼트와 비순환 그래프에 대한 결과를 더 풍부한 구조적 성질을 지닌 더 넓은 범주의 방향 그래프로 확장하기 위해.
• 출도가 0인 정점이 없는 순위 전환 방향 그래프에서 최소 두 개의 세이모어 정점(즉, |N⁺(v)| ≤ |N⁺⁺(v)|를 만족하는 정점)의 존재를 입증하기 위해.
• 토너먼트에서 최소 두 개의 세이모어 정점이 존재한다는 정리 1.2를 순위 전환 방향 그래프의 범주로 일반화하기 위해.

제안 방법

• 밴-지센과 황에 의해 확립된, 순위 전환 방향 그래프를 강한 구성요소와 토너먼트로 분해하는 정규 분해를 활용한다.
• 이전에 토너먼트에 사용된 중앙 순서 접근법을 확장된 토너먼트와 그 하위 구조에 적용한다.
• 그래프의 순서에 대한 귀납법을 사용하며, 강한 및 비강한 순위 전환 방향 그래프를 구분하여 다룬다.
• 확장된 토너먼트의 부분집합 집합의 구조를 분석하여 하위구조의 세이모어 정점을 식별한다.
• 어떤 정점이 하위그래프에서 세이모어 정점이고, 같은 부분집합 내 다른 정점으로의 출이웃이 없는 경우, 전체 그래프에서도 여전히 세이모어 정점으로 남아 있음을 이용한다.
• 강한 순위 전환 방향 그래프에서 종단 강한 구성요소에 세이모어 정점이 존재하면 전체 그래프에도 그러한 정점이 존재함을 이용한다.

실험 결과

연구 질문

• RQ1 세이모어 두 번째 이웃 추측은 모든 순위 전환 방향 그래프에 대해 성립하는가?
• RQ2 토너먼트에 사용된 중앙 순서 기법을 확장하여, 순위 전환 방향 그래프에서 다수의 세이모어 정점 존재를 증명할 수 있는가?
• RQ3 순위 전환 방향 그래프의 어떤 구조적 성질이 두 번째 출이웃의 크기가 첫 번째 출이웃의 크기 이상이 되는 정점이 최소 두 개 이상 존재하도록 보장하는가?
• RQ4 순위 전환 방향 그래프의 정규 분해가 추측의 증명에 어떻게 기여하는가?
• RQ5 확장된 토너먼트의 부분집합에 속한 정점은 어떤 조건에서 전체 순위 전환 방향 그래프에서 세이모어 정점으로 남아 있는가?

주요 결과

• 논문은 출도가 0인 정점이 없는 모든 순위 전환 방향 그래프가 |N⁺(v)| ≤ |N⁺⁺(v)|를 만족하는 정점이 적어도 두 개 이상 존재함을 입증함으로써, 이 범주에 대해 세이모어 두 번째 이웃 추측을 확인한다.
• 추측은 순위 전환 방향 그래프의 부분집합인 확장된 토너먼트에 대해서도 성립하며, 이 증명은 중앙 순서와 분해 기법에 의존한다.
• 비강한 순위 전환 방향 그래프의 경우, 종단 강한 구성요소에 세이모어 정점이 존재함으로써 최소 두 개의 세이모어 정점 존재가 보장된다.
• 강한 순위 전환 방향 그래프의 경우, 강한 토너먼트와 하위그래프로의 정규 분해를 통해 최소 두 개의 세이모어 정점 존재가 입증되며, 서로 다른 부분집합에 속한 정점들이 후보로 작용한다.
• 어떤 정점이 하위그래프에서 세이모어 정점이고, 같은 부분집합 내 다른 정점으로의 출이웃이 없는 경우, 전체 그래프에서도 여전히 세이모어 정점으로 남아 있다.
• 결과는 토너먼트에서 최소 두 개의 세이모어 정점이 존재한다는 정리 1.2를 더 넓은 범주의 순위 전환 방향 그래프로 일반화한다.