Loading docs/graph/bi-graph.md +3 −3 Original line number Diff line number Diff line Loading @@ -43,11 +43,11 @@ 算法步骤大致如下: 1\. 首先从任意一个未配对的点 $u$ 开始,选择他的任意一条边( $u$ - $v$ ),如此时 $v$ 还未配对,则配对成功,配对数加一,若 $v$ 已经配对,则尝试寻找 $v$ 的配对的另一个配对(该步骤可能会被递归的被执行多次),若该尝试成功,则配对成功,配对数加一。 1. 首先从任意一个未配对的点 $u$ 开始,选择他的任意一条边( $u$ - $v$ ),如此时 $v$ 还未配对,则配对成功,配对数加一,若 $v$ 已经配对,则尝试寻找 $v$ 的配对的另一个配对(该步骤可能会被递归的被执行多次),若该尝试成功,则配对成功,配对数加一。 2\. 若果上一步配对不成功,那么选择重新选择一条未被选择过的边,重复上一步。 2. 若果上一步配对不成功,那么选择重新选择一条未被选择过的边,重复上一步。 3\. 对剩下每一个没有被配对的点执行步骤 1,直到所有的点都尝试完毕。 3. 对剩下每一个没有被配对的点执行步骤 1,直到所有的点都尝试完毕。 用下面的二分图为例: Loading docs/math/poly/ntt.md +1 −1 Original line number Diff line number Diff line Loading @@ -14,7 +14,7 @@ NTT 解决的是多项式乘法带模数的情况,可以说有些受模数的 子群:群 $(S,⊕), (S′,⊕)$ ,满足 $S′⊂S$ ,则 $(S′,⊕)$ 是 $(S,⊕)$ 的子群 拉格朗日定理: $|S′|∣|S |$ 证明需要用到陪集,得到陪集大小等于子群大小,每个陪集要么不想交要么相等,所有陪集的并是集合 $S$ ,那么显然成立。 拉格朗日定理: $|S′|∣|S |$ 证明需要用到陪集,得到陪集大小等于子群大小,每个陪集要么不相交要么相等,所有陪集的并是集合 $S$ ,那么显然成立。 生成子群: $a \in S$ 的生成子群 $\left<a\right> = \{a^{(k)}, k \geq 1 \}$ , $a$ 是 $\left< a \right>$ 的生成元 Loading Loading
docs/graph/bi-graph.md +3 −3 Original line number Diff line number Diff line Loading @@ -43,11 +43,11 @@ 算法步骤大致如下: 1\. 首先从任意一个未配对的点 $u$ 开始,选择他的任意一条边( $u$ - $v$ ),如此时 $v$ 还未配对,则配对成功,配对数加一,若 $v$ 已经配对,则尝试寻找 $v$ 的配对的另一个配对(该步骤可能会被递归的被执行多次),若该尝试成功,则配对成功,配对数加一。 1. 首先从任意一个未配对的点 $u$ 开始,选择他的任意一条边( $u$ - $v$ ),如此时 $v$ 还未配对,则配对成功,配对数加一,若 $v$ 已经配对,则尝试寻找 $v$ 的配对的另一个配对(该步骤可能会被递归的被执行多次),若该尝试成功,则配对成功,配对数加一。 2\. 若果上一步配对不成功,那么选择重新选择一条未被选择过的边,重复上一步。 2. 若果上一步配对不成功,那么选择重新选择一条未被选择过的边,重复上一步。 3\. 对剩下每一个没有被配对的点执行步骤 1,直到所有的点都尝试完毕。 3. 对剩下每一个没有被配对的点执行步骤 1,直到所有的点都尝试完毕。 用下面的二分图为例: Loading
docs/math/poly/ntt.md +1 −1 Original line number Diff line number Diff line Loading @@ -14,7 +14,7 @@ NTT 解决的是多项式乘法带模数的情况,可以说有些受模数的 子群:群 $(S,⊕), (S′,⊕)$ ,满足 $S′⊂S$ ,则 $(S′,⊕)$ 是 $(S,⊕)$ 的子群 拉格朗日定理: $|S′|∣|S |$ 证明需要用到陪集,得到陪集大小等于子群大小,每个陪集要么不想交要么相等,所有陪集的并是集合 $S$ ,那么显然成立。 拉格朗日定理: $|S′|∣|S |$ 证明需要用到陪集,得到陪集大小等于子群大小,每个陪集要么不相交要么相等,所有陪集的并是集合 $S$ ,那么显然成立。 生成子群: $a \in S$ 的生成子群 $\left<a\right> = \{a^{(k)}, k \geq 1 \}$ , $a$ 是 $\left< a \right>$ 的生成元 Loading