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