[논문 리뷰] Properties of Catlin's reduced graphs and supereulerian graphs

Weiguo Chen, Zhi‐Hong Chen외 1명|arXiv (Cornell University)|2016. 01. 07.

Advanced Graph Theory Research참고 문헌 13인용 수 4

한 줄 요약

이 논문은 카틀린의 축소된 그래프의 구조적 성질과 그 초초유일 그래프에 대한 영향을 도수 조건 하에서 조사한다. 3-간선연결 그래프에서 인접한 정점들의 도수 합에 대한 점 渐차적 증가하는 하한($\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$)을 분석함으로써, $p$가 10에서 15 및 16으로 증가함에 따라 이러한 그래프의 축소 과정이 어떻게 변화하는지 밝혀내며, 초초유일성이지만 그 축소가 각각 $P$, $P_{14}$, 또는 $P_{16}$가 되는 경계 사례를 나타내는 극값 그래프 $G_a$, $G_b$, $G_c$를 규명한다.

ABSTRACT

A graph $G$ is called collapsible if for every even subset $R\subseteq V(G)$, there is a spanning connected subgraph $H$ of $G$ such that $R$ is the set of vertices of odd degree in $H$. A graph is the reduction of $G$ if it is obtained from $G$ by contracting all the nontrivial collapsible subgraphs. A graph is reduced if it has no nontrivial collapsible subgraphs. In this paper, we first prove a few results on the properties of reduced graphs. As an application, for 3-edge-connected graphs $G$ of order $n$ with $d(u)+d(v)\ge 2(n/p-1)$ for any $uv\in E(G)$ where $p>0$ are given, we show how such graphs change if they have no spanning Eulerian subgraphs when $p$ is increased from $p=1$ to 10 then to $15$.

연구 동기 및 목표

• 카틀린의 축소 방법에서 유도된 축소된 그래프의 구조적 성질를 분석하기 위해.
• 3-간선연결 그래프의 축소 과정이 도수 조건의 임계값인 $p$가 10에서 15로 증가함에 따라 어떻게 변화하는지 규명하기 위해.
• 초초유일성이 아니지만 경계 조건 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$을 만족하는 극값 그래프를 규명하기 위해.
• 페테르센 그래프와 그 변형($P_{14}, P_{16}$)이 증가하는 $p$ 조건 하에서 비초초유일성 그래프의 축소 결과로 나타나는 역할를 조사하기 위해.
• 기존의 초초유일성 그래프에 대한 도수 조건의 타당성과 날카로움을 검토하고 향후 개선 가능성을 제안하기 위해.

제안 방법

• 비자명한 수축 가능한 부분그래프를 단일 정점으로 수축시키기 위해 카틀린의 축소 방법을 적용하여 그래프 $G$의 축소된 그래프 $G'$를 도출하기 위해.
• 모든 $G \in \mathcal{S\!L}$이면 $G' \in \mathcal{S\!L}$이라는 핵심 동치관계를 활용하여 초초유일성 문제를 $G'$의 분석으로 환원하기 위해.
• 도수 합 조건 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ 하에서 $p$가 증가함에 따라 $G'$의 순서와 구조를 분석하기 위해, 여기서 $n$은 $G$의 순서이다.
• 특정 구조를 포함하고 기장이 5 이상인 경우에 모순을 이끌어내기 위해 도수 합 한계와 이분할 부분그래프 분석(예: $H_b$)을 활용하기 위해.
• 각 성분이 완전 또는 거의 완전 그래프 $K_s$ 또는 $K_s - e$인 극값 그래프 $G_a$, $G_b$, $G_c$를 구성하고, $G^\prime = P_{14}$, $P_{16}$, 또는 $P$임을 보여주기 위해.
• 크기 한계의 등호 조건(예: $n = \sum |V(H(v))|$)을 사용하여 등호가 성립할 경우 성분이 정확히 $K_s$ 또는 $K_s - e$여야 함을 증명하기 위해.

실험 결과

연구 질문

• RQ1 도수 조건 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$에서 매개변수 $p$가 증가함에 따라 3-간선연결 그래프 $G$의 축소 구조 $G'$는 어떻게 변화하는가?
• RQ2 초초유일성이 아니지만 경계 조건 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$을 만족하는 극값 그래프는 무엇이며, 그들의 축소 구조는 어떠한가?
• RQ3 비초초유일성 그래프에서 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$ 조건을 만족할 때 그 축소 결과가 $P_{14}$ 또는 $P_{16}$가 될 수 있는가? 이에 강제하는 구조적 제약 조건은 무엇인가?
• RQ4 도수 조건 $\overline{\sigma}_2(G) \geq \frac{2n}{p} - 2$가 $p = 15$ 또는 $16$일 때 타당한가? 만약 이 조건이 완화된다면 어떤 일이 발생하는가?
• RQ5 예를 들어 $\overline{\sigma}_2(G) > \frac{n}{9} - 2$일 경우, $G$가 페테르센 그래프 $P$로 수축될 수 있다는 추측은 타당한가?

주요 결과

• 모든 $p = 10$에 대해 $\overline{\sigma}_2(G) \geq \frac{2n}{10} - 2$이면 $G$는 초초유일성 또는 그 축소 결과가 $P$이다; 만약 $\overline{\sigma}_2(G) > \frac{2n}{10} - 2$이면 $G$는 반드시 초초유일성이다.
• 도수 조건 $\overline{\sigma}_2(G) \geq \frac{2n}{14} - 2$를 만족할 경우, 축소 결과 $G'$는 $P$ 또는 $P_{14}$이며, $n=14s$이고 성분이 $K_s$ 또는 $K_s-e$인 극값 그래프 $G_b$가 이 조건을 만족한다.
• 모든 $p = 15$에 대해 $\overline{\sigma}_2(G) > \frac{2n}{15} - 2$이면 $G$는 초초유일성 또는 $G'$는 $\{P, P_{14}\}$에 속하며, $p$ 증가에 따른 구조적 전이를 보여준다.
• 성분이 $K_s$ 또는 $K_s - e$이고 $n=16s$, $G' = P_{16}$인 극값 그래프 $G_c$는 $\overline{\sigma}_2(G) \geq \frac{2n}{16} - 2$ 조건이 Theorem 4.1에서 이완될 수 없음을 보여주며, $G_c$는 초초유일성이 아니다.
• 등호 $n = \sum_{v \in V(G')} |V(H(v))|$는 각 $H(v)$가 $K_s$ 또는 $K_s - e$일 때에만 성립하며, 이는 $G_a$, $G_b$, $G_c$의 극값 구조를 강제한다.
• 예를 들어 $\overline{\sigma}_2(G) > \frac{n}{9} - 2$이면 $G$는 초초유일성 또는 $P$로 수축될 수 있다