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