Skip to content
Snippets Groups Projects
Commit bfe96d05 authored by Martin Mareš's avatar Martin Mareš
Browse files

Cache: Fixed formulation of Sleator-Tarjan theorem

parent 2377ba23
Branches
No related tags found
No related merge requests found
......@@ -378,7 +378,7 @@ competitive ratio can be bounded nicely. Let us denote LRU's cache size $\Clru$
and similarly $\Copt$ for the optimal strategy.
\theorem{For every $\Clru > \Copt \ge 1$ and every request sequence, we have:
$$\Tlru \le {\Copt \over \Copt - \Clru} \cdot \Topt + \Copt.$$
$$\Tlru \le {\Clru \over \Clru - \Copt} \cdot \Topt + \Copt.$$
}
\proof
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment