[논문 리뷰] On the Minimum Chordal Completion Polytope

David Bergman, Carlos Cardonha외 2명|arXiv (Cornell University)|2016. 12. 06.

graph theory and CDMA systems인용 수 6

한 줄 요약

이 논문은 완전 제거 순서ings에 의존하지 않고, 유도된 사이클에 기반한 엣지 공간 제약 조건을 사용하여 최소 차조 완성 문제(MCCP)에 대한 새로운 정수 프로그래밍 설정을 제안한다. 게다가, 라그레지 제약 조건 생성과 임계값 기반 분리 방식을 융합한 하이브리드 해법을 제안하며, 이는 이전 방법들보다 크게 슈퍼리어하며, 많은 벤치마크 인스턴스를 처음으로 최적해로 해결한다.

ABSTRACT

A graph is chordal if every cycle of length at least four contains a chord, that is, an edge connecting two nonconsecutive vertices of the cycle. Several classical applications in sparse linear systems, database management, computer vision, and semidefinite programming can be reduced to finding the minimum number of edges to add to a graph so that it becomes chordal, known as the minimum chordal completion problem (MCCP). In this article we propose a new formulation for the MCCP which does not rely on finding perfect elimination orderings of the graph, as has been considered in previous work. We introduce several families of facet-defining inequalities for cycle subgraphs and investigate the underlying separation problems, showing that some key inequalities are NP-Hard to separate. We also show general properties of the proposed polyhedra, indicating certain conditions and methods through which facets and inequalities associated with the polytope of a certain graph can be adapted in order to become valid and eventually facet-defining for some of its subgraphs or supergraphs. Numerical studies combining heuristic separation methods based on a threshold rounding and lazy-constraint generation indicate that our approach substantially outperforms existing methods for the MCCP, solving many benchmark graphs to optimality for the first time.

연구 동기 및 목표

• 완전 제거 순서ings에 의존하지 않는 최소 차조 완성 문제(MCCP)를 위한 새로운 수학적 프로그래밍 설정을 개발하는 것.
• 유도된 사이클 부분그래프에서의 면정의 부등식을 규명함으로써 MCCP의 다면체 구조를 조사하는 것.
• 지연 제약 조건 생성과 휴리스틱 분리 방식을 융합한 하이브리드 해법을 설계하여 대규모 MCCP 인스턴스를 효율적으로 해결하는 것.
• 기존의 정확한 및 휴리스틱 방법들보다 계산 성능에서 뛰어나며, 특히 이전에 해결되지 않았던 벤치마크 그래프들을 최적해로 해결하는 데에 성공하는 것.

제안 방법

• 제약 조건은 그래프 내의 유도된 사이클에서 유도된 지수적으로 많은 수의 차조 부등식에 기반하며, 완전 제거 순서ings이 필요 없이 직접 엣지 공간에 정의된다.
• 사이클 부분그래프에 대한 면정의 부등식을 유도하고, 그 일반화를 리프팅 절차를 통해 초그래프 및 부분그래프로 연구한다.
• 지연 제약 조건 생성과 임계값 반올림 기반 휴리스틱 분리 방식을 융합한 하이브리드 해법 접근법을 사용한다. 이는 위반된 부등식을 효율적으로 식별한다.
• 최적화 과정의 초기 단계에서 탇성 해를 생성하기 위해 전략적 휴리스틱을 포함한다.
• 핵심 부등식의 분리는 NP-난이도임을 입증하여, 실무에서 휴리스틱 분리 방식을 사용하는 것이 타당함을 입증한다.
• 수치 실험에서는 핵심 컷에 대한 정확한 분리와 스케일러빌리티를 확보하기 위해 임계값 기반 분리 방식을 조합하여 사용한다.

실험 결과

연구 질문

• RQ1 완전 제거 순서ings에 의존하지 않고, 더 직접적인 다면체 분석이 가능한 MCCP에 대한 새로운 설정을 개발할 수 있는가?
• RQ2 유도된 사이클 부분그래프에서 유도할 수 있는 면정의 부등식의 가족은 무엇이며, 이를 다른 그래프로 일반화하는 방법은 무엇인가?
• RQ3 지연 제약 조건 생성과 임계값 기반 분리 방식을 융합한 하이브리드 접근법은 대규모 MCCP 문제 해결에 얼마나 효과적인가?
• RQ4 기존 방법들이 실패한 상황에서, 이 방법이 얼마나 많은 벤치마크 인스턴스를 최적해로 해결할 수 있는가?

주요 결과

• 사이클 기반 부등식을 사용한 제안된 설정은 이전의 정확한 방법들보다 훨씬 뛰어난 성능을 보이며, 많은 벤치마크 그래프를 처음으로 최적해로 해결했다.
• dimacs 및 기타 표준 벤치마크 인스턴스의 경우, 기존 방법들과 비교해 훨씬 빠른 시간 내에 최적 또는 근접 최적 해를 지속적으로 발견했다.
• 지연 제약 조건 생성과 임계값 라운딩을 융합한 하이브리드 접근법은 많은 인스턴스에서 10,000개 이상의 컷을 식별했으며, 특히 유형 (I2)와 (I4)가 가장 자주 추가되었다.
• 다수의 인스턴스에서 정수 노드에서가 아니라 임계값 분리 절차를 통해 컷이 주로 발견되었음을 확인하여, 휴리스틱 분리 전략의 효과성을 입증했다.
• 밀도가 높고 크기가 큰 그래프에서 특히 뛰어난 성능을 보이며, 최신 휴리스틱 MDO보다 해의 질과 효율성 면에서 뛰어나다.
• myzciel6 및 DSJC125.9와 같은 몇몇 인스턴스에서 이전 방법들이 도달하지 못했던 최적해를 달성하여, 본 방법의 계산적 우수성을 입증했다.