[논문 리뷰] On the Computation of Hilbert Bases and Extreme Rays of Cones

Raymond Hemmecke|ArXiv.org|2002. 03. 12.

Commutative Algebra and Its Applications참고 문헌 7인용 수 5

한 줄 요약

이 논문은 임의의 정수 격자 $\Lambda \subseteq \mathbb{Z}^n$ 에 대해 모노이드 $\Lambda \cap \mathbb{R}^n_+$ 의 최소 생성집합(힐베르트 기저)을 계산하기 위한 새로운 프로젝션-리프트 알고리즘을 제안하며, 이 방법을 정수 격자에 기반한 유리 피라미드의 극단선을 계산하는 데로 확장한다. 이 접근법은 저차원 공간으로의 투영과 그로 인한 복원을 반복적으로 수행함으로써 불필요한 변수를 피하고 조기 가지치기를 가능하게 하여 이전 방법들보다 훨씬 작은 초집합을 생성한다. 주요 기여는 보조 변수 없이도 효율적인 알고리즘을 제공함으로써 힐베르트 기저 및 극단선 계산 문제에서 계산 효율성과 확장성 면에서 기존 기법들을 능가한다는 점이다.

ABSTRACT

In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(Λ\cap\R^n_+,+)$ for lattices $Λ\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial applications and computational experience are presented.

연구 동기 및 목표

• 임의의 격자 $\Lambda \subseteq \mathbb{Z}^n$ 에 대해 모노이드 $\Lambda \cap \mathbb{R}^n_+$ 의 최소 생성집합(힐베르트 기저)을 계산하기 위한 효율적인 알고리즘을 개발하는 것.
• 형태 $\{z : Az = 0, z \in \mathbb{R}^n_+\}$ 로 정의된 날카로운 유리 피라미드의 극단선을 계산하기 위한 방법을 제공하는 것.
• 보조 변수를 피하고 계산 중에 중복 또는 비가능한 벡터를 조기에 제거함으로써 계산 효율성을 향상시키는 것.
• 이 알고리즘을 마법 배열 및 t-디자인과 같은 조합 문제에 적용하고, 잘라낸 그레이버 기저를 통한 정수계획법에 응용하는 것.

제안 방법

• 알고리즘은 프로젝션-리프트 전략을 사용하며, 첫 $j$ 개의 좌표로의 투영에 대해 최소 생성집합 $H^+_j$ 를 재귀적으로 계산한다.
• 각 단계 $j$ 에서는 $H^+_j$ 와 격자 생성자로부터 유도된 신중히 선택된 입력 집합 $F$ 를 바탕으로 완성 절차를 통해 $H^+_{j+1}$ 를 계산한다.
• 일반적으로 $j < s$ 인 경우, 입력 집합 $F$ 는 다음 격자 생성자와 그 음수의 투영을 포함하여 비단사적 투영를 고려한다.
• 완성 절차 중 S-벡터 선택 전략을 도입하여 수렴 속도를 크게 향상시켰다.
• 이 방법은 보조 변수를 도입하지 않으며, 계산 중에 최소가 아니거나 비가능한 벡터를 조기에 가지치기할 수 있다.
• 이 알고리즘은 C로 구현된 MLP 소프트웨어로 구현되었으며, 전체 및 잘라낸 힐베르트 기저 계산을 모두 지원한다.

실험 결과

연구 질문

• RQ1 보조 변수를 도입하지 않고도 기존 방법보다 더 효율적으로 $\Lambda \cap \mathbb{R}^n_+$ 의 힐베르트 기저를 계산할 수 있는가?
• RQ2 형태 $\{z : Az = 0, z \in \mathbb{R}^n_+\}$ 의 유리 피라미드의 극단선은 유사한 리프트 전략을 통해 어떻게 계산할 수 있는가?
• RQ3 완성 절차 중에 지능적인 S-벡터 선택 전략이 최소 생성집합 계산의 성능에 어떤 영향을 미치는가?
• RQ4 중복 또는 비가능한 벡터를 조기에 가지치는 것이 힐베르트 기저 계산 중의 중간 초집합 크기에 얼마나 큰 영향을 미치는가?
• RQ5 이 알고리즘은 마법 배열 및 t-디자인과 같은 조합 문제에 효과적으로 적용될 수 있는가?

주요 결과

• 프로젝션-리프트 알고리즘은 보조 변수를 도입하지 않고도 임의의 격자 $\Lambda \subseteq \mathbb{Z}^n$ 에 대해 $\Lambda \cap \mathbb{R}^n_+$ 의 힐베르트 기저를 계산하여 계산 오버헤드를 줄였다.
• 이 알고리즘은 6×6 마법 정사각형의 힐베르트 기저를 성공적으로 계산하였으며, 최소 생성자 522,347개를 도출하였다. 이는 1GHz PC에 4GB RAM을 장착한 환경에서 약 10일이 소요된 바 있다.
• 완성 절차 중에 선택적 S-벡터 전략을 도입함으로써 수렴 시간에 상당한 가속 효과를 얻었다.
• 이 방법은 정수계획법과 조합적 수량 세기에서 유용한 잘라낸 힐베르트 기저를 효율적으로 계산할 수 있도록 한다.
• 구현된 소프트웨어 MLP 는 공개되어 있으며, 마법 배열 수량 세기 및 관련 문제의 비트리비얼한 사례를 해결하는 데에 사용되었다.
• 또한 이 알고리즘은 원래 피라미드의 면 정규벡터에 해당하는 이중 피라미드의 극단선을 효율적으로 계산할 수 있는 방법을 제공한다.