고정 크기 전횡집합을 효율적으로 셈·생성하는 알고리즘

본 논문은 유한 집합 W와 그 위에 정의된 하이퍼그래프 H={H₁,…,H_h}에 대해, 크기 k인 전횡집합(히팅셋)을 모두 셈하거나 생성하는 새로운 알고리즘을 제시한다. 전통적인 전횡집합 열거는 포함‑배제 원리를 직접 적용하면 2^h 개의 항을 모두 계산해야 하는 비효율성이 있다. 이를 극복하고자 저자는 ‘배제 원리(Principle of Exclusion, POE)’를 채택한다. POE는 초기 후보 집합을 전체 멱집합 2^W 로 두고, 제약 a₁,…,a_h (각각 “X∩H_i≠∅”와 같은 형태)를 차례로 배제하면서 후보 공간을 점진적으로 축소한다. 핵심 기술은 ‘다중값 행’(multivalued row)이라는 압축 표현이다. 각 행 r 은 네 가지 기호 0, 1, 2, e 로 이루어진 길이 w 벡터이며, 0은 해당 원소가 반드시 제외, 1은 반드시 포함, 2는 자유 선택, e는 ‘e‑bubble’이라 불리는 그룹을 의미한다. e‑bubble는 최소 두 원소가 동시에 0 혹은 1이 될 수 없도록 하는 제약을 내포한다. 행 하나는 2^{γ}·∏_{i=1}^{t}(2^{ε_i}−1) 개의 실제 집합을 함축하는데, 여기서 γ는 2‑값 원소 수, ε_i는 i번째 e‑bubble의 크기이다. 알고리즘은 H의 각 초과(edge) H_i 를 순차적으로 처리한다. 예시로 H₁={3,4,9}이면, 행의 3,4,9 위치를 e 로 바꾸어 “적어도 하나는 포함한다”는 제약을 구현한다. 이후 H₂,…,H_h 를 차례로 적용하면서 행을 필요에 따라 분할한다. 분할은 충돌이 발생한 e‑bubble 혹은 0/1 위치에 대해 두 개의 하위 행으로 나누는 방식이며, 이 과정은 행의 수가 최종적으로 전횡집합을 정확히 표현할 때까지 진행된다. 최종 행 집합 Mod_h 은 전횡집합 전체를 서로 겹치지 않게 분할한다. 각 최종 행 r 에 대해 k‑원소 전횡집합의 개수 Card(r,k) 를 구하는 방법이 두 가지 제시된다. 첫 번째는 포함‑배제식으로 2^t 개의 항을 이용하는 전통적 방법이며, 두 번째는 행 내부의 e‑bubble들을 다항식으로 전개하고 x^k 의 계수를 추출하는 재귀식 (6)이다. 후자는 특히 t가 작고 w가 클 때 효율적이다. 이항계수는 O(w) 곱셈·정수 나눗셈으로 계산 가능하고, 전체 행에 대해 K까지의 Card(r,·) 값을 구하는 복잡도는 O(K·w²·log w) 로 정리된다. 특수 경우, 모든 e‑bubble가 서로 독립적이고 t가 상수이면 최종 행의 수가 상수이므로 전체 알고리즘이 출력 선형 시간에 동작한다. 이는 기존의 BDD(이진 결정 다이어그램) 기반 전횡집합 열거와 비교했을 때 메모리 사용량이 크게 감소하고, 특히 큰 w 에서도 실용적인 성능을 보인다. 논문은 또한 {0,1,2,e}‑행의 총 개수 f(w)=Bell(w+2)−Bell(w+1) 임을 증명하여, 행 구조 자체가 Bell 수와 같은 조합론적 객체와 깊은 연관이 있음을 강조한다. 마지막으로 논문은 알고리즘의 구현 세부 사항, 복잡도 분석, 그리고 예시(14‑원소, 6‑초과 하이퍼그래프)를 통해 실제 수행 과정을 상세히 보여준다. 결과적으로 제시된 POE 기반 전횡집합 알고리즘은 고정 크기 전횡집합을 셈·생성하는 문제에 대해 이론적 최적성(특정 경우 출력 선형)과 실용적 효율성(시간·공간 복잡도 O(K·w²·log w))을 동시에 제공한다.