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