Preface 說實話2-SAT的題目我都沒怎么做過，所以這里講的都是些超入門什么的 還有一些板子題，由於是暑假的時候學的所以有些我也記不清了 主要學習參考自：Manchery的課件&&dalao's blog&&Another dalao What ...

\(2-SAT\) 定義：給出\(n\)個\(0/1\)選擇，其中部分\(0/1\)選擇會有沖突，求一組可行的選擇 為方便敘述，我們把第\(i\)個\(0/1\)選擇表示為\(a_{i,0},a_{i,1}​\) 思路： 首先觀察性質，\(a_{x,t},a_{x ...

記錄一些做過的 2-sat 題目 P4171 [JSOI2010]滿漢全席 洛谷 P4171，bzoj 1823 很裸的 2-sat 題意：\(n\) 種食材，每種可以按照滿式或漢式來烹飪，有 \(m\) 個要求，每個要求所有做出的菜品中，必須有指定的兩個 滿式/漢式 烹飪的第 \(x ...

【2-SAT問題】現有一個由N個布爾值組成的序列A，給出一些限制關系，比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要確定A[0..N-1]的值，使得其滿足所有限制關系。這個稱為SAT問題，特別的，若每種限制關系中最多只對兩個元素進行限制，則稱為2-SAT問題 ...

2-SAT 問題 引入 有 \(n\) 個布爾變量 \(x_1 \sim x_n\) 另有 \(m\) 個需要滿足的條件 每個條件的形式都是 \(「x_i 為 true / false 或 x_j 為 true / false」\) 比如 \(「x_1 為真或 x_3 為假 ...

2-SAT問題，其實是一個邏輯互斥問題。做了兩道裸題之后仔細想來，和小時候做過的“有兩個女生，如果A是女生，那么B一定不是女生。A和C性別相同，求A、B、C三人的性別。”幾乎是一樣的。對於這道題我們來分析一下。“如果A是女生，那么B一定不是女生”——A和B性別相反，假設“A為女生”為true ...

2-SAT問題總結 2-SAT問題：n個布爾型的變量，給出m個約束條件，約束條件例如：A，B不能同時為真，A，B必須同時為真等。 看了算法入門經典中的解決辦法，關於這種解決辦法比較容易理解，並且效率也不錯。構造一張有向圖G，其中n個變量拆成n*2個變量，也就是xi ...

　　這兩天學習了一下2-SAT，主要參考了以下兩個資料： 　　　　　《由對稱性解2-SAT問題》 　　　　　《2-SAT解法淺析》 　　另外還有這個博客我覺得講得挺白話的。 建圖： 　　2-SAT問題遠沒有網絡流那樣復雜，只要抓住關系建好圖基本就直接可以解了，在這類問題中建邊的規則 ...