와일드카드로 압축된 ALLSAT 최대 독립집합 전부 찾기

초록

본 논문은 그래프의 k개의 정점으로 이루어진 홀수 사이클 커버가 주어졌을 때, 모든 최대 독립집합(N개)을 O(2^k·w³+N·w²) 시간에 생성할 수 있음을 보인다. 또한 임의의 그래프에서 모든 독립집합(N’개)을 O(N’·w²) 시간에 와일드카드 기반 클러스터로 압축해 출력한다.

상세 분석

논문은 먼저 홀수 사이클 커버(odd‑cycle cover)의 정의와 그 존재가 그래프를 이분 그래프로 만들기 위한 최소 정점 집합이라는 사실을 상기한다. k개의 정점으로 이루어진 커버가 주어지면, 그래프의 나머지 w‑k 정점은 이분 구조를 이루므로 최대 독립집합 문제는 이분 그래프에서의 매칭 문제와 동등하게 변환될 수 있다. 저자는 이 변환을 이용해 커버 정점 각각을 “와일드카드”라 부르는 3‑값 변수(0,1,*) 로 표현하고, 각 와일드카드가 선택될 경우와 선택되지 않을 경우를 경우의 수로 전개한다. 2^k개의 경우마다 이분 그래프 부분에 대해 최대 매칭을 찾고, 매칭 보조정리를 이용해 해당 경우에 대한 최대 독립집합을 O(w³) 시간에 복원한다. 따라서 전체 복잡도는 2^k·w³이 된다.

또한, 모든 독립집합을 생성하는 일반 알고리즘은 전통적으로 백트래킹이나 브랜치‑앤‑바운드 방식으로 O(N’·w) 정도가 필요하지만, 여기서는 와일드카드 클러스터링을 도입한다. 와일드카드 패턴은 동일한 선택/비선택 구조를 공유하는 독립집합들을 하나의 압축된 표현으로 묶어, 각 클러스터를 O(w²) 시간에 전개한다. 결과적으로 N’개의 독립집합을 O(N’·w²) 시간에 출력할 수 있다.

핵심 통찰은 “정점 집합을 0/1/* 로 삼진법처럼 다루어 경우의 수를 폭발적으로 줄이고, 이분 그래프의 매칭 특성을 활용해 각 경우를 빠르게 해결한다”는 점이다. 특히 k가 작을 때 2^k가 실용적인 수준이므로, 큰 그래프에서도 효율적인 최대 독립집합 열거가 가능해진다. 이 방법은 기존의 ALLSAT 기술을 그래프 이론에 접목시킨 최초의 시도이며, 와일드카드 기반 압축이 combinatorial enumeration에 강력한 도구가 될 수 있음을 보여준다.