In Figure 3, rules #5,#4 are monotone, while both are covered by the current span in S. Since the stack always contains one span, this algorithm runs in O(1).
only a limited number of comparisons is used to update S and compute orientation.