Фон Сложность схемы определяется как набор семейств схем (т. Е. Последовательности схем, по одной для каждого входного размера) ограниченной глубины и полиномиального размера, построенных с использованием неограниченного разветвления И, ИЛИ и НЕ.A C0AC0AC^0 Функция четности с n- битным входом равна...
В предыдущем вопросе об иерархии времени я узнал, что равенства между двумя классами можно распространять на более сложные классы, а неравенства можно распространять на менее сложные классы с аргументами, использующими заполнение. Поэтому возникает вопрос. Почему мы изучаем вопрос о различных типах...
Пусть - корневое двоичное дерево. Каждый путь от корня до листа имеет длину . Каждый узел всегда имеет левый и правый дочерние узлы, но возможно, что они одинаковы (поэтому всегда возможно путей). Размер ограничен . Узел с разными дочерними узлами называется ветвящимся узлом...
Этот вопрос в том же духе, что и вдохновляющие разговоры для учеников старших классов . Мой доктор философии консультант попросил меня дать вдохновляющую лекцию для нового M.Sc. студенты. Предмет - основы криптографии , которая лучше всего иллюстрируется книгой Гольдрайха . Беседа займет около...
Я прочитал немного о следующих структурах данных: Бэгвелла идеальные попытки хэша Динамические хеш-таблицы Ларсона Красно-черные деревья Патриция деревья ... и я уверен, что есть много других. Я очень мало видел в том, для чего каждый из них лучше подходит, или почему я бы выбрал одно из другого....
В этом вопросе было отмечено, что существуют версии описательной сложности теоремы Райса. Я нашел доказательство следующей теоремы: Учитывая класс сложности C , нетривиальные свойства языков в C не могут быть вычислены в C Ранее я опубликовал найденное мной доказательство, но поскольку оно было...
У меня есть следующая типизированная теория |- 1_X : X -> X f : A -> B, g : B -> C |- compose(g,f) : A -> C F, f : A -> B |- apply(F,f) : F(A) -> F(B) с уравнениями для всех членов: f : A -> B, g : B -> C, h : C -> D |- compose(h,compose(f,g)) = compose(compose(h,f),g) f...
Учитывая конечную плоскость, у меня есть шестиугольная мозаика этой плоскости с регулярным шестиугольником фиксированного размера. Затем я вычисляю граф Делоне G для тесселяции. Учитывая такой граф G, я удаляю определенные множества узлов в этом графе, чтобы получить несколько подграфов G. Мне...
Постановка задачи : Позволять MMM быть (потенциально недетерминированным) автоматом и AA\cal Aбыть его входным алфавитом. Есть ли словоw∈A∗w∈A∗w \in \cal A^* улица |w|≤k|w|≤k|w| \leq k что принято MMM ? Эта проблема NP-полная? Было ли это изучено? Есть ли алгоритм, позволяющий найти такое...
Какие классификаторы машинного обучения являются наиболее распараллеливаемыми? Если бы у вас была трудная проблема классификации, ограниченное время, но приличная сеть компьютеров для работы, с какими классификаторами вы бы попробовали? С моей стороны это выглядит как некоторые стандартные...
Дэвид Родригес - dribeas написал в комментарии к StackOverflow, что «Не все коллекции могут быть реализованы без блокировок». Я не уверен, правда ли это, и я не могу найти доказательств в любом случае. Это утверждение не очень точное, но позвольте мне попытаться перефразировать его немного более...
Срезанная норма вещественной матрицы A = ( a i , j ) ∈ R n × n - максимум по всем I ⊆ [ n ] , J ⊆ [ n ] величины | Σ я ∈ I , J ∈ J я , J | ,||A||C||A||C||A||_CA=(ai,j)∈Rn×nA=(ai,j)∈Rn×nA = (a_{i,j}) \in \mathcal{R}^{n\times n}I⊆[n],J⊆[n]I⊆[n],J⊆[n]I \subseteq [n], J \subseteq...
Учитывая булеву схему для переменных (которая использует только вентили NOT, AND и OR), каков наиболее эффективный способ извлечь логическую формулу, представленную схемой? Есть ли алгоритм Polytime для этой...
Я просматривал оригинальную статью Les Valiant, и мне было тяжело с предложением 4.3 на странице 10 статьи. Я не могу понять, почему это так, что если существует генератор с определенными значениями для с базисом { ( a 1 , b 1 ) … ( a r , b r ) } , то существует некоторый генератор с таким же v a l...
Есть ли способ, которым проверяющий может убедить верификатора в том, что некоторое выражение HORN-SAT выполнимо? Конечно, это может показаться глупым, поскольку для HORN-SAT существуют линейные алгоритмы времени. С другой стороны, HORN-SAT является P-полным, что означает, что он не имеет...
MCTS / UCT - это метод поиска по дереву игр, который использует алгоритм бандита для выбора перспективных узлов для исследования. Игры разыгрываются до их завершения случайным образом, и узлы, ведущие к большему количеству побед, исследуются более интенсивно. Алгоритм бандита поддерживает баланс...
Сумма Минковского двух множеств векторов имеет видA , B ∈ RdA,B∈RdA, B \in R^d A ⊕ B = { a + b ∣ a ∈ A , b ∈ B }A⊕B={a+b∣a∈A,b∈B} A \oplus B = \{ a + b \mid a \in A, b \in B \} Я только что услышал интересную проблему (приписываемое Dan Гальперина): Учитывая форма , существует ли форма А такое ,...
Я играл с очень интересным и все еще открытым вопросом « Азбука одноленточной машины Тьюринга » (Эмануэле Виола) и придумал следующий язык: L = { x ∈ { 0 , 1 }N ул | х | = n = 2м и c o u n t 1 ( x ) = k ∗ m ;n , m , k ≥ 1 }L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n...
Я профессиональный программист-самоучка. Я довольно хорошо справляюсь с этим (Ruby, Unix, Clojure, Java, Objective-C), но теперь я думаю о том, чтобы поднять его на следующий уровень, подав заявку на магистратуру или докторантуру в CS. Какие темы по математике я должен изучать, чтобы подготовиться...
Меня интересуют явные примеры графиков, для которых применение алгоритма Геманса и Уильямсона для аппроксимации максимальных сечений приводит к коэффициенту аппроксимации 0,878…. Алгоритм создания таких экземпляров был бы идеальным, явные примеры и ссылки были бы...