FindInstance

新関数FindInstanceは，方程式および不等式に異なる解を最高で要求された数だけ与えます．しかし，完全解が必要ではない問題では，すべての解集合を求めようとするよりも，解の事例を見付けるほうがずっと早い場合もあります．FindInstanceはReduceで完全に解ける問題すべてに使うことができます．また，Reduceでは解けない問題で解の事例が求められることもあります．

例：FindInstanceを使った解の計算時間を比較する

FindInstanceを使って解を求めるのにかかった時間とReduceを使った場合とを比較するために，以下の連立不等式を使います．

棒グラフは，FindInstanceおよびReduceで，1つから4つの実数解を見付けるのにかかった時間の比を示しています．1つの解を見付ける場合は，FindInstanceの方が格段に速いのですが，複数の解を見付けるときは，この例ではReduceを使って一般解を得る方が速くなっています．

「組込み関数」からのドキュメント FindInstance Reduce