회로 크기로 보는 일방향 함수와 복잡도 계층의 경계
이 논문은 Π₂ᴾ≠Σ₂ᴾ 가정 하에, 다항 크기 회로로 계산되는 함수는 존재하지만 그 역함수는 어떤 다항 크기 회로로도 구현할 수 없다는 일방향성을 보인다. 특히 길이 보존·총함수·균형성 등을 만족하는 전체 함수들에 대해 동일한 결과를 강화한다.
저자: Jean-Camille Birget
본 논문은 회로 크기 관점에서 일방향 함수(one‑way function)의 존재를 연구한다. 먼저, Boppana와 Lagarias가 제시한 결과를 재증명한다. 그 결과는 “Π₂ᴾ≠Σ₂ᴾ이면, 다항 크기의 비균일 회로 패밀리로 계산 가능한 부분함수 f가 존재하지만, 그 역함수는 어떠한 다항 크기 회로 패밀리로도 구현할 수 없다”는 것이다. 저자는 이 정리를 바탕으로 세 가지 주요 확장을 제시한다.
1. **전체·전사·균형 함수로의 확장**
기존 결과는 부분함수에 국한되었으나, 저자는 f를 전체 함수로 만들면서도 전사(surjective)와 다항 균형(polynomially balanced) 특성을 유지한다. 이를 위해 회로의 입력·출력 비율을 조정하는 정체선(identity wire) 기법을 사용한다. 정체선을 추가하면 회로의 입력 수와 출력 수가 동시에 증가하지만, 회로 크기와의 비례 관계를 유지할 수 있다. 이를 통해 m≤½|C|<2n 혹은 2n
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기