k준전이 그래프에서 k플러스1왕의 존재와 개수

초록

본 논문은 k≥2인 정수에 대해 k‑준전이 digraph가 (k+1)‑king을 갖는 필요충분조건을 제시한다. 즉, 이러한 그래프가 (k+1)‑king을 가지려면 유일한 초기 강성 성분이 존재해야 하며, (k+1)‑king이 존재할 경우 그 초기 강성 성분의 모든 정점이 (k+1)‑king이 되거나, 전체 그래프 내 (k+1)‑king의 수가 최소 (k+2)개임을 증명한다.

상세 분석

k‑준전이 digraph D는 길이 k인 모든 유향 경로 (v₀, v₁,…,v_k)에 대해 시작점과 끝점 사이에 직접적인 호가 존재함을 의미한다. 이 정의는 k=2일 때 기존의 quasi‑transitive digraph와 일치한다. 논문은 먼저 초기 강성 성분(initial strong component)의 개념을 재정의하고, 그 개수가 하나일 때와 그보다 많을 때를 구분한다. 초기 강성 성분이 여러 개이면, 어떤 정점도 모든 다른 정점까지 거리 ≤k+1을 보장할 수 없으므로 (k+1)‑king이 존재하지 않는다. 반대로 초기 강성 성분이 유일하면, 그 성분 내부는 강하게 연결되어 있어 모든 정점 사이의 거리 ≤k가 된다. 여기서 핵심은 “거리‑k+1”를 만족하는 정점이 초기 성분 전체에 퍼질 수 있는가이다. 저자들은 기존의 3‑king 결과를 일반화하기 위해 두 가지 주요 보조 정리를 도입한다. 첫째, 초기 성분이 최소 세 정점을 포함하면, 그 내부에서 최소 (k+2)개의 (k+1)‑king이 존재함을 보인다. 이는 각 정점이 다른 정점으로부터 거리 ≤k+1을 유지하도록 구성된 “왕‑클러스터”를 형성한다는 점에서 직관적이다. 둘째, 초기 성분이 두 정점만 포함하거나, 혹은 성분 내부에 특정 “비왕” 정점이 존재할 경우, 그 비왕 정점이 외부 정점과의 거리 제한을 위반하게 되므로 전체 그래프에 (k+1)‑king이 존재하지 않는다. 논문은 위 정리들을 귀납적으로 증명한다. 기본 단계 k=2에 대해 기존 quasi‑transitive 결과를 그대로 이용하고, 귀납 단계에서는 길이 k+1 경로를 삽입하거나 삭제함으로써 k‑준전이 성질을 보존한다. 또한, “왕‑전파” 라는 개념을 도입해, 한 정점이 (k+1)‑king이면 그와 거리 ≤k인 모든 정점도 자동으로 (k+1)‑king이 되는 구조적 특성을 밝혀낸다. 최종적으로 저자들은 “모든 초기 성분 정점이 (k+1)‑king이거나, 최소 (k+2)개의 (k+1)‑king이 존재한다”는 두 경우의 배타적 분리를 완성한다. 이 결과는 k‑준전이 digraph의 구조적 복잡성을 이해하고, 왕‑정점의 존재와 개수를 정확히 예측하는 데 중요한 이론적 토대를 제공한다.