这个动画里面的理科梗比 Big Bang Theory 好玩多了,我随手总结了一下。以下的时间点以B站版本为准。第一集:2:09 多项式归类算法: 多项式时间算法,即 polynomial time algorithm,是计算机科学中的一种时间复杂度。所有此类算法通常以 P 表示。著名的 NP = P 问题中的 P 就是指多项式时间。归类算法,即 clustering algorithm,一般指机器学习中的一系列算反,用于“相近的”数据点归类成一类。常见的算法有 k-means, Expectation-Maximization。(有评论指出这个地方日文原文是 polynomial time reduction,字幕组在翻译的时候疏忽了)2:15 汉密尔顿问题:以汉密尔顿命名的概念太多了。这个地方可能指的是图论中的 Hamiltonian Path Problem, 即在一个graph中找寻一个刚好经过每个 vertex 一次的 path。这是一个著名的 NP-Complete 的问题,所以男主是准备证明 P=NP 吗 www2:18: 理查德卡普:Richard Karp, 加州大学伯克利分校的计算机科学家,对早期的算法复杂度问题有很大的贡献。OP 里面有很多公式我懒得仔细看了。暂且跳过。4:24:男主尊敬的人,冯诺依曼 (John Von Neumann),可能是人类历史上最后一个真正的理科全才。目标:诺贝尔奖。(所以你一个做 theoretical computer science 的人为什么想得诺贝尔奖啊!)4:27: 男主在敲 LateX 哈哈哈。TeX 是斯坦福大学的 Donald Knuth 发明的一种文字排版软件,对数学公式排版提供了很多支持。是现在几乎所有理科PhD的必备技能。4:31: 女主尊敬的人,艾米丽沙来特。这翻译的是个啥?我猜这里应该是 Emily Noether, 伟大的女性数学家,对抽象代数有杰出贡献。7:47: 可判定问题,应该是指逻辑学中的 decidability。7:55: 图灵计算表,即图灵机,turing machine。一种由图灵提出的计算模型。14:25: 归无假设,即零假设,null hypothesis。统计学中的一种test,与之相对的是 alternative hypothesis。动画里面这段科普其实是很不错的,很intuitive。18:55:汉诺塔, tower of Hanoi。一个很著名的数学小游戏。女二号这个地方说用渐化式解决了这个问题,我猜应该是 induction 或者 recursion 的意思。第一集刚看完。先总结到这里。