[논문 리뷰] Size of the Largest Induced Forest in Subcubic Graphs of Girth at least Four and Five

Tom Kelly, Chun‐Hung Liu|arXiv (Cornell University)|2016. 03. 12.

Interconnection Networks and Systems참고 문헌 8인용 수 3

한 줄 요약

이 논문은 둘 이상의 연결성과 둘 이상의 지름을 가진 3-정점 그래프에서 최대 유도 포레스트의 크기의 날카운 하한을 확립한다. 지름이 4 이상 또는 5 이상인 경우 각각 $ n - \frac{2}{9}m $ 또는 $ n - \frac{1}{5}m $ 이상의 크기를 가지며, 유한한 수의 예외 그래프를 제외한 모든 그래프에 대해 성립한다. 이 결과는 날카로우며, 이전에 리우와 조우가 수행한 연구를 확장하며, 피드백 정점 집합과 구조적 그래프 이론에 응용 가능하다.

ABSTRACT

In this paper, we address the maximum number of vertices of induced forests in subcubic graphs with girth at least four or five. We provide a unified approach to prove that every 2-connected subcubic graph on $n$ vertices and $m$ edges with girth at least four or five, respectively, has an induced forest on at least $n-\frac{2}{9}m$ or $n-\frac{1}{5}m$ vertices, respectively, except for finitely many exceptional graphs. Our results improve a result of Liu and Zhao and are tight in the sense that the bounds are attained by infinitely many 2-connected graphs. Equivalently, we prove that such graphs admit feedback vertex sets with size at most $\frac{2}{9}m$ or $\frac{1}{5}m$, respectively. Those exceptional graphs will be explicitly constructed, and our result can be easily modified to drop the 2-connectivity requirement.

연구 동기 및 목표

• 지름이 4 이상 또는 5 이상인 3-정점 그래프에서 최대 유도 포레스트의 크기의 날카로운 하한을 결정하는 것.
• 리우와 조우가 이전에 제시한 3-정점 그래프에서의 유도 포레스트에 관한 이전 결과들을 통합하고 개선하는 것.
• 경계를 달성하는 극한 그래프를 특성화하여, 유한한 수의 예외 케이스를 식별하는 것.
• 이러한 그래프에서 최소 피드백 정점 집합 크기에 대한 등가 경계를 설정하는 것.
• 2-연결 그래프를 초월하여 일반적인 3-정점 그래프로 결과를 확장할 수 있음을 보이는 것.

제안 방법

• 지름 ≥4 또는 ≥5인 3-정점 그래프의 구조적 분석을 통해 정점 수와 간선 수, 사이클 구조를 중심으로 다룬다.
• 그래프 수정에 대한 불변성을 도출하기 위해 간선 컷과 정점 컷의 추론을 사용한다.
• 예를 들어 $ K_{2,3} $와 같은 유도 부분그래프에 대한 보조정리를 적용하여 이웃 구성 조건을 제약한다.
• 경로와 기존 기본 그래프(예: $ K_4^+ $ 및 $ L $)를 재귀적으로 연결하여 예외 그래프를 구성한다.
• 소규모 사이클을 제거하고 지름 조건을 강제하기 위해 간선 압축과 사이클 탐지를 활용한 모순에 기반한 증명.
• 경계의 날카로움을 검증하기 위해 알려진 극한 그래프(예: 디카헤드론)를 기준점으로 활용한다.

실험 결과

연구 질문

• RQ1 2-연결 3-정점 그래프에서 지름이 4 이상일 경우 최대 유도 포레스트의 크기의 최소 가능한 크기는 얼마인가?
• RQ2 지름을 5로 증가시키면 최대 유도 포레스트에 대한 경계는 어떻게 변화하는가?
• RQ3 가장 날카로운 경계를 달성하는 그래프는 무엇이며, 이를 명시적으로 특성화할 수 있는가?
• RQ4 유도 포레스트에 대한 경계는 2-연결이 아닌 3-정점 그래프로 확장될 수 있는가?
• RQ5 이 경계는 이러한 그래프에서 최소 피드백 정점 집합 크기와 어떻게 관련이 있는가?

주요 결과

• 모든 2-연결 3-정점 그래프에서 지름이 4 이상인 경우, 크기가 $ n - \frac{2}{9}m $ 이상인 유도 포레스트가 존재하며, 이 경계는 무한히 많은 그래프에서 등호를 만족한다.
• 지름이 5 이상인 2-연결 3-정점 그래프의 경우, 최대 유도 포레스트의 크기는 $ n - \frac{1}{5}m $ 이상이며, 이 경계 역시 무한히 많은 그래프에서 등호를 만족한다.
• 이 경계는 각각 $ \frac{2}{9}m $ 및 $ \frac{1}{5}m $ 이하인 피드백 정점 집합 크기와 등가이다.
• 경계를 만족하지 않는 그래프는 오직 유한한 수 존재하며, 이들은 명시적으로 구성되어 있다.
• 이전에 리우와 조우가 제시한 경계보다 개선되었으며, 지름 5일 경우 기존 경계는 날카롭지 않았다.
• 기존의 극한 그래프인 디카헤드론은 최종 증명 단계에서 모순에 의해 예외에서 제외된다.