정규 방향 그래프에서 균등 분포가 정지 분포가 되는 조건과 그래프 속성 테스트

초록

본 논문은 정규(모든 정점의 총 차수가 동일한) 방향 그래프에서, 무작위 워크의 마코프 체인에 대해 균등 분포가 정지 분포가 되기 위한 정확한 필요충분 조건을 제시한다. 그 조건은 “모든 간선 (u,v) 에 대해 out‑degree(u)=in‑degree(v)”이며, 이는 전역적인 정지 분포 특성이 국부적인 차수 관계에 의해 완전히 결정된다는 뜻이다. 이를 바탕으로 저자들은 방향 모델에서 그래프가 Eulerian인지 여부를 테스트함으로써, 주어진 그래프가 균등 정지 분포를 갖는지 여부를 서브선형 쿼리 복잡도로 판별하는 알고리즘을 설계한다.

상세 분석

논문은 먼저 무작위 워크가 정의된 방향 그래프 (\vec G=(V,\vec E)) 에 대해 전이 확률 (p_{u,v}=1/d^+(u)) (여기서 (d^+(u))는 정점 u의 out‑degree) 를 사용한다. 균등 분포 (\pi(v)=1/|V|) 가 정지 분포가 되려면 모든 정점 v에 대해 (\sum_{u:(u,v)\in\vec E}p_{u,v}=1) 와 (\sum_{w:(v,w)\in\vec E}p_{v,w}=1) 가 동시에 만족해야 한다. 첫 번째 식은 들어오는 모든 간선의 전이 확률 합이 1임을 의미하고, 두 번째 식은 나가는 모든 간선의 전이 확률 합이 1임을 의미한다. 이 두 식을 (p_{u,v}=1/d^+(u)) 로 치환하면
\