Start by drawing upper constraints on the board


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)