DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\...
Учитывая и M , возможно ли получить M -й бит (или цифру любого небольшого основания) из N ! во времени / пространстве O ( p ( l n ( N ) , l n ( M ) ) ) , где p ( x , y ) - некоторая полиномиальная функция от x и y ?NNNMMMMMMN!N!N!O ( p ( l n ( N) , л н ( М) ) )O(p(ln(N),ln(M)))O( p( ln(N), ln(M) )...
Мой вопрос немного общий, поэтому я придумываю хорошую историю, чтобы оправдать его. Терпите меня, если это не реально ;-) Сказка Г-н Х, глава отдела компьютерной безопасности крупной компании, немного параноик: он требует, чтобы все сотрудники меняли свои пароли раз в месяц, чтобы минимизировать...
Этот вопрос может иметь очевидный ответ ... но вот вопрос в любом случае. Интуитивно понятно, что это следующее правдоподобное утверждение - «машина с подпрограммой A, которая в свою очередь имеет подпрограмму B, такая же, как машина с подпрограммой A, у которой есть доступ к подпрограмме B». Чтобы...
Рассмотрим граф с вершинами и m ребрами. Вершины помечены действительными переменными x i , где x 1 = 0 фиксировано. Каждое ребро представляет собой «измерение»: для ребра ( u , v ) я получаю измерение z ≈ x u - x v . Точнее, z - действительно случайная величина в ( x u - x v ) ± 1 , равномерно...
Кто-нибудь знает какой-либо хороший справочник по значению симуляции прямолинейности? В настоящее время я глубоко знаком с универсальной средой составления (UC) Canetti, но я не могу найти какой-либо хороший справочник по значению прямолинейного моделирования. Любая помощь...
Данные реального мира иногда имеют естественное количество кластеров (попытка сгруппировать их в число кластеров, меньших, чем какое-либо волшебство k, приведет к значительному увеличению стоимости кластеризации). Сегодня я посетил лекцию доктора Адама Мейерсона, и он назвал этот тип данных...
Проводились ли какие-либо исследования, чтобы определить, может ли человеческий интеллект превзойти алгоритмы (т. Е. Проверить, применима ли теорема об отсутствии бесплатного обеда к человеческому интеллекту)? В том же ключе, кто-нибудь разработал технический метод, чтобы воспользоваться...
Предположим, что NP = co-NP, а полином ограничивает длину доказательства неудовлетворенности для экземпляра 3-CNF x . Тогда есть ли какие-либо результаты о том, в какой форме может быть получено любое доказательство неудовлетворенности для x длины ≤ p ( x ) ? Т.е. в целом, должно ли такое...
То, что следует, может показаться глупым (и это, вероятно, отражает мое плохое понимание - поэтому, пожалуйста, потерпите меня) У меня был вопрос по теореме PCP. Мы знаем, что после первых трех шагов, а именно. Уменьшение степени, расширение и усиление разрыва, у нас есть граф ограничений с...
В последнее время я узнал об интерактивных доказательствах, и мне было интересно, было ли все это не более чем теоретическое любопытство, или у него было какое-то практическое применение. Я думал, что начну с примера, который пришёл мне в душ: В последнее время стало известно, что «Божье число» =...
Извините, если я ошибаюсь с местом, чтобы задать вопрос (может быть, я должен пойти на stackoverflow.com/mathoverflow.net?). Интересно, есть ли доказательство того, что при оценке расширенного евклидова алгоритма коэффициенты Безу ( т. Е. S и t в тождестве как + bt = gcd ( a , b )) не будут...
Это продолжение моего предыдущего вопроса о нижних границах связи для частичных булевых функций . Может ли кто-нибудь предложить какую-либо ссылку на нижние границы для недетерминированного многопартийного общения? Я просматривал статьи в этой области, но все, кажется, демонстрируют разделение...
Игры с двумя пруверами в один раунд (2P1R) являются важным инструментом для определения приближенности. В частности, параллельное повторение однокруговых игр с двумя проверками дает возможность увеличить размер пропуска в версии решения задачи аппроксимации. См . Обзорный доклад Ран Раза на КХЦ...
В параметризованной сложности люди используют сокращение с фиксированным параметром (FPT), чтобы доказать W [t] -твердость. Теоретически FPT-редукция не является редукцией за полиномиальное время, поскольку она может экспоненциально выполняться по параметру k. Но на практике все сокращения FPT,...
Я читал статью под названием « Случайные оракулы» с возможностью программирования . Последний абзац раздела 2.3 гласит: [Используя наш новый подход], нет необходимости применять известные классические асимптотические (и равномерные) методы дерандомизации , основанные на лемме Бореля-Кантелли ....
Поскольку 2 NP-полные задачи по определению сводимы друг к другу, поэтому решение одной из них можно получить с помощью черного ящика, решающего другую, почему они не имеют сходных отношений аппроксимации (ссылаясь на их аналоги по оптимизации )? Я предполагаю, что некоторый постоянный или даже...
Пусть - ациклический ориентированный граф, такой что out-степень любой вершины равна O ( log | V | ) . Для каждой вершины G мы можем подсчитать количество достижимых вершин, просто запустив dfs из каждой вершины, и это займет O ( | V | | E | ) время. Есть ли лучший способ решить эту...
Что мешает сделать решатели SAT конкурентоспособными с помощью специализированных графовых алгоритмов? Другими словами, возможно ли ожидать SAT-решателей, которые могут заменить роль разработчика алгоритма, т. Е. Иметь возможность автоматически распознавать структуру проблемы и затем решать ее так...
Существует ли класс алгоритмов хеширования, теоретический или практический, такой, чтобы алгоритм в классе можно было считать «рефлексивным» согласно определению, данному ниже: hash1 = algo1 ("текст ввода 1") hash1 = algo1 («входной текст 1» + hash1) Оператор + может быть конкатенацией или любой...