[논문 리뷰] From Computational Certification to Exact Coordinates: Heilbronn's Triangle Problem on the Unit Square Using Mixed-Integer Optimization

Nathan Sudermann-Merx|arXiv (Cornell University)|2026. 03. 11.

Advanced Optimization Algorithms Research인용 수 0

한 줄 요약

본 논문은 최적화 후 정제(optimize–then–refine) 프레임워크를 제시한다. 이 프레임워크는 정확한 기호 계산을 이용한 전역 혼합정수비선형계획법(MINLP)을 활용해 단위 정사각형에서 Heilbronn의 삼각형 문제를 해결하며, n=9에 대한 인증된 최적성을 약 15분 내에 달성하고 n=5–9에 대한 정확한 좌표를 도출한다.

ABSTRACT

We develop an optimize-then-refine framework for the classical Heilbronn triangle problem that integrates global mixed-integer nonlinear programming with exact symbolic computation. A novel symmetry-breaking strategy, together with the exploitation of structural properties of determinants, yields a substantially stronger optimization model: for $n=9$, the problem can be solved to certified global optimality in 15 minutes on a standard desktop computer, improving upon the previously reported effort of about one day by more than an order of magnitude. Combining the numerical certificate with exact symbolic computation, we provide the first proof that the configuration discovered by Comellas and Yebra in 2002 for $n=9$ is globally optimal, and derive exact coordinates for all optimal configurations with $n=5,\dots,9$, confirming earlier best-known results and sometimes simplifying their presentation. An analysis of these configurations reveals structural patterns-notably the clustering of noncritical triangle areas around a small number of distinct values-which give rise to new research questions about the combinatorial geometry of extremal point sets. All configurations and code are publicly available to provide a reproducible foundation for further research.

연구 동기 및 목표

• 단위 정사각형에서 Heilbronn의 삼각형 문제를 위한 더 강력한 혼합정수 최적화 모델을 개발한다.
• 정확한 기호적 정제를 통해 전역 MINLP를 통합하여 인증된 최적 구성을 얻는다.
• 구조적 통찰을 추출하고 재현 가능한 구성 및 코드를 제공한다.
• 이전 연구보다 현저히 빠르게 n=9에 대한 효율적인 해법을 선보인다.

제안 방법

• Heilbronn의 문제를 최소 삼각형 면적을 최대화하는 MINLP로 형식화한다.
• 삼각형 면적의 절댓값을 다루기 위해 부호가 있는 면적 변수와 이진 부호를 도입한다.
• 경계 구조를 기반으로 한 대칭 파괴 전략을 적용하여 탐색 공간을 줄인다.
• 곱 용어를 보조 변수로 치환하여 해수용 소프트웨어의 비선형성을 완화한다.
• 수치 해로부터 정확한 좌표를 얻기 위해 optimize–then–refine 파이프라인을 통합한다.

Figure 5: Optimal configuration for $n=7$ with its eight critical triangles highlighted.

실험 결과

연구 질문

• RQ1 향상된 MINLP 모델을 사용하여 단위 정사각형에서 작은 n에 대한 인증된 최적의 최소 삼각형 면적 Δn은 얼마인가?
• RQ2 경계 파괴와 행렬식 기반 구조를 활용해 n이 최대 9까지 Heilbronn의 문제를 더 효율적으로 해결할 수 있는가?
• RQ3 수치 인증서를 정확한 기호 계산과 결합해 최적 구성에 대한 정확한 좌표를 산출할 수 있는가?
• RQ4 n이 최대 9까지의 최적 구성에서 어떤 구조적 패턴이 나타나며, 어떤 미해결 질문을 제기하는가?
• RQ5 제안된 프레임워크가 공개적으로 이용 가능한 구성 및 코드로 재현 가능한가?

주요 결과

• n=9의 경우 표준 데스크탑에서 약 15분 만에 인증된 글로벌 최적성이 달성되며, 이전 연구의 약 1일보다 향상된다.
• n=5…9에 대한 모든 최적 구성을 위한 정확한 좌표가 도출되어 이전 결과를 확인하고 새로 제시된 경우에 증명을 제공한다.
• optimize–then–refine 프레임워크는 수치 최적화와 정확한 기호 해법을 연결해 입증 가능한 구성을 산출한다.
• 경계 구조와 행렬식 특성에 기반한 대칭 파괴가 상당한 실행 시간 감소를 가져온다.
• 구조적 패턴이 나타난다: 임계 삼각형의 수는 n이 커질수록 증가하고 비임계 삼각형 면적은 몇 가지 값 주위로 모이며, 이는 새로운 조합 기하학 질문을 시사한다.

Figure 6: Optimal configuration for $n=5$ .