수치 집합 표현식으로 정의 가능한 함수와 회로의 탐구

이 논문은 자연수 N 과 그 멱집합 P 위에 정의된 연산을 이용해 **수치 집합 표현식**(numerical set‑expression)이라는 개념을 도입하고, 이를 회로 형태로 모델링한다. 기본 연산군 O 는 공집합 ∅, 전체집합 N, 합집합 ∪, 교집합 ∩, 보완 − 을 포함하며, 여기서 추가로 집합 차원에서 정의된 덧셈 + 과 곱셈 · 을 도입한다. 연산군에 + 만 포함하면 **가산 회로**(additive circuit), +· 을 모두 포함하면 **산술 회로**(arithmetic circuit)라 부른다. **1. 정의와 기본 성질** O‑회로는 변수 V 와 상수 {n} 을 이용해 귀납적으로 구성된다. 변수‑없는 회로는 특정 집합 S⊆N 을 정의하고, 변수‑있는 회로는 P^k→P 함수를 정의한다. 해석 ι 는 변수에 집합을 할당하고, 연산은 해석을 통해 집합 연산으로 전이된다. **2. 가산 회로와 산술 회로의 표현력** 가산 회로는 + 만 사용하므로, 변수‑없는 회로가 정의하는 집합은 반드시 유한하거나 여집합이 유한한 형태이다. 이는 구조적 귀납에 의해 증명되며, 반대로 모든 유한·공여집합은 간단한 회로로 구현 가능하다. 따라서 가산 회로는 매우 제한된 표현력을 가진다. 산술 회로는 · 을 추가함으로써 훨씬 풍부한 집합을 만들 수 있다. 예시로 {2}·N 은 짝수 집합, {1}∩{1}·{1} 은 소수 집합을 만든다. 또한 {p}·N (특정 소수 p)로 p 의 거듭제곱 집합을, {m}·N + {k} 으로 k (mod m) 잔류류를 정의한다. 이러한 회로는 Goldbach 반례와 같이 복합적인 수론적 집합도 기술한다. **3. 복잡도 문제** 변수‑없는 산술 회로에 대한 **멤버십 문제**(주어진 수 n 이 회로가 정의하는 집합에 속하는가)와 **비공집합성 문제**(정의된 집합이 비어 있지 않은가)는 현재 결정 가능성 여부가 미해결이다. 반면, 연산군에 보완 − 이나 특정 부울 연산을 제한하면, 문제는 P‑Space‑complete, NP‑complete, ExpTime‑complete 등으로 분류된 기존 연구와 일치한다. **4. 추가 연산의 정의 가능성** 논문은 Max, Card, ε, Fin, ↓와 같은 집합‑함수를 회로에 포함했을 때의 정의 가능성을 조사한다. - **Max**와 **Card**는 출력이 단일 원소이므로, 연속성 관점에서 전역적으로 불연속이며, 산술 회로만으로는 구현 불가능함을 증명한다. - **ε**(공집합 테스트)와 **Fin**(유한성 테스트)은 {0}와 ∅ 로 진리값을 반환하는 프레디케이트이며, 이 역시 산술 회로에 포함시켜도 정의 불가능한 경우가 존재한다. - **↓**(다운워드 클로저)는 모든 유한 집합을 무한히 확장하는 연산으로, 유한 집합에 대해 불연속점이 무수히 많아 회로 표현이 차단된다. **5. 함수 N^k→N 의 정의 가능성** 가산 회로와 산술 회로 각각이 구현할 수 있는 함수 클래스를 분석한다. - 가산 회로는 **양의**(positive) 회로(보완 연산을 사용하지 않음)만 허용할 경우, 시스템 방정식의 최소해가 재귀적(r.e.) 집합이 되며, 만족성 문제는 co‑r.e.‑complete가 된다. - 산술 회로는 곱셈을 이용해 지수적·다항적 성장 함수를 구현할 수 있지만, Max·Card·↓와 같은 비연속 연산을 포함하면 정의 가능성이 급격히 제한된다. **6. 연속성 및 위상학적 관점** 집합 P 에 자연스러운 메트릭을 정의하고, 연속성·균등 연속성을 공식화한다. 부울 연산과 + 는 전역적으로 균등 연속이지만, · 는 (∅, s) 또는 (s, ∅) 와 같이 0을 포함한 경우에만 불연속이다. ε, Fin, ↓, Max, Card는 각각 특정 점에서 불연속성을 보이며, 이는 회로가 구현할 수 있는 함수들의 위상학적 제한을 의미한다. **7. 결론** 수치 집합 표현식이라는 새로운 형식 모델을 통해, 가산·산술 회로의 표현력, 복잡도, 연속성, 정의 가능성 등을 포괄적으로 분석하였다. 가산 회로는 매우 제한된 집합만을 정의하지만, 산술 회로는 곱셈을 통해 복잡한 수론적 집합을 구현한다. 그러나 Max·Card·↓와 같은 비연속 연산을 포함하면 회로의 정의 가능성이 크게 감소한다. 이러한 결과는 전통적인 정수 연산 회로와 집합 이론 사이의 관계를 명확히 하며, 향후 회로 설계와 복잡도 이론 연구에 중요한 통찰을 제공한다.