В модели черного ящика проблема определения выходного сигнала машины BPP на входе является приближенной задачей подсчета определения с аддитивной ошибкой 1/3 (скажем).M(x,r)M(x,r)M(x,r)xxxErM(x,r)ErM(x,r)E_r M(x,r) Есть ли похожая проблема для BQP? Этот комментарий Кена Ригана наводит на мысль о...
Я хочу знать, помогает ли неравномерность вычислительным функциям на практике. Легко показать, что в есть функции, возьмем любую невычислимую функцию и рассмотрим язык { }, который явно имеет простые неоднородные схемы , но не вычисляется равномерно, но это не тот тип функций, который меня...
Это может быть основной вопрос, но я читал и пытался понять статьи по таким темам, как вычисление равновесия по Нэшу и тестирование линейного вырождения, и не был уверен в том, как действительные числа указываются в качестве входных данных. Например, когда утверждается, что LDT имеет определенные...
Я только что преподавал рандомизированный алгоритм сокращений по методу Каргера-Стейна в своем выпускном классе алгоритмов. Это настоящая алгоритмическая жемчужина , поэтому я не могу ее не преподавать, но она всегда расстраивает меня, потому что я не знаю других применений основной техники. (Таким...
Если неориентированный -регулярный граф и представляет собой подмножество вершин мощности , вызови расширение края в г. количестваd S ≤ | V | / 2 SG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot...
Питер Шор показал, что две из наиболее важных NP-промежуточных задач, факторинг и проблема дискретного логарифмирования, находятся в BQP. Напротив, самый известный квантовый алгоритм для SAT (поиск Гровера) дает только квадратичное улучшение по сравнению с классическим алгоритмом, намекая на то,...
Что такое «легкие регионы» для удовлетворения? Другими словами, достаточные условия для того, чтобы некоторые SAT-решатели могли найти удовлетворяющее назначение, предполагая, что оно существует. Одним из примеров является то, что, когда каждое предложение совместно использует переменные с...
Некоторое время я думал о следующей проблеме, и я не нашел ее полиномиального решения. Только грубая четверка. Я тоже пытался свести к этому проблему NP-Complete, но безуспешно. Вот проблема : У вас есть отсортированный набор пар целых положительных чисел....
Извините, если этот вопрос немного расплывчат, но мне любопытно, как успешные исследователи «чувствуют» результаты в TCS. Например, линейная алгебра может пониматься геометрически или в терминах ее физических интерпретаций (собственные векторы могут рассматриваться как «устойчивые точки» в системе)...
Известно , что дано nnn - точечное подмножество ℓd2ℓ2d\ell_2^d (то есть, заданный nnn точек в RdRd{\mathbb R}^d с евклидовым расстоянием) можно вставлять их изометрический в ℓ(n2)1ℓ1(n2)\ell^{n\choose 2}_1 . Является ли изометрия вычислимой за (возможно, рандомизированное) полиномиальное время?...
Я ищу коды с исправлением ошибок следующего типа: двоичные коды с постоянной скоростью, декодируется из некоторой постоянной доли ошибок декодером, реализуемым в виде логической схемы размера , где N - длина кодирования.O(N)O(N)O(N)NNN Немного предыстории: Шпильман, в линейном время кодируемого и...
У меня небольшие проблемы с полным пониманием последних шагов алгоритма факторинга Шора. Учитывая мы хотим вычислить, мы выбираем случайный который имеет порядок .NNNxxxrrr Первый шаг включает в себя настройку регистров и применение оператора Адамара. На втором этапе применяется линейный оператор....
Я ученый, изучающий топологию (разброс топологии точечных множеств, сильно приправленный теорией континуума). Я заинтересовался решением проблем, проверяя описание пространства (с помощью симплексов) для топологических свойств; сохранились до гомеоморфизма. Например, известно, что определение рода...
К моему удивлению, я не смог найти статьи об этом - вероятно, искал не те ключевые слова. Итак, у нас есть массив чего угодно и функция по его индексам; - перестановка.фееfееf Как переупорядочить массив в соответствии с с памятью и временем выполнения, максимально приближенными к и ?O ( 1 ) O ( n...
Мне не удалось найти эту структуру данных, но я не эксперт в этой области. Структура реализует множество и представляет собой массив сопоставимых элементов с инвариантом. Инвариант следующий (определяется рекурсивно): Массив длиной 1 является массивом слияния. Массив длиной 2 ^ n (для n> 0)...
Обычно считается маловероятным, что квантовые компьютеры смогут эффективно решать NP-полные задачи. В классическом случае одним из подходов к решению таких проблем является использование приближенных алгоритмов. Проводились ли какие-либо исследования алгоритмов аппроксимации с использованием...
Меня интересуют примеры проблем, в которых теорема, которая, по-видимому, не имеет ничего общего с квантовой механикой / информацией (например, заявляет что-то о чисто классических объектах), тем не менее, может быть доказана с помощью квантовых инструментов. Обзор квантовых доказательств...
Какова сложность решения, вычисляет ли схема с n входными битами и n выходными битами перестановку { 0 , 1 } n ? другими словами, является ли каждая строка битов в { 0 , 1 } n выходом схемы для некоторого входа? Это похоже на проблему, которая была изучена, но я не могу найти никаких...
Почему регулярные языки (и из этих регулярных выражений) называются "регулярными"? Существует много закономерностей и в контекстно-свободных языках других типов языков. Я предполагаю, что в начале прилагательное «обычный» использовалось для того, чтобы отличать этот тип языков от других...
Меня смущает тонкое различие между суждениями и суждениями, когда они подвергаются интуиционистской теории типов. Может ли кто-нибудь объяснить мне, в чем смысл отличать их и что отличает их? Особенно ввиду Карри-Ховарда...