Вопросы с тегом «communication-complexity»

В классической работе Эндрю Чи-Чжа Яо 1979 года он упоминает "М.О. Рабин и А.С. Яо, в процессе подготовки". Это связано с тем, что сложность связи с ограниченной ошибкой функции равенства EQ (два целых числа в диапазоне от до 0 N - 1 O ( журнал регистрации N )NN_N000N−1N−1N-1 ) равна …

40 ho.history-overview  communication-complexity 

Знаковый ранг матрицы A с элементами + 1, -1 является наименьшим рангом (по реалам) матрицы B, которая имеет такой же шаблон знака, что и A (то есть для всех i , к ). Это понятие важно в сложности общения и теории обучения.Aя жВя ж> 0AяJВяJ>0A_{ij}B_{ij}>0я , джя,Ji,j Мой вопрос: существуют …

25 lg.learning  open-problem  communication-complexity  matrices 

Помимо (детерминированной) сложности связи отношения , другой основной мерой для объема необходимой связи является номер раздела протокола . Связь между этими двумя показателями известна до постоянного фактора. Монография Кушилевица и Нисана (1997) даетRc c ( R )сс(р)cc(R)ррR p p ( R )пп(р)pp(R) c c ( R ) / 3 ≤ …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Обсуждение : В последнее время я проводил некоторое личное время, изучая различные вещи в сложности общения. Например, я повторно ознакомился с соответствующей главой в Арора / Барак, начал читать некоторые статьи и заказал книгу Кушилевица / Нисана. Интуитивно я хочу сравнить сложность коммуникации с вычислительной сложностью. И, в частности, меня …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Фон: Рассмотрим обычную двухстороннюю модель сложности коммуникации, где Алисе и Бобу даны битные строки и и они должны вычислить некоторую булеву функцию , где .nnnxxxyyyf(x,y)f(x,y)f(x,y)f:{0,1}n×{0,1}n→{0,1}f:{0,1}n×{0,1}n→{0,1}f:\{0,1\}^n \times \{0,1\}^n \to \{0,1\} Мы определяем следующие величины: D(f)D(f)D(f) (детерминированная сложность связи ): минимальное количество битов, которое Алисе и Бобу необходимо передать для детерминированного вычисления …

19 lower-bounds  communication-complexity 

Рассмотрим язык different состоящий из всех строк k- букв над Σ, таких, что никакие две буквы не равны:L k - d i s t i n c tLk−distinctL_{k-distinct}kkΣ\Sigma L k - d i s t i n c t : = { w = σ 1 σ 2 . , …

18 automata-theory  lower-bounds  regular-language  communication-complexity  streaming 

Информационная сложность была очень полезным инструментом в сложности коммуникации, в основном используемой для снижения сложности коммуникации в распределенных задачах. Есть ли аналог сложности информации для сложности запросов? Существует много параллелей между сложностью запросов и сложностью коммуникации; часто (но не всегда!) нижняя граница в одной модели переводится в нижнюю границу в …

15 it.information-theory  communication-complexity  query-complexity 

Алиса и Боб имеют n-битные строки и хотят выяснить, равны ли они при небольшом общении. Стандартным рандомизированным решением является обработка n-битных строк как полиномов степени nnn а затем оценка полиномов по нескольким случайно выбранным элементам из поля размером больше nnn . Это требует O(log|F|)O(log⁡|F|)O(\log |F|) связи. Предположим вместо этого, что …

14 communication-complexity  property-testing 

Хорошо известно, что никакой детерминированный двухсторонний протокол не может решить проблему дизъюнктивности (DISJ) на битных входах без отправки n + 1 бит в худшем случае (см., Например, книгу Kushilevitz and Nisan). Для рандомизированных протоколов с ограниченной ошибкой нижняя граница δ n для некоторой константы δ была также показана в основной …

14 lower-bounds  communication-complexity 

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

13 cc.complexity-theory  communication-complexity 

Хорошо известно, что проблема остановки является неисчислимой. Тем не менее, можно экспоненциально «сжать» информацию о проблеме остановки, так что ее распаковка является вычислимой. Точнее, можно вычислить из описания машин Тьюринга и n- битного состояния рекомендации ответ на проблему остановки для всех 2 n - 1 машин Тьюринга, предполагая, что состояние …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Допустим, мы обнаруживаем инопланетные цивилизации, которые могут отправлять и получать сообщения, используя межзвездный цифровой канал связи. (Скажем, с помощью модулированных радиоволн, лазерных импульсов, изменения положения звезд на различных орбитах.) Предположим, мы решили установить с ними контакт. Как только мы начнем диалог, как мы будем устанавливать протокол и язык связи? Какую …

12 big-picture  communication-complexity 

Пусть { 0 , . , , , П - 1 } и ∘ : S × S → S . Я хочу вычислить сложность коммуникации, решая, является ли ∘ ассоциативным.Sзнак равноS=S=0 , . , , , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ …

12 cc.complexity-theory  communication-complexity 

В доказательстве Голдрайха и др. О том, что три цвета имеют нулевое доказательство знания, используется битовое обязательство для полной раскраски графа в каждом раунде [1]. Если граф имеет вершин и ребер, безопасный хеш имеет битов, и мы ищем вероятность ошибки , общая стоимость связи равнае б рNNnееeббbппp О ( б …

11 communication-complexity  zero-knowledge 

Насколько я знаю, нижняя граница нормы факторизации, данная Линиалом и Шрайбманом, является по существу единственной нижней границей, известной для сложности квантовой связи (или, по крайней мере, она включает все остальные). Есть ли доказательства того, что эта граница была жесткой? Граница факторизации (также называемая границей ), о которой я говорю, - …

11 quantum-information  communication-complexity  norms