[논문 리뷰] Unary Subset-Sum is in Logspace

Daniel M. Kane|arXiv (Cornell University)|2010. 12. 06.

Rough Sets and Fuzzy Logic참고 문헌 2인용 수 7

한 줄 요약

이 논문은 생성 함수와 큰 소수에 대한 모듈로 산술을 활용하여 이원수 부분합 문제에 대해 로그스페이스 알고리즘을 제시한다. 부분합 존재성을 판단하기 위해 사용된다. 이는 이원수 부분합 문제가 L(로그스페이스)에 속한다는 것을 증명하여 오랫동안 미해결이었던 문제를 해결하며, 중국인의 나머지 정리를 통해 벡터형 입력과 근사 카운팅으로 확장된다.

ABSTRACT

We present a simple Logspace algorithm that solves the Unary Subset-Sum problem.

연구 동기 및 목표

• 이원수 부분합 문제가 로그스페이스(L)에 속하는지 여부를 밝히는 것, 이는 소공간 복잡도 이론에서 근본적인 질문이다.
• 모듈로 산술과 생성 함수를 사용하여 이원수 부분합 문제를 해결하는 단순하고 구현 가능한 알고리즘을 제시하는 것.
• 해결책의 수에 대한 합동 정보를 계산하고, 벡터형 입력을 지원하도록 알고리즘을 확장하는 것.
• 로그스페이스 기법을 활용하여 근사적인 카운팅과 무작위 샘플링을 가능하게 하는 것.

제안 방법

• 알고리즘은 부분합을 인코딩하기 위해 생성 함수 ∏(1 + x^{m_i})를 사용하고, 해의 수가 0이 아닌지 확인하기 위해 소수 p > C 에 대해 모듈로로 평가한다.
• 해가 존재하는지 확인하기 위해, 임의의 소수 p > C 에 대해 ∑_{x=1}^{p-1} x^{-B} ∏(1 + x^{m_i}) ≢ 0 mod p 를 검사한다.
• 정확성은 이 합이 -A mod p 와 동치라는 항등식에 기반하며, 여기서 A는 합이 B가 되는 부분집합의 수이며, A ≢ 0 이면 해가 존재한다.
• 소수 판별과 NextPrime 계산은 시도 나눗셈을 통해 로그스페이스에서 수행되어 전체 알고리즘이 로그스페이스에서 실행됨을 보장한다.
• 벡터형 입력의 경우, 벡터를 정수로 변환하기 위해 기수 C 표현을 통해 이원수 부분합 문제로 환원한다.
• 다수의 소수에 대해 결과를 조합하여 중국인의 나머지 정리를 사용해 A mod N 를 로그스페이스 정밀도로 계산함으로써 근사 카운팅을 달성한다.

실험 결과

연구 질문

• RQ1 이원수 부분합 문제는 L, 즉 로그스페이스에서 해결 가능한 문제 클래스에 속하는가?
• RQ2 모듈로 산술과 생성 함수를 사용하여 이원수 부분합 문제를 해결하는 단순하고 효율적인 알고리즘을 구성할 수 있는가?
• RQ3 이 알고리즘은 해의 수를 m 모듈로로 계산하거나 로그스페이스에서 근사적인 해의 수를 계산할 수 있도록 확장할 수 있는가?
• RQ4 이 방법은 k차원 벡터형 부분합 문제 및 0-1 배낭 문제와 같은 관련 문제로 일반화될 수 있는가?

주요 결과

• 이원수 부분합 문제는 L에 속하며, 계산 복잡도 이론에서 오랫동안 미해결이었던 문제를 해결한다.
• 알고리즘은 로그스페이스에서 실행되며, TC⁰에도 속함으로써 낮은 균일 회로 복잡도를 보여준다.
• 임의의 소수 p > C 에 대해, 합 항등식 ∑_{x=1}^{p-1} x^{-B} ∏(1 + x^{m_i}) ≡ -A mod p 를 사용해 A mod p 를 로그스페이스에서 계산할 수 있다.
• 다수의 소수에 대해 결과를 조합함으로써 알고리즘은 A mod N 를 로그스페이스 정밀도로 계산하여 근사 카운팅을 가능하게 한다.
• 이 방법은 k차원 벡터형 입력으로 일반화되며, O(k log C) 공간과 C^{O(k)} 시간 내에 문제를 해결한다.
• 알고리즘은 해의 공간에서 동적으로 해의 비율을 추정함으로써 로그스페이스에서의 무작위 샘플링을 가능하게 한다.