當時學圖論的時候，這一塊學的就不怎麼紮實，後來打比賽也沒沒用過，所以就一直也沒再管過，，現在再看，就成新知識了，，
不過這次的題都是些模板題，比較簡單，基本改改圖，輸入輸出就完了，
基本，二分圖，就是將問題轉化成最短路的問題，給出兩點之間的相對大小，判斷是否矛盾或者如何選擇。
就是要把問題轉化成圖，分析成兩點之間的關係 ，變成a-b<=c的樣子，a-b==c，就是a-b<=c&&(a-b>=c =》b-a<=-c)
變成統一的<=的關係，然後將<=的關係都變成對應邊，c為邊權，這就是極限可取長度，可以求1-n點的最遠距離，可以用最長路做，邊權變成負的，就可以用最短路做了，**比較固定，就是建圖+spfa，就是需要自行轉化成點的不等關係。
2-sat 最經典的就是夫妻參加聚會問題，匹配**也固定，解決的問題就是分兩組，狀態只有0，1，狀態0做乙個點，狀態1做乙個點。選了狀態0的點，就不能選狀態0對應的狀態1的點，然後就是加入矛盾關係a0與b0不能同時選，那麼a0與b1，b0與a1一定一起選。進行匹配就完了。。，
這兩個型別就是挺固定，只要靠上題型，**就很簡單了，，，感覺跟網路流很像。就是套，套題型，套模板，就看想不想的到。。（比賽真的是比較少見這樣的題。。
2019北京集訓3 邏輯 樹剖 2 sat
題目大意 有一顆有 m 個葉子節點的二叉樹。對於葉子節點 i x i a i xor v or b i xor v 對於非葉子節點 i x i x sonl and x sonr 上文的 or 和 xor 均為邏輯運算子。且v為乙個長度為 n 的布林陣列，需要你自己構造。下面問 對於每個非葉子節點 ...
調整衛星（2 SAT 二分答案）
問題描述 某國上空有 n 顆衛星。每顆衛星有一次調整的機會 必須調整一次 方式是衛星可以向 y 軸正方向移動或 y 軸負方向移動指定長度。現在請你給每個衛星發出指令，讓衛星向正方向移動或是負方向移動，使得最後衛星分布中最近的兩顆衛星的距離最遠。請輸出最近兩顆衛星距離的平方。輸入格式 輸入第一行為乙個...
COJ 1253 二分 2 sat判定
x城的精神病院只有兩個病房，一共關著n 名病人，編號分別為1 n。病人之間的關係有時極不和諧。很多病人之間甚至積怨已久，如果客觀條件具備則隨時可能爆發衝突。我們用 不和諧值 乙個正整數值 來表示某兩名病人之間的仇恨程度，不和諧值越大，則這兩名病人之間的積怨越多。如果兩名不和諧值為c 的病人被關在同一...