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