#2 Update OROpt file

docs/OROpt/OR/Chapter3_ext1.md

@@ -0,0 +1,221 @@
+# 又快又准地写线性规划的对偶问题：做题向、记忆法
+
+!!! note "做题向、记忆向的速成"
+    运筹笔记更新到后面，前面有一些基础性的**线性规划**的东西，后台有不少同学问。然后正好开学没多久有空，就把一些去年复习线代和运筹时候的笔记再整理一下。整个笔记会以比较**做题向**的视角展开。主打一个**技巧至上、理解至上**。注意：
+
+    1. 本笔记==仅包含**线性规划**的对偶问题，并且侧重“怎么写对偶”这个特定的问题==。不考虑凸优化理论中更加复杂的对偶推导。
+    2. 本笔记**不包含深层次的数学理论推导。因此没有公式。** 但是在最后我会附上从**拉格朗日对偶方法**对线性规划降维打击的参考资料。
+    3. 在阅读笔记前，你需要掌握的前置知识只有3个：
+       1. 数学模型的三个主要部分；
+       2. 矩阵和向量的基本概念（转置、矩阵乘法）；
+       3. 对偶理论的入门概念；
+
+    现在我们直接开始。
+
+初学者实际上需要解决的是：**写出下面线性规划问题的对偶问题**：
+
+$$\min z = 3x_1 + 2x_2 - 4x_3 + x_4$$
+
+$$\text{s.t.}\begin{aligned}
+\begin{cases}
+\begin{align}
+& x_1 & + & x_2 & - & x_3 & + & x_4  \geq 10 \quad \\
+& 2x_1 & & & + & 2x_3 & - & x_4 \leq 8 \quad \\
+& & & x_2 &+ & x_3 &+& x_4 = 6 \quad \\
+\end{align}
+\end{cases}
+\end{aligned}$$
+
+$$x_1 \leq 0, x_2 \geq 0, x_3 \geq 0, x_4 \quad \text{No Constr}$$
+
+首先，我们需要明确一点：不论怎么写对偶，说到最后都是在解决3个要点：**目标函数、决策变量、约束条件。** 
+
+然后，我们进行一些前置的规定。学OR时候会发现很多不同教材上有许多不同的规定，即使是在规定“线性规划的标准形式”的时候，有的教材以最大化问题为标准形，有的是最小化目标为标准形等等，种种细节给学习对偶理论的同学带来很大困扰。
+
+下面我们将用一种统一形式对线性规划模型进行表述。
+
+我们把如下所示的两种形式，称作线性规划原问题的**规范形式**。==后续我们的所有内容都会基于这两个规范形式展开。==
+
+$${\color{red}\text{max}} \quad z = \sum^n_{j = 1} c_j x_j \quad \quad \quad \quad \quad \quad \quad {\color{blue}\text{min}} \quad w = \sum^n_{i = 1} b_i y_i$$
+
+$$\text{s.t.} \sum^n_{j = 1}a_{ij} x_{i} \ {\color{red}\leq} \ b_i \quad (i = 1,...,m)  \quad \quad \quad   \text{s.t.} \sum^m_{i = 1}a_{ij} y_{j} \ {\color{blue}\geq} \  c_j \quad (j = 1,...,n)$$
+
+$$x_j \ {\color{red}\geq} \ 0 \quad (j = 1, ..., n)  \quad \quad  \quad \quad \quad \quad \quad \quad  y_i \ {\color{blue}\geq} \ 0 \quad (i = 1, ..., m)$$
+
+**这里的规范形式，指的是数学模型在目标函数取最大还是最小化时，约束的符号取正还是负、决策变量取正还是负号上的统一。** 比如，对于一个最大化问题，<span style="color:red">当且仅当它的某个约束是 $\leq$ 时，这个约束才是规范形式，同时，当且仅当某个约束是 $\geq$ 约束，它才是是不规范约束。当且仅当它的某个决策变量是非负的，我们才说这个决策变量是规范的，同理类推。</span>
+
+<span style="color:blue">同理，对于一个最小化问题，当且仅当它的某个约束是 $\geq$ 约束，这个约束才是规范形式，同时，当且仅当某个约束是 $\leq$ 约束，它才是不规范约束；当且仅当它的某个决策变量是非负的，我们才说这个决策变量是规范的。同理类推。</span>
+
+现在，回到我们要解决的问题上。我们从==第一个重点==出发：**原问题的每一个约束条件，都对应对偶问题的一个决策变量。** 所以，这个问题有3个约束条件，毫无疑问，对偶问题就有3个决策变量。我们先记为 $y_1, y_2, y_3$。写在每个原问题约束条件后面。
+
+$$\min z = 3x_1 + 2x_2 - 4x_3 + x_4$$
+
+$$\text{s.t.}\begin{aligned}
+\begin{cases}
+\begin{aligned}
+& x_1 & + & x_2 & - 3& x_3 & + & x_4  \geq 10 \quad {\color{green}(y_1)}\quad \\
+& 2x_1 &  & & + & 2x_3 & - & x_4 \leq 8 \quad {\color{green}(y_2)}\quad \\
+& & & x_2 &+ & x_3 &+& x_4 = 6 \quad {\color{green}(y_3)} \quad \\
+\end{aligned}
+\end{cases}
+\end{aligned}$$
+
+$$x_1 \leq 0, x_2 \geq 0, x_3 \geq 0, x_4 \quad \text{No Constr}$$
+
+你可以发现，由于每一个约束条件都有一个右端项，所有右端项和对应的对偶问题决策变量的乘积之和，就是对偶问题的目标函数。而最小化问题的对偶问题目标函数是最大化，最大化问题的对偶问题目标函数是最小化。所以可以==快速写出对偶问题的目标函数==，三要素之一的目标函数 ✅：
+
+$$\max \quad 10y_1 + 8y_2 + 6y_3$$
+
+**第二个重点：对偶问题约束条件的系数矩阵，实际是原问题系数矩阵的转置**。对于原问题，系数矩阵的行数等于约束条件数，原矩阵的列数等于决策变量数。转置后，列就对应对偶问题的决策变量，行就对应对偶问题的约束条件。这里就是**第三个重点：对偶问题的约束条件与原问题决策变量一一对应。**
+
+我们把原矩阵的**每一列**和对偶变量对应相乘（正因为原矩阵行数等于对偶问题决策变量数，所以可以一一对应），也就是如下的形式：注意，原问题系数矩阵有一些元素是0，别忘记补上：
+
+$$\begin{aligned}
+\begin{cases}
+\begin{aligned}
+y_1 + 2y_2 + 0y_3 \rightarrow x_1\\
+y_1 + 0y_2 + y_3 \rightarrow x_2\\
+-3y_1 + 2y_2 + y_3 \rightarrow x_3\\
+y_1 - y_2 + y_3 \rightarrow x_4\\
+\end{aligned}
+\end{cases}
+\end{aligned}$$
+
+> 我们以第一个式子为例，$y_1 + 2y_2 + 0y_3 = \begin{bmatrix} 1 & 2 & 0 \end{bmatrix} \begin{bmatrix} y_1 \\ y_2 \\ y_3 \end{bmatrix}$。这里的 $\begin{bmatrix} 1 & 2 & 0 \end{bmatrix}$ 正好就是原来矩阵的第一列，对应所有 $x_1$ 的系数；同理，第二个式子写成 $\begin{bmatrix} 1 & 0 & 1 \end{bmatrix} \begin{bmatrix} y_1 \\ y_2 \\ y_3 \end{bmatrix}$，这里的 $\begin{bmatrix} 1 & 0 & 1 \end{bmatrix}$ 恰恰就是原来矩阵第二列，对应 $x_2$ 的系数。依次类推。==我们把对偶问题的约束条件与原问题决策变量的一一对应关系，补充写在上面的式子里。==
+
+现在需要补充右端项。这里十分简单，上面我们标记了每个对偶问题的约束对应的原问题的决策变量，我们只需要把原问题的那个决策变量的目标函数中的系数抄下来就行了。比如，$x_1, x_2, x_3, x_4$ 在原问题的目标函数中的系数，分别为 $3, 2, -4, 1$。用这些系数作为对应右端项，有：
+
+$$\begin{aligned}
+\begin{cases}
+\begin{aligned}
+y_1 + 2y_2 + 0y_3 \ \ {\color{red}?} \ \ 3\\
+y_1 + 0y_2 + y_3 \ \ {\color{red}?} \ \ 2\\
+-3y_1 + 2y_2 + y_3 \ \ {\color{red}?} \ \ -4\\
+y_1 - y_2 + y_3 \ \ {\color{red}?} \ \ 1\\
+\end{aligned}
+\end{cases}
+\end{aligned}$$
+
+**现在有一个问题，我们该怎么确定每个约束的符号？**
+
+这时候就需要用到一开始提出的**规范形式**了。刚刚我们介绍了第三个重点：对偶问题的约束条件与原问题决策变量一一对应。所以，==要决定对偶问题某个约束条件的符号，就只需看它对应的那个原问题的决策变量的规范形式==。比如，我们要决定第一个式子的符号。就直接看原问题中 $x_1$ 的规范形式。这里先说**第四个重点：对偶问题约束条件的符号，依据对应的原问题决策变量的规范形式确定：如果对应原问题决策变量是规范形式，那么对偶问题的这个约束条件也是规范形式；如果对应原问题的决策变量是不规范的，那么对偶问题的这个约束条件也是不规范形式的。**
+
+什么意思？我们把原问题的决策变量复制过来：
+
+$$\min z = 3x_1 + 2x_2 - 4x_3 + x_4$$
+
+$$x_1 \leq 0, x_2 \geq 0, x_3 \geq 0, x_4 \quad \text{No Constr}$$
+
+!!! note "应该还记得，一个最小化问题的决策变量的规范形式，是决策变量非负。 $x_i \geq 0$。这就说明，$x_1$ 是==不规范形式==。所以，==它对应的对偶问题的那个约束条件也是不规范的==。而，对于对偶问题，这个最大化问题，一个约束是不规范的，这意味着其符号是 $\geq$. "
+
+同理，$x_2, x_3 \geq 0$，在原问题（最小化问题）下，这两个变量都是规范形式，所以，对应的，对偶问题的两个约束条件也是规范的。而在对偶问题（最大化问题）下，一个约束是规范的，这意味着其符号是 $\leq$。
+
+最后，我们遇到最后一个原问题决策变量： $x_4$。它是无约束的，那么，对应的约束条件就是等号。这里是**第五个重点：原问题无范围约束的决策变量，对应对偶问题的等式约束。**
+
+!!! note "为什么"
+    这里很容易理解。一个原问题决策变量无范围限制，就是说明同时满足 $x_4 \geq 0$，$x_4 \leq 0$。利用我们上面的规则，也就是它对应对偶问题的那个约束，既是规范约束，又是不规范约束：
+
+    一个约束既 $\leq 0$ 又 $\geq 0$，不就是说明这个约束只能取等号么。
+
+综上所述，我们可以知道，$x_1, x_2, x_3$，分别是不规范、规范、规范和无约束的。对应对偶问题决策变量符号： $\geq, \leq, \leq, =$。所以我们就把对偶问题的约束条件彻底写好了。三要素之一的约束条件 ✅
+
+$$\begin{aligned}
+\begin{cases}
+\begin{aligned}
+y_1 + 2y_2 + 0y_3 \geq 3\\
+y_1 + 0y_2 + y_3 \leq 2\\
+-3y_1 + 2y_2 + y_3 \leq -4\\
+y_1 - y_2 + y_3 = 1\\
+\end{aligned}
+\end{cases}
+\end{aligned}$$
+
+现在，我们还剩最后一个问题。我们怎么定义对偶问题决策变量的范围呢？
+
+你应该能感觉到，既然原问题-对偶问题存在一个“决策变量-约束条件”的对应，那**对偶问题的决策变量，是不是也对应原问题的约束条件呢**，事实上确实如此。先给出**第六个重点：对偶问题决策变量的符号，依据对应的原问题约束条件的规范形式确定：如果对应原问题约束条件是规范形式，那么对偶问题的这个决策变量也是规范形式；如果对应原问题的约束条件是不规范的，那么对偶问题的这个决策变量也是不规范形式的。**
+
+不厌其烦地继续举例子。下面是原问题的约束条件。我把每个约束对应的对偶问题决策变量列在后面。
+
+$$\min z = 3x_1 + 2x_2 - 4x_3 + x_4$$
+
+$$\text{s.t.}\begin{aligned}
+\begin{cases}
+\begin{aligned}
+& x_1 & + & x_2 & - 3& x_3 & + & x_4  \geq 10 \quad {\color{green}(y_1)}\quad \\
+& 2x_1 &  & & + & 2x_3 & - & x_4 \leq 8 \quad {\color{green}(y_2)}\quad \\
+& & & x_2 &+ & x_3 &+& x_4 = 6 \quad {\color{green}(y_3)} \quad \\
+\end{aligned}
+\end{cases}
+\end{aligned}$$
+
+注意：
+
+1. 第一个约束是原问题（最小化问题）的一个 $\geq 0$ 约束，是**规范形式**的。**所以，$y_1$ 也必须是在对偶问题（最大化问题）下的一个规范形式**。而最大化问题下决策变量符号的规范形式是 $\geq 0$，所以 $y_1 \geq 0$。类似地，
+2. 第二个约束是原问题（最小化问题）的一个 $\leq 0$ 约束，是**非规范形式的**。所以，$y_1$ 也**必须是在对偶问题（最大化问题）下的一个非规范形式**。而最大化问题下决策变量符号的规范形式是 $\leq 0$，所以 $y_2 \leq 0$。
+3. 第三个约束，是等式约束，那么对应的决策变量无约束。这里可以给出最后一个，**第七个重点：原问题等式约束的约束条件，对应对偶问题的决策变量无约束。** 则 $y_3 \ \text{No Constr}$.三要素之一的决策变量 ✅
+
+我们把这一路写的汇总，就是最后的答案：
+
+$$\max \quad 10y_1 + 8y_2 + 6y_3$$
+
+$$\text{s.t.}\begin{aligned}
+\begin{cases}
+\begin{aligned}
+y_1 + 2y_2 + 0y_3 \geq 3\\
+y_1 + 0y_2 + y_3 \leq 2\\
+-3y_1 + 2y_2 + y_3 \leq -4\\
+y_1 - y_2 + y_3 = 1\\
+\end{aligned}
+\end{cases}
+\end{aligned}$$
+
+$$y_1 \geq 0, y_2 \leq 0, y_3 \ \text{No Constr}$$
+
+大功告成！
+
+-----
+
+## 拉格朗日对偶视角下的线性规划对偶问题
+
+对于一个**标准形式**下的线性规划问题：
+
+$$\begin{align*}
+\min \ & c^T x \\
+\text{s.t.} \ & Ax = b \\
+& x \geq 0
+\end{align*}$$
+
+我们转化成拉格朗日函数：
+
+$L(x, \lambda, v) = c^T x - \lambda^T x + v^T (Ax - b) = -b^T v + (c + A^T v - \lambda)^T x$
+
+> 实际上就是把 $x \geq 0$ 和 $Ax = b$ 同时加到目标函数上。
+
+其对应的拉格朗日对偶函数：
+
+$g(\lambda, v) = \inf_x L(x, \lambda, v) = -b v^T + \inf_x (c + A^T v - \lambda)^T x$
+
+非常函数的仿射函数是无界的，因此：
+
+$$g(\lambda) = 
+\begin{cases} 
+-b^T v \lambda, & A^T v - \lambda + c = 0 \\
+-\infty, & A^T v - \lambda + c \neq 0 
+\end{cases}$$
+
+基于共轭函数写出对偶问题：
+
+$$\max -b^T v \\
+\text{s.t.} 
+\begin{cases} 
+A^T v - \lambda + c = 0 \\
+\lambda \geq 0 
+\end{cases}$$
+
+整理后：
+
+$$\max -b^T v \\
+\text{s.t.} \ A^T v + c \geq 0$$
+
+!!! quote "推荐[This Link](https://zhuanlan.zhihu.com/p/597492395)，从更高的视角看整个线性规划的对偶。"
+    ![](https://cdn.jsdelivr.net/gh/SmilingWayne/picsrepo/202410162346326.png)

docs/Website/Step2.md

@@ -0,0 +1,14 @@
+# 个人网站界面美化：主题｜自定义样式
+
+!!! abstract "说在前面"
+    本部分默认已经完成了[第一篇笔记](./Step1.md)中的内容，即已经完成了个人网站的搭建，已经部署并托管在了Github Pages上。本部分将介绍如何美化个人网站，包括主题选择和自定义样式等。
+
+    主要内容：
+
+    1. Mkdocs 主题 Materials介绍；
+    2. 自定义一些基础的网页信息；
+
+
+## Mkdocs 主题 Materials介绍
+
+首先简单说说什么是Materials. 其链接可以参考：【补充】。

mkdocs.yml

@@ -343,6 +343,7 @@ nav:
           - 线性规划、单纯形法（plus pro max版）: OROpt/OR/Chapter1.md
           - 灵敏度分析: OROpt/OR/Chapter1_plugin.md
           - 对偶理论及对偶单纯形法（一种哲学）: OROpt/OR/Chapter2.md
+          - 线性规划对偶的解题向写法: OROpt/OR/Chapter3_ext1.md
           - 运输问题、目标规划和 DEA: OROpt/OR/Chapter3.md
           - DEA的扩展: OROpt/OR/Chapter3_plugin.md
           - 整数规划、求解算法和指派问题: OROpt/OR/Chapter4.md