[논문 리뷰] Polyhedral studies of vertex coloring problems: The asymmetric representatives formulation

Víctor Campos, Ricardo C. Corrêa외 3명|arXiv (Cornell University)|2015. 08. 28.

Computational Geometry and Mesh Generation참고 문헌 18인용 수 3

한 줄 요약

이 논문은 정점 색칠 문제에 대한 비대칭 대표자 공식화의 다면체 분석을 제안하며, 이에 따라 해당 색칠 다면체가 유도된 그래프 $×G$의 안정집합 다면체와 동형임을 보여준다. 이는 삼각형, 팔다리(paw), 또는 빗자루(kite)를 포함하지 않는 그래프 가족과 같은 특정 그래프 가족에 대해 완전한 다면체 특성 기술을 가능하게 한다. 이는 안정집합 다면체에 대한 기존 결과를 활용한 것이다.

ABSTRACT

Despite the fact that some vertex coloring problems are polynomially solvable on certain graph classes, most of these problems are not "under control" from a polyhedral point of view. The equivalence between \emph{optimization} and \emph{polyhedral separation} suggests that, for these problems, there must exist formulations admitting some elegant characterization for the polytopes associated to them. Therefore, it is interesting to study known formulations for vertex coloring with the goal of finding such characterizations. In this work we study the asymmetric representatives formulation and we show that the corresponding coloring polytope, for a given graph $G$, can be interpreted as the stable set polytope of another graph obtained from $G$. This result allows us to derive complete characterizations for the corresponding coloring polytope for some families of graphs, based on known complete characterizations for the stable set polytope.

연구 동기 및 목표

• 비대칭 대표자 공식화를 사용하여 정점 색칠 문제의 다면체 특성 기술을 제공하기 위해.
• 정점 색칠 문제의 부분 색칠 확장 문제가 다항식 시간 내에 해결 가능하고, 완전한 다면체 기술을 유도할 수 있는 그래프 가족을 식별하기 위해.
• 색칠 다면체와 유도된 그래프 $×G$의 안정집합 다면체 사이의 대응 관계를 수립하기 위해.
• 이 대응 관계를 통해 안정집합 다면체에서 알려진 타당 부등식을 색칠 다면체로 이전하기 위해.
• 이 공식화가 다항식 시간 내에 열려 있는 정점 색칠 문제의 변종을 해결하는 데 잠재력을 지니고 있는지 탐색하기 위해.

제안 방법

• 비대칭 대표자 공식화는 정점 $i$가 정점 $j$의 색상 클래스에서 대표자임을 나타내는 이진 변수 $x_{ij}$를 사용하며, $i < j$ 이고 $ij \notin E$ 이다.
• 이 공식화는 정점에 대한 전순서 $\prec$ 기반으로 색상 클래스에 고유한 대표자가 존재하도록 보장하는 색칠 다면체 $P^{\textsc{Co}}_{\prec}(G)$를 정의한다.
• 핵심 변환은 색칠 다면체를 유도된 그래프 $\mathcal{R}_G$의 안정집합 다면체 $STAB(\mathcal{R}_G)$로 매핑한다. 이 그래프 $\mathcal{R}_G$는 $G$에서 유도된다.
• 논문은 $P^{\textsc{Co}}_{\prec}(G)$가 $STAB(\mathcal{R}_G)$와 동형임을 증명하며, 안정집합 다면체에 대한 기존 결과의 이행을 가능하게 한다.
• 이 방법은 특정 그래프 클래스에 대한 안정집합 다면체의 알려진 특성 기술을 활용하여 $P^{\textsc{Co}}_{\prec}(G)$에 대한 완전한 기술을 도출한다.
• 분석은 여집합에 삼각형, 팔다리(paw), 또는 빗자루(kite)를 포함하지 않는 그래프에 적용되며, 이로 인해 $P^{\textsc{Co}}_{\prec}(G)$에 대한 완전한 다면체 기술이 도출된다.

실험 결과

연구 질문

• RQ1 비대칭 대표자 공식화가 다항식 시간 내에 해결 가능한 그래프 가족에 대해 정점 색칠 다면체의 완전한 다면체 기술을 도출할 수 있는가?
• RQ2 색칠 다면체와 유도된 그래프 $\mathcal{R}_G$의 안정집합 다면체 사이의 구조적 관계는 무엇인가?
• RQ3 어느 그래프 가족에서 유도된 그래프 $\mathcal{R}_G$는 안정집합 다면체 특성 기술이 알려진 클래스에 속하는가?
• RQ4 안정집합 다면체에서 유도된 타당 부등식은 이 동형 관계를 통해 색칠 다면체로 이전될 수 있는가?
• RQ5 유도된 그래프 $\mathcal{R}_G$가 준선형 그래프(quasi-line graph) 또는 준선형 그래프(semi-line graph)인 그래프에 대해 부분 색칠 확장 문제가 다항식 시간 내에 해결 가능한가?

주요 결과

• 그래프 $G$에 대해 색칠 다면체 $P^{\textsc{Co}}_{\prec}(G)$는 유도된 그래프 $\mathcal{R}_G$의 안정집합 다면체 $STAB(\mathcal{R}_G)$와 동형이다.
• 여집합에 삼각형, 팔다리(paw), 또는 빗자루(kite)를 포함하지 않는 그래프에 대해 $P^{\textsc{Co}}_{\prec}(G)$에 대한 완전한 다면체 특성 기술이 확보된다.
• 유도된 그래프 $\mathcal{R}_G$는 $\overline{G}$에 빗자루(kite)가 없을 경우 준선형 그래프이지만, 반드시 선형 그래프 또는 준선형 그래프는 아니다.
• $\mathcal{R}_G$가 준선형 그래프이면 안정집합 다면체의 면은 모두 0/1 값만을 가진다. 그러나 일반적으로는 이 성질이 성립하지 않는다.
• 정점 색칠 문제의 부분 색칠 확장 문제가 NP-난해인 그래프 가족에 대해서는 이 공식화가 완전한 기술을 도출하지 못한다. 유일한 예외는 P=NP일 경우이다.
• 이 동형 관계는 $STAB(\mathcal{R}_G)$에서 알려진 모든 타당 부등식을 $P^{\textsc{Co}}_{\prec}(G)$로 이전할 수 있게 하며, 다면체 기술을 풍부하게 한다.