집합 차이를 활용한 압축 집합 표현

초록

본 논문은 서로 간의 대칭 차이가 작은 여러 집합을 효율적으로 압축하고, 압축된 구조 위에서 원소 접근, 멤버십, 순위, 전임자·후임자 쿼리를 로그 시간에 지원하는 방법을 제시한다. 또한 대칭 차이 가중치를 최소화하는 최소 신장 트리를 이용해 압축 구조를 구축하는 새로운 알고리즘을 소개한다.

상세 분석

이 연구는 “집합의 집합”이라는 복합 객체를 다룰 때, 개별 집합들 사이의 대칭 차이(Δ) 를 압축 기준으로 삼는다. 기존의 포함 관계 기반 압축(Containment Entropy)과 달리, 삽입·삭제를 동시에 허용하는 대칭 차이 압축은 더 일반적인 모델을 제공한다. 논문은 먼저 삽입 압축성 I(S)를 정의하고, 이를 기반으로 삽입 그래프와 삽입 트리를 구축한다. 삽입 트리는 각 노드가 집합을 나타내며, 부모‑자식 간의 간선은 삽입해야 할 원소 집합 I(S)=S\p(S) 로 라벨링된다. 이 구조는 tree‑extraction 프레임워크를 활용해 O(I(S)) 공간에 저장되며, 기존의 wavelet‑tree 기반 기법을 차용해 parent, rank, select 연산을 O(log ω |U|) 시간에, 멤버십을 O(log log ω |U|) 시간에 수행한다.

핵심 기여는 대칭 차이 압축성 Δ(S)의 최소값을 구하는 방법이다. 저자들은 모든 집합을 정점으로, 두 정점 사이의 가중치를 |S△S′| 로 정의한 완전 그래프에서 최소 신장 트리(MST)를 구하면, 그 비용이 바로 Δ(S) 가 됨을 증명한다. 여기서 ∅와 전체 원소 집합 U 사이의 간선 가중치를 0 으로 설정해 두 개의 트리(하나는 ∅ 루트, 다른 하나는 U 루트)로 분리한다. 이렇게 얻은 두 트리는 각각 삽입·삭제 정보를 저장하며, 전체 공간 복잡도는 O(Δ(S)) 가 된다.

쿼리 지원 측면에서, 삽입 트리와 삭제 트리를 동시에 활용해 경로 상의 “삽입”과 “삭제” 라벨을 조합함으로써, i번째 최소 원소, 전임자·후임자, 순위 등을 기존 삽입 압축 구조와 동일한 로그 시간 안에 처리한다. 특히, 경로 선택(path‑selection)과 경로 카운팅(path‑counting) 연산을 위해 기존의 hierarchical partition 기법을 변형하여, 각 레벨에서 0/1 라벨 트리를 유지하고, 필요 시 삭제 라벨을 반영하도록 설계하였다.

구현 복잡도 측면에서는, 전체 집합 수 s와 원소 총합 n에 대해 MST 구축을 O(s²) 혹은 더 효율적인 프루밍 기법을 적용해 O(sn) 시간에 수행할 수 있다. 또한, 집합들을 크기 순으로 정렬하고 삽입 그래프를 순차적으로 구축함으로써 전체 구조를 O(n log u + s n) 시간에 만들 수 있다. 이와 같은 시간·공간 효율성은 기존의 압축 행렬·그래프 표현 방식보다 우수하며, 특히 대칭 차이가 작은 경우 압축률이 크게 향상된다.

요약하면, 논문은 (1) 대칭 차이 기반 압축 모델 Δ(S)의 정의와 최소화 방법, (2) 삽입·삭제 트리를 결합한 압축 데이터 구조 설계, (3) 기본 집합 연산을 로그 시간에 지원하는 쿼리 메커니즘, (4) 실용적인 MST 기반 구축 알고리즘을 제시함으로써, 집합의 집합을 다루는 다양한 응용(부울 행렬, 그래프 인접 행렬 등)에서 공간·시간 효율성을 동시에 달성한다는 점에서 의미가 크다.