[논문 리뷰] On the Roman Bondage Number of Graphs on surfaces

Vladimir Samodivkin|arXiv (Cornell University)|2014. 07. 01.

Advanced Graph Theory Research참고 문헌 24인용 수 3

한 줄 요약

이 논문은 표면에 임bed된 그래프의 로마 결속 수 $ b_R(G) $ 에 대한 상계를 설정하며, 비음성 오일러 특성수를 가진 표면에 2-셀 임베딩된 임의의 그래프에 대해 $ b_R(G) \leq 15 $ 라고 보여준다. 결과는 평균 차수, 최대 차수, 둘레, 오일러 특성수 등의 차수 기반 및 위상적 제약 조건을 통해 도출되며, 핵심 기법으로는 정점 및 간선 제거 분석과 구면, 토러스, 클라인 병과 같은 표면 위의 임베딩된 그래프의 구조적 성질을 활용한다.

ABSTRACT

A Roman dominating function on a graph $G$ is a labeling $f : V(G) ightarrow \{0, 1, 2\}$ such that every vertex with label $0$ has a neighbor with label $2$. The Roman domination number, $γ_R(G)$, of $G$ is the minimum of $Σ_{v\in V (G)} f(v)$ over such functions. The Roman bondage number $b_R(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with Roman domination number not equal to $γ_R(G)$. In this paper we obtain upper bounds on $b_{R}(G)$ in terms of (a) the average degree and maximum degree, and (b) Euler characteristic, girth and maximum degree. We also show that the Roman bondage number of every graph which admits a $2$-cell embedding on a surface with non negative Euler characteristic does not exceed $15$.

연구 동기 및 목표

• 표면에 임베딩된 그래프의 로마 결속 수 $ b_R(G) $ 에 대한 상계를 결정하는 것.
• 특정 위상적 임베딩을 가진 그래프에서 간선 제거에 따른 로마 지배 수의 안정성 분석, 특히 로마 지배 수의 안정성에 초점 맞춤.
• 평균 차수, 최대 차수, 둔근, 오일러 특성수와 같은 구조적 그래프 불변량을 통합하여 기존의 $ b_R(G) $ 상계를 확장하는 것.
• 오일러 특성수가 비음성인 표면에 2-셀 임베딩 가능한 모든 그래프에 대해 $ b_R(G) \leq 15 $ 를 증명하는 것. 이는 구면, 토러스, 실수선, 클라인 병을 포함한다.

제안 방법

• 정점의 차수 합이 제한된 쌍을 식별하기 위해 정리 F를 활용하여 간선 제거 영향을 제한한다. 이는 $ d_G(x) + d_G(y) \leq 2ad(G) $ 를 보장한다.
• 2-경로 $ xyz $ 에서의 차수 합을 통해 $ b_R(G) $ 를 제한하기 위해 정리 E를 적용한다. 이로 인해 $ b_R(G) \leq d_G(x) + d_G(y) + d_G(z) - 3 - |N_G(x) \cap N_G(y)| $ 를 유도한다.
• 레마 G를 활용하여 평균 차수를 오일러 특성수와 둔근과 연결하여, 둔근이 $ k $ 인 그래프에 대해 $ ad(G) \leq \frac{4k}{k-2}\left(1 - \frac{\chi}{n}\right) $ 를 유도한다.
• 오일러 특성수 $ \chi \geq 0 $ 인 표면에서 $ \delta(G) \geq 5 $ 인 그래프에 대해 정리 A를 적용하여 저차수 간선 쌍을 식별한다. 특히 $ \mathbb{S}_0, \mathbb{N}_1, \mathbb{S}_1, \mathbb{N}_2 $ 에 대해 적용한다.
• 정점 차수 분할 분석: $ V_{\leq 5} $ 와 $ V_{\geq 6} $ 를 통해 간선 제거 영향을 통제하고, 대체 로마 지배 함수를 구성한다.
• 정점 $ v_i $ 에 대해 $ f(v_i) = 0 $, $ u $ 에 대해 $ f(u) = 2 $, 나머지 정점에 대해 $ f(v) = g(v) $ 로 설정하여 그래프 $ G $ 에 대해 로마 지배 함수 $ f $ 를 구성함으로써 $ \gamma_R(G) < \gamma_R(G - E_1) $ 를 보여주고, 이는 $ b_R(G) \leq |E_1| \leq 15 $ 를 증명한다.

실험 결과

연구 질문

• RQ1 2-셀 임베딩된 오일러 특성수가 비음성인 표면에 있는 그래프에 대해 로마 결속 수 $ b_R(G) $ 의 최대 가능한 값은 무엇인가요?
• RQ2 평균 차수, 최대 차수, 둔근, 오일러 특성수가 함께 로마 결속 수에 어떻게 영향을 미치나요?
• RQ3 평면 및 토러스 그래프에 대해 로마 결속 수는 항상 유계로 간주될 수 있으며, 만약 그렇다면 가장 날카로운 상계는 무엇인가요?
• RQ4 정점 차수 및 간선 이웃 구조에 어떤 구조적 조건이 만족될 경우, 간선 제거 후에도 $ b_R(G) $ 는 작게 유지되나요?
• RQ5 저차수 정점과 국소 그래프 구조의 존재는 로마 지배 수의 안정성에 어떻게 영향을 미치나요?

주요 결과

• 모든 연결 그래프 $ G $ 에 대해 $ \Delta(G) \geq 2 $ 이면, 로마 결속 수는 $ b_R(G) \leq 2ad(G) + \Delta(G) - 3 $ 를 만족하며, 이는 차수 기반 상계를 제공한다.
• 순서 $ n $, 둔근 $ k < \infty $, 표면 $ \mathbb{M} $ 에 2-셀 임베딩된 그래프 $ G $ 에 대해 오일러 특성수 $ \chi $ 를 가질 때, $ b_R(G) \leq \frac{4k}{k-2}\left(1 - \frac{\chi}{n}\right) + \Delta(G) - 3 \leq -\frac{12\chi}{n} + \Delta(G) + 9 $ 를 만족한다.
• 만약 $ G $ 가 오일러 특성수 $ \chi(\mathbb{M}) \geq 0 $ 인 표면 $ \mathbb{M} $ 에 2-셀 임베딩되어 있다면, $ b_R(G) \leq 15 $ 이다. 이는 오일러 특성수가 비음성인 모든 표면, 즉 구면, 토러스, 실수선, 클라인 병에 대해 성립한다.
• $ \Delta(G) \geq 7 $ 이면, 정점 차수 분할 분석과 정리 E를 활용한 2-경로에서 차수 합이 제한된 경우를 분석함으로써 $ b_R(G) \leq 15 $ 의 상계가 유지된다.
• $ \delta(G) = 6 $ 이면, $ G $ 는 토러스 또는 클라인 병 위의 6-정규 삼등분 임베딩이 되며, 이는 $ \Delta(G) \geq 7 $ 과 모순된다. 따라서 $ \delta(G) \leq 5 $ 이며, $ V_{\leq 5} $ 가 비어 있지 않음을 보장하여 구조적 분석이 가능하다.
• 모든 차수 6 이하의 정점들이 $ G_{\geq 6} $ 에서 $ V_{\leq 5} $ 와 최대 한 개의 이웃만 가지는 경우, $ d_G(x) + d_G(y) \leq 13 $ 이고 $ |N_G(x) \cap N_G(y)| \geq 2 $ 인 2-경로 $ xyz $ 가 존재하면 $ b_R(G) \leq 14 $ 가 된다. 이는 이러한 경우에 상계가 15 이하로 стрictly 유지됨을 확인한다.