原创 2-SAT
2-SAT問題就是類似於給出一個合取的布爾表達式，每個字句中有且只有兩個變量（p、q），且每個字句代表一條限制條件，問是否存在一種解釋使該式子是有效的。 解決方法： ①抽象出2-SAT模型，以及限
2019-01-10 20:54:24
原创 有向圖強聯通分量SCC & 縮點
直接上模板把，有些地方還是不好理解啊。 #include <cstdio> #include <cmath> #include <cstring> #include <cstdlib> #include <iostream> #
2019-01-03 23:04:00
原创 POJ 2230 手寫棧求歐拉回路（有向圖/無向圖）
題意：無向圖求一條敲好經過所有邊正反兩次的迴路。 分析：無向圖求歐拉回路時走過一條邊後要把兩點之間的兩條方向相反的邊均標記，這題可以看做一張有向圖中求歐拉回路，所以每次只標記一條邊就可以了。 AC代碼：（注意手寫棧的數據範圍） #inc
2019-01-02 20:41:11
2
原创 POJ 3694 “縮點”/求割邊+樸素求LCA+並查集路徑壓縮
題意： 給一張無向圖，q次操作，每次在指定兩點之間添加一條路徑，問添加上這條路徑之後圖中有多少條割邊。 思路： 首先我們知道，v-dcc縮點後圖（就是一棵樹）中的各點之間通過割邊連接，且包含原圖中所有割邊，當我們在原圖中
2019-01-02 20:41:11
原创 codeforces Good Bye 2018 C. New Year and the Sphere Transmission（數學 ，貝祖定理/羣論）
C. New Year and the Sphere Transmission time limit per test 1 second memory limit per test 256 megabytes input standard
2019-01-01 18:49:28
3
原创 點雙聯通分量（V-DCC）的求法 & 縮點
用一個stack來維護，求割點的同時求點雙聯通分量就可以，這裏要區別求邊雙聯通分量時只需要在原圖中去掉所有割邊即可。另外因爲一個割點可以同時屬於多個不同的點雙聯通分量（普通點只屬於一個），所以這裏採用記錄聯通塊中所包含的點的方法來記錄每個
2019-01-01 18:49:28
原创 邊雙聯通分量（e-DCC）的求法 & 縮點
思路：求出給出的無向圖中所有的橋，從原圖中刪去橋，得到到的所有聯通塊均爲邊雙聯通分量。 所以有兩個步驟： ①tarjan求出所有割邊並標記 ②dfs劃分聯通塊 #include <cstdio> #include <cmath> #
2018-12-31 13:53:21
原创 （模板）割點判定
定理： ①x不是搜索樹上的根節點（dfs起點）時，x是割點當且僅當搜索樹上存在x的一個子節點y，滿足dfn【x】<=low【y】。 #include <cstdio> #include <cmath> #include <cstring
2018-12-30 22:33:07
原创 割邊判定（模板）
無向邊（x，y）是橋，當且僅當搜索樹上存在x的一個子節點y，滿足：dfn【x】<low【y】。 low【x】數組稱作回溯值：指x的子樹中的節點中或者這些子節點+x父節點（非樹邊連接）中時間戳值最小的點， #include <cstdio
2018-12-30 22:33:07
原创 小感想
呃，這次離散考試好像翻車了，感覺平時學的挺好考試過程中也沒覺的有太大問題，但是一對答案就蒙了，總結一下主要問題有以下幾個方面：①對於期末考試而言，老師給的複習大綱真的很重要，有好多平時上課沒講過但最後的大綱上出現的知
2018-12-29 23:35:40
原创 12.24
最近去OJ上做了幾道題，以例題爲主。其次今晚看了下tarjan的割邊的判定的小知識，其中時間戳、搜索樹就不說了，在這裏引入了一個新的量，“追溯值”low【x】，某些點中時間戳的最小值。最後判定定理感覺自己沒有完全理解。明天
2018-12-25 21:49:38