摘要： ## 搜索 **搜索问题**的定义包含**初始状态** $S_0$, **可选动作** $\mathrm{Action}(S)$, **状态转移模型** $\mathrm{Result}(S,a)$, **目标状态** $T$, **路径花费** $\mathrm{Cost}:\mathrm{Pat 阅读全文

摘要： **定理.** 设 $F$ 是无限域, $V$ 是 $n$ 维 $F$-向量空间, $T\in\mathrm{End}(V)$, 则 $V$ 只有有限个 $T$-不变子空间当且仅当 $T$ 是循环的. > $\impliedby$: 设有 $F[X]$-模同构 $V\simeq F[X]/(d)$, 阅读全文