Многопартийная коммуникационная сложность «Задача разделения раздела»

13

В рассматриваемом приложении мне необходимо знать сложность связи следующей проблемы:

Для данного пусть S будет множеством целых чисел от 1 до n . Алиса, Боб и Кэрол каждый получает подмножество S , обозначенное A , B и C соответственно. Они хотят , чтобы проверить , является ли , B и C образуют разбиение S , то есть, они не пересекаются и их объединение S .NS1NSAВСAВСSS

Я особенно заинтересован в случае 3 сторон, но другие случаи были бы также интересны. Обратите внимание, что для случая 2 сторон задача эквивалентна проблеме РАВЕНСТВА, поэтому она имеет нижнюю границу для детерминированных протоколов, но верхнюю границу O ( log n ) для рандомизированных протоколов.Ω(N)О(журналN)

У меня вопрос, известна ли эта проблема раньше? Если вы знаете какие-либо проблемы, которые могут быть связаны, мне было бы интересно также знать.

Дан
источник

Ответы:

17

Далее следует линейная нижняя граница детерминированного CC, фиксируя, что один из наборов будет пустым.

Для рандомизированной логарифмической верхней границы, сначала обратите внимание, что эту проблему можно свести к задаче, задающей вопрос : точно ли сумма трех 3N битных чисел равна 23N-1 . Эта проблема может быть решена в О(журналN) рандомизированной коммуникации игроками, работающими в режиме случайного О(журналN) -битного простого числа.

Ноам
источник
Разве вы не можете вместо этого использовать битные числа и получить алгоритм, который работает и в потоковой модели? Чтобы это работало, вам также необходимо убедиться, что общее количество элементов является правильным, но это легко сделать. Выполняет уничтожение единиц, поэтому сумма n степеней двух равна 2 n - 1 тогда и только тогда, когда существует ровно одна копия каждой степени двойки. 2NN2N-1
Уоррен Шуди
1

Я смотрю на немного другой вопрос, который кажется связанным. Что может быть хорошим ориентиром для деталей о рандомизированной верхней границе в ответе выше?

Керен
источник
1
может быть, вы должны опубликовать еще один вопрос?
Суреш Венкат
Для ответа на мою проблему вы можете посмотреть на случайный протокол, чтобы решить проблему равенства, чтобы получить представление. Например, пример 3.5 в книге Ниссана-Кушилевича. Основная идея состоит в том, чтобы использовать дактилоскопию, я думаю.
Дану