maxの不等号は不等号のand
$ \max(x, y) < a \iff (x < a) \wedge (y < a)
最大値に対する不等号制約は複数の小さな制約のandに変換できる
特に最大化を二分探索で、最小値の最大化の文脈で使う
maxの不等号は不等号のand
問題変換