[논문 리뷰] On cyclically-interval edge colorings of trees

Rafael R. Kamalian|arXiv (Cornell University)|2012. 05. 01.

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

한 줄 요약

이 논문은 모든 트리가 순환적-구간 간선 색칠을 갖는다는 것을 증명하며, 임의의 트리 $H$에 대해 탐색 가능한 색칠 집합 $\mathfrak{M}_t$가 정확히 $t$가 구간 $[\Delta(H), M(H)]$에 속할 때 비어 있지 않음을 보여준다. 여기서 $\Delta(H)$는 최대 차수이고 $M(H)$는 $H$의 가장 긴 경로에 포함된 간선 수이다. 주요 결과는 $W_{\text{cyc}}(H) = M(H)$이며, 이는 트리에 대한 타당한 색칠의 범위를 완전히 특성화한다.

ABSTRACT

For an undirected, simple, finite, connected graph $G$, we denote by $V(G)$ and $E(G)$ the sets of its vertices and edges, respectively. A function $φ:E(G) ightarrow\{1,2,\ldots,t\}$ is called a proper edge $t$-coloring of a graph $G$ if adjacent edges are colored differently and each of $t$ colors is used. An arbitrary nonempty subset of consecutive integers is called an interval. If $φ$ is a proper edge $t$-coloring of a graph $G$ and $x\in V(G)$, then $S_G(x,φ)$ denotes the set of colors of edges of $G$ which are incident with $x$. A proper edge $t$-coloring $φ$ of a graph $G$ is called a cyclically-interval $t$-coloring if for any $x\in V(G)$ at least one of the following two conditions holds: a) $S_G(x,φ)$ is an interval, b) $\{1,2,\ldots,t\}\setminus S_G(x,φ)$ is an interval. For any $t\in \mathbb{N}$, let $\mathfrak{M}_t$ be the set of graphs for which there exists a cyclically-interval $t$-coloring, and let $$\mathfrak{M}\equiv\bigcup_{t\geq1}\mathfrak{M}_t.$$ For an arbitrary tree $G$, it is proved that $G\in\mathfrak{M}$ and all possible values of $t$ are found for which $G\in\mathfrak{M}_t.$

연구 동기 및 목표

• 주어진 트리 $G$가 순환적-구간 간선 $t$-색칠을 갖는 정수 $t$의 집합을 결정하는 것.
• 그러한 색칠이 존재하는 데 필요한 최소 및 최대 색 수인 $w_{\text{cyc}}(G)$와 $W_{\text{cyc}}(G)$를 특성화하는 것.
• 모든 트리가 순환적-구간 색칠 가능하다는 것을 증명하는 것, 즉 $G \in \mathfrak{M}$이며, 타당한 $t$ 값의 집합 $\Theta(G)$를 완전히 기술하는 것.

제안 방법

• 각 정점에서 인cidnet된 간선 색상 집합 또는 그 여집합이 $[1,t]$ 내의 구간을 이루는 순환적-구간 간선 색칠을 정의하는 것.
• $\theta(G)$, $w_{\text{cyc}}(G)$, $W_{\text{cyc}}(G)$의 개념을 도입하여 탐색 가능한 $t$ 값의 집합과 그 극한 값의 범위를 나타내는 것.
• 가장 긴 경로와 정점 간의 거리 함수를 포함한 트리의 구조적 분석을 통해 필요한 색의 수를 근사하는 것.
• 귀납적 및 경로 기반의 추론을 사용하여 $W_{\text{cyc}}(H) = M(H)$를 보여주는 것. 여기서 $M(H)$는 $H$의 가장 긴 경로에 포함된 간선 수이다.
• 구간과 $[1,t]$ 내의 순환적 구간의 성질을 활용하여 정점에서의 색상 집합이 순환-구간 조건을 만족함을 증명하는 것.
• 모든 트리 $H$에 대해 $\mathfrak{M}_t$가 비어 있지 않음이 정확히 $t \in [\Delta(H), M(H)]$일 때 성립함을 모순과 경로 연장 추론을 통해 증명하는 것.

실험 결과

연구 질문

• RQ1 주어진 트리 $G$가 순환적-구간 간선 $t$-색칠을 갖는 $t$의 값은 무엇인가요?
• RQ2 트리 $G$에서 그러한 색칠을 위해 필요한 최소 색 수 $w_{\text{cyc}}(G)$는 무엇입니까?
• RQ3 트리 $G$에서 순환적-구간 간선 색칠이 존재하는 데 필요한 최대 색 수 $W_{\text{cyc}}(G)$는 무엇입니까?
• RQ4 모든 트리가 순환적-구간 색칠 가능한가요? 즉, 모든 트리 $G$에 대해 $G \in \mathfrak{M}$이 성립합니까?
• RQ5 특히 가장 긴 경로에 의해 결정되는 트리의 구조는 순환적-구간 색칠의 존재성과 범위에 어떻게 관련되어 있습니까?

주요 결과

• 모든 트리 $H$는 순환적-구간 색칠 가능하다. 즉, $H \in \mathfrak{M}$이며, 이는 어떤 $t \geq 1$에 대해 그러한 색칠이 존재함을 의미한다.
• 순환적-구간 간선 색칠을 위해 필요한 최소 색 수는 트리의 최대 차수와 같다: $w_{\text{cyc}}(H) = \Delta(H)$.
• 순환적-구간 간선 색칠이 존재하는 최대 색 수는 트리 $H$의 가장 긴 경로에 포함된 간선 수와 같다. 즉, $W_{\text{cyc}}(H) = M(H)$이다.
• 트리 $H$에 대해 $H \in \mathfrak{M}_t$가 가능한 $t$ 값의 집합은 정확히 구간 $[\Delta(H), M(H)]$이다. 즉, $\Theta(H) = [\Delta(H), M(H)]$이다.
• 어떤 순환적-구간 $t$-색칠에 대해서도 두 정점 $x'$과 $x''$가 존재하여 $t \leq |TP(x', x'')|$를 만족한다. 여기서 $TP(x', x'')$는 그 사이의 경로에 포함된 간선의 집합이다.
• 색칠이 $W_{\text{cyc}}(H)$-색으로 존재한다는 것은 어떤 정점 쌍에 대해 $W_{\text{cyc}}(H) \leq |TP(x', x'')|$임을 의미하며, 이 경계는 날카롭다. 따라서 $W_{\text{cyc}}(H) = M(H)$임을 확인한다.