程序员的脑力瑜伽操04-寻找你的恋人-CSDN博客

上篇：程序员的脑力瑜伽操03-约翰麦卡锡的间谍问题

公布答案啦：

首先我们认识一下单向函数：

我摘取了维基百科的定义：

单向函数 (One-way function)是一种具有下述特点的单射函数：对于每一个输入，函数值都容易计算（多项式时间），但是给出一个随机输入的函数值，算出原始输入却比较困难（无法在多项式时间内使用非确定性图灵机计算）。

拉宾就是采用“单向函数”的算法得出了解决方案。冯·诺依曼当时提出过一个单向函数，很出名。是这样描述的：

假设有个x，x有100位数字，该数值的平方值很容易计算，平方后的结果有200位数字，在这200位数字中我们取中间的100个数字，称为y。如果我给你x，你通过平方后取中间100位，得出y值。但如果我给你y值，让你计算我手中的x值，却很难逆向得出x值。

拉宾采取的就是冯·诺依曼的这个单向函数思想。

具体方案如下：

假设守卫知道如何计算平方后取中，而且他们有一份y值列表，每个y值对应一个间谍。当间谍来到边境的时候，间谍会告诉守卫他的x值和姓名。守卫核对x的平方取中是否等于y（同时核对间谍没有进入过其他地方）。如果守卫喝酒漏嘴，把手中y值列表也就是间谍名单泄漏了，更或者连平方取中这个“加密规则”也告诉了敌军，那现在敌军即使有了一份y值列表和平方取中规则，敌军也很难逆向算出x，然后赋予自己间谍一个x值（名字好赋予，名单上有）。