유일한 K r 포화 그래프의 새로운 발견과 구조 분석

초록

본 논문은 K_r(완전 그래프) 를 포함하지 않으면서 보완 그래프의 모든 간선을 추가하면 정확히 하나의 K_r 클리크가 생기는 ‘유일한 K_r-포화 그래프’를 탐색한다. 대칭 정수 계획법에서 사용되는 ‘오비탈 브랜칭(orbital branching)’ 기법을 그래프 탐색에 맞게 변형하고, 비백색(white) 간선마다 고유한 K_r-완성을 강제하는 맞춤형 증강(augmentation)을 도입하였다. 이를 통해 r=4‒7 범위에서 10개의 새로운 r‑primitive 그래프를 발견했으며, 그 중 두 개는 Cayley 그래프를 기반으로 한 무한 가족으로 일반화하였다. 또한 기존에 알려진 r‑primitive 그래프가 모두 정규 그래프였던 가설을 깨는 최소 차수가 8·9인 비정규 예시도 제시한다.

상세 분석

논문은 먼저 ‘유일한 H‑포화 그래프’라는 개념을 소개하고, H를 완전 그래프 K_r 로 특수화한다. 기존 연구에서는 r=3 일 때만 완전한 분류가 알려져 있었으며, r≥4 에서는 거의 알려진 사례가 없었다. 저자들은 이러한 공백을 메우기 위해 그래프를 0‑1 변수로 보는 트리그래프(trigraph) 모델을 채택하고, 두 가지 핵심 제약을 설정한다. (C1) 현재 트리그래프에 검은색(black) r‑클리크가 존재하면 안 되고, (C2) 각 정점 쌍이 가질 수 있는 검은색 K_r‑완성은 하나 이하이어야 한다. 여기서 ‘완성’은 비백색(white) 간선을 포함했을 때 K_r 를 만들기 위해 필요한 r‑2개의 정점 집합을 의미한다.

대칭성을 활용하기 위해 오비탈 브랜칭을 도입한다. 트리그래프의 자동동형군을 계산해 회색(gray) 간선들의 궤도(orbit)를 찾고, 하나의 대표 간선을 백색으로 지정하거나, 전체 궤도의 모든 간선을 검은색으로 지정하는 두 갈래로 분기한다. 이때 단순 오비탈 브랜칭만으로는 (C1),(C2) 제약이 충분히 빨리 위배되지 않아 탐색 공간이 급격히 늘어나는 문제가 있었다. 이를 해결하기 위해 ‘맞춤형 증강(custom augmentation)’을 설계하였다. 백색 간선을 선택하면 즉시 그 간선에 대한 고유한 K_r‑완성을 선택하고, 해당 완성에 속하는 모든 필요한 간선을 검은색으로 채워 넣는다. 이 과정에서도 자동동형군을 재계산해 (r‑2)‑부분집합들의 궤도를 구하고, 각 궤도당 하나의 대표 집합만 탐색함으로써 중복을 최소화한다.

이 알고리즘을 구현해 r=4‒7 에 대해 정해진 정점 수 한도(N_r)까지 전수 탐색을 수행하였다. 결과적으로 10개의 새로운 r‑primitive 그래프를 발견했으며, 그 중 두 개는 정점 수가 소수이고 정점-전이(transitive)인 Cayley 그래프였다. 특히 13개의 Paley 그래프와 17개의 Cayley 보완 그래프 C(Z_17,{1,4}) 가 각각 r=4, r=7 에 대한 새로운 무한 가족의 첫 사례가 되었다. 저자들은 이 관찰을 바탕으로 두 개의 일반적인 무한 가족을 제시한다. 첫 번째는 n=4t^2+1, r=2t^2−t+1 로 정의되는 C(Z_n,{1,2t}) 의 보완이며, 두 번째는 n=9t^2−3t+1, r=3t^2−2t+1 로 정의되는 C(Z_n,{1,3t−1,3t}) 의 보완이다. 두 정리 모두 클리크 수를 정확히 계산하고, 각 비백색 간선이 고유한 K_r‑완성을 갖는지를 검증함으로써 r‑primitive 임을 증명한다.

또한, 기존에 알려진 모든 r‑primitive 그래프가 정규(regular)했음에 반해, 최소 차수가 8, 최대 차수가 9인 16정점의 5‑primitive 그래프를 발견함으로써 정규성 가설을 반증한다. 이는 r‑primitive 그래프의 구조가 훨씬 다양할 수 있음을 시사한다. 마지막으로 저자들은 ‘각 r에 대해 r‑primitive 그래프는 유한 개이다’는 conjecture 를 제시하고, 현재까지 r=3 에서만 증명된 상태임을 강조한다.