[논문 리뷰] On the Number of Minimal Separators in Graphs

Serge Gaspers, Simon Mackenzie|arXiv (Cornell University)|2015. 03. 04.

Optimization and Search Problems인용 수 4

한 줄 요약

이 논문은 $ n $-정점 그래프에서 최소 분리집합의 수에 대한 상한 $ O( ho^n ) $ 에 대한 간소화된 증명을 제공하며, $ ho = \frac{1+\sqrt{5}}{2} \approx 1.618 $ 이고, 이전의 $ \Omega(3^{n/3}) $ 상한보다 향상된 새로운 하한 $ \omega(1.4521^n) $ 을 확립한다. 이러한 결과들은 알려진 상한과 하한 사이의 격차를 좁히며, 잠재적 최대 클리크의 수에 대해서도 유사한 향상 결과를 유도한다.

ABSTRACT

We consider the largest number of minimal separators a graph on n vertices can have at most. We give a new proof that this number is in $O( ((1+\sqrt{5})/2)^n n )$. We prove that this number is in $ω( 1.4521^n )$, improving on the previous best lower bound of $Ω(3^{n/3}) \subseteq ω( 1.4422^n )$. This gives also an improved lower bound on the number of potential maximal cliques in a graph. We would like to emphasize that our proofs are short, simple, and elementary.

연구 동기 및 목표

• 그래프에서 최소 분리집합의 최대 수에 대한 기존 상한 증명을 더 단순화하는 것.
• 기존의 $ \Omega(3^{n/3}) $ 보다 더 높은 하한을 최소 분리집합의 수에 대해 확립하는 것.
• 그래프에서 잠재적 최대 클리크의 수에 대한 새로운 하한을 설정하는 것.
• 기존에 알려진 최소 분리집합의 상한과 하한 사이의 격차를 줄이는 것.

제안 방법

• 분리집합의 크기와 불균형을 추적하기 위해 $ \mu(G,d) = |V| - d $ 라는 새로운 측정치를 도입한다.
• 황금률 $ \rho $ 를 활용하여 정점 포함 또는 배제 기반의 재귀적 수세기 방법을 사용한다.
• 항등식 $ \rho^{k-1} + \rho^{k-2} = \rho^k $ 를 적용하여 재귀관계를 유계화하고 상한을 증명한다.
• 기본 그래프 $ G_1 $ 이 24층으로 구성된 $ \ell $ 개의 복제본으로 이루어진 그래프 $ G_\ell $ 의 가족을 구성하여 분리집합의 다양성을 높인다.
• $ G_1 $ 에서의 최소 $(a,b)$-분리집합을 세기 위해, 각 층 $ k \neq j $ 에서 $ \{v_{1,k},v_{2,k},v_{3,k}\} $ 에서 하나, $ \{v_{4,k},v_{5,k},v_{6,k}\} $ 에서 하나의 정점을 선택하도록 보장하여, 층당 $ 3^{2(|J|-1)} $ 개를 얻는다.
• $ \ell $ 개의 복제본에서 분리집합을 조합하여 하한 $ (|J| \cdot 3^{2(|J|-1)})^{\ell} $ 을 유도하며, 이는 $ n = \ell \cdot 6|J| + 2 $ 일 때 $ \omega(1.4521^n) $ 이다.

실험 결과

연구 질문

• RQ1 최소 분리집합의 수에 대한 상한을 기존 방법보다 더 단순하게 증명할 수 있는가?
• RQ2 $ n $-정점 그래프에서 최소 분리집합의 수에 대해 가능한 최고의 하한은 무엇인가?
• RQ3 그래프에서 잠재적 최대 클리크의 수는 $ 3^{n/3} $ 보다 더 빠르게 증가하는가?
• RQ4 기존에 알려진 최소 분리집합의 상한과 하한 사이의 격차를 줄일 수 있는가?

주요 결과

• 논문은 임의의 $ n $-정점 그래프에서 최소 분리집합의 수에 대해 $ O(\rho^n \cdot n) $ 의 새로운 상한을 확립하며, 이는 이전 접근 방식보다 더 단순한 증명을 제공한다.
• 최소 분리집합의 수에 대해 이전의 $ \Omega(3^{n/3}) \subseteq \omega(1.4422^n) $ 보다 향상된 새로운 하한 $ \omega(1.4521^n) $ 을 제시한다.
• $ \ell $ 개의 복제본으로 이루어진 $ G_\ell $ 의 구성은 $ n = \ell \cdot 6 \cdot 24 + 2 $ 일 때 $ \omega(1.4521^n) $ 의 최소 분리집합을 달성한다.
• $ G_1 $ 에서 최소 분리집합의 수는 $ |J| \cdot 3^{2(|J|-1)} > 2.1271 \times 10^{23} $ 이상이며, $ |J| = 24 $ 이므로 높은 분리집합 밀도를 보여준다.
• 보조정리로서, 그래프에서 잠재적 최대 클리크의 수 역시 $ \omega(1.4521^n) $ 이며, 이는 이 관련 개념에 대한 하한을 향상시킨다.
• 결과적으로 최소 분리집합에 대한 최고의 상한과 하한 사이의 격차를 크게 줄였으며, $ \mathsf{sep}(n) $ 이 $ 3^{n/3} $ 보다 점근적으로 더 크다는 것을 보여준다.