第三视点

链接库

发表于 2023-08-21 分类于 linux

关于make链接时找不到文件的问题。

发表于 2023-06-02 分类于 Computation Theory

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

发表于 2023-05-26 分类于 Computation Theory

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

发表于 2023-05-11 更新于 2023-05-26 分类于 Computation Theory

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

发表于 2023-04-27 分类于 Computation Theory

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

发表于 2023-04-25 更新于 2023-04-27 分类于 High Performance Computing

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

发表于 2023-04-22 分类于 Computation Theory

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

发表于 2023-04-18 更新于 2023-05-13 分类于 High Performance Computing

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

发表于 2023-04-16 分类于 Computation Theory

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

发表于 2023-04-01 分类于 High Performance Computing

从原理角度介绍MPI。