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

【2-SAT問題】現有一個由N個布爾值組成的序列A，給出一些限制關系，比如A[x] AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要確定A[0..N-1]的值，使得其滿足所有限 ...

省選前把板子整理一遍，如果發現有腦抽寫錯的情況，歡迎各位神犇打臉 :) 數學知識 數論： //組合數 //C(n,m) 在n個數中選m個的方案數 ll C[N][N]; ...

傳送門 什么是2-SAT問題呢？ 我們先說一下SAT問題。給定一個布爾方程，判斷是否存在一組布爾變量的取值方案，使得整個方程式的值為真，這種問題被稱為布爾方程的可滿足性問題（SAT）。SAT問題被 ...

Bit Magic Time Limit: 8 Seconds Memory Limit: 32768 KB Yesterday, my teacher taug ...

題目傳送門：AtCoder Grand Contest 016。 目錄 A - Shrinking B - Colorful Hats C - +/- Rectang ...

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

【BZOJ4945】[Noi2017]游戲 題目描述 題解：2-SAT學藝不精啊！ 這題一打眼看上去是個3-SAT？哎？3-SAT不是NPC嗎？哎？這題x怎么只有8個？暴力走起！ 因為x要么不 ...