[논문 리뷰] On Fall Colorings of Graphs

Saeed Shaebani|ArXiv.org|2009. 09. 15.

Advanced Graph Theory Research참고 문헌 1인용 수 8

한 줄 요약

이 논문은 그래프에서 모든 정점이 자신의 닫힌 이웃에서 모든 색상을 볼 수 있어야 하는 '낙엽 색칠'을 조사한다. 레이크소그래픽 곱과 카테고리컬 곱에서의 낙엽 색칠 조건을 규명하고, 마이에이츠키안 그래프의 낙엽 색칠을 특성화하며(항상 공집합임을 증명함), 이중 그래프의 보완 그래프에서 낙엽 색칠이 크로마틱 수에 의해 유일하게 결정됨을 보이며, 원래 그래프에서 완전 매칭의 존재 여부에 따라 다항시간 결정 가능성을 밝힌다.

ABSTRACT

A fall $k$-coloring of a graph $G$ is a proper $k$-coloring of $G$ such that each vertex of $G$ sees all $k$ colors on its closed neighborhood. We denote ${ m Fall}(G)$ the set of all positive integers $k$ for which $G$ has a fall $k$-coloring. In this paper, we study fall colorings of lexicographic product of graphs and categorical product of graphs and answer a question of \cite{dun} about fall colorings of categorical product of complete graphs. Then, we study fall colorings of union of graphs. Then, we prove that fall $k$-colorings of a graph can be reduced into proper $k$-colorings of graphs in a specified set. Then, we characterize fall colorings of Mycielskian of graphs. Finally, we prove that for each bipartite graph $G$, ${ m Fall}(G^{c})\subseteq \{χ(G^{c}) \}$ and it is polynomial time to decision whether or not ${ m Fall}(G^{c})=\{χ(G^{c}) \}$.

연구 동기 및 목표

• 그래프의 레이크소그래픽 곱과 카테고리컬 곱에서의 낙엽 색칠을 특성화하기 위해.
• 완전 그래프의 카테고리컬 곱에서의 낙엽 색칠에 관한 열린 문제를 해결하기 위해.
• 그래프의 합집합과 그 구조적 제약 조건에서의 낙엽 색칠을 연구하기 위해.
• 특정 클래스의 그래프에서 낙엽 k-색칠이 적절한 k-색칠로 감소함을 보여주기 위해.
• 마이에이츠키안 그래프의 낙엽 색칠을 특성화하고, 그것이 항상 공집합임을 증명하기 위해.
• 이중 그래프의 보완에서의 낙엽 색칠을 분석하고 다항시간 결정 가능성을 확립하기 위해.

제안 방법

• 기본 그래프에서 낙엽 색칠이 어떻게 전파되는지 분석하기 위해 레이크소그래픽 곱 구축을 사용한다.
• 색칠 함수 f(x,y) = (g(x), h_g(x)(y))를 적용하여, G와 H의 낙엽 색칠로부터 G[H]에서의 낙엽 색칠을 구성한다.
• 구조적 그래프 분석을 활용하여 마이에이츠키안 그래프가 낙엽 색칠을 허용하지 않음을 증명한다.
• 이중 그래프의 보완을 분석하기 위해 고립되지 않은 정점들에 의해 유도되는 부분그래프와 그 완전 매칭을 고려한다.
• G^c에서 각 색상 클래스는 단일 정점 또는 이중 분할의 서로 다른 부분에 속한 두 정점의 쌍임을 이용한다.
• Fall(G^c)의 결정 문제를 고립되지 않은 정점들에 의해 유도되는 부분그래프에서의 완전 매칭 존재성으로 환원한다.

실험 결과

연구 질문

• RQ1 레이크소그래픽 곱 G[H]가 낙엽 k-색칠을 가질 수 있는 조건은 무엇인가?
• RQ2 완전 그래프의 카테고리컬 곱에서의 낙엽 색칠은 완전히 특성화될 수 있는가? 그리고 본 논문의 구축 방식이 [3]에서 제기된 열린 문제를 해결하는가?
• RQ3 마이에이츠키안 구축은 낙엽 색칠 가능성을 유지하는가? 만약 그렇지 않다면 그 이유는 무엇인가?
• RQ4 이중 그래프 G에 대해, Fall(G^c)가 비어있지 않은 조건은 무엇이며, 그 낙엽 색칠의 구조는 어떠한가?
• RQ5 이중 그래프 G에 대해, Fall(G^c) = {χ(G^c}) 인지 다항시간에 결정할 수 있는가?

주요 결과

• 레이크소그래픽 곱 G[H]가 낙엽 k-색칠을 가질 수 있는 것은 G와 H가 각각 낙엽 색칠을 가지며, k가 G의 각 색상 클래스에 대응하는 H의 낙엽 색칠 수의 합과 일치할 때이다.
• Fall(G[H])가 비어있지 않으려면 Fall(H)도 비어있어야 하며, 각 x ∈ V(G)에 대해 f에 의해 유도된 H_x의 색칠은 낙엽 |S_x|-색칠이어야 한다.
• 모든 그래프 G에 대해 마이에이츠키안 그래프 M(G)는 낙엽 색칠을 가지지 않으며, 즉 Fall(M(G)) = ∅이다. 이는 정점 z에서 발생하는 색상 지배의 모순으로 인해 발생한다.
• 모든 이중 그래프 G에 대해 Fall(G^c)는 {χ(G^c)}의 부분집합이며, Fall(G^c) = {χ(G^c)}이 되는 것은 G의 고립되지 않은 정점들에 의해 유도되는 부분그래프가 완전 매칭을 가질 때이다.
• Fall(G^c) = {χ(G^c)} 인지 여부를 결정하는 문제는 다항시간에 해결 가능하며, 이는 G의 고립되지 않은 부분그래프에서 완전 매칭이 존재하는지 확인하는 것으로 환원되기 때문이다.
• G^c의 낙엽 색칠은 G의 구조에 의해 유일하게 결정된다: 각 색상 클래스는 고립된 정점(즉, G에서 고립된 정점)이거나, 서로 다른 부분에 속한 두 정점 {y,z}의 쌍이다.