Real Time Generation of MIN Distance Strings

A simple proof is presented for an old result: the stack distance string for the optimal paging algorithm, MIN, can be generated in real time at the same overhead as any general stack algorithm.