From 8b6acf9c5137ed04149a255a1eede38ea74804c5 Mon Sep 17 00:00:00 2001
From: Sidney Zhang <zly@lyzhang.me>
Date: Wed, 17 Dec 2025 18:23:23 +0800
Subject: [PATCH] =?UTF-8?q?=F0=9F=93=9D=20docs(solutions/0067.MaxPathSum2)?=
 =?UTF-8?q?=EF=BC=9A=E6=B7=BB=E5=8A=A0=E7=83=AD=E5=B8=A6=E4=BB=A3=E6=95=B0?=
 =?UTF-8?q?=E8=AF=A6=E8=A7=A3=E6=96=87=E6=A1=A3?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 solutions/0067.MaxPathSum2/readme.md | 136 +++++++++++++++++++++++++++
 1 file changed, 136 insertions(+)
 create mode 100644 solutions/0067.MaxPathSum2/readme.md

diff --git a/solutions/0067.MaxPathSum2/readme.md b/solutions/0067.MaxPathSum2/readme.md
new file mode 100644
index 0000000..a10dd81
--- /dev/null
+++ b/solutions/0067.MaxPathSum2/readme.md
@@ -0,0 +1,136 @@
+# 热带代数（Tropical Algebra）详解
+
+热带代数是一种在**热带半环**（tropical semiring）上定义的代数系统，它将传统算术运算替换为取极值和加法运算，在组合优化、机器学习、计算生物学等领域有广泛应用。
+
+---
+
+## 一、数学原理
+
+### 1. 基本定义
+
+热带代数建立在**热带半环**结构上，主要有两种形式：
+
+**（1）Min-Plus 半环**（热带最小半环）
+- 定义域：$\mathbb{R} \cup \{+\infty\}$
+- 热带加法：$a \oplus b := \min(a, b)$
+- 热带乘法：$a \odot b := a + b$
+- 加法单位元：$+\infty$
+- 乘法单位元：$0$
+
+**（2）Max-Plus 半环**（热带最大半环）
+- 定义域：$\mathbb{R} \cup \{-\infty\}$
+- 热带加法：$a \oplus b := \max(a, b)$
+- 热带乘法：$a \odot b := a + b$
+- 加法单位元：$-\infty$
+- 乘法单位元：$0$
+
+这两种形式通过映射 $\phi(x) = -x$ 同构，可相互转换。
+
+### 2. 核心性质
+
+**幂等性**：这是热带代数最显著的特征
+$$ a \oplus a = a $$
+这意味着加法运算没有逆元（**不存在热带减法**），但热带除法定义为：
+$$ a \oslash b := a \otimes (-b) = a - b \quad (b \neq -\infty) $$
+
+**基本代数律**：
+- 交换律：$a \oplus b = b \oplus a$，$a \odot b = b \odot a$
+- 结合律：$(a \oplus b) \oplus c = a \oplus (b \oplus c)$
+- 分配律：$a \odot (b \oplus c) = (a \odot b) \oplus (a \odot c)$
+
+### 3. 热带多项式
+
+**热带单项式**在 $d$ 个变量下定义为：
+$$ c \odot x_1^{\odot a_1} \odot x_2^{\odot a_2} \odot \cdots \odot x_d^{\odot a_d} $$
+其中 $c \in \mathbb{R}$ 是系数，$a_i \in \mathbb{N}$ 是指数
+
+**热带多项式**是单项式的热带和：
+$$ p(x) = \bigoplus_{i=1}^n c_i \odot x_1^{\odot a_{i1}} \odot \cdots \odot x_d^{\odot a_{id}} $$
+其对应的经典函数是**分段线性凹函数**
+
+---
+
+## 二、基本应用方式
+
+### 1. 图论与最短路径算法
+
+这是热带代数最经典的应用。设 $A$ 是带权有向图的邻接矩阵，其中 $A_{ij}$ 表示从节点 $i$ 到 $j$ 的边权。
+
+**热带矩阵乘法**（Min-Plus版本）：
+$$ (A \otimes B)_{ik} = \bigoplus_{j} A_{ij} \odot B_{jk} = \min_j (A_{ij} + B_{jk}) $$
+
+**路径计算**：
+- $A^{\otimes n}$ 给出长度不超过 $n$ 的最短路径距离
+- Bellman-Ford算法本质上是热带线性方程求解
+
+**示例**：对于邻接矩阵 $A$，若 $A_{ij}$ 表示边权，则 $A^{\otimes 2}$ 的 $(i,j)$ 元素等于：
+$$ \min_k (A_{ik} + A_{kj}) $$
+即两步最短路径长度
+
+### 2. 神经网络分析
+
+热带几何为理解ReLU神经网络提供了强大工具：
+
+**ReLU激活函数**可以表示为热带运算的组合：
+$$ \text{ReLU}(x) = \max(0, x) $$
+
+**神经网络决策边界**：深度ReLU网络的决策区域形成**热带超平面排列**，其复杂度可用热带几何工具精确量化
+
+**应用优势**：
+- 分析网络对抗鲁棒性
+- 计算网络表达能力上界
+- 设计更高效的神经网络架构
+
+### 3. 计算生物学与系统发育学
+
+**系统发育树重建**：系统发育树的距离矩阵自然形成热带空间中的点。热带主成分分析（Tropical PCA）可有效聚合多棵进化树，解决**共识树问题**
+
+**热带距离度量**：树空间中的热带度量比传统欧氏度量更能捕捉拓扑结构相似性
+
+### 4. 组合优化
+
+**分配问题**：热带矩阵的行列式对应加权二分图中的最优匹配
+
+**最大环均值**：方阵的最大特征值等于对应有向图中最大环平均值
+
+**线性规划**：热带线性规划与**均值收益博弈**等价，后者是NP∩co-NP类问题
+
+### 5. 控制理论与动态规划
+
+**离散事件系统**：max-plus代数用于建模生产线、交通网络等，其中"最大值"对应同步约束，"加法"对应时间累积
+
+**动态规划**：Bellman方程可视为热带拉普拉斯算子的 tropical 类比
+
+---
+
+## 三、计算实现
+
+在实际计算中，热带代数可通过专门库实现：
+
+**OSCAR系统**示例：
+
+```julia
+T = tropical_semiring(min)  # 创建min-plus半环
+# 基本运算：1 ⊕ 3 = min(1,3) = 1
+#          1 ⊙ 3 = 1 + 3 = 4
+```
+
+**GraphBLAS标准**：将热带矩阵乘法作为图算法的基本原语
+
+---
+
+## 四、历史与理论背景
+
+热带代数由Imre Simon于1970年代在自动机理论中首次引入，1990年代由Dominique Perrin命名为"Tropical"以纪念巴西数学家Simon。其理论基础与**Maslov去量子化**密切相关——通过极限过程将经典算术转化为热带运算。
+
+---
+
+## 五、总结
+
+热带代数通过**极值运算替代传统加法**，将非线性问题转化为**分段线性**结构，兼具代数严谨性与计算高效性。其核心优势在于：
+
+1. **计算简洁性**：最短路径等问题有闭式解
+2. **几何直观性**：代数簇变为多面体复合体
+3. **普适性**：统一了优化、几何和组合问题
+
+未来发展方向包括**热带微分方程**、**统计推断的热带化**以及与**量子计算**的联系。