[논문 리뷰] A Quantum Approach to Subset-Sum and Similar Problems

Ammar Daskin|arXiv (Cornell University)|2017. 07. 27.

Artificial Intelligence in Games인용 수 6

한 줄 요약

이 논문은 양자 아르서-머린 게임에 영감을 받아 단서합 문제를 해결하기 위한 양자 휴리스틱 접근법을 제안한다. 위상 추정과 확률 증폭을 활용하며, 특정 가정 하에 — 즉, 타당한 단서합과 타당하지 않은 단서합의 비율이 다항식이며, 핵심 큐비트 측정 확률이 지수적으로 작지 않은 경우 — 이 방법은 다항 시간 내에 정확한 해를 달성한다. 이는 특정 인스턴스에 대해 고전적 알고리즘에 비해 잠재적인 지수적 속도 향상을 시사한다.

ABSTRACT

In this paper, we study the subset-sum problem by using a quantum heuristic approach similar to the verification circuit of quantum Arthur-Merlin games. Under described certain assumptions, we show that the exact solution of the subset sum problem my be obtained in polynomial time and the exponential speed-up over the classical algorithms may be possible. We give a numerical example and discuss the complexity of the approach and its further application to the knapsack problem.

연구 동기 및 목표

• 특정 구조적 가정 하에 NP-완전한 단서합 문제를 다항 시간 내에 해결하는 양자 알고리즘을 개발하는 것.
• 단서합 및 0-1 배낭 문제와 같은 유사 문제에 대해 양자 알고리즘이 고전적 방법에 비해 지수적 속도 향상을 제공할 수 있는지 탐색하는 것.
• 아르서-머린 게임에 영감을 받은 양자 검증 회로를 사용하여 확률 증폭을 최적의 해로 이끌 수 있는지 탐구하는 것.
• 순차적 큐비트 측정과 확률 증폭을 통한 양자 최대값 탐색이 높은 확률로 정확한 해를 제공하는 조건을 규명하는 것.

제안 방법

• 이 방법은 단서합의 모든 가능한 조합을 유니터리 연산자의 고유위상으로 인코딩한 초위상 상태를 생성하기 위해 위상 추정을 사용한다.
• 확률 증폭을 적용하여 목표 W 이하의 단서합에 해당하는 상태를 표시하고 증폭함으로써 타당한 해에 집중한다.
• 가장 중요도가 높은 큐비트부터 시작하여 순차적 측정 전략을 사용하여 상태를 최대 타당 합으로 수축시킨다.
• 각 큐비트를 측정한 후, 다음 큐비트에서 올바른 비트 값 측정 확률을 높이기 위해 확률 증폭을 적용하여 성공 확률이 지수적으로 감소하지 않도록 보장한다.
• 입력 분포의 구조를 활용하여 검색을 이끌며, 최대 타당 합의 이진 표현에서 올바른 비트 값의 확률이 1/poly(n) 이상임을 가정한다.
• 단서합 문제 외에도 0-1 배낭 문제와 같은 다른 NP-완전 문제에 대해 위상 추정과 확률 증폭 프레임워크를 적응시켜 일반화한다.

실험 결과

연구 질문

• RQ1 타당한 해의 분포에 대한 현실적인 가정 하에 위상 추정과 확률 증폭에 기반한 양자 알고리즘이 단서합 문제를 다항 시간 내에 해결할 수 있는가?
• RQ2 최대 타당 합의 이진 표현에서 각 위치의 올바른 비트 값 측정 확률이 지수 감소에서 멀리 떨어져 있는 조건은 무엇인가?
• RQ3 타당한 해의 수가 타당하지 않은 해의 수보다 지수적으로 작지 않은 경우, 제안된 양자 휴리스틱이 고전적 알고리즘에 비해 단서합 문제에서 지수적 속도 향상을 제공하는가?
• RQ4 단서합 문제의 구조를 양자 검증 프레임워크에 어떻게 활용하여 최적의 해로 향하는 검색을 이끌 수 있는가?
• RQ5 이 접근법은 0-1 배낭 문제와 같은 다른 NP-완전 문제로 얼마나 일반화될 수 있는가?

주요 결과

• 타당하지 않은 단서합 대비 타당한 단서합의 비율이 n에 대해 다항식일 경우, 알고리즘이 다항 시간 내에 단서합 문제의 정확한 해를 달성한다.
• 최대 타당 합의 이진 표현에서 각 위치의 올바른 비트 값 측정 확률이 최소 1/poly(n) 유지되어 성공 확률의 지수 감소를 방지한다.
• 수치 예제에서 알고리즘은 반복적 측정과 확률 증폭 이후에 높은 확률로 최대 타당 합 0.1953125를 성공적으로 식별하였으며, 이는 고유벡터 |0011000⟩에 해당한다.
• 이 방법은 확률 증폭과 순차적 큐비트 측정을 통한 양자 최대값 탐색이 올바른 비트 값의 확률이 지수적으로 작지 않은 경우 정확한 해를 제공할 수 있음을 보여준다.
• 특히 타당한 해의 수가 지수적으로 희귀하지 않은 경우, 고전적 알고리즘에 비해 잠재적인 지수적 속도 향상이 가능하다는 점을 보여준다.
• 이 프레임워크는 0-1 배낭 문제와 같은 다른 NP-완전 문제로 일반화 가능하여, 이 양자 휴리스틱의 광범위한 적용 가능성을 시사한다.