Terminologies

TLC: top lower constraints stabbed by test line

BUC: bottom upper constraints stabbed by test line

TLC' and BUC' are their derivatives

Colored lines

upper constraints

lower constraints

test line

BUC

TLC

constraint to discard

Colored points

intersection of arbitrary pairs

pair with one constraint to discard

optimal point(if found)