[논문 리뷰] Complexity Analysis of Reversible Logic Synthesis

Anupam Chattopadhyay, Chander Chandak외 1명|arXiv (Cornell University)|2014. 02. 03.

Quantum Computing Algorithms and Architecture참고 문헌 32인용 수 12

한 줄 요약

이 논문은 가역 논리 합성의 계산 복잡도를 분석하여, 제한된 보조 큐비트를 사용하는 합성은 NP-난이도임을 입증하고, 보조 큐비트 없이 합성하는 것은 비용 제약이 있는 정렬 문제와 관련이 있음을 밝혔다. 짧은 경로 공식과 (0-1) 정수선형계획법(ILP) 모델을 제안하며, 짧은 경로 접근법이 3변수 함수에 대해 분석 시간이 몇 분 내로 최적의 합성을 가능하게 하는 반면, ILP는 런타임이 과도하여 확장성이 떨어진다.

ABSTRACT

Reversible logic circuit is a necessary construction for achieving ultra low power dissipation as well as for prominent post-CMOS computing technologies such as Quantum computing. Consequently automatic synthesis of a Boolean function using elementary reversible logic gates has received significant research attention in recent times, creating the domain of reversible logic synthesis. In this paper, we study the complexity of reversible logic synthesis. The problem is separately studied for bounded-ancilla and ancilla-free optimal synthesis approaches. The computational complexity for both cases are linked to known/presumed hard problems. Finally, experiments are performed with a shortest-path based reversible logic synthesis approach and a (0-1) ILP-based formulation.

연구 동기 및 목표

• 제한된 보조 큐비트와 보조 큐비트 없이 가역 논리 합성을 수행할 때의 계산 복잡도를 분석한다.
• 기존의 알려진 또는 추정되는 난이도 있는 문제들과 연결함으로써 최적의 가역 회로 합성의 이론적 난이도를 조사한다.
• 두 가지 정확한 공식화 방법, 즉 (0-1) 정수선형계획법(ILP)과 짧은 경로 기반 합성 간의 평가 및 비교를 수행한다.
• 짧은 경로 방법을 사용하여 3변수 가역 부울 함수에 대한 포괄적인 최적 결과를 생성한다.
• 더 큰 회로를 위한 확장성의 한계와 향후 연구 방향을 규명한다.

제안 방법

• 가역 논리 합성을 상태공간 내의 최단경로 문제로 모델링하며, 노드는 부울 함수 상태를 나타내고, 간선은 가역 게이트 적용을 나타낸다.
• 각 노드가 부울 함수의 진리표 또는 ANF 표현과 대응되는 상태공간 그래프를 사용하며, 간선은 게이트 연산(예: CNOT, Toffoli)에 대응된다.
• 동적 프로그래밍과 경로 탐색을 적용하여 항등 함수에서 목표 함수로의 모든 가능한 게이트 순서를 탐색하며, 양자 비용을 최소화한다.
• 합성 문제를 (0-1) 정수선형계획법(ILP)으로 공식화하며, 변수는 게이트 사용 여부를 나타내고, 제약조건은 기능 정확성과 게이트 순서를 보장한다.
• 양성 및 부정성 제어선(+와 - 기호로 표기)을 지원하여 유연한 게이트 표현을 가능하게 한다.
• CPLEX를 사용하며, 해의 탐색 시간을 제한하기 위해 IntSolLim=1을 설정하지만, 이는 더 큰 인스턴스에서는 큰 최적성 갭을 초래한다.

실험 결과

연구 질문

• RQ1 제한된 보조 큐비트를 사용하는 가역 논리 합성 문제는 계산적으로 난이도가 있으며, 만약 그렇다면 어떤 복잡도 클래스에 속하는가?
• RQ2 보조 큐비트 없는 가역 논리 합성의 계산 복잡도는 무엇이며, 기존의 조합 최적화 문제와 어떻게 관련이 있는가?
• RQ3 짧은 경로 공식은 실용적인 시간 내에 작은 가역 회로(예: 3변수 함수)에 대해 최적의 결과를 도출할 수 있는가?
• RQ4 정확한 공식화임에도 불구하고 (0-1) ILP 공식화는 작은 회로를 초월해 확장되지 못하는 이유는 무엇인가?
• RQ5 메모리 집약적인 전수 탐색과 경로 기반 접근법 사이의 상호 교환 관계는 무엇인가?

주요 결과

• 제한된 보조 큐비트를 사용하는 가역 논리 합성은 NP-난이도임을 증명하였으며, 조합 최적화 분야의 알려진 난이도 있는 문제들과 연결된다.
• 보조 큐비트 없는 가역 논리 합성은 비용 제약이 있는 전치로 정렬하는 것과 동일시되며, 이 문제의 계산 복잡도는 알려져 있지 않다.
• 짧은 경로 공식은 3변수 가역 부울 함수에 대해 1분 이내에 최적의 게이트 수와 양자 비용을 성공적으로 계산하였다.
• NCTF 게이트 집합에 대해 평균 양자 비용은 10.52이며, 평균 게이트 수는 4.34이며, 모든 최적 값이 달성되었다.
• (0-1) ILP 공식화는 IntSolLim=1 조건이더라도 과도한 런타임과 큰 최적성 갭으로 인해 수용 가능한 시간 내에 최적 해를 도출하지 못했다.
• 짧은 경로 접근법은 3변수 함수에 대해 효과적으로 확장 가능하지만, 상태공간의 지수적 증가로 인해 4변수 이상의 회로에서는 확장성의 한계를 겪는다.