From 539f799715fdfd2785bb7bab0be0b75d35f48f4c Mon Sep 17 00:00:00 2001
From: sshwy <jy.cat@qq.com>
Date: Sun, 18 Aug 2019 08:57:04 +0800
Subject: [PATCH] =?utf8?q?=E4=B8=80=E7=BB=84?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 docs/intro/spj.md                |  2 +-
 docs/intro/testlib/index.md      |  2 +-
 docs/lang/csl/bitset.md          |  4 ++--
 docs/math/bezouts.md             |  2 +-
 docs/math/bsgs.md                |  2 +-
 docs/math/complex.md             |  2 +-
 docs/math/crt.md                 |  2 +-
 docs/math/dictionary.md          |  2 +-
 docs/math/euler.md               |  4 ++--
 docs/math/fermat.md              |  2 +-
 docs/math/gauss.md               |  2 +-
 docs/math/inverse.md             |  2 +-
 docs/math/lucas.md               |  2 +-
 docs/math/matrix.md              |  4 ++--
 docs/math/quick-pow.md           |  6 +++---
 docs/misc/expression.md          |  2 +-
 docs/misc/hill-climbing.md       |  2 +-
 docs/misc/simulated-annealing.md |  2 +-
 docs/search/index.md             | 10 +++++-----
 docs/search/opt.md               |  2 +-
 20 files changed, 29 insertions(+), 29 deletions(-)

diff --git a/docs/intro/spj.md b/docs/intro/spj.md
index b2e34dd5..84e49657 100644
--- a/docs/intro/spj.md
+++ b/docs/intro/spj.md
@@ -9,7 +9,7 @@
 
 ## Testlib
 
-Testlib 的介绍见 [Testlib/简介](/intro/testlib/) 页面，用法见 [Testlib/Checker](/intro/testlib/checker/) 页面。
+Testlib 的介绍见 [Testlib/简介](/intro/testlib/index.md) 页面，用法见 [Testlib/Checker](/intro/testlib/checker.md) 页面。
 
 必须使用 Testlib 做 spj 的 评测工具/OJ：Codeforces、洛谷、UOJ 等
 
diff --git a/docs/intro/testlib/index.md b/docs/intro/testlib/index.md
index 0c61904f..caf7c94b 100644
--- a/docs/intro/testlib/index.md
+++ b/docs/intro/testlib/index.md
@@ -7,7 +7,7 @@ Testlib 的具体用途：
 -   编写 [Generator](./generator.md) ，即数据生成器。
 -   编写 [Validator](./validator.md) ，即数据校验器，判断生成数据是否符合题目要求，如数据范围、格式等。
 -   编写 [Interactor](./interactor.md) ，即交互器，用于交互题。
--   编写 [Checker](./checker.md) ，即 [Special Judge](/intro/spj/) 。
+-   编写 [Checker](./checker.md) ，即 [Special Judge](/intro/spj.md) 。
 
 Testlib 与 Codeforces 开发的 [Polygon](https://polygon.codeforces.com/) 出题平台完全兼容。
 
diff --git a/docs/lang/csl/bitset.md b/docs/lang/csl/bitset.md
index 2c0cf47a..ce9789a0 100644
--- a/docs/lang/csl/bitset.md
+++ b/docs/lang/csl/bitset.md
@@ -122,7 +122,7 @@ bitset<1000> bs;  // a bitset with 1000 bits
 
 现在的问题是，如何通过一个可重集的约数构成的可重集得到该可重集中某个数的个数。
 
-令原可重集为 $A$ ，其约数构成的可重集为 $A'$ ，我们要求 $A$ 中 $x$ 的个数，用 [莫比乌斯反演](/math/mobius/) 推一推：
+令原可重集为 $A$ ，其约数构成的可重集为 $A'$ ，我们要求 $A$ 中 $x$ 的个数，用 [莫比乌斯反演](/math/mobius.md) 推一推：
 
 $$
 \begin{aligned}&\sum\limits_{i\in A}[\frac i x=1]\\=&\sum\limits_{i\in A}\sum\limits_{d|\frac i x}\mu(d)\\=&\sum\limits_{d\in A',x|d}\mu(\frac d x)\end{aligned}
@@ -215,7 +215,7 @@ $$
 
 ### 与树分块结合
 
- `bitset` 与树分块结合可以解决一类求树上多条路径信息并的问题，详见 [数据结构/树分块](/ds/tree-decompose/) 。
+ `bitset` 与树分块结合可以解决一类求树上多条路径信息并的问题，详见 [数据结构/树分块](/ds/tree-decompose.md) 。
 
 ### 计算高维偏序
 
diff --git a/docs/math/bezouts.md b/docs/math/bezouts.md
index d815a77b..03d5b3c5 100644
--- a/docs/math/bezouts.md
+++ b/docs/math/bezouts.md
@@ -67,4 +67,4 @@
 
 由于：互质即为最大公因数为 $1$ ， $\gcd(0,x)=x$ 这两个定理，可以证明该算法的正确。选择优先队列优化 Dijkstra 求解。
 
-不过还有个问题，即为需要记录是否已经买过一个卡片，开数组标记由于数据范围达到 $10^9$ 会超出内存限制，可以想到使用 `unordered_map` （比普通的 `map` 更快地访问各个元素，迭代效率较低，详见 [STL-map](/ds/stl/map/) ）
+不过还有个问题，即为需要记录是否已经买过一个卡片，开数组标记由于数据范围达到 $10^9$ 会超出内存限制，可以想到使用 `unordered_map` （比普通的 `map` 更快地访问各个元素，迭代效率较低，详见 [STL-map](/ds/stl/map.md) ）
diff --git a/docs/math/bsgs.md b/docs/math/bsgs.md
index 909cc9a5..c1b9b7ac 100644
--- a/docs/math/bsgs.md
+++ b/docs/math/bsgs.md
@@ -26,7 +26,7 @@ $$
 
 其中 $p$ 是个质数。
 
-该模型可以通过一系列的转化为成 **基础篇** 中的模型，你可能需要了解关于 [阶与原根](/math/primitive-root/) 的知识。
+该模型可以通过一系列的转化为成 **基础篇** 中的模型，你可能需要了解关于 [阶与原根](/math/primitive-root.md) 的知识。
 
 由于式子中的模数 $p$ 是一个质数，那么 $p$ 一定存在一个原根 $g$ 。因此对于模 $p$ 意义下的任意的数 $x\ (0\le x<p)$ 有且仅有一个数 $i\ (0\le i<p-1)$ 满足 $x = g^i$ 。
 
diff --git a/docs/math/complex.md b/docs/math/complex.md
index e77cc742..b6033ba3 100644
--- a/docs/math/complex.md
+++ b/docs/math/complex.md
@@ -1,6 +1,6 @@
 如果您已经学习过复数相关知识，请跳过本页面。
 
-学习复数知识需要一部分向量基础，如果并未学习过向量知识请移步 [数学 - 杂项](/math/misc/) 。
+学习复数知识需要一部分向量基础，如果并未学习过向量知识请移步 [数学 - 杂项](/math/misc.md) 。
 
 ## 复数的引入，定义和分类
 
diff --git a/docs/math/crt.md b/docs/math/crt.md
index 958dc843..18a18b82 100644
--- a/docs/math/crt.md
+++ b/docs/math/crt.md
@@ -32,7 +32,7 @@ $$
 1.  计算所有模数的积 $n$ ；
 2.  对于第 $i$ 个方程：
     1.  计算 $m_i=\frac{n}{n_i}$ ；
-    2.  计算 $m_i$ 在模 $n_i$ 意义下的 [逆元](/math/inverse/)  $m_i^{-1}$ ；
+    2.  计算 $m_i$ 在模 $n_i$ 意义下的 [逆元](/math/inverse.md)  $m_i^{-1}$ ；
     3.  计算 $c_i=m_im_i^{-1}$ （ **不要对 $n_i$ 取模** ）。
 3.  方程组的唯一解为： $a=\sum_{i=1}^k a_ic_i \pmod n$ 。
 
diff --git a/docs/math/dictionary.md b/docs/math/dictionary.md
index 269306cb..39c9bdab 100644
--- a/docs/math/dictionary.md
+++ b/docs/math/dictionary.md
@@ -1,4 +1,4 @@
-在学习之前请先学习 [分块](/ds/square-root-decomposition/) 。
+在学习之前请先学习 [分块](/ds/square-root-decomposition.md) 。
 
 打表大家都知道，就是在比赛时把答案都输出出来，然后开个数组，把答案直接存入数组里。于是你的代码时间复杂度就是 $O(1)$ 的了。
 
diff --git a/docs/math/euler.md b/docs/math/euler.md
index 25faf33b..151b0785 100644
--- a/docs/math/euler.md
+++ b/docs/math/euler.md
@@ -18,7 +18,7 @@
 
 -    $n = \sum_{d | n}{\varphi(d)}$ 
 
-    利用 [莫比乌斯反演](/math/mobius/) 相关知识可以得出。
+    利用 [莫比乌斯反演](/math/mobius.md) 相关知识可以得出。
 
     也可以这样考虑：如果 $\gcd(k, n) = d$ ，那么 $\gcd(\frac{k}{d},\frac{n}{d}) = 1$ 。（ $k < n$ ）
 
@@ -70,4 +70,4 @@ a^{b\bmod\varphi(p)+\varphi(p)},&\gcd(a,\,p)\ne1,\,b\ge\varphi(p)
 \pmod p
 $$
 
-证明和 **习题** 详见 [欧拉定理](/math/fermat/) 
+证明和 **习题** 详见 [欧拉定理](/math/fermat.md) 
diff --git a/docs/math/fermat.md b/docs/math/fermat.md
index 88ff495a..7b2c0646 100644
--- a/docs/math/fermat.md
+++ b/docs/math/fermat.md
@@ -6,7 +6,7 @@
 
 ## 欧拉定理
 
-在了解欧拉定理（Euler's theorem）之前，请先了解 [欧拉函数](/math/euler/) 。定理内容如下：
+在了解欧拉定理（Euler's theorem）之前，请先了解 [欧拉函数](/math/euler.md) 。定理内容如下：
 
 若 $\gcd(a, m) = 1$ ，则 $a^{\varphi(m)} \equiv 1 \pmod{m}$ 。
 
diff --git a/docs/math/gauss.md b/docs/math/gauss.md
index 6999494c..4059150f 100644
--- a/docs/math/gauss.md
+++ b/docs/math/gauss.md
@@ -255,7 +255,7 @@ $$
 
 一个无向图的生成树个数为邻接矩阵度数矩阵去一行一列的行列式。
 
-详见： [矩阵树定理](/graph/matrix-tree/) 
+详见： [矩阵树定理](/graph/matrix-tree.md) 
 
 例如，一个正方形图的生成树个数
 
diff --git a/docs/math/inverse.md b/docs/math/inverse.md
index eb7c895c..10476d42 100644
--- a/docs/math/inverse.md
+++ b/docs/math/inverse.md
@@ -19,7 +19,7 @@ void exgcd(int a, int b, int& x, int& y) {
 }
 ```
 
-扩展欧几里得法和求解 [线性同余方程](/math/linear-equation/) 是一个原理，在这里不展开解释。
+扩展欧几里得法和求解 [线性同余方程](/math/linear-equation.md) 是一个原理，在这里不展开解释。
 
 ### 快速幂法
 
diff --git a/docs/math/lucas.md b/docs/math/lucas.md
index 0f0e8fa8..9eade760 100755
--- a/docs/math/lucas.md
+++ b/docs/math/lucas.md
@@ -1,6 +1,6 @@
 ## Lucas 定理
 
-Lucas 定理用于求解大组合数取模的问题，其中 p 必须为素数。正常的组合数运算可以通过递推公式求解（详见 [排列组合](/math/combination/) ），但当问题规模很大，而模数是一个不大的质数的时候，就不能简单地通过递推求解来得到答案，需要用到 Lucas 定理。
+Lucas 定理用于求解大组合数取模的问题，其中 p 必须为素数。正常的组合数运算可以通过递推公式求解（详见 [排列组合](/math/combination.md) ），但当问题规模很大，而模数是一个不大的质数的时候，就不能简单地通过递推求解来得到答案，需要用到 Lucas 定理。
 
 ### 求解方式
 
diff --git a/docs/math/matrix.md b/docs/math/matrix.md
index a9683823..38320cab 100644
--- a/docs/math/matrix.md
+++ b/docs/math/matrix.md
@@ -12,7 +12,7 @@
 
  $A$ 的逆矩阵 $P$ 是使得 $A \times P = I$ 的矩阵。
 
-逆矩阵可以用 [高斯消元](/math/gauss/) 的方式来求。
+逆矩阵可以用 [高斯消元](/math/gauss.md) 的方式来求。
 
 ## 运算
 
@@ -34,7 +34,7 @@ $$
 
 矩阵乘法满足结合律，不满足一般的交换律。
 
-利用结合律，矩阵乘法可以利用 [快速幂](/math/quick-pow/) 的思想来优化。
+利用结合律，矩阵乘法可以利用 [快速幂](/math/quick-pow.md) 的思想来优化。
 
 在比赛中，由于线性递推式可以表示成矩阵乘法的形式，也通常用矩阵快速幂来求线性递推数列的某一项。
 
diff --git a/docs/math/quick-pow.md b/docs/math/quick-pow.md
index a6cd4289..06adcce2 100644
--- a/docs/math/quick-pow.md
+++ b/docs/math/quick-pow.md
@@ -111,7 +111,7 @@ long long binpow(long long a, long long b, long long m) {
 ???+note "问题描述"
     计算斐波那契数列第 $n$ 项 $F_n$ 。
 
-根据斐波那契数列的递推式 $F_n = F_{n-1} + F_{n-2}$ ，我们可以构建一个 $2\times 2$ 的矩阵来表示从 $F_i,F_{i+1}$ 到 $F_{i+1},F_{i+2}$ 的变换。于是在计算这个矩阵的 $n$ 次幂的时侯，我们使用快速幂的思想，可以在 $\Theta(\log n)$ 的时间内计算出结果。对于更多的细节参见 [斐波那契数列](/math/fibonacci/) 。
+根据斐波那契数列的递推式 $F_n = F_{n-1} + F_{n-2}$ ，我们可以构建一个 $2\times 2$ 的矩阵来表示从 $F_i,F_{i+1}$ 到 $F_{i+1},F_{i+2}$ 的变换。于是在计算这个矩阵的 $n$ 次幂的时侯，我们使用快速幂的思想，可以在 $\Theta(\log n)$ 的时间内计算出结果。对于更多的细节参见 [斐波那契数列](/math/fibonacci.md) 。
 
 ### 多次置换
 
@@ -206,7 +206,7 @@ $$
 ???+note "问题描述"
     给一个有向图（边权为 1），求任意两点 $u,v$ 间从 $u$ 到 $v$ ，长度为 $k$ 的路径的条数。
 
-我们把该图的邻接矩阵 M 取 k 次幂，那么 $M_{i,j}$ 就表示从 $i$ 到 $j$ 长度为 $k$ 的路径的数目。该算法的复杂度是 $O(n^3 \log_2 k)$ 。有关该算法的细节请参见 [矩阵](/math/matrix/) 页面。
+我们把该图的邻接矩阵 M 取 k 次幂，那么 $M_{i,j}$ 就表示从 $i$ 到 $j$ 长度为 $k$ 的路径的数目。该算法的复杂度是 $O(n^3 \log_2 k)$ 。有关该算法的细节请参见 [矩阵](/math/matrix.md) 页面。
 
 ### 模意义下大整数乘法
 
@@ -227,7 +227,7 @@ $$
 ### 高精度快速幂
 
 ??? note "前置技能"
-    请先学习 [高精度](https://oi-wiki.org/math/bignum/) 
+    请先学习 [高精度](/math/bignum.md) 
 
 ???+note " 例题【NOIP2003 普及组改编·麦森数】（[原题在此](https://www.luogu.org/problemnew/show/P1045)）"
     题目大意：从文件中输入 P（1000&lt;P&lt;3100000），计算 $2^P−1$ 的最后 100 位数字（用十进制高精度数表示），不足 100 位时高位补 0。
diff --git a/docs/misc/expression.md b/docs/misc/expression.md
index 67e7f93e..fa069588 100644
--- a/docs/misc/expression.md
+++ b/docs/misc/expression.md
@@ -18,7 +18,7 @@ author: Ir1d, Anguei, hsfzLZH1, siger-young, HeRaNO
 
 ## 非递归
 
-非递归的方法是定义两个 [栈](/stack/) 来分别存储运算符和运算数。每当遇到一个数直接放进数的栈；每当遇到一个操作符时，要查找之前运算符栈中的元素，按照预先定义好的优先级来进行适当的弹出操作（弹出的同时求出对应的子表达式的值）。
+非递归的方法是定义两个 [栈](/ds/stack.md) 来分别存储运算符和运算数。每当遇到一个数直接放进数的栈；每当遇到一个操作符时，要查找之前运算符栈中的元素，按照预先定义好的优先级来进行适当的弹出操作（弹出的同时求出对应的子表达式的值）。
 
 我们要知道：算术表达式分为三种，分别是前缀表达式、中缀表达式、后缀表达式。其中，中缀表达式是我们日常生活中最常用的表达式；后缀表达式是计算机最容易理解的表达式。为什么说后缀表达式最容易被计算机理解呢？因为后缀表达式不需要括号表示，它的运算顺序是唯一确定的。举个例子：在后缀表达式 $3 2 * 1 -$ 中，首先计算 $3 \times 2 = 6$ （使用最后一个运算符，即栈顶运算符），然后计算 $6 - 1 = 5$ 。可以看到：对于一个后缀表达式，只需要 **维护一个数字栈，每次遇到一个运算符，就取出两个栈顶元素，将运算结果重新压入栈中** 。最后，栈中唯一一个元素就是改后缀表达式的运算结果时间复杂度 $O(n)$ 。
 
diff --git a/docs/misc/hill-climbing.md b/docs/misc/hill-climbing.md
index 4b1c5941..01baea8a 100644
--- a/docs/misc/hill-climbing.md
+++ b/docs/misc/hill-climbing.md
@@ -138,4 +138,4 @@
 
 ## 劣势
 
-其实爬山算法的劣势上文已经提及：它容易陷入一个局部最优解。当目标函数不是单峰函数时，这个劣势是致命的。因此我们要引进 [ **模拟退火** ](/misc/simulated-annealing/) 。
+其实爬山算法的劣势上文已经提及：它容易陷入一个局部最优解。当目标函数不是单峰函数时，这个劣势是致命的。因此我们要引进 [ **模拟退火** ](/misc/simulated-annealing.md) 。
diff --git a/docs/misc/simulated-annealing.md b/docs/misc/simulated-annealing.md
index 6a7455b1..5cf0e259 100644
--- a/docs/misc/simulated-annealing.md
+++ b/docs/misc/simulated-annealing.md
@@ -6,7 +6,7 @@
 
 ## 实现
 
-根据 [爬山算法](/misc/hill-climbing/) 的过程，我们发现：对于一个当前最优解附近的非最优解，爬山算法直接舍去了这个解。而很多情况下，我们需要去接受这个非最优解从而跳出这个局部最优解，即为模拟退火算法。
+根据 [爬山算法](/misc/hill-climbing.md) 的过程，我们发现：对于一个当前最优解附近的非最优解，爬山算法直接舍去了这个解。而很多情况下，我们需要去接受这个非最优解从而跳出这个局部最优解，即为模拟退火算法。
 
 >  **什么是退火？** （选自百度百科）
 >
diff --git a/docs/search/index.md b/docs/search/index.md
index e8785cee..06ebf5a9 100644
--- a/docs/search/index.md
+++ b/docs/search/index.md
@@ -2,25 +2,25 @@
 
 ## 深度优先搜索 (DFS)
 
-主条目： [DFS（搜索）](/search/dfs/) 
+主条目： [DFS（搜索）](/search/dfs.md) 
 
 ## 宽度优先搜索 (BFS)
 
-主条目： [BFS（搜索）](/search/bfs/) 
+主条目： [BFS（搜索）](/search/bfs.md) 
 
 ### 双向宽度优先搜索
 
-主条目： [双向广搜](/search/dbfs/) 
+主条目： [双向广搜](/search/dbfs.md) 
 
 从状态图上起点和终点同时开始进行宽度优先搜索，如果发现相遇了，那么可以认为是获得了可行解。
 
 ## A\*搜索
 
-主条目： [A\*](/search/astar/) 
+主条目： [A\*](/search/astar.md) 
 
 ## IDA\*搜索
 
-主条目： [IDA\*](/search/idastar/) 
+主条目： [IDA\*](/search/idastar.md) 
 
 ## 剪枝
 
diff --git a/docs/search/opt.md b/docs/search/opt.md
index 4dcfc09a..bd654497 100644
--- a/docs/search/opt.md
+++ b/docs/search/opt.md
@@ -29,7 +29,7 @@ void dfs(传入数值) {
 
 ### 记忆化搜索
 
-因为在搜索中，相同的传入值往往会带来相同的解，那我们就可以用数组来记忆，详见 [记忆化搜索](/dp/memo/) 。
+因为在搜索中，相同的传入值往往会带来相同的解，那我们就可以用数组来记忆，详见 [记忆化搜索](/dp/memo.md) 。
 
  **模板：** 
 
-- 
2.11.0