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