Pattern: Optimization problem to find the smallest/longest X that respect condition Y