[논문 리뷰] On extremal graphs with at most two internally disjoint Steiner trees connecting any three vertices

Hengzhe Li, Xueliang Li외 1명|arXiv (Cornell University)|2012. 10. 30.

Graph theory and applications참고 문헌 15인용 수 21

한 줄 요약

이 논문은 임의의 세 정점 간에 최대 두 개의 내부적으로 분리된 스티너 트리를 가지는 극단적 그래프를 조사하며, $k=3$에 대해 이러한 그래프에서 간의 최대 수를 $f(n;\overline{\kappa}_3 \leq 2) = 2n-3$ ($n \geq 3$, $n \neq 4$) 및 $2n-2$ ($n=4$)로 규명한다. 이 경계에 도달하는 극단적 그래프를 특성화하고, 높은 연결성 수준에 대한 일반적인 하한을 제시한다.

ABSTRACT

The problem of determining the smallest number of edges, $h(n;\barκ\geq r)$, which guarantees that any graph with $n$ vertices and $h(n;\barκ\geq r)$ edges will contain a pair of vertices joined by $r$ internally disjoint paths was posed by Erdös and Gallai. Bollobás considered the problem of determining the largest number of edges $f(n;\barκ\leq \ell)$ for graphs with $n$ vertices and local connectivity at most $\ell$. One can see that $f(n;\barκ\leq \ell)= h(n;\barκ\geq \ell+1)-1$. These two problems had received a wide attention of many researchers in the last few decades. In the above problems, only pairs of vertices connected by internally disjoint paths are considered. In this paper, we study the number of internally disjoint Steiner trees connecting sets of vertices with cardinality at least 3.

연구 동기 및 목표

• 순서가 $n$인 그래프에서 최대 일반화 지역 연결도가 $\ell$ 이하인 경우, 즉 $k=3$일 때 간의 최대 수 $f(n;\overline{\kappa}_k \leq \ell)$를 결정하는 것.
• $\ell=2$일 때 이 최대 간 수에 도달하는 극단적 그래프를 특성화하는 것.
• 임의의 $\ell$에 대해 $f(n;\overline{\kappa}_3 \leq \ell)$에 대한 일반적인 하한을 확립하는 것.
• $f(n;\overline{\kappa}_k \leq \ell)$와 $h(n;\overline{\kappa}_k \geq r)$ 사이의 이중성, 즉 어떤 3정점 집합에 대해 $r$개의 내부적으로 분리된 스티너 트리를 보장하는 최소 간 수를 탐색하는 것.

제안 방법

• 모든 $k$-부분집합 $S \subseteq V(G)$에 대해 $S$-트리의 내부적으로 분리된 최대 수로 정의된 최대 일반화 지역 연결도 $\overline{\kappa}_k(G)$의 개념을 도입한다.
• $\overline{\kappa}_k(G) \leq \ell$인 $n$정점 그래프에서의 최대 간 수를 $f(n;\overline{\kappa}_k \leq \ell)$로 정의하고, 어떤 $k$-집합 $S$에 대해 $r$개의 내부적으로 분리된 $S$-트리가 보장되는 최소 간 수를 $h(n;\overline{\kappa}_k \geq r)$로 정의하며, $h(n;\overline{\kappa}_k \geq \ell+1) = f(n;\overline{\kappa}_k \leq \ell) + 1$임을 제시한다.
• $n$에 대한 귀납법을 사용하여, $\overline{\kappa}_3(G) \leq 2$이고 $e(G) = 2n-3$ (또는 $n=4$일 경우 $2n-2$)인 그래프는 특정 극단적 그래프 클래스 $\mathcal{G}_n^*$에 속해야 한다는 것을 증명한다.
• 정규 또는 거의 정규 그래프 $G'$를 사용하여 $G = G' \vee K_2$의 조인 연산을 통해 극단적 그래프를 구성함으로써, $f(n;\overline{\kappa}_3 \leq \ell)$에 대한 하한을 유도한다.
• 최소 차수를 가진 정점의 이웃 구조에 기반한 케이스 분석을 통해 정점 제거 후 유도된 부분그래프의 차수와 간 수를 분석한다.
• 간 추가 및 정점 제거와 같은 그래프 연산을 적용하여 $\overline{\kappa}_3$ 파라미터를 유지하거나 분석함으로써, $e(G') = 2(n-1)-3$이고 $\overline{\kappa}_3(G) \leq 2$인 부분그래프에 간을 추가하면 $\mathcal{G}_n^*$에 속하는 그래프가 된다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 세 정점 간에 그들 사이에 두 개를 초과하는 내부적으로 분리된 스티너 트리가 존재하지 않는 $n$정점 그래프에서 간의 최대 수는 무엇인가요?
• RQ2 $n \geq 3$, $n \neq 4$일 때, $f(n;\overline{\kappa}_3 \leq 2)$의 정확한 값은 무엇이며, 어떤 그래프가 이 경계에 도달합니까?
• RQ3 일반적인 $\ell$에 대해 $f(n;\overline{\kappa}_3 \leq \ell)$의 주어진 하한을 도달하는 그래프는 어떻게 구성할 수 있습니까?
• RQ4 $f(n;\overline{\kappa}_k \leq \ell)$와 $h(n;\overline{\kappa}_k \geq r)$ 사이의 관계는 무엇이며, 이 이중성은 극단적 그래프 분석에 어떻게 기여합니까?

주요 결과

• $n \geq 3$ 이고 $n \neq 4$일 때, 임의의 세 정점 간에 최대 두 개의 내부적으로 분리된 스티너 트리가 연결되는 그래프에서 간의 최대 수는 $f(n;\overline{\kappa}_3 \leq 2) = 2n - 3$이다.
• $n = 4$일 때, 간의 최대 수는 $f(4;\overline{\kappa}_3 \leq 2) = 2 \cdot 4 - 2 = 6$이며, 이는 $K_4$에 의해 달성된다.
• $n \neq 4$일 때 $f(n;\overline{\kappa}_3 \leq 2) = 2n - 3$을 도달하는 모든 극단적 그래프는 $\mathcal{G}_n^*$ 클래스에 속하며, 이는 $K_4$를 트리 유사 구조나 특정 조인 연산을 통해 연결한 그래프로 구성된다.
• 일반적인 $\ell$에 대해, 다음과 같은 하한을 확립한다: $n$과 $\ell$이 모두 홀수일 경우 $f(n;\overline{\kappa}_3 \leq \ell) \geq \frac{\ell+2}{2}(n-2) + \frac{1}{2}$이며, 그 외의 경우 $f(n;\overline{\kappa}_3 \leq \ell) \geq \frac{\ell+2}{2}(n-2) + 1$이다.
• $\ell = 2$일 때 경계가 날카롭게 맞는 것으로 밝혀졌으며, $f(n;\overline{\kappa}_3 \leq 2) = 2n - 3$이 하한 구성과 일치한다. 이는 $K_2 \vee (n-2)K_1$로 표현되며, $\mathcal{G}_n^*$에 속하는 그래프이다.
• 이중성 $h(n;\overline{\kappa}_3 \geq 3) = f(n;\overline{\kappa}_3 \leq 2) + 1$이 성립하며, 이에 따라 $n \neq 4$일 때 $h(n;\overline{\kappa}_3 \geq 3) = 2n - 2$이고 $n = 4$일 때 $2n - 1$이 된다. 이는 어떤 삼중정점 집합에 대해 세 개의 내부적으로 분리된 스티너 트리가 보장되는 최소 간 수를 나타낸다.