重念一次早該補起來的「資料結構與演算法」。這篇筆記下 SAT Problems 布林可滿足性問題。
課程相關資訊
[連結]:https://hiskio.com/en/courses/572/lectures/30014
本篇範圍:Chapter 13
請注意:本系列文章為個人對應課程的消化吸收後,所整理出來的內容。換言之,並不一定會包含全部的課程內容,也有可能會添加其他資源來說明。
內容
SAT 問題: Satisfiability 問題,亦即判斷一組給定的布林函數,是否可以找到一組變數能使其為 true
基於 合取範式(CNF)