理科生坠入情网故尝试证明 理系が恋に落ちたので証明してみた。7.9

影迷点评

• 来自网友【谁家的鸡】的评论这个动画里面的理科梗比 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 的意思。第一集刚看完。先总结到这里。