The Olympic games have gone smoothly, events going as expected, no clashes nor confusion. Which algorithm did/are they using for scheduling?