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