先看一个粗暴的朴素算法 首先是矩阵特征多项式的定义： φA(λ)=det⁡(A−λI)\varphi_A(\lambda) = \det(A - \lambda I) φA​(λ)=det(A−λI) 最直接的做法就是直接按行展开矩阵行列式并递归计算。这样是一个 O(n!)O(n!)O(n!) 的暴力算法，显然是不能接受的。 再看一个多项式复杂度的简单算法 由朴素算法可知，φA(λ)\varp

先看看 fix 是什么 这是 fix 在 Haskell 中的定义： fix :: (a -> a) -> a fix f = let x = f x in x 哇！好怪，这个 x 是什么？我们好像只能知道它满足 x = f x，但是这个值具体是怎么求的呢？ 那我们还是先看看 fix 的应用吧 通常我们会这样定义阶乘。 fact :: Int -> Int fact 0 = 1 fact n