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