산술과 집합 데이터 타입의 통합 형식 기술

초록

본 논문은 자연수와 계승 유한 집합을 하나의 추상화된 프레임워크로 묶는다. bijective base‑2 표현을 기반으로 Haskell 타입 클래스들을 단계적으로 정제하여, 임의 정밀도 정수와 비트 연산을 이용한 효율적인 구현을 제시한다. 또한, 이 구현을 통해 집합 형태로 직접 산술 연산을 수행하는 알고리즘을 도출한다.

상세 분석

논문은 먼저 자연수와 헤라다리히 피니트 집합(HFS)을 동일한 데이터 구조로 바라볼 수 있다는 사실을 강조한다. 이를 위해 저자는 “bijective base‑2”라는 진법을 선택한다. 일반적인 이진수와 달리 0을 사용하지 않으며, 각 자리값이 1·2ⁿ 형태로 표현돼 자연수와 집합을 일대일 대응시킨다. 이 대응은 집합의 멤버십 연산을 비트 마스크 연산으로 전환시키며, 집합의 합집합·교집합·차집합은 각각 비트 OR·AND·XOR에 해당한다.

Haskell의 타입 클래스 메커니즘을 활용해 ‘Nat’, ‘SetLike’, ‘Bitwise’ 등 세 개의 핵심 클래스를 정의한다. ‘Nat’는 기본적인 successor, predecessor, addition, multiplication 등을 선언하고, ‘SetLike’는 empty, insert, member, union, intersect 등을 제공한다. ‘Bitwise’는 비트 레벨 연산을 추상화한다. 각 클래스는 최소한의 법칙(axiom)을 명시하고, 구현자는 이를 만족하도록 인스턴스를 제공한다.

논문은 이러한 추상 클래스를 단계적으로 구체화한다. 첫 단계에서는 리스트 기반 구현을 보여주어 개념적 정당성을 확인한다. 두 번째 단계에서는 ‘Integer’(임의 길이 정수)를 이용해 비트 연산을 직접 수행하도록 구현한다. 여기서 핵심은 ‘toBits’와 ‘fromBits’ 함수가 bijective base‑2 변환을 수행함으로써, 자연수와 HFS 사이의 변환 비용을 O(log n)으로 제한한다는 점이다.

마지막으로 저자는 HFS 위에서 산술 연산을 직접 정의한다. 예를 들어, 두 집합 A, B의 합은 A와 B를 각각 비트열로 변환한 뒤, 비트wise addition with carry를 수행하고, 결과를 다시 집합으로 역변환한다. 곱셈도 동일한 방식으로 비트wise multiplication을 적용한다. 이러한 알고리즘은 기존의 전통적인 집합 기반 산술보다 메모리와 시간 효율성이 뛰어나며, 특히 큰 수에 대해선 GMP와 맞먹는 성능을 보인다.

전체적으로 논문은 타입 클래스 기반의 추상화와 비트 연산의 결합을 통해, 산술과 집합 이론을 하나의 통합된 형식 체계로 재구성한다는 점에서 이론적·실용적 기여가 크다.