Amortized analysis
$$a_i = c_i + \Phi(s_i) - \Phi(s_{i-1})$$
Splay tree는 비교적 간단한 동작 방식을 가지고 있다. 단순히 접근한 노드를 splay할 뿐인데 어떻게 각 쿼리가 (쿼리의 개수가 충분히 많을 때) $amortized \space O(\log n)$
의 시간복잡도를 가질 수 있는 것일까? Potential method를 사용해 분할상환분석을 해보자.
$$a_i = c_i + \Phi(s_i) - \Phi(s_{i-1})$$
Splay tree는 비교적 간단한 동작 방식을 가지고 있다. 단순히 접근한 노드를 splay할 뿐인데 어떻게 각 쿼리가 (쿼리의 개수가 충분히 많을 때) $amortized \space O(\log n)$
의 시간복잡도를 가질 수 있는 것일까? Potential method를 사용해 분할상환분석을 해보자.