第三视点

介绍一堆经典的NPC问题，以及证明其为NPC的简要思路。

此前讨论的是可计算性，现在则进入有关计算复杂度的讨论。

介绍和图灵机计算能力以及相应的语言层次结构、可判定性等内容。

结合几个例子介绍最通用的图灵机模型

介绍一个简单但实用的性能上限估计模型roofline，它可以帮助我们估计给定程序优化的极限。

简介下推自动机，其与上下文无关文法的关系，乔姆斯基范式，上下文无关文法的pumping lemma等内容。

介绍关于Cuda程序优化的知识。

简介上下文无关文法和上下文无关语言。

从原理角度介绍MPI。

今天打开WSL发现直接报错：

1
2
3

>wsl
Error: 0x80040326
Error code: Wsl/Service/0x80040326

随后迅速Google此错误代码，发现这和Windows10更新有关，在Windows10更新后需要手动更新WSL才能正常运行。因此执行wsl --update，不久会弹出：

随后即可正常启动WSL。