张小明
前端开发工程师
如果把现代数值计算压缩成一个个“最小动作”，消元法的优先级会排得非常靠前。它看起来只是中学里解方程组的机械操作：选主元、倍加、回代。可一旦把这些操作翻译成矩阵乘法，同一个流程就能回答三个完全不同的问题：线性方程组有没有解、逆矩阵是多少、矩阵能不能被拆成两个三角矩阵。这篇笔记是《从零重构线性代数》第二章第三讲，主线是消元法的“代数升维”：从初等算子出发，经过 Gauss-Jordan 求逆，走到 LU 分解和分块 Schur 补，最后用计算复杂度解释为什么这套框架能支撑现代求解器。
这一讲不需要特殊硬件，不需要下载模型，也不需要 WebUI。普通笔记本装上 Python 和 NumPy，就能把全部推导跑一遍。文章会先给出本讲的完整能力地图，再分别推导初等矩阵、逆矩阵、LU 分解、分块矩阵求逆，然后讨论复杂度与工程意义，最后给出可以复制执行的 Python 代码和排查思路。如果你正在补线性代数、准备算法面试，或者只是想知道scipy.linalg.lu
老实说，第一次系统接触“ARM MTE”这四个字母的时候，我脑子里冒出来的第一个问题是：硬件要管的“内存安全”，到底能管到什么程度？毕竟在微架构（u-arch）这个圈子里，大家聊内存安全方案…
李华
/* MD / 富文本中的 .toc（含博客园搬家等嵌套结构）；.toc-box 在侧栏，不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p（:empty 仍占 20px），一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …
李华
/* MD / 富文本中的 .toc（含博客园搬家等嵌套结构）；.toc-box 在侧栏，不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p（:empty 仍占 20px），一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …
李华
/* MD / 富文本中的 .toc（含博客园搬家等嵌套结构）；.toc-box 在侧栏，不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p（:empty 仍占 20px），一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …
李华
/* MD / 富文本中的 .toc（含博客园搬家等嵌套结构）；.toc-box 在侧栏，不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p（:empty 仍占 20px），一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …
李华
/* MD / 富文本中的 .toc（含博客园搬家等嵌套结构）；.toc-box 在侧栏，不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p（:empty 仍占 20px），一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …
李华