ETH 플리퍼스의 병렬 삼각형 재구성 접근법 SAT 포뮬레이션과 휴리스틱

초록

**
ETH 플리퍼스 팀은 CG:SHOP 2026 챌린지에서 삼각형 집합의 중앙 삼각형을 찾는 문제를 해결하기 위해 두 가지 전략을 결합하였다. 작은·중간 규모 인스턴스는 XOR 절을 포함한 SAT 포뮬레이션으로 정확히 풀고, 대규모 인스턴스는 그리디 로컬 서치와 독립 플립 집합을 찾는 엣지‑컬러링 휴리스틱을 적용하였다. 이 방법으로 250개 중 186개 인스턴스에서 최적성을 증명했으며 전체 순위 2위, 주니어 부문 1위를 차지하였다.

**

상세 분석

**
이 논문은 동일한 점 집합 위에 정의된 여러 삼각형들 사이의 병렬 플립 거리를 최소화하는 중앙 삼각형 C를 찾는 문제를 다룬다. 핵심 아이디어는 두 단계로 나뉜다. 첫 번째 단계에서는 인스턴스 규모가 작거나 중간 정도일 때, 각 플립을 라운드별로 모델링하고 XOR 절을 활용해 에지의 존재 여부 변화를 정확히 기술한다. 이를 위해 CryptoMiniSat5와 같은 XOR‑지원 SAT 솔버를 선택했으며, 각 라운드에서 에지 전이와 동시에 발생할 수 없는 플립을 방지하기 위해 “at‑most‑one” 제약을 라다르 인코딩으로 구현하였다. 또한, 사전 계산된 하한값(예: 두 삼각형 사이의 정확한 플립 거리)과 에지 도입 최소 라운드 정보를 이용해 불필요한 변수와 절을 제거함으로써 검색 공간을 크게 축소하였다.

두 번째 단계에서는 대규모 인스턴스에 대해 휴리스틱을 적용한다. 여기서는 먼저 모든 가능한 빈 볼록 사각형을 찾아야 하는데, 최악의 경우 Θ(n⁴)개의 사각형이 존재한다. 저자들은 k‑d 트리보다 균일 그리드 기반의 공간 해싱을 사용해 평균 O(1) 시간에 사각형 내부 점 존재 여부를 검사하도록 설계하였다. 이 전처리 단계는 메모리 사용량을 최소화하고 캐시 친화성을 높여 실제 대회 데이터에서 높은 효율을 보였다.

휴리스틱 핵심은 독립적인 플립 집합을 최대화하는 엣지‑컬러링 기법이다. 각 라운드에서 충돌하지 않는 플립을 최대한 많이 선택하고, 선택된 플립을 적용한 뒤 남은 차이를 로컬 서치(그리디 + 작은 변동)로 감소시킨다. 로컬 서치에서는 현재 중앙 삼각형 후보와 입력 삼각형 사이의 거리 차이를 계산하고, 가장 큰 기여를 하는 에지를 교환하거나 플립을 추가·제거한다. 이 과정은 제한된 라운드 수 안에서 빠르게 수렴하도록 설계되었으며, 실제 실험에서 최적해에 근접한 결과를 지속적으로 제공하였다.

알고리즘의 복합적인 설계는 정확성(소규모 인스턴스)과 확장성(대규모 인스턴스) 사이의 균형을 맞추었다는 점에서 의미가 크다. 특히 XOR 절을 이용한 SAT 포뮬레이션은 기존의 순수 CNF 기반 접근법보다 변수 수와 절 수를 크게 줄여, 320점 규모의 인스턴스에서도 최적해를 도출할 수 있게 하였다. 또한, 사전 계산된 하한값과 라다르 인코딩을 통한 AMO 제약은 SAT 솔버의 탐색 효율을 극대화하였다.

전체적으로 이 연구는 병렬 플립 문제라는 고차원 조합 최적화 문제에 대해 SAT와 휴리스틱을 조화롭게 결합한 사례를 제공한다. 향후 연구에서는 더 정교한 라운드‑별 비용 모델링, 다중 목표(예: 플립 수와 라운드 수의 가중합 최소화) 및 다른 SAT 솔버와의 비교 실험을 통해 성능 한계를 탐구할 여지가 있다.

**