2-SAT¶. Tags. tag_2sat; tag_template. TOC. 2-SAT. 程式碼; 原理; 模板驗證 ... 原理¶. 2-SAT 是用來找出使邏輯式子. (x1∨x2)∧(¬x2∨x3)∧⋯∧(xi∨xj).
確定! 回上一頁