原创力文档- 1、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。。
- 2、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
- 4、该文档为VIP文档，如果想要下载，成为VIP会员后，下载免费。
- 5、成为VIP后，下载本文档将扣除1次下载权益。下载后，不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后，您将拥有八大权益，权益包括：VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传，每下载1次， 网站将根据用户上传文档的质量评分、类型等，对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
计算理论(V)计算机学院陈翌佳姚期智Andrew Yao - 2000年图灵奖In recognition of hisfundamental contributions tothe theory of computation,including the complexity-basedtheory of pseudorandom numbergeneration, cryptography, andcommunication complexity.通讯复杂性 Communication Complexityy=1101011010x=1100111010“x=y？”的通讯复杂性给定通讯双方各自n位2进制串x和y，他们需要交换多少位的信息才能判断x是否等于y？定理. [Yao, 1979] 判断“x=y？”通讯双方需要交换n位信息。通讯协议(protocol)的数学描述一个n位“x=y?”通讯协议P是一棵二叉树，其中每个内部节点v包含一个函数w:{0,1}?→{left, right}或者l:{0,1}?→{left, right}；每个叶节点包含{true, false}中的一个值。给定x和y，通讯过程从树的根开始：1.如果当前节点包含函数w，那么吴奇隆根据w(x)决定走向哪个儿子节点；2.如果当前节点包含函数l，那么刘诗诗根据l(x)决定走向哪个儿子节点;2.一旦到达叶节点，它所包含的{true, false}值就“x=y?”的结果。通讯协议(protocol)的数学描述一个n位“x=y?”通讯协议P是一棵二叉树，其中每个内部节点v包含一个函数w:{0,1}?→{left,right}或者l:{0,1}?→{left,right}；每个叶节点包含{0,1}中的一个值。通讯协议P的深度depth(P)，即最长的由根节点到某个叶节点的路径长度，就是整个通讯要交换的信息总量。在所有计算“x=y?”的协议P中，我们想确定最小的depth(P)。通讯协议的组合特征对于协议P中的每个节点v，我们令Rv表示所有能够到达v的(x,y)的集合。引理 1. 所有叶节点的Rv构成了对{0,1}?×{0,1}? 的一个划分。引理 2. 每个叶节点的Rv都是{0,1}?×{0,1}?中的一个单色组合长方形。组合长方形R?{0,1}?×{0,1}?是一个组合长方形，当且仅当存在A,B?{0,1}? 使得R=A×B。R?{0,1}?×{0,1}?是单色的，当且仅当x=y对于所有的x,y∈R都成立，或者都不成立。组合长方形的等价刻画引理. R?{0,1}?×{0,1}?是一个组合长方形，当且仅当对于任意的(x,y)∈R和(x’,y’)∈R，我们有(x,y’)∈R 。通讯协议的组合特征引理 2. 每个叶节点的Rv都是{0,1}?×{0,1}?中的一个单色组合长方形。证明. 单色是显然的。我们证明每个节点的Rv都是组合长方形。假设(x,y)∈Rv和(x’,y’)∈Rv，我们必须验证(x,y’)∈Rv。对v的深度归纳证明：从根节点出发到节点v，P的行为在(x,y), (x’,y’)和(x,y’)上完全一致。“x=y？”的通讯复杂性定理. [Yao, 1979] 判断“x=y？”通讯双方需要交换n位信息。证明：- 每个通讯协议P在{0,1}?×{0,1}?的对角线上需要2?个单色长方形。- 因此P至少有2?个叶节点。- P的深度至少是n。
文档评论（0）