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