[논문 리뷰] Merging Combinatorial Design and Optimization: the Oberwolfach Problem

Fabio Salassa, Gabriele Dragotto외 3명|arXiv (Cornell University)|2019. 03. 28.

graph theory and CDMA systems참고 문헌 21인용 수 7

한 줄 요약

이 논문은 조합 설계 이론과 최적화를 새로운 방식으로 융합하여 60 이하의 모든 홀수 차수에 대해 오버월포프 문제(OP)를 해결한다. 차수 방법을 제약 프로그래밍(CP) 및 정수 프로그래밍(IP)으로 모델링함으로써 저자들은 개인용 컴퓨터에서 한 인스턴스당 5초 이내로 전체 해를 생성한다—이전의 고성능 클러스터 기반 방법보다 크게 뛰어나며, 241,200개의 새로운 인스턴스와 1-회전 해의 존재에 대한 새로운 필수 조건을 발견할 수 있었다.

ABSTRACT

The Oberwolfach Problem $OP(F)$ -- posed by Gerhard Ringel in 1967 -- is a paradigmatic Combinatorial Design problem asking whether the complete graph $K_v$ decomposes into edge-disjoint copies of a $2$-regular graph $F$ of order $v$. In this paper, we provide all the necessary equipment to generate solutions to $OP(F)$ for relatively small orders by using the so-called difference methods. From the theoretical standpoint, we present new insights on the combinatorial structures involved in the solution of the problem. Computationally, we provide a full recipe whose base ingredients are advanced optimization models and tailored algorithms. This algorithmic arsenal can solve the $OP(F)$ for all possible orders up to $60$ with the modest computing resources of a personal computer. The new $20$ orders, from $41$ to $60$, encompass $241200$ instances of the Oberwolfach Problem, which is 22 times greater than those solved in previous contributions.

연구 동기 및 목표

• 조합 설계 이론과 최적화 기법을 융합하여, 60 이하의 모든 홀수 차수에 대해 오버월포프 문제(OP)를 효율적으로 해결할 수 있는 확장 가능한 계산 프레임워크를 개발한다.
• 차수 방법을 제약 프로그래밍(CP) 모델로 형식화하여 조합 설계 이론과 최적화를 연결한다.
• 기존의 고성능 컴퓨팅 접근 방식과 비교해 계산 비용을 크게 감소시켜 표준 개인용 컴퓨터에서도 해 생성이 가능하도록 한다.
• 1-회전 해의 존재에 대한 새로운 이론적 통찰을 발견한다.
• 정수 프로그래밍을 사용하여 특정 OP 인스턴스, 예를 들어 OP(^2 3,5)의 해가 존재하지 않음을 검증한다.

제안 방법

• OP(F)에 대해 대칭적인 2-팩터를 체계적으로 생성하기 위해, 차수 방법을 제약 프로그래밍(CP) 문제로 모델링한다.
• 4t+1 차수 그래프 전용으로 설계된 두 가지 새로운 하위 문제인 짝수 이진 레이블링 문제(eBLP)와 짝수 그룹 레이블링 문제(eGLP)를 도입한다.
• Z_{2t}에서의 모듈로 산술을 사용하여, 비어 있지 않은 경로 존재 조건(eBLP)과 그룹 레이블링 일관성 조건(eGLP)을 CP 제약 조건으로 설정한다.
• 차수 집합 Δ₀₀, Δ₁₁, Δ₀₁에 대해 alldifferent 제약 조건을 적용하여, t를 제외한 모든 비영인 군 원소를 완전히 커버하도록 보장한다.
• 차수 집합의 크기를 제어하고 구조적 균형을 보장하기 위해 카디널리티 제약 조건(예: card(dA) = 2t−2)을 구현한다.
• 해가 존재하지 않음을 검증하기 위해 정수 프로그래밍(IP) 모델을 통합한다. 예를 들어 OP(^2 3,5)의 경우.

실험 결과

연구 질문

• RQ1 조합 설계 이론과 최적화의 조합을 통해 60 이하의 모든 차수에 대해 오버월포프 문제를 효율적으로 해결할 수 있는가?
• RQ2 오버월포프 문제에서 1-회전 해의 존재에 필요한 구조적 조건은 무엇인가?
• RQ3 제약 프로그래밍 모델이 2-팩터화의 복잡한 대칭 제약 조건을 효과적으로 인코딩하고 해결할 수 있는가?
• RQ4 제안된 CP/IP 프레임워크는 체계적 탐색 또는 고성능 클러스터 방법과 비교해 계산 비용을 어떻게 감소시키는가?
• RQ5 오버월포프 문제 인스턴스에 대한 광범위한 계산 테스트를 통해 새로운 이론적 통찰을 도출할 수 있는가?

주요 결과

• 제안된 CP/IP 프레임워크는 41에서 60까지의 오버월포프 문제 241,200개 인스턴스를 모두 해결하였다—이전에 해결된 것보다 22배 많다.
• 표준 개인용 컴퓨터에서 한 인스턴스당 5초 이내로 해를 생성하여 고성능 컴퓨팅 클러스터의 필요성을 제거하였다.
• 광범위한 계산 테스트를 통해 1-회전 해의 존재에 대한 새로운 필수 조건를 발견하였다.
• 정수 프로그래밍 모델을 통해 OP(^2 3,5)의 해가 존재하지 않음을 성공적으로 검증하였다.
• v=40일 때 1,756개에서 v=60일 때 33,552개로 v의 유효한 분할 수가 크게 증가하여 문제 공간의 복잡도가 증가함을 반영한다.
• 차수 방법을 CP 및 IP와 융합함으로써 효율적인 계산과 이론적 발견을 동시에 달성하였으며, 이는 조합 설계 문제에 일반화 가능한 접근 방식임을 보여준다.