多少厨师会坏了汤？

本工作中，我们研究如下基本问题：“分布式任务允许多少并行？”我们此处对并行性（或对称性）的定义并非基于速度，而是基于执行中进程同时拥有的相同角色。我们在群体协议中发起此研究，这是一个非常简单的模型，不仅允许对角色是什么进行直接定义，还包含了将协议导致的属性与控制进程间交互的对抗调度器导致的属性分离开来的挑战。我们(i) 给出了可在最大对称性（即 $\Theta(N_{min})$，其中 $N_{min}$ 为初始配置中状态的最小重数）下稳定计算的输入赋值上谓词集合的部分刻画；并且(ii) 我们将注意力转向其余谓词，并证明了针对奇偶性谓词的一个强不可能性结果：任何稳定计算该谓词的协议其固有对称性由上界为常数所限制，该常数依赖于协议的大小。