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: (0, -5) 1: (-5, -10) 2: (13, -9) 3: (-16, 9) 4: (-8, -4) 5: (-3, 12) 6: (-3, -6) 7: (-10, -9) 8: (-8, 2) 9: (-5, -11) 10: (8, 2) 11: (-11, 13)…
The task
You are given 16 distinct lattice points, indexed 0..15: 0: (0, -5) 1: (-5, -10) 2: (13, -9) 3: (-16, 9) 4: (-8, -4) 5: (-3, 12) 6: (-3, -6) 7: (-10, -9) 8: (-8, 2) 9: (-5, -11) 10: (8, 2) 11: (-11, 13) 12: (1, -7) 13: (-12, -1) 14: (4, 9) 15: (7, -7)