一些有用的数学结论(持续更新)

# 1.染色问题

(1).环染色问题

①公式： $f(m)=(-1{)}^m\ast (n-1)+(n-1{)}^m$

②证明：

2.矩阵

(1).邻接矩阵的幂

邻接矩阵的$i$次方后的 $a(u,v)$ 表示 $u$ 在走了$i+1$步后走到 $v$的方案总数（钛变态了）

---

证明
$c[i][j]$ $=$ $\Sigma a[i][k]\ast b[k][j](j\le i)$
而 $a[i][k]$ 表示 $i$ 到 $k$ 的方案总数，$b[k][j]$ 表示 $k$ 到 $j$ 的方案总数
所以根据乘法原理即证。

(2).矩阵幂的和

(3).矩阵乘法代替图形变换

(4).广义矩阵是否有结合律。

矩阵运算为 x, y。要求 x, y 有结合律， x 对 y 有分配律

3.代数变换(消元降次)

(1).均值不等式

(2).错位相消经典题型

①

${\sum }_{i=1}^{n}i\ast (i+1)$
$={\sum }_{i=1}^n\frac{i\ast (i+1)\ast [i+2-(i-1)]}{i+2-(i-1)}$
$={\sum }_{i=1}^n\frac{[i\ast (i+1)\ast (i+2)-(i-1)\ast i\ast (i+1)]}{3}$
$\because$ 错位相消
$=\frac{n\ast (n+1)\ast (n+2)}{3}$

(3).裂项与和项

① 平方和公式

${\sum }_{i=1}^n{i}^2=\frac{n(n+1)(2n+1)}{6}$

---

证明：

令 $T={\sum }_{i=1}^n{i}^2$
$\because (n+1{)}^3-n^3=3n^2+3n+1$
$\therefore {\sum }_{i=1}^n(i+1{)}^3-i^3=3{\sum }_{i=1}^n{i}^2+3{\sum }_i^{n}i+n$
$又\because {\sum }_{i=1}^n(i+1{)}^3-i^3=(n+1{)}^3-1$
$\therefore (n+1{)}^3-1=3T+3\frac{(n+1)\ast n}{2}+n$
$\therefore T=\frac{n(n+1)(2n+1)}{6}$

4.模拟退火相关常量

const double q = 0.996;
// 温度变动量

srand (998244353);
for (int i = 1; i <= 1000; i++)
	srand (rand ());
//种子初值

delta = ans1 - ans2;
if (exp (-delta / t) * RAND_MAX > rand ())
//选择概率

double cx = now.x + ((rand() << 1) - RAND_MAX) * t; 
//下一个随机点

5.计算几何

(1).知三角形三点坐标求面积

Ⅰ

$|(y_j-y_i)\cdot (x_k-x_i)-(y_k-y_i)\cdot (x_j-x_i)|$
纵切法证明

Ⅱ 海伦公式

$p=\frac{a+b+c}{2}$

$S=\sqrt{p(p-a)(p-b)(p-c)}$

6.位运算

枚举 $i$ 的二进制真子集 （且不包括空集）

for (int j = i; --j &= i; )

等价于

for (int j = i - 1 & i; j; j = j - 1 & i)

枚举 $i$ 的二进制子集 （且不包括空集）

for (int j = i; j; j = (j - 1) & i)

7.整数分块

l = n / (k + 1) + 1, r = n / k;

l = r + 1; r = n / (n / l);

8.阶乘

9.数论

(1).整除

$\lfloor \frac{\lfloor \frac{a}{b}\rfloor }{c}\rfloor =\lfloor \frac{a}{bc}\rfloor$

$gcd(a^i-b^i,a^j-b^j)=a^{gcd(i,j)}-b^{gcd(i,j)}$

(2).莫比乌斯系列

${\sum }_{d|n}\mu (d)=\{\begin{array}{l}0,d=1\\ 1,d\ne 1\end{array}$

10.排列组合

(1).1~9可以组成多少个不同的数

$Answer=({\sum }_{i\in [1,9]}nu{m}_i)!/(nu{m}_1!\ast nu{m}_2!....\ast nu{m}_9!)$

(2).二项式反演

10.线性代数

(1).行列式

①：满秩的矩阵，行列式不为 $0$ （秩：最大线性不相关向量组大小）

②：$|A|=|A^T|$

③：拉普拉斯矩阵

拉普拉斯矩阵 $\mathcal{L}$ 是 $n\times n$ 的一个矩阵

$L_{i,i}=de{g}_i$

$L_{i,j}=-number\_of\_edge(i,j)(i\ne j)$

将拉普拉斯矩阵去掉任意的一行和一列，得到的矩阵求行列式，即是原图的生成树数量。