[논문 리뷰] The Problem of Dynamic Programming on a Quantum Computer

Pooya Ronagh|arXiv (Cornell University)|2019. 06. 05.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 5

한 줄 요약

이 논문은 유한 시간 범위 동적계획법(DP) 문제의 양자 쿼리 복잡도를 조사하며, 양자 및 고전 알고리즘을 분석하기 위한 쿼리 모델을 도입한다. DP 문제에 대해 초과 제곱근 속도 향상이 가능하지 않음을 증명하며, 양자 하한 복잡도 Ω(√|S||A|)과 고전적 랜덤화된 하한 복잡도 Ω(|S||A|)를 확립하여 이러한 문제들에 대해 지수적 양자 속도 향상이 불가능함을 규명한다.

ABSTRACT

We discuss the problem of finite-horizon dynamic programming (DP) on a quantum computer. We introduce a query model for studying quantum and classical algorithms for solving DP problems, and provide example oracle constructions for the travelling salesperson problem, the minimum set-cover problem, and the edit distance problem. We formulate open questions regarding quadratic quantum speedups for DP and discuss their implications. We then prove lower bounds for the query complexity of quantum algorithms and classical randomized algorithms for DP, and show that no greater-than-quadratic speedup can be achieved for solving DP problems.

연구 동기 및 목표

• 유한 시간 범위 동적계획법의 쿼리 복잡도를 양자 컴퓨터에서 형식화하기.
• 통합 쿼리 모델을 통해 양자 및 고전적 랜덤화 알고리즘을 비교하기.
• TSP 및 세트 커버와 같은 NP-난이도 DP 문제에 대해 제곱근 양자 속도 향상이 달성 가능한지 조사하기.
• 양자 및 고전 알고리즘에 대한 쿼리 복잡도에 대한 날카로운 하한 복잡도를 확립하기.
• 양자 속도 향상의 최적성 증명을 통해 DP 문제에 대해 지수적 양자 속도 향상이 불가능함을 규명하기.

제안 방법

• 알고리즘이 주어진 상태-행동-시간 삼중항에 대해 상태 전이와 보상을 반환하는 오라클에 액세스하는 쿼리 모델을 도입한다.
• 일반화된 관계 기반 반박 방법을 적용하여 양자 쿼리 복잡도 하한 복잡도를 유도한다.
• 결정 트리 분석을 사용하여 고전적 랜덤화된 쿼리 복잡도 하한 복잡도를 증명한다.
• TSP, 최소 세트 커버, 편집 거리의 오라클을 구성하여 일반 모델을 구체화한다.
• DP 인스턴스 식별 문제를 함수 쌍 식별 문제로 감소시켜 반박 방법 기법의 적용을 가능하게 한다.
• DP 인스턴스를 구분하는 것이 한 값이 다를 뿐인 함수 쌍을 구분하는 것으로 감소됨을 증명한다.

실험 결과

연구 질문

• RQ1 양자 알고리즘이 유한 시간 범위 동적계획법 문제를 해결하는 데 있어 제곱근을 초월한 속도 향상을 달성할 수 있는가?
• RQ2 TSP 및 세트 커버와 같은 NP-난이도 DP 문제에 대해 양자 속도 향상에 기본적인 한계가 존재하는가?
• RQ3 일반화된 관계 기반 반박 방법을 적용하여 DP 문제에 대해 날카로운 양자 쿼리 하한 복잡도를 도출할 수 있는가?
• RQ4 DP 문제에 대해 오차가 제한된 고전적 랜덤화 알고리즘의 쿼리 복잡도는 얼마인가?
• RQ5 동적계획법 문제에 대해 지수적 양자 속도 향상이 가능한가, 아니면 제곱근 속도 향상이 최적인가?

주요 결과

• 유한 시간 범위 DP 문제를 해결하는 데 필요한 양자 쿼리 복잡도는 Ω(√|S||A|) 이하로 제한되며, 이는 제곱근을 초월한 속도 향상이 불가능함을 증명한다.
• 고전적 오차 제한 랜덤화 알고리즘은 Ω(|S||A|) 쿼리가 필요하며, 이는 함수 쌍을 구분하는 데 필요한 정보 이론적 하한 복잡도와 일치한다.
• 논문은 DP 문제에 대해 잠재적인 제곱근 양자 속도 향상이 다항로그 인자 이내에서 최적임을 규명한다.
• 결과적으로, 조화적 QRAM 액세스가 가능하더라도 DP 문제에 대해 지수적 양자 속도 향상은 불가능함을 규명한다.
• 분석은 TSP, 최소 세트 커버, 편집 거리와 같은 주요 NP-난이도 문제에 적용되며, 이들의 양자 복잡도가 본질적으로 제한됨을 보여준다.
• 프레임워크는 DP 인스턴스 식별 문제를 함수 쌍 식별 문제로 감소시켜 반박 방법 기법의 적용을 가능하게 한다.