たとえば、整数の(任意の)関数としての式がありますn
f[n_]:=10^n*(n^2+4*n)
別の数のn
ような最大の整数を見つけたい。f[n]<=m
m
これを整数計画/最適化問題として定式化することができます。しかし、それは物事を複雑にします。また、1から始めて、制約に違反していないかどうかをテストし続けることもできます。これを行うためのより効率的またはエレガントな方法はありますか?Infinity
また、制約によっての値が許可される場合があることに注意してくださいn
。理想的には、この状況を検出したいと思います。