此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

FindInstance

FindInstance[expr, vars]
求出 vars 的一个实例,满足 exprTrue
FindInstance[expr, vars, dom]
求出 dom 定义域内的一个实例。其中 dom 值包括 ComplexesRealsIntegersBooleans
FindInstance[expr, vars, dom, n]
求出 n 个具体实例。
  • FindInstance[expr, {x1, x2, ...}] 给出结果的形式和 Solve 相同:其中,如果存在一个实例,则用 {{x1->val1, x2->val2, ...}} 显示结果,如果不存在,显示 {}
  • expr 可以包含方程、不等式、定义域和量词,同 Reduce 的形式相同。
  • 对于明确的符号输入,FindInstance 给出明确的结果。
  • 即使两个输入定义相同的数学集合,FindInstance 仍可以选择不同的实例返回。
  • FindInstance 返回的实例一般对应于集合里的特定点或所选择的点。
  • 在默认情况下,FindInstance[expr, vars] 认为不等式中的代数数量为实数,其它数量是复数形式。
  • RandomSeed->s 的不同设置选项可以得出不同的实例集合。
  • 若实例总数少于 n 时,FindInstance[expr, vars, dom, n] 将返回一个更短列表。
找出方程组的一个解:
In[1]:=
Click for copyable input
Out[1]=
 
找出方程和不等式组的一个实数解:
In[1]:=
Click for copyable input
Out[1]=
 
找出一个整数解:
In[1]:=
Click for copyable input
Out[1]=
 
找出满足公式的布尔变量值:
In[1]:=
Click for copyable input
Out[1]=
 
找出多个实例:
In[1]:=
Click for copyable input
Out[1]=
5 的新功能