行而上

摘要： 到目前为止，我们讨论了在私钥、公钥背景下，保证通信保密的安全性和关于消息真实性认证的安全性的算法。下面我们要讨论关于计算的安全性的算法。 双方安全计算(Secure 2-Party Computation) 作为一个motivating example，我们考虑姚期智在1986年提出的百万富翁问题( 阅读全文

摘要： 离散概率本质是计数问题。所以如果想要进一步研究由概率图灵机定义的复杂性类（比如\(\text{PP}\)），一个很自然的角度是研究计数问题的复杂性类。 到目前为止，我们讨论的都是判定问题。判定问题的输出只能是\(0\)或\(1\)，也就是说判定问题可以看作一类特殊的计数问题。然而直观上就可以接受，计 阅读全文