[논문 리뷰] (Almost) tight bounds for randomized and quantum Local Search on hypercubes and grids

Shengyu Zhang|ArXiv.org|2005. 04. 12.

Quantum Computing Algorithms and Architecture참고 문헌 21인용 수 4

한 줄 요약

이 논문은 고급 적대자 방법을 사용하여 부울 초입체와 일정한 차원의 격자에서의 랜덤화 및 양자 쿼리 복잡도에 대해 거의 날카로운 경계를 확립한다. n차원 초입체에 대해 랜덤화 복잡도는 Θ(2ⁿᐟ²√n)이고 양자 복잡도는 Θ(2ⁿᐟ³n¹ᐟ⁶)임을 증명하며, d차원 격자에 대해서는 d≥4일 때 랜덤화 복잡도가 Θ(N¹ᐟ²)이고 d≥6일 때 양자 복잡도가 Θ(N¹ᐟ³)임을 보이며, 이러한 구조에서 일반적인 검색 알고리즘의 최적성함을 보여준다.

ABSTRACT

The Local Search problem, which finds a local minimum of a black-box function on a given graph, is of both practical and theoretical importance to many areas in computer science and natural sciences. In this paper, we show that for the Boolean hypercube $\B^n$, the randomized query complexity of Local Search is $Θ(2^{n/2}n^{1/2})$ and the quantum query complexity is $Θ(2^{n/3}n^{1/6})$. We also show that for the constant dimensional grid $[N^{1/d}]^d$, the randomized query complexity is $Θ(N^{1/2})$ for $d \geq 4$ and the quantum query complexity is $Θ(N^{1/3})$ for $d \geq 6$. New lower bounds for lower dimensional grids are also given. These improve the previous results by Aaronson [STOC'04], and Santha and Szegedy [STOC'04]. Finally we show for $[N^{1/2}]^2$ a new upper bound of $O(N^{1/4}(\log\log N)^{3/2})$ on the quantum query complexity, which implies that Local Search on grids exhibits different properties at low dimensions.

연구 동기 및 목표

• 구조적 그래프인 초입체와 격자에서 알려진 상한과 하한 사이의 격차를 메우기 위해.
• 부울 초입체와 일정한 차원의 격자에서 일반적인 국소 탐색 알고리즘(예: 랜덤 워크 기반)의 최적성 확립하기 위해.
• 이전 경계가 느슨했던 저차원 격자에서의 국소 탐색 쿼리 복잡도 분석하기 위해.
• 제품 그래프에서 랜덤 워크와 적대자 방법을 사용한 국소 탐색에 대한 하한의 일반적 프레임워크 개발하기 위해.
• 2차원 격자에 대한 새로운 양자 상한을 제공하여 저차원에서 고차원과의 본질적 차이를 보여주기 위해.

제안 방법

• 양자 적대자 방법, 특히 Zhang(2005)의 변형을 적용하여 양자 쿼리 복잡도 하한을 유도한다.
• Aaronson(2004)의 관계적 적대자 방법을 사용하여 랜덤화 쿼리 복잡도 하한을 증명한다.
• 하위그래프에서의 랜덤 워크 기반 반복적 개선 알고리즘을 사용하여 국소 최소값을 탐색하는 데 사용한다.
• 혼합 시간과 랜덤 워크의 전이 확률을 사용하여 제품 그래프의 분해 기반 프레임워크를 도입하여 쿼리 복잡도를 경계한다.
• 자기 회피 랜덤 워크와 블록 분해(예: 2차원 격자에서 n²ᐟ⁵개의 블록)를 사용하여 저차원에서의 하한을 향상시킨다.
• 확장성 특성 c(k)와 r(k)에 따라 복잡도가 달라지는 층별 탐색 전략을 통해 상한을 도출한다.

실험 결과

연구 질문

• RQ1 n차원 부울 초입체에서 국소 탐색의 정확한 랜덤화 쿼리 복잡도는 무엇인가?
• RQ2 n차원 부울 초입체에서 국소 탐색의 정확한 양자 쿼리 복잡도는 무엇인가?
• RQ3 다양한 차원 d에 대해 일정한 차원의 격자에서 국소 탐색의 쿼리 복잡도는 어떻게 스케일링되는가?
• RQ4 이전 결과가 최적화되지 않은 저차원 격자(예: d=2,3,4,5)에서 더 날카로운 하한을 확립할 수 있는가?
• RQ5 2차원 격자에서의 국소 탐색은 고차원 격자와 비교해 본질적으로 다른 양자 복잡도를 보이는가?

주요 결과

• 부울 초입체 {0,1}ⁿ에 대해 랜덤화 쿼리 복잡도는 Θ(2ⁿᐟ²√n)이며, 이는 알려진 상한과 일치하며 일반 알고리즘의 최적성을 증명한다.
• 부울 초입체 {0,1}ⁿ에 대해 양자 쿼리 복잡도는 Θ(2ⁿᐟ³n¹ᐟ⁶)이며, 이는 양자 상한의 날카로움을 확립한다.
• d≥4인 d차원 격자 [N¹ᐟᵈ]ᵈ에 대해 랜덤화 쿼리 복잡도는 Θ(N¹ᐟ²)이며, 일반 알고리즘이 최적임을 보여준다.
• d≥6인 d차원 격자에 대해 양자 쿼리 복잡도는 Θ(N¹ᐟ³)이며, 양자 가속이 이 순서로 제한됨을 증명한다.
• 2차원 격자에 대해 새로운 양자 상한 O(N¹ᐟ⁴(log log N)²)가 확립되었으며, 이는 저차원에서의 본질적 차이를 나타낸다.
• d=2,3,4,5 격자에 대한 하한이 향상되었으며, 2≤d≤4에 대해 양자 복잡도는 Ω(N¹ᐟ²⁻¹ᐟ⁽ᵈ⁺¹⁾)이고 d≥6에 대해 Ω(N¹ᐟ³)이며, 이는 이전 연구의 격차를 메운다.