[논문 리뷰] On the Packing Chromatic Number on Hamming Graphs and General Graphs

Graciela Nasini, Daniel Severín외 1명|arXiv (Cornell University)|2015. 10. 19.

Graph Labeling and Dimension Problems참고 문헌 6인용 수 3

한 줄 요약

이 논문은 $m=2,3$인 히든그램 그래프 $H_{q,m}$에 대해 패킹 색수(PCN)의 직접적인 공식을 확립하고, $m \geq 4$에 대해 정수선형계획법을 사용하여 향상된 상한을 제공한다. 또한, 구축된 그래프 $G_*^{[d-1]}$를 통한 최대 안정집합(MSS) 문제로의 다항시간 축소를 제안하여, MSS 솔버를 활용한 PCN의 효율적 계산이 가능하게 하며, 차원 13까지의 초입방형에서 상당한 향상이 이루어졌다.

ABSTRACT

The packing chromatic number $χ_ρ(G)$ of a graph $G$ is the smallest integer $k$ needed to proper color the vertices of $G$ in such a way the distance between any two vertices having color $i$ be at least $i+1$. We obtain $χ_ρ(H_{q,m})$ for $m=3$, where $H_{q,m}$ is the Hamming graph of words of length $m$ and alphabet with $q$ symbols, and tabulate bounds of them for $m \geq 4$ up to 10000 vertices. We also give a polynomial reduction from the problem of finding $χ_ρ(G)$ to the Maximum Stable Set problem.

연구 동기 및 목표

• 모든 $q$에 대해 $m=2,3$인 히든그램 그래프에 대해 정확한 패킹 색수 $\chi_{\rho}(H_{q,m})$를 결정하는 것.
• 정수선형계획법을 사용하여 $m \geq 4$에 대해 최대 10,000개 정점 이내의 $\chi_{\rho}(H_{q,m})$에 대해 날카운 상한을 계산하는 것.
• 패킹 색수 문제에서 최대 안정집합(MSS) 문제로의 다항시간 축소를 확립하는 것.
• 이전 방법이 적용되지 않는 그래프, 특히 $q \geq 3$인 초입방형과 히든그램 그래프에 대해 $\chi_{\rho}(G)$의 효율적 계산을 가능하게 하는 것.

제안 방법

• 수학적 귀납법과 Brešar 등(2007)의 알려진 하한을 활용하여 $m=2,3$에 대해 $\chi_{\rho}(H_{q,m})$의 닫힌 형태 표현식을 유도하고, 등호가 성립함을 증명하는 것.
• 레마 1.1을 적용하여 $\chi_{\rho}(H_{q,m}) = m-1 + q^m - \alpha(H_{q,m}^{[m-1]})$로 표현함으로써, 문제를 $H_{q,m}^{[m-1]}$의 안정수를 계산하는 것으로 환원하는 것.
• 패킹 색수와 안정수 간의 관계를 활용하여, $m \geq 4$에 대해 정수선형계획법을 적용하여 $\chi_{\rho}(H_{q,m})$의 상한을 계산하는 것.
• $G^{[d-1]}$에서 전역 정점 $*$를 추가하여 $G_*^{[d-1]}$이라는 새로운 그래프를 구성함으로써 MSS 문제로의 다항시간 축소를 가능하게 하는 것.
• $\chi_{\rho}(G) = (d-1) + n - \alpha(G_*^{[d-1]})$임을 증명하여, MSS 솔버를 통해 PCN의 정확한 계산이 가능함을 보장하는 것.
• 이 축소를 활용하여 초입방형의 상한을 향상시키며, $\chi_{\rho}(H_{2,11}) \leq 857$ (이전 881에서 향상), $\chi_{\rho}(H_{2,12}) \leq 1707$, $\chi_{\rho}(H_{2,13}) \leq 3641$를 계산한 것.

실험 결과

연구 질문

• RQ1 모든 $q \geq 2$에 대해 $m=2$와 $m=3$일 때 패킹 색수 $\chi_{\rho}(H_{q,m})$의 정확한 값은 무엇인가요?
• RQ2 $m \geq 4$이고 정점 수가 최대 10,000일 때 $\chi_{\rho}(H_{q,m})$에 대해 날카운 상한을 계산할 수 있을까요?
• RQ3 패킹 색수 문제에서 최대 안정집합(MSS) 문제로의 다항시간 축소가 존재합니까?
• RQ4 제안된 축소는 이전 결과가 제한된 초입방형과 $q \geq 3$인 히든그램 그래프와 같은 그래프에 대해 $\chi_{\rho}(G)$의 계산 또는 상한 향상에 사용될 수 있을까요?

주요 결과

• $m=2$와 $m=3$일 때, 논문은 $\chi_{\rho}(H_{q,m}) = m-1 + q^m - \alpha(H_{q,m}^{[m-1]})$임을 확립하고, 이 공식이 등호로 성립함을 보였다.
• 정수선형계획법을 사용하여 11차원 초입방형의 패킹 색수 상한을 881에서 857로 향상시켰다.
• 12차원 초입방형에 대해 상한은 $\chi_{\rho}(H_{2,12}) \leq 1707$로 계산되었고, 13차원 초입방형에 대해서는 $\chi_{\rho}(H_{2,13}) \leq 3641$로 계산되었다.
• 다항시간 축소가 확립되었으며, $\chi_{\rho}(G) = (d-1) + n - \alpha(G_*^{[d-1]})$로 표현되며, $G_*^{[d-1]}$는 $G^{[d-1]}$에 전역 정점을 추가하여 구성된 그래프이다.
• 이 축소는 MSS 솔버를 통해 $\chi_{\rho}(G)$를 계산하거나 상한을 구하는 데 활용 가능하며, 특히 $\alpha(G^{[k]})$를 직접 계산하기 어려운 그래프에 매우 유용하다.
• 이 방법을 통해 직경 $d \geq 2$인 그래프에 대해 문제를 크기가 $(n+1)(d-1)$인 그래프의 안정수 계산으로 환원함으로써 $\chi_{\rho}(G)$를 계산할 수 있게 되었다.