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