理科生坠入情网故尝试证明

如果对研究充满热情的科学女孩和科学男孩坠入爱河怎么办？彩玉大学理科研究生的才女，冰室菖蒲向同一实验室雪村心夜告白。当然“喜欢”是没有逻辑根据的！但是，作为理工学专业的学生，“如果不能用逻辑证明自己的喜好，就不能说是喜欢，作为理科也不合格！”以那个信念为基础，两人卷进研究室的成员关于“恋”的定义的证明实验即将开始！约会实验，了解喜欢的构成要素，测量心率实验，情绪值的测量……个性过强的理科生们用逻辑证明“恋爱”有笑有心跳的理科爱情喜剧！

这个动画里面的理科梗比 Big Bang Theory 好玩多了，我随手总结了一下。

以下的时间点以B站版本为准。

第一集：

2:09 多项式归类算法: 多项式时间算法，即 polynomial time algorithm，是计算机科学中的一种时间复杂度。所有此类算法通常以 P 表示。著名的 NP = P 问题中的 P 就是指多项式时间。归类算法，即 clustering algorithm，一般指机器学习中的一系列算反，用于“相近的”数据点归类成一类。常见的算法有 k-means, Expectation-Maximization。

2:15 汉密尔顿问题：以汉密尔顿命名的概念太多了。这个地方可能指的是图论中的 Hamiltonian Path Problem, 即在一个graph中找寻一个刚好经过每个 vertex 一次的 path。这是一个著名的 NP-Complete 的问题，所以男主是准备证明 P=NP 吗 www

2: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 的意思。

第一集刚看完。先总结到这里。