可满足性：在逻辑与计算机科学中，指一个命题公式/约束条件是否存在某种赋值或解使其为真（或使所有约束同时成立）。常见于 SAT（布尔可满足性问题） 与约束求解领域。（在日常英语中较少用；另有更一般的“可被满足的程度/性质”之意。）
/ˌsætɪsˌfaɪ.əˈbɪl.ə.ti/
The satisfiability of this formula can be checked by a SAT solver.
这个公式的可满足性可以用 SAT 求解器来检查。
Researchers studied the satisfiability of large constraint systems to understand why some problems are easy while others are computationally hard.
研究者分析大型约束系统的可满足性，以理解为什么有些问题容易而另一些在计算上很难。
由 satisfy（满足）+ -ability（……的能力/性质）构成，字面意思是“能够被满足的性质”。在逻辑与计算领域中，这个词被专门化为“公式/约束是否存在使其成立的解”的概念。
Select Language