Multipartite Communication complexité de "Set Partition problem"

13

Dans une application que j'envisage, j'ai besoin de connaître la complexité de communication du problème suivant:

Étant donné , soit S l'ensemble des entiers de 1 à n . Alice, Bob, Carol et chacun reçoit un sous - ensemble de S , notée A , B et C , respectivement. Ils veulent vérifier si A , B et C forment une partition de S , par exemple, ils sont disjoints et leur union est S .nS1nSUNEBCUNEBCSS

Je suis particulièrement intéressé par le cas de 3 parties mais d'autres cas seraient également intéressants. Notez que pour le cas de 2 parties, le problème est équivalent au problème d'EGALITE donc il a borne inférieure pour les protocoles déterministes mais O ( log n ) borne supérieure pour les protocoles randomisés.Ω(n)O(Journaln)

Ma question est de savoir si ce problème est connu auparavant. Si vous connaissez des problèmes qui pourraient être liés, je serais également intéressé de le savoir.

Danu
la source

Réponses:

17

Une borne inférieure linéaire sur CC déterministe suit en fixant l'un des ensembles comme étant vide.

Pour une borne supérieure logarithmique randomisée, notons d'abord que ce problème peut être réduit au problème demandant si la somme de trois nombres à 3n bits est exactement 23n-1 . Celui-ci peut être résolu dans une communication aléatoire O(Journaln) par les joueurs opérant avec un nombre premier O(Journaln) aléatoire .

Noam
la source
Ne pouvez-vous pas utiliser à la place des nombres de bits et obtenir un algorithme qui fonctionne également dans un modèle de streaming? Pour que cela fonctionne, vous devez également vérifier que le nombre total d'articles est correct, mais c'est facile à faire. Porte détruit ceux, donc la somme de n puissances de deux est égale à 2 n - 1 si et seulement s'il y a exactement une copie de chaque puissance de deux. 2nn2n-1
Warren Schudy
1

J'examine une question légèrement différente, qui semble liée. Quelle serait une bonne référence pour des détails sur la limite supérieure aléatoire dans la réponse ci-dessus?

Keren
la source
1
vous devriez peut-être poster une autre question?
Suresh Venkat
Pour la réponse à mon problème, vous pouvez regarder le protocole randomisé pour résoudre le problème d'égalité pour vous faire une idée. Par exemple, l'exemple 3.5 dans le livre de Nissan-Kushilevitz. L'idée principale est d'utiliser les empreintes digitales, je suppose.
Danu