다이아몬드 없는 그래프 차수열 생성 연구

초록

본 논문은 다이아몬드(4개의 정점이 완전 4-클리크를 이루는 구조)가 존재하지 않는 그래프의 차수열을 모두 구하는 문제(CSPLib 50)를 제시한다. 이 문제는 균형 불완전 블록 설계(BIBD)와 직접 연결되며, 차수열이 그래프 이론적 제약과 산술적 제약을 동시에 만족해야 한다. 저자는 두 가지 제약 모델을 설계하고, 두 번째 모델에서 차수열 후보를 먼저 생성한 뒤 해당 차수열이 다이아몬드 프리 그래프에 realizable한지를 검증하는 두 단계 접근법을 제안한다. 대칭성 제거와 효율적인 검색 전략을 통해 계산 복잡도를 크게 낮추었다. 실험 결과는 제안된 모델이 기존 방법보다 월등히 빠르고, 새로운 차수열 집합을 성공적으로 도출함을 보여준다.

상세 요약

논문은 먼저 “다이아몬드”라는 작은 서브그래프(정점 네 개가 서로 연결된 K4)의 부재가 그래프 구조에 어떤 제약을 가하는지를 이론적으로 정리한다. 다이아몬드 프리 그래프는 각 정점 쌍이 동시에 세 개 이상의 공통 이웃을 가질 수 없다는 조건으로 표현될 수 있다. 이 조건을 차수열 수준으로 끌어올리면, 모든 정점 i에 대해 Σ_{j≠i} min(d_i, d_j) ≤ 3·(n−1) 와 같은 부등식이 도출된다. 저자는 이러한 부등식을 기반으로 차수열 후보를 필터링하는 첫 번째 단계 모델(M1)을 설계했으며, 여기서는 전통적인 그래프 이론의 “그래프 가능성”(graphicality) 검사인 Erdős‑Gallai 정리를 활용한다. 그러나 M1은 대칭성(예: 정점 라벨 교환) 때문에 탐색 공간이 급격히 확대되는 문제가 있었다.

이를 해결하기 위해 두 번째 모델(M2)이 제안된다. M2는 문제를 두 단계로 분리한다. ① 차수열 생성 단계에서는 정수 변수 d_i (i=1…n)에 대해 (i) 0 ≤ d_i ≤ n−1, (ii) Σ d_i는 짝수, (iii) Σ d_i ≡ 0 (mod 3) 등 문제 정의에서 요구되는 산술적 제약을 전부 적용한다. 또한, 차수열을 비내림차순으로 정렬하고, 동일한 값이 반복되는 구간에 대한 대칭성 차단(symmetry breaking) 제약을 추가해 탐색 공간을 크게 축소한다. ② 검증 단계에서는 생성된 차수열이 실제로 다이아몬드 프리 그래프에 realizable한지를 확인한다. 여기서는 SAT/CP 기반의 그래프 구축 모델을 사용해, 각 가능한 간선 변수 e_{ij}에 대해 (a) 정점 i의 차수와 일치하도록 Σ_j e_{ij}=d_i, (b) 어떤 정점 쌍 (i,j)도 동시에 세 개 이상의 공통 이웃을 갖지 않도록 하는 다이아몬드 방지 제약을 부과한다. 이때도 대칭성 차단을 위해 e_{ij}=e_{ji}와 같은 대칭 제약을 명시한다.

실험에서는 n=8~14 범위의 인스턴스에 대해 두 모델을 비교하였다. M1은 탐색 트리가 급격히 폭발해 12정점 이상에서는 실용적인 시간 내에 해를 찾지 못했지만, M2는 차수열 후보를 미리 제한함으로써 전체 실행 시간을 수십 배 단축시켰다. 특히, M2는 기존 문헌에 보고되지 않은 새로운 차수열(예: n=12, d=