Merge pull request OI-wiki#2984 from yyddm803/patch-3

fix(mobius.md): 更改了“补充结论”中\iff和\implies的运用错误
cyoki · Feb 10, 2021 · 19d9309 · 19d9309
2 parents 211feb7 + 44281b8
commit 19d9309
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/docs/dp/memo.md b/docs/dp/memo.md
@@ -82,7 +82,7 @@ emmmmmm……还是 ${30}$ 分。
 
 然后？
 
-开个数组 mem , 记录下来每个 dfs(pos,tleft) 的返回值。刚开始把 mem 中每个值都设成 $-1$（代表没访问过）。每次刚刚进入一个 dfs 前（我们的 dfs 是递归调用的嘛），都检测 mem\[pos]\[tleft]是否为 $-1$, 如果是就正常执行并把答案记录到 mem 中，否则？
+开个数组 mem , 记录下来每个 dfs(pos,tleft) 的返回值。刚开始把 mem 中每个值都设成 $-1$（代表没访问过）。每次刚刚进入一个 dfs 前（我们的 dfs 是递归调用的嘛），都检测 mem\[pos]\[tleft] 是否为 $-1$, 如果是就正常执行并把答案记录到 mem 中，否则？
 
 **直接返回 mem 中的值！**
 

diff --git a/docs/math/bignum.md b/docs/math/bignum.md
@@ -714,7 +714,7 @@ $$
       Big& operator=(const Big&);
       Big operator+(const Big&) const;
       Big operator-(const Big&) const;
-      Big operator*(const Big&)const;
+      Big operator*(const Big&) const;
       Big operator/(const int&) const;
       // TODO: Big / Big;
       Big operator^(const int&) const;

diff --git a/docs/math/mobius.md b/docs/math/mobius.md
@@ -238,11 +238,11 @@ $$
 
 ### 补充结论
 
-反演结论：$\displaystyle [\gcd(i,j)=1] \iff\sum_{d\mid\gcd(i,j)}\mu(d)$
+反演结论：$\displaystyle [\gcd(i,j)=1]=\sum_{d\mid\gcd(i,j)}\mu(d)$
 
 **直接推导**：如果看懂了上一个结论，这个结论稍加思考便可以推出：如果 $\gcd(i,j)=1$ 的话，那么代表着我们按上个结论中枚举的那个 $n$ 是 $1$，也就是式子的值是 $1$，反之，有一个与 $[\gcd(i,j)=1]$ 相同的值：$0$
 
-**利用 $\varepsilon$ 函数**：根据上一结论，$[\gcd(i,j)=1]\implies \varepsilon(\gcd(i,j))$，将 $\varepsilon$ 展开即可。
+**利用 $\varepsilon$ 函数**：根据上一结论，$[\gcd(i,j)=1]=\varepsilon(\gcd(i,j))$，将 $\varepsilon$ 展开即可。
 
 ### 线性筛