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