discrete_convexity