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