這個動畫里面的理科梗比 Big Bang Theory 好玩多了，我隨手總結(jié)了一下。 以下的時間點(diǎn)以B站版本為準(zhǔn)。 第一集： 2:09 多項(xiàng)式歸類算法: 多項(xiàng)式時間算法，即 polynomial time algorithm，是計(jì)算機(jī)科學(xué)中的一種時間復(fù)雜度。所有此類算法通常以 P 表示。著名的 NP = P 問題中的 P 就是指多項(xiàng)式時間。歸類算法，即 clustering algorithm，一般指機(jī)器學(xué)習(xí)中的一系列算反，用于“相近的”數(shù)據(jù)點(diǎn)歸類成一類。常見的算法有 k-means, Expectation-Maximization。 (有評論指出這個地方日文原文是 polynomial time reduction，字幕組在翻譯的時候疏忽了） 2:15 漢密爾頓問題：以漢密爾頓命名的概念太多了。這個地方可能指的是圖論中的 Hamiltonian Path Problem, 即在一個graph中找尋一個剛好經(jīng)過每個 vertex 一次的 path。這是一個著名的 NP-Complete 的問題，所以男主是準(zhǔn)備證明 P=NP 嗎 www 2:18: 理查德卡普：Richard Karp, 加州大學(xué)伯克利分校的計(jì)算機(jī)科學(xué)家，對早期的算法復(fù)雜度問題有很大的貢獻(xiàn)。 OP 里面有很多公式我懶得仔細(xì)看了。暫且跳過。 4:24：男主尊敬的人，馮諾依曼 (John Von Neumann)，可能是人類歷史上最后一個真正的理科全才。目標(biāo)：諾貝爾獎。（所以你一個做 theoretical computer science 的人為什么想得諾貝爾獎啊?。?4:27: 男主在敲 LateX 哈哈哈。TeX 是斯坦福大學(xué)的 Donald Knuth 發(fā)明的一種文字排版軟件，對數(shù)學(xué)公式排版提供了很多支持。是現(xiàn)在幾乎所有理科PhD的必備技能。 4:31: 女主尊敬的人，艾米麗沙來特。這翻譯的是個啥？我猜這里應(yīng)該是 Emily Noether, 偉大的女性數(shù)學(xué)家，對抽象代數(shù)有杰出貢獻(xiàn)。 7:47: 可判定問題，應(yīng)該是指邏輯學(xué)中的 decidability。 7:55: 圖靈計(jì)算表，即圖靈機(jī)，turing machine。一種由圖靈提出的計(jì)算模型。 14:25: 歸無假設(shè)，即零假設(shè)，null hypothesis。統(tǒng)計(jì)學(xué)中的一種test，與之相對的是 alternative hypothesis。動畫里面這段科普其實(shí)是很不錯的，很intuitive。 18:55：漢諾塔, tower of Hanoi。一個很著名的數(shù)學(xué)小游戲。女二號這個地方說用漸化式解決了這個問題，我猜應(yīng)該是 induction 或者 recursion 的意思。 第一集剛看完。先總結(jié)到這里。