[논문 리뷰] Computing parametric rational generating functions with a primal Barvinok algorithm

Matthias Köppe, Sven Verdoolaege|arXiv (Cornell University)|2007. 05. 24.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 4

한 줄 요약

이 논문은 이차형 다면체 내 정수점의 매개변수화된 유리 생성함수를 계산하기 위한 원시 Barvinok 알고리즘을 제시한다. 교차하는 면에 대한 포함-배제 원리를 피하기 위해 반개방 다면체를 사용하여 지표 함수 내 선형 항등식을 표현한다. 주요 기여는 원시 공간에서 직접 작동하는 실용적이고 효율적인 매개변수화된 수세기 방법을 제공함으로써 조각별 다항식 수세기 함수를 신속하게 평가할 수 있도록 한다.

ABSTRACT

Computations with Barvinok's short rational generating functions are traditionally being performed in the dual space, to avoid the combinatorial complexity of inclusion--exclusion formulas for the intersecting proper faces of cones. We prove that, on the level of indicator functions of polyhedra, there is no need for using inclusion--exclusion formulas to account for boundary effects: All linear identities in the space of indicator functions can be purely expressed using half-open variants of the full-dimensional polyhedra in the identity. This gives rise to a practically efficient, parametric Barvinok algorithm in the primal space.

연구 동기 및 목표

• 다면체 내 정수점의 매개변수화된 유리 생성함수를 효율적으로 계산하기 위한 알고리즘을 개발하는 것, 특히 우변 벡터에 의해 매개변수화된 다면체의 가족에 대해.
• 기존의 이중 공간 Barvinok 방법에서 사용되는 포함-배제 공식의 계산 복잡도를 극복하기 위해, 지표 함수 내 선형 항등식을 오직 반개방 전체 차원 다면체만을 사용하여 표현함으로써.
• 복잡한 이중 분해에 의존하지 않고도 실용적인 매개변수화된 수세기 함수, 예를 들어 벡터 분할 함수 등을 원시 공간에서 작동시켜 계산 가능하게 하는 것.
• 조각별 다항식 수세기 함수를 유리 생성함수로 표현하는 구조적 방법을 제공하여, 임의의 매개변수 값에 대해 효율적으로 평가할 수 있도록 하는 것.

제안 방법

• 전체 차원의 다면체의 반개방 변형을 사용하여 지표 함수 공간 내 선형 항등식을 표현함으로써, 교차하는 면에 대한 포함-배제가 필요 없도록 한다.
• 각 정점 원뿔을 반개방 단체 원뿔로 삼등분하기 위해 Barvinok의 부호 있는 분해를 적용하며, 각 원뿔은 과잉 계산를 보정하기 위한 부호를 가진다.
• 각 반개방 원뿔에 대해, 원뿔의 생성자와 부호에 기반한 닫힌 형식의 공식을 사용하여 유리 생성함수를 계산한다.
• 전체 매개변수화된 다면체의 생성함수는 이러한 반개방 원뿔들에 대한 가감된 합으로 조립되며, 지표 함수 항등식을 통해 정확성을 유지한다.
• 매개변수화된 생성함수는 모든 변수를 1로 설정하여 특수화함으로써 수세기 함수의 값을 추출한다.
• 알고리즘은 이중 공간의 삼등분과 포함-배제를 피하기 위해 오직 원시 공간에서만 작동한다.

실험 결과

연구 질문

• RQ1 다면체의 지표 함수 공간 내 선형 항등식은 교차하는 면에 대한 포함-배제 없이 오직 반개방 전체 차원 다면체만을 사용하여 완전히 표현될 수 있는가?
• RQ2 이중 공간 계산을 피하고 매개변수화된 수세기 문제에 대해 계산적으로 효율적인 원시 Barvinok 알고리즘을 구축하는 것이 가능한가?
• RQ3 정확성과 조각별 다항식 구조를 유지하면서도 원시 공간에서 매개변수화된 다면체의 유리 생성함수를 효율적으로 계산할 수 있는가?
• RQ4 반개방 분해는 다면체 내 정수점의 생성함수 표현을 단순화하는 데 어떤 역할을 하는가?
• RQ5 이 원시 접근법은 벡터 분할 함수 및 기타 매개변수화된 수세기 함수를 낮은 계산 오버헤드로 효과적으로 계산하는 데 적용될 수 있는가?

주요 결과

• 논문은 다면체의 지표 함수 공간 내 모든 선형 항등식이 오직 반개방 전체 차원 다면체만을 사용하여 표현될 수 있음을 증명한다. 이는 포함-배제 공식의 필요성을 제거한다.
• 이중 공간 방법의 조합적 복잡도를 피하는 원시 공간에서 직접 작동하는 Barvinok 알고리즘을 구축하였다.
• 정점 원뿔을 부호 있는 계수를 가진 반개방 단체 원뿔로 분해함으로써 매개변수화된 유리 생성함수를 효율적으로 계산할 수 있다.
• 결과적으로 얻어진 알고리즘은 생성함수를 z = 1에서 특수화함으로써 수세기 함수를 계산하며, 이는 조각별 다항식 함수를 얻는다.
• 이 방법은 실용적으로 효율적이며, 이중 공간 Barvinok 알고리즘에서 발생하는 포함-배제와 관련된 계산 병목 현상을 피한다.
• 고정된 차원에서 매개변수화된 정수점 수세기의 구조적이고 알고리즘적으로 구현 가능한 프레임워크를 제공한다.