Skip to content

定义Definition

同时消息传递模型

施工中 · 内容逐步修订

Simultaneous message passing · SMP model

Alice 与 Bob 不相互通信,各自只向无输入 referee 发送一条消息,由 referee 合并两份摘要输出。

形式陈述 ​

三方协议形状 ​

取有限非空输入、输出集合。Alice 持有 x∈X,Bob 持有 y∈Y,referee 没有私有输入。双方在看不到对方消息的情况下分别计算

MA=A(x;RA,R),MB=B(y;RB,R),

并各发送一次。Referee 用消息、自己的随机币及模型允许的公共随机串 R 输出

G(MA,MB;RR,R).

这称为 simultaneous message passing(SMP)。消息“同时”表示任一发送者都不能根据另一条消息调整内容;实现上先后到达不改变协议,只要发送规则在逻辑上独立。

通信成本可以取 |MA|+|MB|,也可报告较长一条消息 max{|MA|,|MB|}。两种 convention 相差至多因子 2,但精确常数和不对称协议仍需注明。Referee 的本地计算通常免费,最终输出不再回传给发送者。

随机币的三种可见性 ​

Private-coin SMP 让 RA,RB,RR 相互独立,也独立于输入。给定输入后,两条消息条件独立,referee 只能从各自摘要的联合分布判断答案。

Public-coin SMP 让所有参与者看到同一条、与输入独立的 R。Alice 与 Bob 可以据此选同一个哈希函数或采样坐标,两条消息即使在给定 (x,y) 后也会通过 R 相关。公共串不计通信,却不能依赖当前输入。

还存在只由 Alice、Bob 共享而 referee 不知,或各方两两共享随机性的模型。它们不是 private/public 的同义写法;谁能看到哪个随机变量直接决定 referee 是否能解释消息相关性。

随机通信的逐输入错误量词保持不变:对每个固定 (x,y),概率只对允许的币取,错误至多 ε。在某个输入分布上平均正确不够替代 worst-case SMP。

直觉

SMP 把交互压成两份彼此看不见的摘要。Alice 无法根据 Bob 的消息补充缺失信息,Bob 也无法对 Alice 提问;referee 得到两份独立生成的视图后,必须一次性完成拼接。困难不只在消息短,还在发送者没有协调反馈。

公共币能在发信前对齐摘要坐标,使两条消息虽然独立计算,却可被 referee 逐项比较。私有币下的随机选择彼此隐藏,referee 若不知道两个摘要使用了什么共同基准,就只能从消息分布本身恢复关系;Equality 的平方根分离正体现协调成本。

例子与边界

SMP 中两方各向裁判发送一条消息且彼此不可见;单向通信复杂度中 Alice 直接把消息发给持有另一半输入的 Bob。裁判是否拥有输入、是否共享随机性以及消息能否依赖接收方身份,都会改变复杂度。

公共币 Equality 指纹 ​

对 n≥1、x,y∈{0,1}n 的Equality,公共串给出独立均匀向量 r(1),…,r(k)。Alice 发送

aj=⟨r(j),x⟩mod2,

Bob 同时发送 bj=⟨r(j),y⟩mod2。Referee 接受当且仅当每个 aj=bj。

若 x=y,两条消息逐位相同,必然接受。若 x≠y,每个内积指纹碰撞概率为 1/2,k 次独立碰撞概率为 2−k。两位发送者各发 k bit,总通信 2k,不需要任何交互。

这条协议与单向 Equality 的指纹公式相似,但信息流不同:Bob 不负责计算输出,也看不到 Alice 消息;只有 referee 汇合两份摘要。把 referee 偷换成 Bob 会改变谁拥有 y、谁看见公共串以及通信计数。

Private coin 的真实差距 ​

没有共享随机性时,双方无法免费选择同一个随机线性函数。经典结果表明,private-coin classical SMP 对 Equality 达到任意固定 0<ε<1/2 的错误率需要 Θ(n) bit,而 public-coin SMP 只需常数通信(对固定错误)。

一种上界使用组合块码,先用常率、常数相对距离的二进码编码输入,把长度 O(n) 的码字补零到最近的平方数长度,再排成边长 O(n) 的方阵;补零只改变常数比例的相对距离。Alice 私下抽一列并发送列内容及编号,Bob 独立抽一行并发送行内容及编号;referee 检查交点。相等时必一致,不同时随机交点以常数概率落在差异位置,常数次独立重复给出常数错误。编号的 O(log⁡n) 成本已包含在 O(n) 内。下界则限制独立消息能保留的区分信息;完整论证见 Gavinsky–Regev–de Wolf §3。

与交互和协调器模型的边界 ​

任意 SMP 协议都可由一般交互协议模拟:双方把消息发到其中一方或中央节点。但交互协议的第二条消息可以依赖第一条,SMP 不允许这种反馈,所以交互下界不能自动由 SMP 下界替代。

Coordinator 模型允许多位玩家与中心往返多轮;SMP referee 只被动收一次消息。若 referee 可以发挑战再收回复,模型已经接近 star-topology 交互通信。

消息长度之外还要声明消息是否量子、是否共享纠缠以及 referee 的测量。经典 private/public SMP 的结论不能直接套到量子通信。

最后,消息统计相关不等于输入统计相关。即使输入独立,公共币也能让消息相关;即使输入高度相关,private-coin 消息在给定完整输入后仍由独立私有币生成。下界证明必须条件化正确的变量。

推论与应用

SMP 是分布式 sketch 与一次性汇报系统的自然抽象:各数据源在看不到其他摘要时向中心发送消息,中心统一判定。迁移协议时应保留总消息或最大单消息口径、共享随机性的可见者以及 referee 是否拥有额外输入。

它也提供一条清晰的模型层级:一般交互可模拟 SMP,而 SMP 不能利用反馈;public-coin 可协调哈希,private-coin 不具备这一免费资源;量子消息与共享纠缠又形成另一层能力。下界只会沿“强模型下界推出弱模型下界”的方向安全传播。

参考资料
  • Andrew Chi-Chih Yao, “Some Complexity Questions Related to Distributive Computing,” STOC, 1979, pp. 209–213.
  • László Babai and Peter G. Kimmel, “Randomized Simultaneous Messages: Solution of a Problem of Yao in Communication Complexity,” IEEE Conference on Computational Complexity, 1997, pp. 239–246.
  • Dmitry Gavinsky, Oded Regev, Ronald de Wolf, “Simultaneous Communication Protocols with Quantum and Classical Messages,” §2–3,私有币 Equality 界及行列抽样上界。
  • Ilan Newman and Mario Szegedy, “Public vs. Private Coin Flips in One Round Communication Games,” STOC, 1996, pp. 561–570.
关系图谱10 个相邻概念 · 3 类关系

拖动节点调整位置。

显示关系

显示:依赖

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