[논문 리뷰] A simple polynomial time algorithm to approximate the permanent within a simply exponential factor

Alexander Barvinok|ArXiv.org|1997. 04. 09.

Markov Chains and Monte Carlo Methods참고 문헌 16인용 수 4

한 줄 요약

이 논문은 비음수 n×n 행렬의 행렬식을 2^{O(n)} 요인 내에서 근사하는 단순한 랜덤화 다항시간 알고리즘을 제시한다. 이는 수정된 Godsil-Gutman 추정기의 변형을 사용하며, 양의 준정부호 행렬의 혼합 결정식을 활용하여 효율적으로 이 근사를 달성한다.

ABSTRACT

We present a simple randomized polynomial time algorithm to approximate the mixed discriminant of $n$ positive semidefinite $n imes n$ matrices within a factor $2^{O(n)}$. Consequently, the algorithm allows us to approximate in randomized polynomial time the permanent of a given $n imes n$ non-negative matrix within a factor $2^{O(n)}$. When applied to approximating the permanent, the algorithm turns out to be a simple modification of the well-known Godsil-Gutman estimator.

연구 동기 및 목표

• 비음수 행렬의 행렬식을 다항시간에 근사하는 알고리즘을 개발하기 위해.
• 이중 지수적 요인 대신 단순 지수적 요인을 달성하기 위해.
• 양의 준정부호 행렬의 혼합 결정식에 이 접근법을 확장하기 위해.
• 기존의 복잡도 경계를 개선하는 단순하고 효율적인 방법을 제공하기 위해.
• Godsil-Gutman 추정기가 증명 가능하게 정확한 다항시간 근사를 제공하도록 향상시킬 수 있는지 보여주기 위해.

제안 방법

• 알고리즘은 n개의 양의 준정부호 n×n 행렬의 혼합 결정식에 기반한 랜덤화 접근법을 사용한다.
• 기존에 행렬식 근사에 힌트로 사용되던 Godsil-Gutman 추정기의 수정된 버전을 적용한다.
• 혼합 결정식을 추정하기 위해 랜덤 행렬에 대한 샘플링과 기대값 계산에 의존한다.
• 근사 요인은 농도 경계와 양의 준정부호 행렬의 성질에서 유도된다.
• 알고리즘은 n에 대해 다항시간 내에 실행되며, 오차는 2^{O(n)} 요인으로 제한된다.
• 행렬식에서 혼합 결정식으로의 환원은 대칭 양의 준정부호 행렬의 알려진 구조적 성질을 활용할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 비음수 행렬의 행렬식은 다항시간 내에 단순 지수적 요인 내에서 근사될 수 있는가?
• RQ2 기존의 지수적 요인 경계를 개선하는 단순하고 효율적인 알고리즘이 존재하는가?
• RQ3 Godsil-Gutman 추정기는 공식적으로 정당화되고 개선되어 오차가 제한된 다항시간 근사를 달성할 수 있는가?
• RQ4 양의 준정부호 행렬의 혼합 결정식과 비음수 행렬의 행렬식 사이의 관계는 무엇인가?
• RQ5 다항시간 알고리즘을 사용하여 행렬식의 가장 날카로운 근사 요인은 무엇인가?

주요 결과

• 알고리즘은 n×n 비음수 행렬의 행렬식을 2^{O(n)} 요인 내에서 근사한다.
• 랜덤화 다항시간으로 실행되어 실용적이고 이론적으로 효율적이다.
• 메서드는 Godsil-Gutman 추정기의 수정 버전에 기반하며, 오차가 증명 가능하게 제한된다는 것이 입증되었다.
• 동일한 알고리즘을 사용하여 n개의 양의 준정부호 n×n 행렬의 혼합 결정식도 2^{O(n)} 요인 내에서 근사한다.
• 혼합 결정식과 행렬식 사이에 직접적이고 효율적인 연결 고리가 설정되어 근사를 가능하게 한다.
• 이전 알고리즘들이 이중 지수적 요인을 요구하거나 공식적인 다항시간 보장을 갖지 못했던 데 비해, 본 결과는 이를 향상시켰다.