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