unsatisfiable ['ʌn'sætisfaiəbl]

unsatisfiable的基本解释

adj.

未可满足的, 未能偿还的

与unsatisfiable相关的网络例句 [注：此内容来源于网络，仅供参考]

For the subclasses MAX and MARG of minimal unsatisfiable formula s, we show that the variable and literal renaming problems are equivalent to the graph isomorphism problem GI.

对于极小不可满足公式的子类MAX和MARG，我们证明了：其变元改名和文字改名的复杂性等价于图同构问题GI。

Both MAX(1) and MARG(1) are subclasses of the minimal unsatisfiable formulas, and formulas in these subclasses can be represented by trees.

MAX(1)和MARG(1)是极小不可满足公式的两个子类，这两个子类中的公式可以用树表示。

In this latter case, we would say that the function is unsatisfiable; otherwise it is satisfiable.

在这后一种情况下，我们可以说，是不可满足的功能，否则它是满足的。

We proved that in the case where each constraint is easy to satisfy, Model GB exhibits non-trivial behavior (not trivially satisfiable or unsatisfiable).

本文证明了当模型 GB 的约束容易满足时，该模型表现出非平凡的渐进行为（既不是平凡有解的也不是平凡无解的）。

An unsatisfiable subformula can provide a succinct explanation of infeasibility, and help application automatic tools to rapidly locate the errors, and to determine the underlying reasons for the failure.

不可满足子式能够为布尔公式不可满足的原因提供精确的解释，帮助应用领域的自动化工具迅速定位错误，诊断问题失败的本质缘由。

与unsatisfiable相关的网络解释 [注：此内容来源于网络，仅供参考]

unsatisfiable：不可满足的

不一致的 inconsistent 5 | 不可满足的 unsatisfiable 34 | 分离定律 detachment 6