[논문 리뷰] Large induced forests in planar graphs with girth 4 or 5

François Dross, Mickaël Montassier외 1명|arXiv (Cornell University)|2014. 09. 04.

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

한 줄 요약

이 논문은 순환장이 4 또는 5인 평면 그래프에서 최대 유도 포레스트의 크기에 대한 하한을 향상시킨다. 구조적 그래프 분석과 분배 방법을 사용하여, 삼각형이 없는 평면 그래프의 순서가 $ n $일 때, 최소 $ rac{6n+7}{11} $의 크기를 가진 유도 포레스트가 존재함을 증명한다. 또한 순환장이 5 이상인 평면 그래프는 최소 $ rac{44n+50}{69} $의 크기를 가진 유도 포레스트를 가짐을 보이며, 이는 이전 결과를 향상시킨다.

ABSTRACT

We give here some new lower bounds on the order of a largest induced forest in planar graphs with girth $4$ and $5$. In particular we prove that a triangle-free planar graph of order $n$ admits an induced forest of order at least $\frac{6n+7}{11}$ , improving the lower bound of Salavatipour [M. R. Salavatipour, Large induced forests in triangle-free planar graphs, Graphs and Combinatorics, 22:113-126, 2006]. We also prove that a planar graph of order $n$ and girth at least $5$ admits an induced forest of order at least $\frac{44n+50}{69}$.

연구 동기 및 목표

• 순환장 4 또는 5인 평면 그래프에서 최대 유도 포레스트의 크기에 대한 기존 하한을 향상시키는 것.
• 삼각형이 없는 그래프 및 순환장 제약이 있는 평면 그래프에 대해 알버트슨-버먼 추측을 더 강력한 정량적 증거로 다루는 것.
• 코왈리크 등이 제안한 하한의 결함을 보완하기 위해 반례를 구성하고 분석을 정교화하는 것.
• 높은 순환장이 있는 평면 그래프의 구조적 분해를 통해 분배 기법을 활용하여 더 타이트한 하한을 확립하는 것.
• 희박한 그래프 클래스에서 피드백 정점 집합과 포레스트 수의 보다 광범위한 이해에 기여하는 것.

제안 방법

• Euler의 공식과 순환장 제약 조건을 활용하여 정점과 면에 대한 전하를 재분배하는 분배 방법을 적용.
• 정점의 차수와 이웃 구성 분석을 위해 구조적 보조정리를 적용하며, 특히 5면에 속한 3- 및 4-정점에 집중.
• 분배 규칙을 통해 특정 구성의 존재를 모순시키는 부등식을 유도함으로써, 이러한 구성의 부재를 증명.
• 특정 부분그래프를 제거하고 귀납법을 적용하는 감소 과정을 구성하며, 유도 포레스트 성질을 유지.
• 관측 35를 매개변수 $ (\alpha, \beta, \gamma) $ 와 함께 적용하여 유도 포레스트의 크기와 제거된 정점 및 간선의 수를 연결.
• 순환장 $ \geq 4 $ 인 평면 그래프에서의 약한 색칠과 간선 수 제약 조건을 활용하여 초기 부등식을 유도.

실험 결과

연구 질문

• RQ1 삼각형이 없는 평면 그래프에서 최대 유도 포레스트의 순서에 대한 최선의 가능한 하한은 무엇인가?
• RQ2 순서가 $ n $인 모든 삼각형이 없는 평면 그래프에서 $ \frac{6n+7}{11} $의 하한이 달성 가능한가, 그리고 이것이 타이트한가?
• RQ3 순환장을 5로 증가시키면 평면 그래프에서 유도 포레스트 크기에 대한 하한에 어떤 영향을 미치는가?
• RQ4 살라바티포르와 코왈리크 등이 제안한 이전 하한은 타당한가? 만약 그렇지 않다면 반례는 무엇인가?
• RQ5 분배 기법과 구조적 분해 기법을 활용하여 희박한 평면 그래프에서의 유도 포레스트에 대해 개선된 타이트한 하한을 유도할 수 있는가?

주요 결과

• 논문은 삼각형이 없는 평면 그래프의 순서가 $ n $일 때, 최소 $ \frac{6n+7}{11} $의 크기를 가진 유도 포레스트가 존재함을 증명하며, 살라바티포르의 하한 $ \frac{17n+24}{32} $ 를 향상시킨다.
• 순환장이 5 이상인 평면 그래프에 대해서는, 유도 포레스트 크기에 대한 하한으로 $ \frac{44n+50}{69} $ 를 확립하며, 이는 이전 결과보다 더 타이트하다.
• 코왈리크 등이 제안한 하한 $ \frac{119n - 24m - 24}{128} $ 에 대해 무한한 반례의 가족을 식별하고 구성함으로써, 이 하한의 부정확성을 입증한다.
• 증명은 Euler의 공식과 순환장 제약 조건을 활용하여 5면 내의 3- 및 4-정점의 특정 구성이 존재하지 않음을 제거하는 분배 추론에 기반한다.
• 분석 결과, 5면의 경계에 4-정점이 두 개 미만으로 존재할 수 없음을 확인하였으며, 이는 분배 과정에서 핵심적인 역할을 한다.
• 분배 추론의 최종 모순은 부등식 $ 4n_4 \geq 2k_5 $ 에서 기인하며, 이는 $ 2n_4 - k_5 \geq 0 $ 를 유도하지만, 유도된 $ -12 \geq 2n_4 - k_5 $ 와 모순되어 문제적 구성의 부재를 증명한다.