[논문 리뷰] Quantum Distributed Algorithm for Triangle Finding in the CONGEST Model

Taisuke Izumi, François Le Gall외 1명|arXiv (Cornell University)|2019. 08. 30.

Quantum Computing Algorithms and Architecture참고 문헌 26인용 수 11

한 줄 요약

이 논문은 CONGEST 모델에서 삼각형 탐지 문제를 해결하는 양자 분산 알고리즘을 제안하며, 라운드 복잡도 Õ(n¹⁴)을 달성하여 기존 최고의 고전적 알고리즘보다 뛰어난 성능을 보인다. 이는 삼각형 탐지 문제에 대해 고전적 알고리즘의 Õ(n¹³)보다 빠른 성능을 기록한다. 이 방법은 저혼합 시간 성분으로 분해된 그래프와 양자 검색을 조합하여, 정점 삼중체의 구조적 색인을 기반으로 한 양자 진폭 강화를 통해 잠재적 삼각형을 효율적으로 분산 검사할 수 있도록 한다.

ABSTRACT

This paper considers the triangle finding problem in the CONGEST model of distributed computing. Recent works by Izumi and Le Gall (PODC'17), Chang, Pettie and Zhang (SODA'19) and Chang and Saranurak (PODC'19) have successively reduced the classical round complexity of triangle finding (as well as triangle listing) from the trivial upper bound $O(n)$ to $ ilde O(n^{1/3})$, where~$n$ denotes the number of vertices in the graph. In this paper we present a quantum distributed algorithm that solves the triangle finding problem in $ ilde O(n^{1/4})$ rounds in the CONGEST model. This gives another example of quantum algorithm beating the best known classical algorithms in distributed computing. Our result also exhibits an interesting phenomenon: while in the classical setting the best known upper bounds for the triangle finding and listing problems are identical, in the quantum setting the round complexities of these two problems are now $ ilde O(n^{1/4})$ and $ ilde Θ(n^{1/3})$, respectively. Our result thus shows that triangle finding is easier than triangle listing in the quantum CONGEST model.

연구 동기 및 목표

• CONGEST 모델에서 삼각형 탐지 문제를 하위선형 라운드 복잡도로 해결하는 양자 분산 알고리즘을 개발한다.
• 양자 및 고전적 라운드 복잡도를 비교하여 분산 그래프 문제에서의 양자 우월성을 탐색한다.
• 고전적 복잡도가 동일한 바탕으로, 삼각형 탐지가 삼각형 목록 작성보다 더 쉬운가를 조사한다.
• 저혼합 시간 그래프 성분에서의 양자 검색과 효율적인 라우팅을 활용하여 통신 라운드 수를 최소화한다.
• 분산 환경에서 삼각형 관련 문제에 대해 양자와 고전적 복잡도 간의 분리를 확립한다.

제안 방법

• 입력 그래프를 저혼합 시간 성분으로 분해하여 효율적인 라우팅과 통신을 가능하게 한다.
• 정점 삼중체 (i,j,k)의 색인을 기반으로 한 양자 분산 검색 프레임워크를 사용하여 삼각형을 형성하는 삼중체가 존재하는지 탐지한다.
• 계산 부하를 균형 있게 분배하기 위해 할당 함수 γ를 기반으로 각 삼중체를 내부 그래프 G^in의 정점에 할당한다.
• 각 삼중체 (i,j,k)에 대해 Vi, Vj, Vk 간의 간선이 삼각형을 형성하는지 현지 계산과 메시지 전달을 통해 확인하는 점검 절차를 구현한다.
• t ≈ n¹²/⁴ 색인을 기반으로 한 검색에 양자 진폭 강화를 적용하여 검색 비용을 O(√t)에서 Õ(√t) 라운드로 감소시킨다.
• 기존 연구에서 제안한 수정된 라우팅 기반으로 고전적 점검 서브루틴을 Õ(mix(G^in)) 라운드 내로 최적화하며, 여기서 mix(G^in) = poly(log n)이다.

실험 결과

연구 질문

• RQ1 CONGEST 모델에서 삼각형 탐지 문제에 대해 양자 알고리즘이 고전적 알고리즘보다 증명 가능한 라운드 복잡도 우월성을 달성할 수 있는가?
• RQ2 고전적 복잡도가 동일한 바탕으로, 삼각형 탐지가 삼각형 목록 작성보다 엄밀히 더 쉬운가?
• RQ3 구조적 그래프 분해를 기반으로 한 양자 검색을 활용할 때, 양자 삼각형 탐지의 최적 라운드 복잡도는 무엇인가?
• RQ4 내부 그래프 G^in의 혼합 시간이 전체 양자 라운드 복잡도에 어떤 영향을 미치는가?
• RQ5 완전한 전역 그래프 구조 지식 없이도 분산 계산에서의 양자 가속을 달성할 수 있는가?

주요 결과

• 제안된 양자 알고리즘은 CONGEST 모델에서 삼각형 탐지 문제를 Õ(n¹³)라운드 내로 해결하며, 고전적 Õ(n¹³) 기준으로 상당한 향상을 이루었다.
• 양자 검색과 저혼합 시간 성분에서의 효율적 라우팅을 조합함으로써, 고전적 방법 대비 제곱근 속도 향상을 달성한다.
• 삼각형 탐지가 삼각형 목록 작성보다 양자 CONGEST 모델에서 엄밀히 더 쉬운 것으로 입증되었으며, 각각의 복잡도는 Õ(n¹³)과 Õ(n¹³)이다.
• 각 후보 삼중체에 대한 점검 절차는 Õ(mix(G^in))라운드 내로 실행되며, mix(G^in) = poly(log n) 이므로 전체 복잡도는 Õ(n¹³)에 의해 지배된다.
• 결과적으로 고전적 복잡도가 날카로운 바탕이 되더라도, 분산 그래프 문제에서 양자와 고전적 복잡도 간의 분리를 입증한다.
• 이 연구는 삼각형 탐지 및 그래프 패턴 매칭 맥락에서 분산 계산에서의 양자 우월성에 새로운 기준을 설정한다.