양자‑보강 그리디 알고리즘으로 푸는 대규모 최대 독립 집합

초록

본 논문은 정규 그래프의 최대 독립 집합(MIS) 문제를 해결하기 위해, 깊이 $p$ ≤ 4인 QAOA 회로의 고정 파라미터를 사전 계산하고 이를 최소 차수 그리디 서브루틴에 결합한 하이브리드 양자‑클래식 알고리즘을 제안한다. 양자 회로는 얕고 파라미터 튜닝이 필요 없으며, 각 단계에서 로컬 ⟨Z⟩ 기대값을 이용해 다음 노드를 선택한다. 알고리즘은 O(N) 시간 복잡도를 유지하면서 20‑qubit 초전도 장치와 텐서 네트워크 시뮬레이션을 통해 수천 노드 규모의 그래프에서 기존 그리디 및 최신 선형‑우선 탐색 알고리즘을 능가함을 보였다.

상세 분석

이 연구는 QAOA가 단독으로 깊이 $p$ 가 제한된 NISQ 디바이스에서 MIS와 같은 NP‑hard 문제를 근사적으로 풀기에 한계가 있다는 기존 문헌을 정확히 인식하고, 양자 회로를 “가이드” 역할에 국한시킨다. 핵심 아이디어는 정규 트리(베트라 구조)에서 미리 최적화된 파라미터 $(\beta^*,\gamma^*)$ 를 사용함으로써 인스턴스‑특화 파라미터 튜닝을 완전히 배제하고, 모든 $d$‑정규 그래프에 동일하게 적용할 수 있다는 점이다. 이는 QAOA의 로컬성—깊이 $p$ 내의 라이트‑콘이 트리 형태를 이루는 확률이 높다는 사실—을 활용한 것으로, 각 노드의 기대값 $\langle Z_i\rangle_p$ 는 해당 노드와 거리 $p+1$ 이내의 서브그래프만을 고려하면 정확히 계산된다. 따라서 알고리즘은 매 반복마다 (1) 현재 그래프에서 라이트‑콘에 해당하는 서브그래프를 추출, (2) 사전 정의된 고정 파라미터 회로를 실행해 로컬 ⟨Z⟩ 값을 측정, (3) 가장 큰 기대값을 가진 노드를 독립 집합에 추가하고, (4) 그 노드와 이웃을 그래프에서 제거하는 과정을 O(1) 시간에 수행한다. 전체 복잡도는 $O(N)$이며, 이는 기존 최소 차수 그리디와 동일하지만 선택 기준이 확률적 최소 차수가 아니라 양자‑보강된 “가치”가 된다.

실험적 검증은 두 축으로 이루어진다. 첫째, 20 qubit IQM Garnet 장치에서 $p=2,3$ 회로를 실행해 실제 하드웨어 노이즈 하에서도 기대값 추정이 충분히 안정적임을 확인했다. 둘째, 텐서 네트워크 시뮬레이션을 이용해 $p\le4$ 까지의 깊이와 그래프 규모 $N=5,000$까지 확장했으며, 독립 집합 비율 $r$가 최소 차수 그리디($r\approx0.432$)와 최신 선형‑우선 탐색($r\approx0.445$)을 꾸준히 초과함을 보고했다. 특히 $p=4$에서는 $r\approx0.448$ 수준에 도달해 이론적 상한에 근접했다.

또한, 논문은 복잡도와 노이즈 영향을 정량적으로 분석한다. 라이트‑콘 크기가 $O(p)$이므로 기대값 계산에 필요한 양자 회로의 게이트 수는 $O(p,d)$이며, 이는 $p\le4$일 때 현재 NISQ 디바이스의 오류율 이하로 유지된다. 노이즈 모델링 결과, 디코히런스와 게이트 오류가 기대값에 미치는 편향은 평균적으로 $<2%$ 수준이며, 이는 최종 독립 집합 크기에 큰 영향을 주지 않는다.

이러한 설계는 QAOA 파라미터 최적화에 수반되는 ‘바리언 플래토’ 문제를 회피하고, 사전 계산된 트리 파라미터만으로도 대규모 문제에 적용 가능하다는 점에서 실용적이다. 또한, 양자 회로가 얕아 하드웨어 구현 비용이 낮으며, 기존 그리디 알고리즘과 동일한 선형 시간 복잡도를 유지하므로 실제 산업 현장이나 대규모 네트워크 최적화에 바로 적용할 수 있다.