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