计算理论 / 数学基础 · 论文 · 第 1 组

返回论文全景索引

本分块共 9 条，稳定上限为 100 条。

论文	Slug	难度	可信状态	简介
Cook-Levin 定理 — NP-完全性的诞生	cook-levin	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Dijkstra 最短路径 — 一杯咖啡时间想出来的贪心算法	dijkstra-shortest-path	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Feynman 1982 — 量子计算从模拟物理开始	feynman-simulating-physics-1982	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Gödel 1931 — 不完备性定理	godel-1931	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Karp 21 — 21 个 NP-完全问题	karp-21	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Knuth TAOCP — 计算机程序设计艺术	knuth-taocp	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
λ-演算 — 用三条规则表达所有可计算函数	lambda-calculus	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Shor 1994 — 量子傅里叶变换把分解整数变成找周期	shor-1994	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。
Turing 1936 可计算性	turing-1936	unknown	UNVERIFIED	暂无独立描述；可先从标题与正文定位开始。