Теоретическая информатика

Я пытаюсь составить таксономию алгоритмов для преобразования регулярных выражений в автоматы, чтобы выполнить некоторые эмпирические тесты их свойств сложности в определенных областях. Я знаю несколько «больших» имен, например: Томпсон «Алгоритм поиска регулярных выражений», Томпсон, 1968 Глушков «Новый квадратичный алгоритм для преобразования регулярного выражения в автомат», Ponty, et. Аль, 1996 Антимиров …

10 automata-theory  fl.formal-languages  regular-expressions 

Имея дело с теоретико-областными категориями (скажем, CPO и CPO), я часто хотел бы найти словарь для языка теории категорий в теории областей.ωω\omega То есть, учитывая концепцию, скажем, моническую стрелку, я мог бы найти ее в словаре и посмотреть, каковы ее известные характеристики в разных категориях предметной области. Я понимаю, что …

10 ct.category-theory  semantics  denotational-semantics  domain-theory 

Резолюция - это схема, доказывающая неудовлетворенность CNF. Доказательством в резолюции является логический вывод пустого предложения для начальных предложений в CNF. В частности, любой начальный пункт может быть выведен, и из двух пунктов и B ∨ ¬ x также может быть выведен пункт A ∨ B. Опровержение - это последовательность выводов, …

10 cc.complexity-theory  lo.logic  proof-complexity  proof-search 

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

10 reference-request  lg.learning  gt.game-theory 

Харви Фридман показал, что есть точный результат с фиксированной точкой, который нельзя доказать в ZFC (обычная теория множеств Цермело-Франкеля с Аксиомой Выбора). Многие современные логики построены на операторах с фиксированной запятой, поэтому мне было интересно: известны ли какие-либо последствия теоремы о фиксированной точке верхнего сдвига для теоретической информатики? Недоказуемая теорема …

10 computability  lo.logic 

Вопрос : Является ли прогнозирование (как определено ниже) вычислимых последовательностей столь же сложным, как проблема остановки? Разработка : «Предсказать» означает успешное прогнозирование, что означает делать только конечное число ошибок при попытке прогнозирования n-го бита последовательности при доступе к предыдущим n-1 битам (начиная с первого бита и проходя через вся бесконечная …

10 computability 

Кто-нибудь знает о наборе проблем, которые единообразно варьируются и охватывают одну из «интересных» иерархий сложности и вычислимости? Под интересным я имею в виду, например, полиномиальную иерархию, арифметическую иерархию или аналитическую иерархию. Или, может быть (N) P, (N) EXP, 2 (N) EXP,...…\ldots Более конкретно: вы можете задать единый набор задач, которые …

10 cc.complexity-theory  computability 

В универсальных слепых квантовых вычислениях авторы описывают протокол, основанный на измерениях, который позволяет почти классическому пользователю выполнять произвольные вычисления на квантовом сервере, не раскрывая почти ничего о содержании вычислений. В описании протокола авторы упоминают «наборы зависимостей», связанные с каждым кубитом, которые должны рассчитываться некоторым методом, описанным в разделе «Детерминизм» в …

10 quantum-computing  cr.crypto-security 

Hiroimono является популярной головоломкой Complete. Я заинтересован в вычислительной сложности связанной головоломки.NпNPNP Проблема в: Входные данные : заданный набор точек на квадратной сетке x n и целое число kNnnNnnКkk Вопрос : существует ли прямолинейный многоугольник (его стороны параллельны оси или y ), такой, что количество точек на углах многоугольника не …

10 cc.complexity-theory  np-hardness  puzzles  integer-lattice 

У меня есть вопрос о целесообразности, который можно сформулировать следующим образом. Мне дана точка в d- мерном векторном пространстве, и я хочу найти ближайшую точку q к p, которая удовлетворяет набору « ℓ 0 ограничений» видаpppdddqqqpppℓ0ℓ0\ell_0 Для данного множества не более одного из { q j , j ∈ S …

10 ds.algorithms  approximation-algorithms  linear-programming 

У меня есть следующий LP: / * Объективная функция * / мин: 1 ш + 2 х + 0,5 у + z; / * Переменные границы * / w + x <= T1; w + y = U1; х + z = U2; Т1 = 50; U1 = 70; U2 …

10 linear-programming 

Пусть - перестановка. Обратите внимание, что хотя действует на бесконечной области, его описание может быть конечным. Под описанием я имею в виду программу, которая описывает функциональность . (Как и в колмогоровской сложности.) См. Пояснения ниже. π ππ:{0,1}∗→{0,1}∗π:{0,1}∗→{0,1}∗\pi \colon \{0,1\}^* \to \{0,1\}^*ππ\piππ\pi Например, функция NOT является одной такой перестановкой: функция НЕ …

10 cc.complexity-theory  co.combinatorics  cr.crypto-security  descriptive-complexity  one-way-function 

Учитывая сильно связанный орграф G со взвешенными ребрами, я хотел бы идентифицировать ребра, которые доказуемо не являются частью какого-либо минимального сильно связного подграфа (MSCS) группы G. Одним из способов нахождения таких ребер является модифицированный алгоритм Флойда-Варшалла. Используя алгоритм Флойда-Варшалла, можно определить, какие ребра никогда не являются наилучшим вариантом для перехода …

10 ds.algorithms  graph-theory  graph-algorithms 

Есть ли какой-нибудь инструмент, где можно выяснить, соавторы двух человек? Как инструмент, где можно выяснить чей-то Erdos _number_.

10 soft-question 

Упрощенная классическая транзакция базы данных может рассматриваться как: чтение М предметов выполняя некоторые расчеты на основе этих чтений написание некоторых N результатов, основанных на этих расчетах, которые могут включать элементы, которые изначально были прочитаны. При выполнении этих транзакций (одновременно) необходимо поддерживать свойства ACID . Точно такие же требования (N обновлений …

10 ds.algorithms  dc.distributed-comp