불 대수 회로의 동등성·감사·열거 문제 복잡도 분류

초록

본 논문은 불 대수 회로를 함수 표현 수단으로 삼아, 회로 동등성, 감사(audit), 열거 문제에 대한 복잡도 지도를 제시한다. 제한된 게이트 집합(베이스)에서는 다항시간 알고리즘을 설계하고, 그 외의 모든 베이스에 대해서는 최소 NP‑hard임을 증명한다.

상세 요약

논문은 먼저 불 회로의 표현력에 따라 문제 난이도가 크게 달라진다는 점을 강조한다. 전통적인 완전 베이스인 {AND, OR, NOT}와 같이 모든 부울 함수를 생성할 수 있는 경우, 회로 동등성 문제는 일반적으로 coNP‑complete 수준으로 알려져 있다. 그러나 저자는 회로가 제한된 베이스, 예컨대 단항 함수만 허용하거나 단조 함수(AND, OR)만 사용하는 경우를 체계적으로 분석한다. 이러한 제한된 베이스에서는 회로를 정규형(예: DNF 혹은 CNF)으로 변환하는 것이 다항시간에 가능하고, 변환 후 문자열 비교나 SAT‑solver 기반 검증을 통해 동등성·감사·열거 문제를 효율적으로 해결할 수 있음을 보인다. 특히, 단조 베이스에서는 회로의 출력이 입력 벡터의 부분 순서에 대해 단조성을 유지하므로, 동등성 검증을 위해 입력 공간을 전체 탐색할 필요 없이 최소·최대 원소만 비교하면 충분하다는 중요한 구조적 특성을 이용한다.

반면, 베이스에 비단조 함수(예: XOR, NAND 등)가 포함될 경우, 회로는 선형 혹은 비선형 조합을 자유롭게 구현할 수 있게 되며, 이는 문제의 복잡도를 급격히 상승시킨다. 저자는 이러한 베이스에 대해, 회로 동등성 문제를 SAT 문제로 환원함으로써 최소 NP‑hard임을 증명한다. 특히, 감사 문제(특정 출력이 1이 되도록 하는 입력을 찾는 문제)는 일반적인 SAT와 동치임을 보이며, 열거 문제는 #P‑complete에 해당한다는 점을 강조한다.

기술적인 핵심은 Post’s lattice(포스트 격자)를 활용한 베이스 분류이다. 저자는 모든 가능한 부울 함수 집합을 포스트 격자의 하위 격자로 매핑하고, 각 격자 원소에 대해 동등성·감사·열거 문제의 복잡도 클래스를 정리한다. 완전 베이스가 아닌 경우, 특히 자기보완(SELF‑DUAL)이나 대칭(SYMMETRIC) 함수만을 포함하는 베이스는 특수한 구조적 제한을 제공하여 다항시간 알고리즘이 존재함을 보인다. 반대로, 비자기보완·비대칭·비단조 함수가 하나라도 포함될 경우, 해당 베이스는 “복잡도 급증” 영역에 속하게 된다.

또한, 저자는 실제 알고리즘 구현 측면에서도 몇 가지 실용적인 기법을 제시한다. 예를 들어, 단조 베이스 회로에 대해는 토폴로지 정렬을 이용해 레이어별 평가를 수행하고, 감사 문제에서는 역추적(backward tracing) 기법을 통해 최소 입력 집합을 효율적으로 도출한다. 이러한 알고리즘은 이론적 복잡도 경계와 일치하면서도, 실험적으로도 중간 규모 회로(수천 개 게이트)에서 충분히 빠른 실행 시간을 보였다.

결론적으로, 논문은 불 회로의 베이스 선택이 동등성·감사·열거 문제의 복잡도에 결정적인 영향을 미친다는 사실을 포스트 격자와 복잡도 이론을 결합해 체계적으로 규명한다. 이는 회로 설계, 검증, 보안 감사 등 실무 분야에서 베이스 선택을 전략적으로 고려해야 함을 시사한다.