[논문 리뷰] Deterministic approximation for the cover time of trees

Uriel Feige, Ofer Zeitouni|ArXiv.org|2009. 09. 10.

Markov Chains and Monte Carlo Methods참고 문헌 11인용 수 6

한 줄 요약

이 논문은 나무에서 단순 랜덤 워크의 커버 시간과 복귀 시간을 다항 시간 내에서 $1\pm\epsilon$의 곱 오차로 근사하는 결정론적 다항시간 알고리즘을 제시한다. 전기 회로 이론과 이진 표현을 통한 나무에서의 도달 확률의 재귀 계산을 활용하여, $n/\epsilon$에 대해 다항 시간인 런타임을 달성함으로써 나무에 대해 개방된 문제를 해결한다.

ABSTRACT

We present a deterministic algorithm that given a tree T with n vertices, a starting vertex v and a slackness parameter epsilon > 0, estimates within an additive error of epsilon the cover and return time, namely, the expected time it takes a simple random walk that starts at v to visit all vertices of T and return to v. The running time of our algorithm is polynomial in n/epsilon, and hence remains polynomial in n also for epsilon = 1/n^{O(1)}. We also show how the algorithm can be extended to estimate the expected cover (without return) time on trees.

연구 동기 및 목표

• 나무에서의 랜덤 워크에 대한 커버 시간과 복귀 시간을 근사하는 결정론적 다항시간 알고리즘을 개발하기 위해.
• 일반적인 그래프에서 커버 시간을 효율적으로 근사하기 위해 랜덤성이 필수적인가라는 열린 문제를 해결하기 위해, 특히 나무에 대해 고려하기 위해.
• 커버 시간(복귀 없음)을 커버 및 복귀 시간과 마지막 방문 확률을 조합하여 추정하는 데에 이를 확장하기 위해.
• 역다항식 $\epsilon$, 예를 들어 $\epsilon = 1/n^{O(1)}$일 때도 알고리즘의 런타임이 다항식 유지되도록 보장하기 위해.

제안 방법

• 효율적인 동적 프로그래밍을 가능하게 하기 위해 나무를 재귀적 분해를 통해 이진 나무로 표현하기 위해.
• 전기 회로 이론의 유사성 활용: 커버 및 복귀 시간은 등效 저항과 루트에 대한 평균 방문 수에 비례한다.
• 부모 간선을 $t$번 이동하기 전에 하위 트리에 도달할 확률 $P_i(t)$를 사용하여, 루트에 대한 평균 방문 수를 재귀적 합산을 통해 계산하기 위해.
• 하위 트리에서 마지막으로 방문되는 정점일 확률을 정의하고 계산하기 위해 보조 확률 $A_i(t)$를 정의하며, 이는 $R_i(t_l,t_r;t)$의 공동 이동 확률을 포함하는 재귀 관계를 사용한다.
• 나무의 구조와 확률의 감쇠 특성에서 유도된 경계를 사용하여 이동 횟수에 대한 무한합을 잘라내기 위해.
• 커버 시간 추정을 위해 충분한 정밀도로 마지막 방문 확률 $P_{\text{last}}[u]$를 추정하기 위해, $C_v(T) = C_v^+(T) - \sum_u P_{\text{last}}[u] H[u,v]$를 통해 수행한다.

실험 결과

연구 질문

• RQ1 나무에서의 랜덤 워크에 대한 커버 및 복귀 시간을 다항 시간 내에서 $1\pm\epsilon$의 곱 오차로 근사할 수 있는 결정론적 알고리즘이 존재하는가?
• RQ2 일반적인 그래프에서 커버 시간을 근사할 때 랜덤성이 실질적인 이점을 제공하는가, 그리고 만약 그렇다면 이 이점은 나무에 대해서도 필수적인가?
• RQ3 커버 및 복귀 시간과 마지막 방문 확률을 조합하여 커버 시간(복귀 없음)을 결정론적으로 근사할 수 있는가?
• RQ4 $\epsilon$가 $n$에 대해 역다항식일 경우에도 $n/\epsilon$에 대해 다항 런타임을 달성하는 것이 가능한가?

주요 결과

• 알고리즘은 $n/\epsilon$에 대해 다항 시간 내에 커버 및 복귀 시간 $C_v^+(T)$를 $1\pm\epsilon$의 곱 오차로 근사한다.
• 런타임은 $\epsilon = 1/n^{O(1)}$일 때에도 다항식 유지되어 고정밀 근사에 효과적이다.
• 커버 시간 $C_v(T)$는 마지막으로 방문된 정점들에서의 기대 도달 시간과 커버 및 복귀 시간을 조합하여 추정되며, 유일하게 마지막으로 방문될 수 있는 정점은 잎 정점일 수 있다.
• 이 방법은 $A_i(t)$와 $P_i(t)$의 재귀적 확률 계산에 의존하며, 이는 이진 표현을 통한 나무 구조에서의 동적 프로그래밍을 통해 계산된다.
• 등효저항과 루트에 대한 평균 방문 수는 커버 및 복귀 시간을 나무의 구조와 연결하여 결정론적 계산을 가능하게 한다.
• 알고리즘은 $C_v^+(T';T) = 2(n-1)E_{T'}(1)$를 계산하여 특정 부분나무 $T'$에 대한 커버 시간을 추정하는 데로 확장 가능하며, 여기서 $E_{T'}(1)$는 $T'$에서 루트에 대한 평균 방문 수이다.