Logic の 博客

介绍如题的内容。

在分布式系统和多处理器计算机中，核心问题是如何高效地连接 $N$个输入和$N$ 个输出。

与数论类似，都是笨人没好好学过的东西，同样主要内容来自 $mit$的离散数学课程以及$Gemini$ 。

由于看的课的中文是机翻，下面对 $walk,path$ 等词语在可能混淆的情形下使用英文。
由于画图的麻烦性，并没有画图，建议自行作画。

鉴于笨人没怎么学过数论，第一次学有些模糊，记个笔记加深一下印象，没有太多理解，更多是整理。主要内容来自于 $mit$的离散数学以及$Gemini$ 助教，因而也许也作为学习用。

算两次

如果合法操作不会改变系统的某个变量，那么如果初始状态和末状态的不变量不同，就可以断言末状态无法到达。

引用Gilbert老爷子的话：

The Singular Value Decomposition is a highlight of linear algebra.

据Gemini说，这种方法叫稠密性论证。

行列式与矩阵