[논문 리뷰] A Note on the Inversion Complexity of Boolean Functions in Boolean Formulas

Hiroki Morizumi|ArXiv.org|2008. 11. 05.

Machine Learning and Algorithms참고 문헌 4인용 수 7

한 줄 요약

이 논문은 부울 공식에서 부울 함수의 역전 복잡도를 결정하며, 최소한의 NOT 게이트 수가 임의의 증가하는 입력 벡터 체인에서의 최대 감소 전이 수 d(f)와 정확히 일치함을 증명한다. 이 결과는 유도적 분해와 NOT 게이트의 입력 시퀀스에 대한 상태 분석을 통해 마르코프의 회로 복잡도 정리(formula 모델로 확장한다.)

ABSTRACT

In this note, we consider the minimum number of NOT operators in a Boolean formula representing a Boolean function. In circuit complexity theory, the minimum number of NOT gates in a Boolean circuit computing a Boolean function $f$ is called the inversion complexity of $f$. In 1958, Markov determined the inversion complexity of every Boolean function and particularly proved that $\lceil \log_2(n+1) ceil$ NOT gates are sufficient to compute any Boolean function on $n$ variables. As far as we know, no result is known for inversion complexity in Boolean formulas, i.e., the minimum number of NOT operators in a Boolean formula representing a Boolean function. The aim of this note is showing that we can determine the inversion complexity of every Boolean function in Boolean formulas by arguments based on the study of circuit complexity.

연구 동기 및 목표

• 부울 공식 모델(게이트의 팬아웃이 1인 모델)에서 부울 함수의 역전 복잡도를 결정하는 것.
• 일반 회로에서 NOT 게이트 복잡도에 대한 마르코프의 고전적 결과를 팬아웃이 1인 공식 모델로 확장하는 것.
• 이전에 알려진 결과가 없었던 공식에서의 역전 복잡도에 대한 열린 문제를 해결하는 것.
• 모든 부울 함수를 공식으로 표현하기 위해 필요한 최소 NOT 게이트 수의 날것으로 된 경계를 설정하는 것.

제안 방법

• 임의의 증가하는 입력 벡터 체인에서의 최대 감소 전이 수 d(f)에 대한 귀납법을 사용하여 최대 d(f)개의 NOT 게이트로 상한을 증명한다.
• 단조성을 유지하는 벡터 집합 S를 기반으로 두 개의 보조 함수 f₁과 f₂를 정의하여 재귀적 분해를 가능하게 한다.
• S에서 1, 그 외에서는 0인 임계값 함수 fₜ를 도입하여 비단조적 영역을 분리한다.
• f₁ ∨ (f₂ ∧ ¬fₜ)를 사용하여 f₁, f₂, fₜ의 공식을 조합하고 추가로 하나의 NOT 게이트를 사용한다.
• 입력 변화에 따른 NOT 게이트의 상태 전이(상승/하강)를 분석하여 NOT 게이트 수의 하한을 유도한다.
• 두 개의 보조정리 적용: 1에서 0으로의 값 감소는 최소한 하나의 하강 상태 NOT 게이트 수를 증가시킨다는 것과, 0에서 0 또는 1에서 1로의 전이에서는 비감소 행동을 보인다는 것.

실험 결과

연구 질문

• RQ1 임의의 부울 함수를 부울 공식으로 표현하기 위해 필요한 최소 NOT 게이트 수는 얼마인가?
• RQ2 팬아웃 제한이 있는 조건에서 공식에서의 역전 복잡도는 일반 회로에서의 복잡도와 어떻게 다를까?
• RQ3 입력 체인에서의 최대 감소 전이 수인 d(f) 측정치가 공식에서의 역전 복잡도에 대해 날것으로 된 경계로 사용될 수 있는가?
• RQ4 임의의 부울 함수에 대해 정확히 d(f)개의 NOT 게이트를 사용하는 공식을 구성하는 구축 가능한 방법이 존재하는가?
• RQ5 공식에서의 팬아웃 1 제약 조건은 일반 회로와 비교해 최소 NOT 게이트 사용의 구조를 본질적으로 변화시키는가?

주요 결과

• 모든 부울 함수 f에 대해 공식 내의 역전 복잡도는 임의의 증가하는 입력 벡터 체인에서의 최대 감소 전이 수 d(f)와 정확히 일치한다.
• 단조적 및 임계값 성분으로 분해하는 유도적 구성에 의해 최대 d(f)개의 NOT 게이트로 상한이 달성된다.
• 입력 전이에 따른 하강 상태 NOT 게이트 수를 추적하여 하한이 증명되며, 함수 값이 1에서 0으로 감소할 때마다 최소한 하나의 게이트 수가 증가함을 보여준다.
• 구성 과정은 사용된 총 NOT 게이트 수가 정확히 d(f)임을 보장하여 경계가 날것으로 된다.
• 이 결과는 마르코프의 회로 이론적 경계(⌈log₂(d(f)+1)⌉)를 공식 모델로 일반화하며, 여기서 복잡도는 로그가 아닌 d(f)에 비례하는 선형 복잡도가 된다.
• 공식의 구조적 성질(팬아웃 1)에 기반하여 상태 전이를 위한 고유한 경로를 보장함으로써 하한 증명에 필수적인 조건을 확보한다.