Вопросы с тегом «reference-request»

вычислительная сложность включает в себя большое количество комбинаторики и теории чисел, некоторые особенности стохастики и растущее количество алгебры. Однако, будучи аналитиком, мне интересно, есть ли приложения анализа в этой области, или, может быть, идеи, вдохновленные анализом. Все, что я знаю, что немного соответствует этому, - это преобразование Фурье на конечных …

14 cc.complexity-theory  reference-request  soft-question  big-picture 

Какой самый быстрый известный детерминированный алгоритм может распознавать ориентированные графы с парой вершинных непересекающихся циклов? Я знаю, что графы с минимальной третьей степенью всегда имеют такую ​​пару ( Thomassen'83 ), но даже в этом случае я не могу найти эффективный алгоритм в общем случае. Кто-нибудь знает ссылку на это?

13 reference-request 

Я ищу: Майкл О. Рабин, «Степень сложности вычисления функции и частичное упорядочение рекурсивных множеств», Еврейский университет, Иерусалим, 1960 Резюме: «Мы пытаемся измерить объем работы, свойственный задаче вычисления заданной вычислимой (рекурсивной) функции. Представлено и изучено понятие степени сложности вычислений. Понятие инвариантно в том смысле, что оно не зависит от идеализированных компьютеров …

13 cc.complexity-theory  reference-request  ho.history-overview 

Для булевой функции влияние й переменной определяется как где строка, полученная путем переключения го бита . Тогда минимальное влияние - этоf:{−1,1}n→{−1,1}f:{−1,1}n→{−1,1}f\colon\{-1,1\}^n \to \{-1,1\}iiiInfi[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)]Infi⁡[f]=defPrx∼{−1,1}n[f(x)≠f(x⊕i)] \operatorname{Inf}_i[f] \stackrel{\rm def}{=} \Pr_{x\sim\{-1,1\}^n}[ f(x) \neq f(x^{\oplus i})] x⊕ix⊕ix^{\oplus i}iiixxxfffMinInf[f]=defmini∈[n]Infi[f].MinInf⁡[f]=defmini∈[n]Infi⁡[f].\operatorname{MinInf}[f] \stackrel{\rm def}{=} \min_{i\in[n]}\operatorname{Inf}_i[f]. Учитывая параметр , мы выбираем случайную функцию , выбирая ее значение на каждом из …

13 reference-request  pr.probability  boolean-functions 

Поскольку мне интересны парсеры (в основном грамматики выражений парсеров), мне интересно, есть ли какая-то работа, которая дает категорический подход к анализу. Любая ссылка на приложения теории категорий к синтаксическому анализу высоко ценится. Лучший,

13 reference-request  functional-programming  ct.category-theory  parsing 

Пока пишу небольшой пост о сложности видеоигр Nibbler и Snake ; Я обнаружил, что они оба могут быть смоделированы как задачи реконфигурации на плоских графах; и кажется маловероятным, что такие проблемы не были хорошо изучены в области планирования движения (представьте, например, цепочку связанных вагонов или роботов). Игры хорошо известны, однако …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

В проблеме расширяемости нам дают часть решения, и мы хотим решить, можем ли мы расширить ее до полного решения. Некоторые проблемы расширяемости эффективно разрешимы, в то время как другие проблемы расширяемости превращают легкую проблему в сложную. Например, теорема Кенига-Холла утверждает, что все кубические двудольные графы раскрашиваются на 3 ребра, но …

13 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Фон: Сложность дерева решений или сложность запросов - это простая модель вычислений, определяемая следующим образом. Пусть - булева функция. Детерминированная сложность запроса , обозначаемая , представляет собой минимальное количество битов входных данных которые должны быть прочитаны (в худшем случае) детерминированным алгоритмом, который вычисляет . Обратите внимание, что мера сложности - …

13 cc.complexity-theory  reference-request  query-complexity  decision-trees 

У меня сведение следующей проблемы с разделом к ​​определенной проблеме планирования: Входные данные: список целых положительных чисел в неубывающем порядке.a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n Вопрос: существует ли вектор такой, что(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n k ∑ i = 1 a i x i ⩾ 0Σя = 1NaяИкся= 0иΣязнак равно1NaяИксязнак равно0и\sum_{i=1}^na_ix_i=0\qquad\text{and} Σя = 1КaяИкся⩾ 0для всех k ∈ …

13 cc.complexity-theory  reference-request  partition-problem  subset-sum 

При чтении вопрос примеров , где единственность решения делает его легче найти , новый (? Проще) возник вопрос , на мой взгляд: на самом деле мы не знаем , если Изоморфизм графов ( проблема) в .GIGIGIPPP Но что произойдет, если мы предположим, что обаG1G1G_1 и асимметричны (т.е. оба имеют только …

13 reference-request  graph-isomorphism 

Хорошо известно, что сложность отличия монеты, смещенной на от монеты-монеты - это . Есть ли результаты для отличия монеты от монеты ? Я вижу, что для частного случая сложность будет . У меня есть догадка, что сложность будет зависеть от того, имеет ли порядок , но не может доказать это …

13 reference-request  time-complexity 

Я хочу определить понятие «близости» между двумя регулярными языками конечных слов в Σ*Σ*\Sigma^* (и / или бесконечными словами в ΣωΣω\Sigma^\omega ). Основная идея состоит в том, что мы хотим, чтобы два языка были близки, если они не отличаются по многим словам. Мы могли бы также использовать расстояние редактирования каким-то образом …

13 reference-request  fl.formal-languages  regular-language 

Мотивация: соавтор редактирует рукопись, и я хотел бы увидеть четкое резюме изменений. Все инструменты, подобные "diff", как правило, бесполезны, если вы одновременно перемещаете текст (например, реорганизуете структуру) и делаете локальные правки. Неужели так сложно понять это правильно? Определения: я хотел бы найти минимальное расстояние редактирования, где разрешены операции: «дешевые» операции: …

13 ds.algorithms  reference-request  parameterized-complexity  string-matching  edit-distance 

Легко видеть, что если то есть общие проблемы поиска N P, которые не могут быть решены за полиномиальное время (создайте проблему общего поиска, имея как свидетелей для членства, так и свидетелей для не состоятельности).Н П∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNп\mathsf{NP} Верно ли и обратное, т.е. Означает ли существование общей задачи поиска не решаемой …

13 cc.complexity-theory  reference-request  search-problem 

Есть ли последние книги по онлайн-алгоритмам? Я знаю только две книги на эту тему. Онлайновые вычисления и конкурентный анализ Аллана Бородина и Рана Эль-Янива: Это классическая, но старая книга, которая не содержит много недавних достижений в этой области. Разработка конкурентных онлайн-алгоритмов с помощью подхода Primal-Dual. Нив Бухбиндер и Джозеф (Сефи) …

13 reference-request  big-list  online-algorithms