“…Calendar queues [Brown, 1988] have higher overhead, but this becomes negligible for large problems and they are well suited to the monotonically-increasing priorities exhibited by Priority-Flood. Calendar queues may be improved through delayed sorting [Rönngren et al, 1991;Steinman, 1994Steinman, , 1996Rönngren and Ayani, 1997], choosing or adaptively determining appropriately sized bins Ahn, 1997, 1999;Tan and Thng, 2000;Hui and Thng, 2002;Siangsukone et al, 2003;Tang et al, 2005], reducing resize operations Thng, 2003, 2004], or leveraging statistical properties of the priority of newlyinserted elements [Yan and Eidenbenz, 2006]. However, with the efficiency of the calendar queue comes subtleties in programming and determining algorithmic correctness.…”