순열 역전 문제와 무정렬 탐색은 동등한 난이도

초록

본 논문은 순열을 역전시키는 문제와 유일한 해를 갖는 무정렬 탐색 문제 사이에 쿼리 복잡도 관점에서 상호 환원 가능함을 보인다. 순열 역전 알고리즘을 이용해 무정렬 탐색을 해결할 수 있음을 증명함으로써 두 문제의 양자 쿼리 복잡도가 Θ(√n)임을 직접적으로 도출한다. 기존에 사용되던 Bennett‑Bernstein‑Brassard‑Vazirani의 하이브리드 논증과 Ambainis의 양자 어드버서리 방법을 우회한다는 점이 핵심이다.

상세 분석

이 논문은 양자 쿼리 모델에서 “순열 역전(permutation inversion)”과 “유일 해를 갖는 무정렬 탐색(Unique‑solution unordered search)”이 사실상 동일한 난이도임을 증명한다. 순열 역전 문제는 블랙박스 오라클 O_f가 입력 x∈