Bélády’s algorithm