照例只是有對lnc的話的復讀&&對kx的話的復讀
有關於組合數奇加偶減的乙個結論
$$\sum\limits_^n (-1)^i c_n^i == [n==0]$$
可以通過$c_n^m == c_^m + c_^$楊輝三角上直接看出來
也可以說成」乙個非空集合大小為奇數的子集個數=大小為偶數的子集個數「
這個命題可以由拆分乙個奇集合同時產生一對奇偶性不同的子集證明
所以當$n>0$
$$\sum\limits_^n (-1)^i \frac == 0$$
$$\sum\limits_^n (-1)^i \frac == 0$$
再來考慮這個東西奇加偶減的值:
$$\sum\limits_^b (-1)^i c_i^a * c_b^i$$
$a==b$時,顯然等於(正負?這不重要)1,$a
$$=\sum\limits_^b \frac*\frac$$
$$=\sum\limits_^b \frac$$
$$=\sum\limits_^ \frac * \frac$$
$$=0$$
發現這個從a開始的東西和從0開始具有相同的性質,
只不過乘上了乙個係數$c_i^a$
這個東西很妙,拓展了(我運用)奇加偶減的能力範圍
於是可以出現更加美妙的反演
一般形式大概是要求乙個陣列$f$
但是只能求出$g[m]=\sum\limits_^n c_i^m f[i]$(此為至少為m,還有至多為m)
前輩數學家們希望得到乙個滿足$f[m]=\sum\limits_^n k(m,i)*g[m]$形式的$k$來快速求出$f$
(我當時的疑問是,難道$k$不是只要取到$(-1)^$就可以了嗎?
沒有注意到,之前運用奇加偶減解決的問題全部只要求出$f[0]$,而有時候需要更普遍的做法。
)所以前輩數學家們把g代入
$$f[m]=\sum\limits_^n k(m,i) \sum\limits_^n c_j^i f[j]$$
$$f[m]=\sum\limits_^n f[j] * \sum\limits_^j k(m,i)*c_j^i$$
所以前輩們希望$$\sum\limits_^j k(m,i)*c_j^i == [j==m]$$
於是前輩們用高斯消元把k矩陣求出來了,找到了規律
$k(m,i)==(-1)^*c_i^m$
據說這是尋找容斥係數的一般過程,一些經典和常用的係數就成為了反演
當然根據一開始的推理,我們不用把表打出來也可以知道這個係數的正確性了。
二項式反演
先從反演原理出發,假如存在兩個數列 f,g 我們知道 f n sum limits n a times g i 則 g n sum limits n b times f i 恆成立,那麼我們由 f 推出 g 的過程叫做反演。下面我們來 一下上面兩個式子恆成立的條件,將左邊帶入右邊,那麼有 begin...
二項式反演
形式與多步容斥相似,公式與多步容斥類似,多步容斥公式為 a 1 cup a 2 cup.cup a n sum limits a i sum limits n 1 ig i g n sum limits n 1 if i 顯然這兩個公式是等價,也是相互推導的關係,因此我們得到了二項式反演的形式1 形...
Kings Colors 二項式反演
題目鏈結 題目大意 給定乙個n個節點的樹,給它染色並且使得相鄰節點異色。問恰好用k種顏色的染色方案數 恰好k種不是很好求,因為我們很難保證每種顏色都用到,於是我們先考慮求最多k種顏色。那麼就讓每個點和它的父親節點異色就可以了。也就是k k 1 n 1k k 1 k k 1 n 1 那麼我們令f i ...