dp + convex hulls
semi-domination