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