Em um aplicativo que estou considerando, preciso conhecer a complexidade da comunicação do seguinte problema:
Dado , seja o conjunto de números inteiros de a . Alice, Bob e Carol recebem um subconjunto de , denotado por , e , respectivamente. Eles querem verificar se , e formam uma partição de , ou seja, eles são disjuntos e sua união é .
Estou particularmente interessado no caso de três partes, mas outros casos também seriam interessantes. Observe que, no caso de duas partes, o problema é equivalente ao problema de IGUALDADE, portanto, possui limite inferior para protocolos determinísticos, mas limite superior para protocolos aleatórios.
Minha pergunta é se esse problema é conhecido antes. Se você conhece algum problema que possa estar relacionado, também gostaria de saber.