Пусть - многочлен над фиксированным конечным полем. Предположим, что нам задано значение P для некоторого вектора y ∈ { 0 , 1 } n и вектора y .п( х1, х2, … , ХN)P(x1,x2,…,xn)P(x_1, x_2, \ldots, x_n)пPPY∈ { 0 , 1 }Ny∈{0,1}ny \in \{0,1\}^nYyy Теперь мы хотим вычислить значение на вектор у ' ∈ { 0 , 1...
КРАТКИЙ ВОПРОС: Является ли MAJ-3CNF PP-полной проблемой при сокращении многие-один? ДОПОЛНИТЕЛЬНАЯ ВЕРСИЯ: Общеизвестно, что MAJSAT (решающий, удовлетворяет ли большинство назначений пропозиционального предложения) PP-завершено при сокращениях много-один, а #SAT # P-завершено при сокращениях....
Означает ли тот факт, что проблема полна по времени EXP, означает, что A не находится в D T I M E ( 2 o ( n ) ) ?AAAAAAД ТяMЕ( 2o ( n ))DTIME(2o(n))DTIME(2^{o(n)}) Мне известно, что по теореме временной иерархии не входит в E = D T I M E ( 2 O ( n ) ) . Тем не менее это, по-видимому, не исключает...
Смещенные оценки полезны в статистике, потому что они могут оптимизировать среднеквадратическую ошибку больше, чем может справиться объективный оценщик . Мне было интересно, есть ли в теории CS какие-нибудь заметные примеры эффективного использования смещенных оценок. Я понимаю, что этот список...
В классическом исчислении конструкций бумаги есть правило, которое гласит (стр. 7 из pdf, стр. 101 оригинального документа) Это правило будет означать, что любой контекст сводится к члену этого контекста. Кажется, что это не должно быть правильно, так как это повлечет за собой 1 ≅ Nat 3 ≅ Nat 1 ≅ 3...
Были ли попытки показать, что колмогоровской случайности было бы достаточно для RP ? Будет ли вероятность, использованная в утверждении «Если правильный ответ ДА, то она (вероятностная машина Тьюринга) возвращает ДА с вероятностью ...» всегда будет правильно определена в этом случае? Или для этой...
Позволять ЧАСA LTNHALTnHALT_n обозначить строку длины 2N2n2^n соответствует таблице истинности проблемы остановки для входов длины Nnn, Если последовательность колмогоровских сложностей К( HA LTN)K(HALTn)K(HALT_n) мы O ( 1 )O(1)O(1), тогда одна из строк рекомендаций будет использоваться бесконечно...
Неизвестно, является ли или , гдеP⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP - это множество всех языков, разрешимых за полиномиальное время на детерминированной машине Тьюринга, и CSLCSLCSL - это класс контекстно-зависимых языков, который, как известно, эквивалентен...
У меня есть язык, на котором типы распакованы по умолчанию, с выводом типов на основе Хиндли-Милнера. Я хотел бы добавить полиморфизм более высокого ранга, в основном для работы с экзистенциальными типами. Я думаю, что понимаю, как проверить эти типы, но я не уверен, что делать при компиляции. В...
Пусть некоторый класс сложности и BP- C быть рандомизированное аналог C определяется как БПП по отношению к P . Более формально мы предоставляем полиномиально много случайных битов и принимаем входные данные, если вероятность принять больше...
Elberfeld, Jakoby и Tantau 2010 ( ECCC TR10-062 ) доказали неэффективную версию теоремы Бодлендера. Они показали, что для графов с шириной дерева не более разложение дерева шириной можно найти с помощью логарифмического пространства. Постоянный множитель в границе пространства зависит от k ....
Предположим, что - параметризованный язык относительно некоторого алфавита Σ . К -slice из L является L K = L ∩ { ( х , к ) | х ∈ Е * } , множество экземпляров в L , которые имеют параметр K . Класс сложности X P содержит параметризованные языки L такие, что L k ∈ P для каждого...
Предположим, у меня есть два списка положительных целых чисел ограниченной мужественности, и я беру произведение всех элементов каждого списка. Какой лучший способ определить, какой продукт больше? Конечно, я могу просто вычислить каждый продукт, но я надеюсь, что есть более эффективный подход, так...
Нам даны пары объектов (скажем, числа). Каждый объект появляется не более чем в парах. Наша цель состоит в том, чтобы распределить пары в ячейки одинакового размера так, чтобы каждый объект находился в как можно меньшем количестве разных корзин.qqq Точнее, нас интересует функция обладающая тем...
Мотивация : Разрабатывая инструменты для управления версиями данных, мы в конечном итоге изучили алгоритмы «различий» двух наборов целых чисел, предложив последовательность преобразований, которые переводят один набор целых чисел в другой. Мы смогли свести эту проблему к следующей очень...
Пусть - конечная абелева группа, а - многогранник в определенный как точки удовлетворяющие следующим неравенствам:P R Γ xΓΓ\GammaппPрΓрΓ\mathbb{R}^\GammaИксИксx Σг∈ GИксг≤ | G |Иксг≥ 0∀ G ≤ Γ∀ г∈ ΓΣг∈гИксг≤|г|∀г≤ΓИксг≥0∀г∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g...
Я заинтересован в определении сложности следующей задачи решения: учитывая два целых числа и l 2 (каждое из которых содержит не более m бит), решить, является ли старший значащий бит умножения l 1 ⋅ l 2 равным 1 (где результат печатается в 2м битах с возможно ведущими 0)?L1L1l_1L2L2l_2L1⋅...
Рассмотрим следующую проблему. Есть неизвестных значений v 1 , ⋯ , v п ∈ R . Задача состоит в том, чтобы найти самый большой индекс, используя только запросы следующей формы. Запрос задается множеством S ⊆ { 1 , ⋯ , n }, и соответствующий ответ max i ∈ S v i . Цель состоит в том, чтобы использовать...
Рассмотрим следующую игру для 2 игроков: Природа случайно выбирает программу Каждый игрок играет число в [0, бесконечность] включительно в ответ на движение природы Возьмите минимум чисел игроков и запустите программу для (до) такого количества шагов (если оба игрока не выбрали бесконечность) Если...
Термин « инверсия программы» имеет несколько оттенков смысла, но, вероятно, он начался с работы Дж. Маккарти 1956 года «Обращение функций, определенных машинами Тьюринга в контексте ИИ». К настоящему времени обнаружено множество связей между инверсией программы и другими областями, например,...