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