[论文解读] On interval edge-colorings of outerplanar graphs

Petros A. Petrosyan|arXiv (Cornell University)|Mar 5, 2013

Advanced Graph Theory Research参考文献 7被引用 4

一句话总结

本文证明了最大度為3的2-連通外平面圖是區間可染色的，且最小顏色數 $ w(G) $ 為3（若頂點數為偶數），或4（若為奇數）。此外，本文進一步證明某些外平面三角剖分，特別是三角形扇形圖 $ TF_n $，即使包含分離三角形，仍是區間可染色的，從而對Axenovich關於區間可染色性需排除分離三角形的猜想提出反例。

ABSTRACT

An edge-coloring of a graph $G$ with colors $1,\ldots,t$ is called an interval $t$-coloring if all colors are used, and the colors of edges incident to any vertex of $G$ are distinct and form an interval of integers. A graph $G$ is interval colorable if it has an interval $t$-coloring for some positive integer $t$. For an interval colorable graph $G$, the least value of $t$ for which $G$ has an interval $t$-coloring is denoted by $w(G)$. A graph $G$ is outerplanar if it can be embedded in the plane so that all its vertices lie on the same (unbounded) face. In this paper we show that if $G$ is a 2-connected outerplanar graph with $Δ(G)=3$, then $G$ is interval colorable and \begin{center} $w(G)=\left\{\begin{tabular}{ll} 3, & if $| V(G)|$ is even, \ 4, & if $| V(G)|$ is odd. \end{tabular}% ight.$ \end{center} We also give a negative answer to the question of Axenovich on the outerplanar triangulations.

研究动机与目标

• 確定最大度為3的2-連通外平面圖的區間可染色性及其最小顏色數 $ w(G) $。
• 解決Axenovich關於「僅當外平面三角剖分無分離三角形時才具備區間可染色性」的開放問題。
• 研究特定外平面三角剖分（特別是含分離三角形的三角形扇形圖 $ TF_n $）的區間染色性質。
• 透過構造含分離三角形的外平面三角剖分的區間染色，提供對Axenovich猜想的反例。
• 利用數學歸納與奇偶性分析，特徵化次立方外平面圖的結構與邊染色行為。

提出的方法

• 對邊數使用數學歸納法，證明最大度 $ \Delta(G) \leq 3 $ 且不含奇圈的2-連通外平面圖具備區間可染色性。
• 應用結構引理以識別度為2的頂點，或鄰接度為2頂點的度3頂點，進而實現邊收縮與歸納染色的延拓。
• 對三角形扇形圖 $ TF_n $ 採用構造性染色方法，根據奇偶性定義顏色分配，並對奇數與偶數 $ n $ 進行遞迴延伸。
• 分析偶數度頂點周圍邊的顏色奇偶性約束，特別是在三角形中，以推導假設區間染色下的矛盾。
• 基於三角形中顏色奇偶性的矛盾論證，證明最大度為4的圖（如 $ T_{k,l,m} $）不可染色。
• 透過圖示與結構分析，以顯式區間染色驗證 $ TF_n $ 的構造，確認其使用 $ \Delta(TF_n) $ 種顏色。

实验结果

研究问题

• RQ1 所有最大度為3的2-連通外平面圖是否都是區間可染色的？其最小顏色數為何？
• RQ2 外平面三角剖分中若存在分離三角形，是否會排除其區間可染色性？此為Axenovich的猜想。
• RQ3 能否為含多個分離三角形的三角形扇形圖 $ TF_n $ 構造區間染色？
• RQ4 對於最大度 $ \Delta(G) = 3 $ 的2-連通外平面圖，$ w(G) $ 的精確值為何，取決於 $ |V(G)| $ 的奇偶性？
• RQ5 是否存在含分離三角形的外平面三角剖分，仍可進行區間染色？

主要发现

• 所有最大度為3的2-連通外平面圖均為區間可染色，且當 $ |V(G)| $ 為偶數時 $ w(G) = 3 $，為奇數時 $ w(G) = 4 $。
• 三角形扇形圖 $ TF_n $ 對所有 $ n \geq 3 $ 均為區間可染色，且 $ w(TF_n) = \Delta(TF_n) $；當 $ n \geq 5 $ 時，其包含 $ n-4 $ 個分離三角形。
• 圖 $ T_{k,l,m} $（一最大度為4的2-連通外平面圖）因三角形邊染色中出現奇偶性矛盾，故不可區間染色。
• 本文透過展示含分離三角形的外平面三角剖分仍可區間染色，對Axenovich的問題提出否定回答。
• 針對奇數與偶數 $ n $，均以遞迴與奇偶性為基礎的染色規則，成功構造出 $ TF_n $ 的顯式區間染色。
• 研究結果確認，外平面三角剖分中無分離三角形並非區間可染色的必要條件。