[논문 리뷰] Improved Lower Bounds for Sum Coloring via Clique Decomposition

Qinghua Wu, Jin‐Kao Hao|arXiv (Cornell University)|2013. 03. 27.

Scheduling and Timetabling Solutions참고 문헌 19인용 수 10

한 줄 요약

이 논문은 최소 합 색칠 문제(MSCP)에 대한 더 낫거나 낮은 하한을 계산하기 위해 그래프에서 반복적으로 서로소이고 가장 큰 클리크를 최대한 많이 추출하는 휴리스틱 클리크 분해 방법인 EXCLIQUE를 제안한다. 큰 서로소 클리크를 우선시함으로써, 14개의 기준 인스턴스에 대해 하한을 향상시키고, 다른 4개 인스턴스에 대해 최적성을 증명하며, 추가 24개 인스턴스에 대해 처음으로 하한을 제공함으로써 기존의 클리크 기반 접근법보다 훨씬 뛰어난 해의 품질을 달성한다.

ABSTRACT

Given an undirected graph $G = (V,E)$ with a set $V$ of vertices and a set $E$ of edges, the minimum sum coloring problem (MSCP) is to find a legal vertex coloring of $G$, using colors represented by natural numbers $1, 2, . . .$ such that the total sum of the colors assigned to the vertices is minimized. This paper describes an approach based on the decomposition of the original graph into disjoint cliques for computing lower bounds for the MSCP. Basically, the proposed approach identifies and removes at each extraction iteration a maximum number of cliques of the same size (the largest possible) from the graph. Computational experiments show that this approach is able to improve on the current best lower bounds for 14 benchmark instances, and to prove optimality for the first time for 4 instances. We also report lower bounds for 24 more instances for which no such bounds are available in the literature. These new lower bounds are useful to estimate the quality of the upper bounds obtained with various heuristic approaches.

연구 동기 및 목표

• 최소 합 색칠 문제(MSCP)에 대한 하한을 계산하는 데 더 효과적인 방법을 개발하기 위해.
• 기존의 클리크 분해 기반 하한을 개선하기 위해 그래프에서 추출하는 서로소 클리크의 수와 크기를 최대화하기 위해.
• 해밀토니안 상한을 더 낫게 평가하기 위해 히ュ리스틱 상한의 품질을 보다 정확히 평가할 수 있도록 더 낫거나 낮은 하한을 제공하기 위해.
• 이전에 이러한 하한이 없었던 문헌에서 24개의 기준 인스턴스에 대해 처음으로 알려진 하한을 설정하기 위해.
• MSCP 하한 계산을 위한 클리크 분해에서 일괄적으로 하나씩 클리크를 제거하는 것보다 다중 클리크 추출 전략이 더 우수함을 입증하기 위해.

제안 방법

• EXCLIQUE 알고리즘은 반복적으로 서로소인 클리크를 식별하고 제거하며, 각 단계에서 가능한 한 가장 큰 크기의 클리크를 최대한 많이 추출한다.
• 각 반복 단계에서 알고리즘은 최대 클리크 탐지 알고리즘(예: ATS)을 사용하여 현재 존재하는 가장 큰 클리크의 크기를 확인한 후, 그 크기의 서로소 클리크를 가능한 한 많이 추출한다.
• 정점이 더 이상 남지 않을 때까지 이 과정을 반복하여 원래 그래프의 클리크 분해를 구성한다.
• 이러한 분해의 색칠 합을 원래 그래프의 MSCP에 대한 하한으로 계산한다.
• 이 방법은 기존의 방법과 대조되며, 기존 방법은 클리크를 하나씩 제거하기 때문에 여러 개의 큰 서로소 클리크를 추출할 기회를 놓칠 수 있다.
• 이 방법은 62개의 DIMACS 및 COLOR2 기준 그래프에서 평가되었으며, 기존의 하한 및 OBOCLIQUE 방법과의 결과를 비교하였다.

실험 결과

연구 질문

• RQ1 각 반복에서 여러 개의 큰 서로소 클리크를 동시에 추출하는 클리크 분해 전략이 일괄적으로 하나씩 클리크를 제거하는 것보다 MSCP에 대해 더 낫거나 낮은 하한을 제공할 수 있는가?
• RQ2 이 다중 클리크 추출 전략은 표준 MSCP 기준 인스턴스의 현재까지 알려진 최고 하한을 어느 정도 향상시킬 수 있는가?
• RQ3 제안된 방법이 이전에는 증명이 없었던 인스턴스에서 최적성을 증명할 수 있는가?
• RQ4 EXCLIQUE의 성능은 고급 색칠 휴리스틱을 사용한 보완 그래프 색칠 방법과 비교하여 어떻게 되는가?
• RQ5 각 반복에서 다수의 클리크 호출로 인한 계산 비용 증가가 하한 품질 향상에 비례하는가?

주요 결과

• EXCLIQUE는 이전에 보고된 하한이 있었던 38개 기준 인스턴스 중 14개에 대해 최고 기록 하한을 향상시켰다.
• 이전에 그러한 증명이 없었던 4개의 인스턴스에서 최초로 최적성을 증명하였다.
• 추가 24개의 인스턴스에 대해 문헌상 처음으로 보고된 하한을 제공하였다.
• 평균적으로 EXCLIQUE는 OBOCLIQUE 방법보다 훨씬 높은 하한을 달성하였으며, 특히 표본 6번(DSJC1000.5)에서 더 많은 큰 클리크를 추출함으로써 그 결과가 뚜렷했다.
• 더 높은 계산 시간에도 불구하고, EXCLIQUE는 해의 품질에서 OBOCLIQUE를 압도하였으며, 테스트한 12개 인스턴스 전부에서 EXCLIQUE의 평균 하한이 OBOCLIQUE의 것을 초월하였다.
• 직접적인 그래프 분석을 통한 클리크 분해 접근법은 강력한 색칠 알고리즘(예: ATS)을 사용한 보완 그래프 색칠 방법보다도 우수했으며, 직접 클리크 추출의 이점이 뚜렷하다는 것을 시사한다.