Хорошо известно, что для концептуального класса с размерностью VC достаточно получить помеченные примеры для PAC learn . Мне не ясно, является ли алгоритм обучения PAC (который использует эти многочисленные образцы) правильным или неправильным? В учебниках Кернса и Вазирани, а также Энтони и Биггса...
Меня интересует классическая проблема РЕГУЛЯРНОГО ВКЛЮЧЕНИЯ ЯЗЫКА. Для регулярного выражения обозначим через L ( E ) связанный с ним регулярный язык. (Регулярные выражения на фиксированном алфавите Σ с объединением операций, звездой Клини и конкатенацией.)ЕЕEL ( E)L(Е)L(E)ΣΣ\Sigma Входные данные:...
Есть ли в литературе что-нибудь близкое к следующей проблеме: Дан двудольный граф G ( V, E)G(V,E)G(V,E) со сбалансированным разделением на две части { U, Вт}{U,W} \{U,W\} существует ли идеальное соответствие MM M в гG G такой, что на каждые 2 ребра U1вес1,U2вес2∈ Mu1w1,u2w2∈Mu_1w_1, u_2w_2\in M...
Игра «Назови наибольшее число» просит двух игроков тайно записать число, и победителем становится тот, кто записал большее число. Игра обычно позволяет игрокам записывать функции, оцененные в определенный момент, поэтому 222222222^{2^{2^{2}}} также было бы приемлемо записать. Значение функции Busy...
Проблема представления связанных переменных в синтаксисе и, в частности, проблема подстановки во избежание захвата, хорошо известна и имеет ряд решений: именованные переменные с альфа-эквивалентностью, индексы де Брейна, локальное безымянность, именные множества и т. Д. Но, похоже, есть еще один...
В теории сложности определение сложности времени и пространства ссылается на универсальную машину Тьюринга: соотв. количество шагов до остановки и количество ячеек на ленте, которых коснулись. Учитывая тезис Черча-Тьюринга, должно быть возможно определить сложность и в терминах лямбда-исчисления....
Из теоремы о пространственной иерархии известно, что если конструируемо в пространстве, то DSPACE ( ) не равно DSPACE ( .еff2 f ( n ) f ( n ) )2 ф( н )2f(n)2f(n)е( н ) )f(n))f(n)) Здесь под DSPACE ( я подразумеваю класс всех задач, которые могут быть решены в пространстве машиной Тьюринга с...
Я читал о наследственной замене Простого лямбда-исчисления и Логической структуры с различными терминами и типами. Мне интересно, есть ли примеры наследственного замещения в зависимо типизированной системе с иерархией юниверсов? то есть где и т. д.True:Set0:Set1:Set2True:Set0:Set1:Set2 True : Set_0...
Достижения в области квантовых вычислений привели к разработке новых классических алгоритмов. Известными недавними примерами являются квантово-вдохновенные алгоритмы для линейной алгебры: Квантово-вдохновленный классический алгоритм для систем рекомендаций Квантово-вдохновленные классические...
Две группы и называются изоморфными, если существует гомоморфизм из в который является биективным. Проблема группового изоморфизма заключается в следующем: для двух групп проверьте, изоморфны они или нет. Существует несколько способов ввода группы, два из которых в основном используются таблицей...
В статье Стивена Кука о проблеме P против NP [1] он утверждает следующее [2]: Тезис осуществимости: естественная задача имеет выполнимый алгоритм, если он имеет алгоритм полиномиального времени. У меня вопрос, что именно он (или вообще, на самом деле, что один) подразумевает под « естественной...
Можно ли автоматически обобщать природу БПФ для других преобразований (z Transform, chirp и т. Д.) Автоматически? Существует ли алгоритм, который принимает описание преобразования (я не знаю, какая информация потребуется) и может производить быструю функцию, подобную...
В частности, я прошу ресурсы, чтобы узнать о системах машинного обучения, которые могут обновлять свои соответствующие сети убеждений (или эквивалент) во время работы. Я даже сталкивался с несколькими, хотя не смог их добавить в закладки. Как вы можете себе представить, это довольно сложная тема...
Теорема о зоне гласит, что если мы нанесем на карту расположение n линий с другой линией, общая сложность ее зоны , множества смежных с ней 0-, 1- и 2-граней, будет O (n). Фактическая константа примерно равна 6n, по крайней мере, как указано в различных учебниках, и доказательство по индукции с...
Существует несколько различных (возможно, неэквивалентных) понятий универсальности вычислений (см., Например, последние пару страниц http://www.dna.caltech.edu/~woods/download/WoodsNearyTCS07-DRAFT.pdf ), и нет единого мнения среди эксперты о том, какие понятия являются наиболее правильными (см.,...
Пусть нерегулярный связный граф, степень которого ограничена. Предположим, что каждый узел содержит уникальный токен.G=(V,E)G=(V,E)G= (V, E) Я хочу равномерно перетасовать токены среди графа, используя только локальные перестановки (т.е. обмен токенами между двумя соседними узлами)? Известна ли...
Кажется, большая часть литературы посвящена машинам с одним оракулом для конкретных задач, однако, как представляется, есть несколько статей, в которых рассматриваются машины с несколькими оракулами. Есть хорошая статья или тезис, который дает обзор того, что известно о таких машинах? В частности...
Какие есть доказательства того, что ?c o R P≠ NпcoRP≠NPcoRP \neq NP c o R PcoRPcoRP - это класс языков, для которых существует вероятностная машина Тьюринга, которая работает за полиномиальное время и всегда отвечает Да на входе, принадлежащем языку, и отвечает Нет с вероятностью, по крайней мере,...
Возможно ли (вы можете дать пример косую черту) уменьшить вычислительную сложность задачи, используя параллельный алгоритм, который не требует количества процессоров относительно размера...
Под BPP / linear я подразумеваю машины BPP с линейным советом, который выполняет обещание, когда дается «правильный» совет, и дерандомизация должна дать нам, скажем, P / линейный или (SUBEXP / линейный) алгоритм. Если мы используем неоднородные предположения, я думаю, классические результаты должны...