친구와 낯선 사람 그래프의 지름 다항식 경계

초록

본 논문은 친구‑그리고‑낯선 사람 그래프 FS(X,Y)의 연결 성분 지름을 연구한다. 최소 차수가 충분히 큰 두 그래프 X와 Y에 대해 지름이 O(n⁵) 혹은 O(n²) 로 다항식적으로 제한됨을 보이며, Erdős‑Rényi 무작위 그래프 X∼G(n,p), Y∼G(n,q) 에서 pq≥100·log n/n 일 때 임의의 두 배치 사이 거리가 O(n⁵) 로 거의 항상 성립함을 증명한다.

상세 분석

이 논문은 기존의 슬라이딩 퍼즐과 토큰 스와핑 문제를 일반화한 친구‑그리고‑낯선 사람 그래프 FS(X,Y)의 지름 문제에 새로운 관점을 제시한다. 먼저 최소 차수 조건 δ(X), δ(Y) 에 대한 두 가지 불등식
① min(δ(X),δ(Y)) + 2·max(δ(X),δ(Y)) ≥ 2n
② δ(X)+δ(Y) ≥ 3n/2
을 가정하면, FS(X,Y)가 연결될 뿐 아니라 그 지름이 각각 O(n⁵)와 O(n²) 로 다항식적으로 제한된다는 정리를 증명한다. 증명 핵심은 연결된 그래프에서 잎을 하나씩 제거해가며 남은 그래프가 여전히 연결된다는 Lemma 2.1을 이용해, 순차적으로 “친절 교환”을 수행하는 알고리즘을 구성하는 것이다. 특히, 정리 1.3의 경우, 최소 차수가 큰 경우에 전체 정점을 차례로 고정시키는 과정에서 각 단계마다 남은 정점 수에 비례하는 교환 횟수만 필요하므로 전체 복잡도가 ∑_{k=1}^{n-1}k = O(n²)·O(n³)=O(n⁵) 로 얻게 된다. 정리 1.4에서는 δ(X)+δ(Y) ≥ 3n/2 라는 더 강한 조건을 이용해, 한 번의 교환으로 두 정점 사이 거리를 크게 줄일 수 있는 “큰 차수 정점”을 활용함으로써 O(n²) 수준의 상한을 얻는다.

두 번째 주요 결과는 무작위 그래프 모델에 대한 것이다. X∼G(n,p), Y∼G(n,q) 가 독립적으로 선택되고 pq ≥ 100·log n/n 를 만족하면, 거의 확률 1−o(n⁻²) 로 임의의 두 배치 τ, ω 사이의 최단 경로 길이가 O(n⁵) 이하임을 보인다. 여기서는 기존의 연결성 임계값(pq ≥ p₀²)보다 약한 조건을 사용하면서도, “단일 배치 쌍”에 대한 거리 상한을 얻는 전략을 채택한다. 핵심 아이디어는 무작위 그래프가 고밀도일 때, 거의 모든 정점 쌍이 짧은 경로로 연결되므로, 친구‑그리고‑낯선 사람 그래프에서도 충분히 많은 “친절 교환” 후보가 존재한다는 점이다.

논문은 또한 기존 연구와의 관계를 명확히 한다. Kornhauser‑Miller‑Spirakis의 슬라이딩 퍼즐 지름 결과를 일반 그래프에 확대하고, Jeong의 이전 상한 2n²−5n+3을 개선해 ⌊n²/2⌋ 로 정확히 맞춘다. 토큰 스와핑 문제와의 연결성을 통해 FS(Kₙ,Y)의 지름이 O(n²) 로 제한됨을 재확인한다. 마지막으로, 연결성 ⇒ 다항식 지름이라는 전반적인 추측을 제시하고, 아직 해결되지 않은 영역(예: 최소 차수 조건이 약한 경우)의 연구 방향을 제시한다.