Great-designer

### 页面英文名 lu-decomposition ### 我希望能添加的内容是 我发现要讲明白Kraut方法，需要讲LU分解，而这个是一个很麻烦的内容。 三种初等行变换是变换一整行，是同解的变换。而到了LU分解，按照上三角和下三角两半进行变换，不是同解的变换。 顺便还可以讲一讲顺序主子式。在mathworld.wolfram.com上面没有这个词条，而在“正定矩阵”（Positive Definite Matrix）有这样一句： The definition of positive definiteness is equivalent to the requirement that the determinants associated with all upper-left submatrices are positive....

Add 经由变换加速的大数乘法和三模数FNTT

3

### 页面英文名 无，直接续在NTT后面 ### 我希望能添加的内容是 传说中的三模数FNTT，最好有代码。

子问题：最佳计划

2

给定期限和持续时间的最佳计划

feat(math/poly/egf.md): 继承自前人的组合意义代数证明

1

继承自 #3912 旧的pr因为文件移动已经无法修理冲突，故迁移至此处。

add 编译入门相关

5

## 希望能添加编译入门相关 之前写过一些。这东西确实很有用，写parser也算是程序员必备技能。然而觉得这个坑实在是过于巨大，自己水平实在不高，还是放弃了。不知道有没有巨佬能简单地写写相关内容，内容简单，效果显著的那种。 ## 我了解到的相关参考资料有 大学课本。比如狼书之类的。

Add 拟阵

11

### 页面英文名 matroids ### 我希望能添加的内容是 许多贪心算法以拟阵（Matroids）为理论基础。另外，并非所有的贪心算法都以拟阵为基础。 对于线性无关，有性质： 一个线性无关向量组的任意子集也线性无关。 如果X和Y是两个线性无关向量组，且X的秩小于Y的秩，则必存在一个y∈Y，使得X∪{y}是一个线性无关向量组。 1935年，美国数学家哈斯勒·惠特尼（Hassler Whitney）把以上两条性质进行了抽象推广，提出了拟阵概念。 一个拟阵是一个满足如下性质的有序对M = (S, I)，其中S是非空有限集： 遗传性质：I是S的子集的一个非空族，且若B∈I，且A⊆B，则A∈I。 交换性质：若A∈I, B∈I且|A| < |B|，则存在某个元素x∈B – A，使得A∪{x}∈I。 拟阵有许多案例，例如“矩阵拟阵”和“图拟阵”等等。 线性无关向量组的矩阵构成矩阵拟阵中的I。 森林构成图拟阵中的I。 S的子集的非空族，若满足遗传性质，称为S的独立子集。 给定加权拟阵M = (S, I)，计算S的具有最大权值w(A)的独立子集...

Add 牛顿恒等式

1

### 页面英文名 略 ### 我希望能添加的内容是 牛顿恒等式，一个递推关系的有力工具 可以增加到《常系数齐次线性递推》一页之中 ~~（另外《常系数齐次线性递推》一页，至今位置仍然不正确，需要移动）~~ (@Tiphereth-A fixed in #4846) ### 我了解到的相关参考资料有 略

### 页面英文名 _No response_ ### 我希望能添加的内容是 秦九韶算法/霍纳法则 一个很简单的内容，暂时搜索不到 ### 我了解到的相关参考资料有 网上到处都是

Add 中国邮递员问题

1

### 页面英文名 Chinese Postman Problem ### 我希望能添加的内容是 管梅谷于1962年提出了中国邮递员问题： 一个邮递员从邮局出发，到所辖街道投邮件，最后返回邮局，如果他必须走遍所辖的每条街道至少一次，那么他应该如何选择路线，使所走的路程最短？ 该问题借助二部图匹配，已经有多项式时间解法。相关内容目前在本站上暂时无法搜索到。 ### 我了解到的相关参考资料有 _No response_