So Much Drama in the PhD（博士学位充满了戏剧）

http://graphics.stanford.edu/~monzy/DramainthePhD.mp3

So Much Drama in the PhD 出自 MonzyYo,

MC Plus Plus, my rhymes are so phat,
MC 棒棒，我的节奏酷毙了
I'm PSPACE-complete but I'll reduce you to 3-SAT.
我图灵完备，但是解决不了3-SAT

（PSPACE是计算复杂度理论中能被确定型图灵机利用多项式空间解决的判定问题集合，是Polynomial SPACE的简称。）
（3-SAT问题：
给定一系列的布尔变量x_1,x_2,...
x_n文字(Literal)定义为每个变量的是与否，
比如x_1的就是x_1和 NOT x_1
在3-SAT问题中，子句(Clause)定义为三个文字(Literal)合并到一起的运算，例如
(x_1 OR (NOT x_2) OR x_3)
那么最后3-SAT的表达式就是一系列这样的子句(Clause)合并到一起的运算，例如：
(x_1 OR (NOT x_2) OR x_3) AND (x_4 OR x_5 OR (NOT x_6)) AND ....
3-SAT的表述就是能否找到这样的一系列x_1,x_2,...x_n
使得如上形式的式子得到的是TRUE，如果是则是满足的(satisfied)，否则不是。）

My crew is so hard that we roll in NP,
我们是这么幸苦地在NP中翻滚

（NP类问题：所有的非确定性多项式时间可解的判定问题构成NP类问题。非确定性算法：非确定性算法将问题分解成猜测和验证两个阶段。算法的猜测阶段是非确定性的，算法的验证阶段是确定性的，它验证猜测阶段给出解的正确性。设算法A是解一个判定问题Q的非确定性算法，如果A的验证阶段能在多项式时间内完成，则称A是一个多项式时间非确定性算法。有些计算问题是确定性的，例如加减乘除，只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。比如，找大质数的问题。有没有一个公式能推出下一个质数是多少呢？这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。这也就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。这个可以告诉你“猜算”的答案正确与否的算法，假如可以在多项式（polynomial）时间内算出来，就叫做多项式非确定性问题。）

And bitches dereference my pointer for free.
婊子们复引用了我的指针让它们跑掉

When I'm linear probing they're like, "Damn that's gigantic,"
当我线性逼近它们本来的样子的时候，妈的，那数字真大

I showed it to your mom and she used Hoare semantics.
我把它展示给你地妈妈，她以前是如此得霍尔语义

霍尔语义
霍尔逻辑（Floyd-Hoare Logic）便是一种典型的建立在谓词逻辑基础上的公理语义。 在它的基础上，我们可以在程序代码和谓词逻辑公式之间，建立起等语义关系的转化，从而确保我们的验证结果是有效的。
霍尔逻辑核心概念是霍尔三元组（Hoare Tuple），以及对应的推理规则。

She jumped like JNE
她跳得就像JNE

jne是一个条件转移指令

up onto my erection
跳上我的竖立物
And I picked up that ho like straight garbage collection.
我啥啥就像直接得垃圾收集
("That's right, mark-and-sweep on these nuts, bitch.")
那是对的，标记然后清理这些疯子，婊子
My lyrics get stolen by sucker MCs,
我的歌词被傻逼MC们偷走了
I gotta sign my rhymes with PGP;
我就对我的韵律使用了 PGP

PGP（英语：Pretty Good Privacy，中文翻译“优良保密协议”）是一套用于消息加密、验证的应用程序，采用IDEA的散列算法作为加密与验证之用

But I keep on generatin' like a

'Cause there's so much drama in the PhD.

What's wrong MC Plus Plus, am I making you nervous?

Even skanky fat hoes give you denial of service.

You'll probably go to jail before you write your dissertation

So prepare your asshole for some internal fragmentation;

Penetration, as they fill it up with jism,

It's too bad you aren't closed under homomorphism.

Your problem, Plus Plus, is that your typing isn't strict:

In ML my type is real

and your type is 'a dict.

I control my flow better than TCP,

I rep the west coast like Eazy-E,

You best not front if you can't pass the GRE,

'Cause there's so much drama in the PhD.

My flow is so intense that I will overflow your buffer,

Corrupt your stack pointer makin' all your data suffer.

I've got saturated edges but your flow is sparser,

Real gangstas sip on Yacc; instead you generate a parser.

While you're busy poppin' stacks I'll pop a cap in your skull,

While you smoke your crack pipe I'm gonna pipe you to
/dev/null.

I may not have a label but I rap like a star;

I'm an unsigned long int and you're an 8-bit char.

Your mom circulates like a public key,

Servicing more requests than HTTP.

She keeps all her ports open like Windows ME,

Oh, there's so much drama in the PhD.DWORD

to your moms, I came to drop bombs;

I've got more rhymes that San Jose's got dotcoms.

I rep the Farm like 50 reps Queens,

With more power than multitape Turing Machines.

Blowin' up the rap scene faster than factorial functions,

I'm dope like PNP transistors and I'll saturate your junctions.

By the time you've rhymed one line, I've already busted ten;

You rap in exponential time and I'm big-O of log(n).

I run gmake and gcc,

And I ain't never called malloc

without calling free.

I'll beat your ass until it's colored like a red-black tree

'Cause there's so much drama in the PhD.