EX3 幼女理论及其证明 -Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiguitas non caperet.-

甲：作为一名幼女控啊……

乙：慢着慢着，你先给解释一下标题。

甲：《少女理论及其周边 -Ecole de Paris-》是伪娘题材galgame《近月少女的礼仪》的续作。至于我们这个标题，显然只是在玩梗。

乙：这次法语的部分也太长了吧？

甲：啊，那一段是费马的名言“我想到了一个绝妙的证明，可是这里位置太小了，没法把它写下来”。

乙：我怎么觉得比上次那个副标题更加跑题了……

甲：没跑题啊，今天我们的主题就是数学证明。

乙：你要证什么？

甲：数学证明幼女控的优势。

乙：数学证明？

甲：幼字5画，女字3画，控字11画，总计19画。1+1+4*5+1-4=19

乙：不是，你这证的是野兽先辈幼女控说啊。

甲：刚才这只是活跃下气氛，下面我们回到正题——学过博弈论的朋友都知道……

乙：慢着慢着，你什么时候学过博弈论了？

甲：暑假去夏威夷的时候学的。

乙：好吧。

甲：学过博弈论的朋友都知道，有一个叫做稳固婚姻模型（Stable Marriage）的东西。

乙：怎么讲？

甲：现有n位男士和n位女士，他们对每个异性有一个评分，1到n。一组满足以下条件的两两配对被称作稳固婚姻配对——不存在一对未被配对的男女，他们对彼此的评分超过对当前配偶的评分。（在这种情况下，他们会试图重新组对）

乙：合理。

甲：一种典型的构造稳固配对的算法是：每一轮每个未配对的男士向自己评分最高且未求婚过的女士尝试求婚，然后，每个女士接受评分最高的一个男士的求婚（已婚女士则会甩掉当前的配偶，被甩掉的人从下一轮开始重新参与求婚）。如此重复多轮，直到每个人均拥有配对。由于在这个过程中，男方可以尝试的名单是有穷的，可以确保这个算法在有限次之后结束。

乙：我觉得应该跟画ntr漫画的人讲讲这个。

甲：顺便一提，用这种方式构造出的配对是所有配对当中使得男方取得的总评分最高的一种。这一点听着很反直觉但可以数学证明。

乙：但是，这和幼女控有什么关系呢？

甲：在这个模型下，幼女控，以及其他任何一种异常性癖都具有一个特征——评分方式和别人有显著的不同。

乙：所以？

甲：评分方式与众不同的第一个优势是：构成的配对要更加稳固。这个很好理解——如果你对一个别人打了低分的异性打了高分，自然没人跟你抢。

乙：好像是这么个道理。

甲：还有，第二个优势。在现实中，对异性的评分由很多因素构成——脸，性格，身材，职业，收入，学历，兴趣爱好……这里面虽然有一些主观性很大的项目，但也有一些标准比较客观的项目，比如说收入和学历。

如果你能够将主流观念中的扣分项当做加分项的话，那么，你就可以配对到在其他方面上有更多的加分项的异性。所谓的“爱一个人就要连缺点一起爱”，大致如此。

乙：还能这么解释的吗？

甲：综上所述，在婚恋市场上，身为幼女控其实是一种优势。Q.E.D.

乙：等等，我差点被你绕进去了。你这个论证过程有个很大的漏洞。

甲：哦？

乙：身为幼女控这件事情本身就是一个巨大的扣分项啊！

---

在沉思了许久之后，我同学又提出了一个“含非现实角色在内的稳固婚姻模型”。

在这个模型中，每个人除了对异性的评分外，还会对非现实的异性角色进行一个评分，而后者来者不拒，博爱地接受每个人。

我一度觉得他好像说中了什么，随后又想起我们两人是搞笑小说里的角色，便放弃了继续深入的打算。