布林可滿足性問題維基百科,自由的 encyclopedia 可滿足性(英語:Satisfiability)是用來解決給定的真值方程式,是否存在一組變數賦值,使問題為可滿足。布林可滿足性問題(Boolean satisfiability problem;SAT )屬於決定性問題,也是第一個被證明屬於NP完全的問題。此問題在電腦科學上許多的領域皆相當重要,包括電腦科學基礎理論、演算法、人工智能、硬件設計等等。
可滿足性(英語:Satisfiability)是用來解決給定的真值方程式,是否存在一組變數賦值,使問題為可滿足。布林可滿足性問題(Boolean satisfiability problem;SAT )屬於決定性問題,也是第一個被證明屬於NP完全的問題。此問題在電腦科學上許多的領域皆相當重要,包括電腦科學基礎理論、演算法、人工智能、硬件設計等等。