Satisfiable
释义 Definition
可满足的；可使满意的。
常见于逻辑与计算机科学中，指一个公式/约束/条件存在某种赋值或解，使其为真或被满足（如“可满足性问题 SAT”）。
发音 Pronunciation
/ˌsætɪsˈfaɪəbəl/
例句 Examples
The customer’s request is satisfiable.
顾客的要求是可以满足的。
A Boolean formula is satisfiable if there exists an assignment of truth values that makes it true.
如果存在一种真值赋值能使某个布尔公式为真，那么这个公式就是可满足的。
词源 Etymology
来自 satisfy（满足，使满意）+ -able（可……的）。satisfy 源于拉丁语 satisfacere（“做得足够/满足”），由 satis（足够）+ facere（做）构成，因此 satisfiable 字面意思就是“能够被满足的”。
相关词 Related Words
文学与著作中的用例 Literary Works
- Michael Sipser, Introduction to the Theory of Computation（讨论可满足性与复杂性理论，如 SAT/NP 完全性）
- Garey & Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness（大量使用 “satisfiable/unsatisfiable”）
- Stephen Cook, “The Complexity of Theorem-Proving Procedures” (1971)（经典论文，涉及可满足性与 NP 完全性）
- Armin Biere et al. (eds.), Handbook of Satisfiability（专门论述“可满足性”的权威合集）
Select Language