Skip to content

无界错误通信复杂度

Unbounded-error communication complexity · UPP communication complexity

只要求每个输入上的正确概率严格超过二分之一,并以最坏通信量度量私有币协议。

条目类型
模型

形式陈述

f:X×Y{±1},无界错误协议采用私有币口径,双方随机带彼此独立;对每个输入都要求

Pr[Π(x,y)=f(x,y)]>12.

优势 βxy=Pr[correct]1/2 可依赖输入且没有统一正下界。UPPcc(f) 是满足该严格条件的协议的最坏通信 bit 数下确界;有限输入集上可取到一个正的最小优势,但复杂度定义不向它收费。协议通常要求指定一方或双方输出,本页允许最后一位输出 bit,并把因此产生的固定开销吸收到 O(1)

关键刻画是

UPPcc(f)=log2signrank(Sf)+O(1).

从成本 c 的私有币协议到矩阵:令 Axy=Pr[Π=1]Pr[Π=1]。严格成功保证 SxyAxy>0;按叶 transcript 把概率分为 Alice 因子与 Bob 因子,可写成至多 2c 个外积之和,故 rank(A)2c。反向从秩 r 的严格符号实现 A=UVT 出发,Paturi–Simon 的一向模拟用 log2r+O(1) bit 产生期望与 ux,vy 同号的输出。两向与一向复杂度也只差固定常数。

直觉

bounded-error 模型关心离 1/2 有固定距离;UPP 只关心越过哪一侧。因此一个协议可以用极其微弱的偏置编码答案,只要每个输入都严格为正。中心化的接受概率矩阵恰好把“微弱但正确”变成一张无零的符号实现矩阵。

模型的力量来自不为优势付费。若某输入优势为 22n,把它放大到 1/6 需要天文数量的独立重复;UPP 仍把原协议看作成功。这解释了符号秩为何刻画 UPP,却不能直接刻画普通 randomized complexity。

例子与边界

任意有限函数都展示公共币禁区。公共币均匀抽取 (x,y)X×Y;Alice 发送 a=1[x=x]。Bob 检查 b=1[y=y]:若 a=b=1,输出公开可算的 f(x,y);否则抛公平私有币。对真实输入 (x,y),命中事件概率为 1/(|X||Y|),故

Pr[correct]=12+12|X||Y|>12.

协议只发一 bit(若要求双方输出,再回传一 bit),于是 public-coin UPP 会把所有有限函数压到常数复杂度。标准 Paturi–Simon 刻画必须采用私有币,不能把 public coin 当作无害加强。

对一 bit XOR,符号秩页给出秩一矩阵

S=(1111)=uvT.

Alice 甚至可发送自己的输入一 bit,Bob 确定输出,故 UPP 成本为常数;log2signrank(S)=0,差异正落在输出 convention 的加性常数内。这个例子也说明为何不能宣称二者字面相等。

若把严格 >1/2 改为 1/2,永远抛公平硬币的零通信协议对所有函数都合法,模型完全坍塌。若要求统一优势至少 1/6,则回到 bounded-error randomized 模型。若允许公共币,必须另行固定随机性资源与有限精度,不能继续引用上述等价式。

推论与应用

UPP 下界等价于证明所有低秩实矩阵都无法严格实现目标符号模式;协议轮数在刻画中消失,因为任意两向 UPP 协议都能常数开销化为一向几何协议。它因此适合把通信问题转成点—超平面排列、阈值电路和学习维数问题。

等价刻画保留的是数量级与加性常数,不保留偏置、round 或每条消息长度。需要固定错误、公开随机性或 round-sensitive 结论时,必须使用近似秩、分解范数、信息复杂度或专门轮数下界;符号秩本身不会记录这些资源。

参考资料
  • Ramamohan Paturi and Janos Simon, “Probabilistic Communication Complexity,” Journal of Computer and System Sciences 33(1), 1986, pp. 106–123.
  • Eyal Kushilevitz and Noam Nisan, Communication Complexity, Cambridge University Press, 1997, Chapter 3.
  • Alexander A. Sherstov, “The Unbounded-Error Communication Complexity of Symmetric Functions,” Combinatorica 31, 2011, pp. 583–614.
关系图谱7 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系

限定层次等价