正則二分圖 K 染色
阿新 • • 發佈:2020-09-07
啊,正則二分圖能 k 染色就不證了吧
學過好多遍,但是學一次忘一次 T^T
所以還是水成 blog 吧……
這玩意可以做一般二分圖,因為我們可以隨手補成正則二分圖。
所以,對於一般二分圖,最小染色是最大點度數。我們基於這一點魔改匈牙利。
由於每一條邊都要丟進匹配內,為了調整答案的方便,類似匈牙利每次加入一個點,我們每次加入一條邊。
同時,也使用交錯路增廣。
考慮在兩個點之間加一條邊,度數增加了 \(1\),那麼我們分別取值為 \(\textrm{mex}\),記為 \(L, R\),來染色。
那麼我們就要找一條 \(L, R, L, R, \dots\) 的交錯路。
我們要說明這是可以終止的。顯然不會出現環,不然與 \(\textrm{mex}\)
這樣不斷加入邊,就可以一直維護染色的性質。
每次訪問 \(O(n)\) 個點,複雜度 \(O(nm)\)。
void dfs(int l, int r, int x, int y, int cx, int cy) { col[l][x][cx] = y; if (int v = col[r][y][cx]) col[l][v][cx] = 0, dfs(r, l, y, v, cy, cx); col[r][y][cx] = x; } void adde(int x, int y) { int ca, cb; for (ca = 1; col[0][x][ca]; ++ca) ; for (cb = 1; col[1][y][cb]; ++cb) ; dfs(0, 1, x, y, ca, cb); }