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: (4, 4) 1: (10, 11) 2: (7, 7) 3: (1, 5) 4: (5, 8) 5: (7, 0) 6: (10, 1) 7: (0, 2) 8: (2, 6) 9: (5, 6) 10: (6, 0)…
The task
You are given 13 points in the plane, indexed 0..12 (distinct, no three collinear): 0: (4, 4) 1: (10, 11) 2: (7, 7) 3: (1, 5) 4: (5, 8) 5: (7, 0) 6: (10, 1) 7: (0, 2) 8: (2, 6) 9: (5, 6) 10: (6, 0) 11: (12, 5) 12: (1, 9)