- ,其中 ,然後推式子
遞歸即可,預處理 的組合數 code
- 轉換一下題意發現求 模 意義下爲 0 的下標個數
令 ,那麼即求
注意到前面一坨有 個根,是 ,我們知道 也有 個同樣的根,並且次數相同,所以用 替換原式
那麼 ,考慮有多少個非零項,對於 有會有一項,由 定理, 的每一位大於 ,方案數即
若 ,那麼我們用上述方法算
否則係數不重疊,分治 算出 的非零項即可 code
-
構造,我們將每個點拆成多個點滿足每個點的度數 ,然後強制這 條邊顏色不同,這樣每個點的不和諧度只會爲 1,下面我們證明對於一個最大度數爲 的二分圖,用 種顏色染邊可以使一個點的所有出邊顏色不同
-
對於 成立
假設對於 成立,我們希望對新圖中度數爲 的點找到一個完美匹配,然後將完美匹配的邊設成一種顏色,刪去這些邊就可以轉換爲子問題
我們可以加一些虛點,將度數不足 的點補足 ,首先證明有完美匹配,
若沒有,由 定理, 存在 滿足 ,而在 和 之間有 條邊,而 最多連出去 條邊,所以不符
由於度數爲 的一定不會匹配虛點,我們將虛點即虛點的邊刪掉,將完美匹配的邊去掉即得證 -
基於此,我們可以增量構造每條邊的顏色,令 爲 可以填的最小顏色, 爲 可以填的最小顏色, 若 則染色,否則假設 ,我們讓這條邊爲 ,讓 原本 的邊爲 …,容易發現這個過程是沒有環的,所以就構造完了,複雜度 code