[논문 리뷰] Subtraction-free complexity, cluster transformations, and spanning trees

Sergey Fomin, D. Grigoriev외 1명|HAL (Le Centre pour la Communication Scientifique Directe)|2013. 07. 31.

Complexity and Algorithms in Graphs참고 문헌 25인용 수 4

한 줄 요약

이 논문은 클러스터 변환을 사용하여 슈어 함수, 그 스케일드, 더블, 초대칭 버전, 그리고 다항 시간 내에서 스패닝 트리의 생성 함수를 계산하는 감산 없는 알고리즘을 소개한다. 또한 감산 없는 복잡도에서 나눗셈이 어떻게 지수적으로 강력한지를 보여주며, 특정 유리 함수에 대해 감산 없는 복잡도와 일반적인 산술 회로 복잡도 사이에 지수적 간격이 있음을 입증한다.

ABSTRACT

Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster transformations to design efficient subtraction-free algorithms for computing Schur functions and their skew, double, and supersymmetric analogues, thereby generalizing earlier results by P. Koev. We develop such algorithms for computing generating functions of spanning trees, both directed and undirected. A comparison to the lower bound due to M. Jerrum and M. Snir shows that in subtraction-free computations, "division can be exponentially powerful." Finally, we give a simple example where the gap between ordinary and subtraction-free complexity is exponential.

연구 동기 및 목표

• 감산을 제외한 덧셈, 곱셈, 나눗셈만 허용하는 연산 제약 조건이 계산 복잡도에 미치는 영향을 조사하는 것.
• 클러스터 변환을 사용하여 슈어 함수와 그 일반화된 형태를 효율적으로 계산하는 감산 없는 알고리즘을 개발하는 것.
• 유 directed 및 undirected 스패닝 트리의 생성 함수에 대해 다항 시간 감산 없는 알고리즘을 설계하는 것.
• 감산이 없는 상황에서 나눗셈이 얼마나 지수적으로 강력한지를 보여주기 위해 감산 없는 회로 복잡도와 일반 회로 복잡도 사이의 지수적 격차를 입증하는 것.
• 일반적인 복잡도가 선형인 데도 감산 없는 복잡도가 지수적으로 증가하는 명시적 예를 제시하는 것.

제안 방법

• 클러스터 대수 이론의 핵심 요소인 유리 사상인 클러스터 변환을 감산 없는 알고리즘 설계의 핵심 수단으로 사용한다.
• 스패닝 트리의 생성 함수 계산 복잡도를 줄이기 위해 스타-메시 변환을 적용한다.
• 비음수 계수를 가진 유리 함수가 비음수 계수 다항식의 비율로 표현될 수 있음을 보장하기 위해 폴리아의 정리를 활용한다.
• 분자 및 분모 다항식의 차수에 대한 경계를 적용하여 레마 8.1을 통해 감산 없는 회로 복잡도의 하한을 유도한다.
• 특정 유리 함수, 예를 들어 $ G_n(x) = (x-1)^2 + 2^{-2^{n+1}} $를 구성하여 감산 없는 복잡도에 대해 지수하한을 입증한다.
• 라잔트-모라-필리포프 기법을 적용하여 유한하지만 초지수적인 감산 없는 복잡도를 가지되, 일반 복잡도는 선형인 동차 다항식 $ H_n $을 구성한다.

실험 결과

연구 질문

• RQ1 클러스터 변환을 사용하여 감산 없는 모델에서 슈어 함수와 그 일반화된 형태를 효율적으로 계산할 수 있는가?
• RQ2 감산 없는 산술 회로에서 스패닝 트리의 생성 함수의 계산 복잡도는 어떠한가?
• RQ3 감산이 없는 상황에서 나눗셈의 능력은 어떻게 영향을 받는가?
• RQ4 유리 함수에 대해 일반 복잡도와 감산 없는 복잡도 사이에 지수적 격차가 존재할 수 있는가?
• RQ5 일반적인 복잡도가 선형인 데도 감산 없는 복잡도가 지수적으로 증가하는 명시적 유리 함수가 존재하는가?

주요 결과

• 논문은 클러스터 변환을 사용하여 감산 없는 다항 시간 알고리즘을 제시하며, 슈어 함수, 스케일드 슈어 함수, 더블 슈어 함수, 초대칭 슈어 함수를 계산한다.
• 유 directed 및 undirected 스패닝 트리의 생성 함수에 대해 감산 없는 알고리즘을 개발하여 다항 복잡도를 달성한다.
• 일변수 다항식 $ G_n(x) = (x-1)^2 + 2^{-2^{n+1}} $의 감산 없는 복잡도는 $ 2^n $를 초과하지만, 일반적인 복잡도는 임의의 상수를 허용할 경우 $ O(1) $이거나 1만 입력으로 사용할 경우 $ O(n) $이다.
• 동차 다항식 $ H_n(t,x_1,\dots,x_n) $의 감산 없는 복잡도는 $ 2^{n-2} $를 초과하지만, 일반적인 복잡도는 $ n $에 대해 선형이다.
• 감산이 없는 상황에서 나눗셈이 지수적으로 강력할 수 있음을 확인하였으며, 감산 없는 복잡도와 반장형(덧셈/곱셈 전용) 복잡도 사이의 지수적 격차로 이를 입증하였다.
• 결과는 트로픽 세미필드로도 확장되며, 감산이 허용될 경우 최소 비용 아보레센스 문제의 복잡도가 지수에서 다항식으로 떨어진다는 것을 의미한다.