양자 어드베틱 최적화, 동일 커버와 3SAT에 대한 새로운 알고리즘

초록

본 논문은 NP‑완전 문제인 Exact Cover와 3SAT에 대해 기존의 부정적 결과가 특정 AQO 설계에만 적용된다는 점을 밝힌다. 저자들은 두 문제를 최대 가중 독립 집합(MIS) 문제로 다항식적으로 변환하고, 그에 맞는 새로운 초기·문제 해밀토니안을 제시함으로써 기존의 실패 주장을 회피한다. AQO의 성공 여부는 사용된 해밀토니안에 크게 좌우되며, 최적화 알고리즘 설계가 아직 충분히 탐구되지 않았음을 강조한다.

상세 분석

양자 어드베틱 최적화(AQO)는 초기 해밀토니안 (H_B)와 목표 해밀토니안 (H_P) 사이를 서서히 변환함으로써 시스템을 바닥 상태로 인도한다. 이때 필요한 시간은 최소 에너지 갭 (\Delta_{\min})에 역비례하므로, (\Delta_{\min})이 다항식 규모이면 다항 시간 해결이 가능하고, 지수적으로 작아지면 지수 시간 소요가 불가피하다. 기존 연구들—van Dam·Vazirani와 Altshuler·et al.—은 각각 특정 형태의 3SAT와 Random Exact Cover 인스턴스에 대해, 전형적인 (H_P)를 사용하면 첫 번째 비틀림점에서 (\Delta_{\min})이 지수적으로 작아진다고 주장했다. 그러나 이러한 부정적 결과는 “특정한” 해밀토니안 설계에 국한된 것이며, 문제 자체가 AQO에 대해 불리하다는 일반적 결론을 내리기엔 무리가 있다.

저자들은 두 NP‑완전 문제를 최대 가중 독립 집합(MIS) 문제로 다항식적으로 환원한다. MIS는 그래프 (G=(V,E))와 각 정점에 부여된 가중치 (w_i)가 주어졌을 때, 인접하지 않은 정점들의 집합 중 가중치 합이 최대가 되는 집합을 찾는 문제이다. Exact Cover와 3SAT는 각각 적절히 구성된 그래프의 독립 집합 문제와 동치가 되며, 이때 각 정점의 가중치는 원래 논리식의 만족도와 직접 연결된다. 이러한 환원을 이용하면, 목표 해밀토니안을
\