[논문 리뷰] On the polyhedron of the K-partitioning problem with representative variables

Zacharie Alès, Arnaud Knippel외 1명|arXiv (Cornell University)|2014. 11. 23.

VLSI and FPGA Design Techniques참고 문헌 1인용 수 3

한 줄 요약

이 논문은 클러스터 수를 고정하고 대칭성을 깨뜨리기 위해 엣지 변수와 대표 변수를 사용한 혼합정수선형형태를 제안한다. 2-연결 사이클, 2-분할, 클리크, 강화된 삼각형, 팔다리 불등식과 같은 면을 정의하는 불등식을 특성화하며, 특히 다양한 간선 가중치를 가진 완전 그래프에서 선형 이탈 bound를 크게 향상시킨다.

ABSTRACT

The K-partitioning problem consists of partitioning the vertices of a graph in K sets so as to minimize a function of the edge weights. We introduce a linear mixed integer formulation with edge variables and representative variables. We consider the corresponding polyhedron and show which inequalities are facet-defining. We study several families of facet-defining inequalities and provide experimental results showing that they improve significantly the linear relaxation of our formulation.

연구 동기 및 목표

• 선형 이탈을 강화함으로써 K-분할 문제의 정확한 해법을 향상시키는 데 도전한다.
• 클러스터 수 K를 고정하고 대표 변수를 통해 대칭성을 줄이는 혼합정수선형형태를 개발한다.
• 대표 변수를 사용한 K-분할 다면체에 대해 어떤 불등식이 면을 정의하는지 특성화한다.
• 분할 알고리즘의 분기 및 경계 기법에서의 bound 향상을 위해 다면체 분석을 제공한다.
• 완전 그래프에서의 실험 결과를 통해 면을 정의하는 불등식이 이탈 bound 향상에 미치는 실용적 영향을 입증한다.

제안 방법

• 클러스터 내에서 가장 작은 인덱스를 가진 정점을 나타내는 대표 변수(x_u)와 엣지 변수(x_{u,v})를 사용한 혼합정수선형형태를 제안한다.
• 이 제약 조건 하에서 가능한 모든 K-분할의 볼록결합을 담은 다면체 P_{n,K}를 정의한다.
• 다면체를 포함하는 초평면의 계수 관계를 분석하기 위해 변환(T(C, S, T))을 적용하고, 면을 정의하는 조건을 증명한다.
• 비어 있지 않은 클러스터와 적절히 적용된 대표 제약 조건 하에서, 자명한 불등식, 2-연결 사이클 불등식, 2-분할 불등식, 일반 클리크 불등식이 면을 정의하는 것으로 특성화한다.
• 표준 삼각형 불등식에 대표 변수 제약 조건을 추가하여 강화함으로써, 대부분의 경우 면을 정의하는 것으로 밝혀진다.
• 네 정점으로 구성된 부분집합에 대해 팔다리 불등식을 제안하고 분석하며, 면을 정의하는 데 필요한 필수 및 충분 조건을 규명한다.

실험 결과

연구 질문

• RQ1 제안된 형태에서 K-분할 다면체 P_{n,K}에 대해 어떤 불등식이 면을 정의하는가?
• RQ2 표준 엣지만으로 구성된 형태에 비해 대표 변수는 다면체 구조에 어떻게 기여하는가?
• RQ3 강화된 삼각형 불등식이 면을 정의하는 조건은 무엇인가?
• RQ4 팔다리 불등식이 P_{n,K}의 면을 정의하기 위한 필수 및 충분 조건은 무엇인가?
• RQ5 특정 면을 정의하는 불등식들이 실질적으로 선형 이탈 bound 향상에 어느 정도 영향을 미치는가?

주요 결과

• 2-연결 사이클 불등식은 사이클 길이가 4 이상이면서 대표 조건을 만족할 경우 P_{n,K}에 대해 면을 정의한다.
• 2-분할 불등식은 두 클러스터가 모두 비어 있지 않으며 대표 제약 조건이 올바르게 적용될 경우 면을 정의한다.
• 일반 클리크 불등식은 클리크 크기가 3 이상이며 대표 제약 조건이 지켜질 경우 면을 정의한다.
• 표준 삼각형 불등식에 대표 변수 제약 조건을 추가하여 강화한 불등식은 대부분의 경우 면을 정의하며, 이는 선형 이탈 bound 향상에 크게 기여한다.
• 팔다리 불등식은 d < b < c 및 a < b일 때에만 면을 정의한다. 이 때 c < b 이거나 K = n−2이면 F_P는 비면적이다.
• 실험 결과, 이러한 면을 정의하는 불등식들을 포함시킴으로써 다양한 간선 가중치 분포를 가진 완전 그래프에서 선형 이탈 값이 상당히 향상됨을 확인하였다.