[논문 리뷰] polymake in Linear and Integer Programming

Benjamin Assarf, Ewgenij Gawrilow외 5명|arXiv (Cornell University)|2014. 08. 20.

Advanced Graph Theory Research인용 수 4

한 줄 요약

이 논문은 다면체 계산을 위한 소프트웨어 시스템인 polymake를 선형 및 정수계획법 워크플로우에 통합하는 것을 탐구한다. polymake가 다면체 집합의 조작을 향상시켜 분기-컷 및 분기-한정 알고리즘에 필수적인 면, 꼭짓점 및 기타 조합 구조를 효율적으로 계산할 수 있도록 함으로써 최적화 프레임워크의 성능과 투명성을 향상시킨다.

ABSTRACT

In integer and linear optimization the software workhorses are solvers for linear programs (based on simplex or interior point methods) as well as generic frameworks for branch-and-bound or branch-and-cut schemes. Comprehensive implementations are available both as Open Source, like SCIP [2], as well as commercial software, like CPLEX [21] and Gurobi

연구 동기 및 목표

• 현대 정수계획법에 필수적인 다면체 계산을 지원하는 polymake의 역할을 조사하기 위해.
• polymake가 분기-컷 및 분기-한정과 같은 기존 최적화 프레임워크에 어떻게 통합될 수 있는지 평가하기 위해.
• 선형 및 정수계획문제에서 발생하는 복잡한 다면체 구조를 다룰 때 polymake의 성능 및 사용성 평가하기 위해.
• 이론적 다면체 조합론과 계산 최적화 도구 사이의 실용적 다리를 제공하기 위해.

제안 방법

• polymake의 다면체의 볼록껍데기, 꼭짓점 및 면을 계산하는 내장 기능을 활용하기 위해.
• 표준 LP/MILP 형식과 다면체 표현 간의 번역을 가능하게 하는 인터페이스를 통해 polymake를 기존 최적화 솔버와 통합하기 위해.
• polymake의 조합 알고리즘을 사용하여 정수계획문제의 다면체 구조를 분석하고 개선하기 위해.
• polymake를 사용하여 커팅 평면을 생성하고 검증하며, 정수껍질의 기하학적 성질을 탐색하기 위해.
• polymake의 데이터 구조를 활용하여 분기-한정 방식의 탐색 트리를 표현하고 조작하기 위해.
• polymake를 오픈소스 및 상용 솔버인 SCIP, CPLEX, Gurobi 등과 결합하여 알고리즘의 투명성과 성능을 향상시키기 위해.

실험 결과

연구 질문

• RQ1 polymake는 혼합정수계획문제의 다면체 구조를 효과적으로 계산하고 분석하는 데 어떻게 활용될 수 있는가?
• RQ2 polymake는 분기-컷 및 분기-한정 알고리즘의 효율성과 정확성을 어떻게 향상시키는가?
• RQ3 기존 최적화 파이프라인에 polymake를 통합할 경우의 성능 상충 관계는 무엇인가?
• RQ4 polymake는 정수계획법에서 커팅 평면의 생성 및 검증을 어떻게 지원하는가?

주요 결과

• polymake는 분기-컷 및 분기-한정과 같은 고급 최적화 기법에 필수적인 꼭짓점, 면, 모서리와 같은 다면체 특성의 정밀하고 효율적인 계산을 가능하게 한다.
• SCIP, CPLEX, Gurobi 등의 솔버와 polymake를 통합함으로써 최적화 과정의 투명성과 디버깅 용이성이 향상된다.
• polymake가 정수껍질을 계산하고 커팅 평면을 생성할 수 있는 능력 덕분에 분기-컷 알고리즘의 수렴성이 향상된다.
• polymake의 사용은 정수계획문제의 구조에 대한 깊이 있는 기하학적 통찰을 제공하여 보다 나은 알고리즘 결정을 지원한다.