미방문 간선을 우선하는 무작위 보행 고환선 짝수 차수 확장 그래프의 선형 시간 탐색

초록

본 논문은 현재 정점에 남아 있는 미방문 간선이 있으면 그 간선을 우선적으로 이용하고, 없을 경우 일반적인 무작위 보행을 수행하는 “엣지‑프로세스”를 정의한다. 짝수 차수이며 최대 차수가 제한된 고환선(expander) 그래프에서, 각 정점이 길이 L 이상의 정점 유도 사이클에 포함된 경우, 어떠한 선택 규칙 A(심지어 적대적 선택)에도 불구하고 커버 타임은 n + (n log n)/L 으로 상한이 잡힌다. 특히 r‑정규( r≥4, 짝수) 무작위 그래프는 L=Ω(log n) 이므로, 커버 타임이 Θ(n) 으로 감소한다는 결과를 얻는다.

상세 분석

이 논문은 기존의 단순 무작위 보행(Random Walk)과는 달리, 아직 방문하지 않은 간선이 존재하면 그 간선을 반드시 사용하도록 강제하는 엣지‑프로세스를 제안한다. 이 과정은 두 단계로 구성된다. 첫 번째 단계는 “미방문 간선 우선 단계”로, 현재 정점에 인접한 미방문 간선이 하나라도 있으면 규칙 A에 따라 하나를 선택한다. 여기서 A는 임의 선택, 정점별 고정 선택, 혹은 적대적 온라인 선택 등 어떠한 형태도 허용한다. 두 번째 단계는 “무작위 단계”로, 현재 정점에 남은 미방문 간선이 없을 때는 전통적인 단순 무작위 보행을 수행한다. 이러한 혼합 과정은 그래프의 구조적 특성, 특히 짝수 차수와 고환선(expander) 성질에 크게 의존한다.

논문은 먼저 그래프 G가 짝수 차수를 갖고, 최대 차수가 상수 Δ 로 제한된 경우를 가정한다. 이때 모든 정점이 길이 L ≥ 1 인 정점 유도 사이클에 포함된다는 고환선(girth) 조건을 추가한다. 이러한 조건은 각 정점이 충분히 많은 “새로운” 경로를 제공함을 보장한다. 특히, 고환선이 크면 클수록 미방문 간선을 따라 이동할 때 사이클을 빠르게 벗어나 새로운 영역을 탐색하게 되므로, 전체 커버 타임이 크게 감소한다.

핵심 정리는 “커버 타임 ≤ n + (n log n)/L” 이다. 여기서 첫 번째 항 n 은 모든 정점을 최소 한 번 방문하는 데 필요한 기본 시간이며, 두 번째 항은 미방문 간선이 고갈될 때까지 발생하는 추가 탐색 비용을 나타낸다. L 이 Ω(log n) 인 경우, 두 번째 항은 O(n) 수준으로 축소되어 전체 커버 타임이 Θ(n) 으로 최적에 근접한다. 이는 전통적인 가중치 무작위 보행이 Ω(n log n) 의 하한을 갖는 것에 비해 로그 팩터만큼 개선된 결과이다.

또한, 규칙 A에 대한 강인성도 중요한 기여점이다. 기존 연구에서는 보통 무작위 선택이나 특정 탐욕적 전략을 전제로 분석했지만, 이 논문은 A가 적대적 온라인 알고리즘일 경우에도 동일한 상한을 유지함을 증명한다. 이는 엣지‑프로세스가 선택 규칙에 크게 의존하지 않으며, 그래프 자체의 구조적 특성만으로도 효율적인 커버가 가능함을 의미한다.

기술적 증명은 크게 두 부분으로 나뉜다. 첫 번째는 “미방문 간선 우선 단계” 동안 발생하는 “탐색 파동”을 분석하여, 각 파동이 평균적으로 O(L) 단계 내에 새로운 정점 집합을 확장한다는 것을 보인다. 두 번째는 “무작위 단계”가 시작될 때의 상태를 마코프 체인으로 모델링하고, 고환선 그래프의 스펙트럼 갭(λ) 을 이용해 혼합 시간(mixing time)을 O(log n) 으로 제한한다. 이 두 단계의 결합을 통해 전체 커버 타임이 위의 식으로 상한됨을 보인다.

마지막으로, r‑정규 무작위 그래프에 대한 적용 사례를 제시한다. r≥4 이면서 짝수인 경우, 이러한 그래프는 거의 확실히 고환선이 Ω(log n) 인 확장 그래프가 된다. 따라서, 이들 그래프에 엣지‑프로세스를 적용하면, 전통적인 무작위 보행 대비 로그 팩터만큼 빠른 커버 타임을 달성한다는 실험적·이론적 결과를 제공한다.