construct/rlve largest convex polygon
construct/rlve largest convex polygon: a task in MathConstructOptimize-Envs-harbor (Harbor dataset). You are given 18 points in the plane, indexed 0..17 (distinct, no three collinear): 0: (15, 12) 1: (8, 7) 2: (9, 12) 3: (12, 13) 4: (18, 13) 5: (15, 1) 6: (4, 15) 7: (13, 3) 8: (5, 10) 9: (2, 5)…
The task
You are given 18 points in the plane, indexed 0..17 (distinct, no three collinear): 0: (15, 12) 1: (8, 7) 2: (9, 12) 3: (12, 13) 4: (18, 13) 5: (15, 1) 6: (4, 15) 7: (13, 3) 8: (5, 10) 9: (2, 5) 10: (13, 6) 11: (18, 2) 12: (2, 2) 13: (8, 6) 14: (16, 8) 15: (16, 14) 16: (6, 3) 17: (7, 14)