construct/rlve largest rectangle
construct/rlve largest rectangle: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 16 distinct lattice points, indexed 0..15: 0: (-5, -15) 1: (3, 12) 2: (-14, 10) 3: (-11, -10) 4: (13, 16) 5: (-15, -11) 6: (-16, -2) 7: (-5, -10) 8: (4, -3) 9: (-9, -11) 10: (3, -3) 11…
The task
You are given 16 distinct lattice points, indexed 0..15: 0: (-5, -15) 1: (3, 12) 2: (-14, 10) 3: (-11, -10) 4: (13, 16) 5: (-15, -11) 6: (-16, -2) 7: (-5, -10) 8: (4, -3) 9: (-9, -11) 10: (3, -3) 11: (5, -8) 12: (4, -10) 13: (7, -4) 14: (-1, -4) 15: (0, -9)