一篇新论文提出了一个统一的模型,用于对不同输出域函数的 Nerode 风格正则性刻画,推广了 Hauser 在通信复杂度方面的工作。该模型放宽了可计算性假设,允许非布尔输出域,其中输入字符串被拆分为两部分,由 Alice 和 Bob 双方交换固定数量的消息以计算函数值。
作者表明,对于多个域,该模型与已知的计算模型一致,并使用名义集将框架扩展到无限字母表。
这项工作为以下猜想提供了大量支持证据:对于其他缺乏 Nerode 风格正则性刻画的域,类似的对应关系也成立。
一篇新论文提出了一个统一的模型,用于对不同输出域函数的 Nerode 风格正则性刻画,推广了 Hauser 在通信复杂度方面的工作。该模型放宽了可计算性假设,允许非布尔输出域,其中输入字符串被拆分为两部分,由 Alice 和 Bob 双方交换固定数量的消息以计算函数值。
作者表明,对于多个域,该模型与已知的计算模型一致,并使用名义集将框架扩展到无限字母表。
这项工作为以下猜想提供了大量支持证据:对于其他缺乏 Nerode 风格正则性刻画的域,类似的对应关系也成立。