Dynamic optimality conjecture