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

Этот вопрос тесно связан с другим постом: Фазовые переходы в NP Трудные проблемы, но он несколько иной. В то время как этот вопрос касается сложности отдельных случаев сложных проблем NP, речь идет о ранжировании сложности тех же случаев. Существует много библиографии об эффекте, известном как фазовый переход . В частности, …

15 cc.complexity-theory  np-hardness  sat 

Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Мне нужно хранить наборы элементов типа а. Тип a частично упорядочен, поэтому сравнение и может вернуть меньшее, большее, равное или несопоставимое.2a1a1a_1a2a2a_2 Одна проблема с хеш-таблицами состоит в том, что два равных элемента могут быть представлены по-разному, и у меня нет доступа к хеш-функции, соответствующей равенству. Сравнение двух элементов может быть …

15 ds.data-structures  functional-programming  sorting 

Категория имеет бипродукты, когда одни и те же объекты являются как продуктами, так и копроизведениями. Кто-нибудь исследовал теорию доказательств категорий с бипродуктами? Возможно, наиболее известным примером является категория векторных пространств, в которой конструкции прямой суммы и прямого произведения дают одно и то же векторное пространство. Это означает, что векторные пространства …

15 reference-request  lo.logic  pl.programming-languages  type-theory  ct.category-theory 

Из теоремы универсального приближения известно, что нейронная сеть с хотя бы одним скрытым слоем и произвольной функцией активации может аппроксимировать любую непрерывную функцию. Какие есть еще модели, которые также являются универсальными аппроксиматорами функций?

15 machine-learning  function  approximation 

У меня на самом деле есть два вопроса: Кто первым использовал логические отношения, чтобы связать семантику? Я проследил их до Рейнольда « О связи между прямой и семантикой продолжения », но я не могу утверждать, что провел исчерпывающий поиск. Я нашел ссылки на логические отношения, датирующиеся ранее (Tait, '67), но …

15 reference-request  pl.programming-languages  denotational-semantics  logical-relations 

Я использую заглавный термин в очень свободном смысле. Существует значительный объем работ по эволюционной теории игр, включая ее математические основы. Мне порекомендовали «Эволюционные игры и динамика населения», но я еще не углубился в это. Существует также значительный объем работ по теории алгоритмических игр, которая является популярной темой на этом сайте. …

15 reference-request  gt.game-theory  genetic-algorithms  evolutionary-game-theory 

Фон Функции в могут быть изучены PAC в квазиполиномиальном времени с помощью классического алгоритма, который требует случайно выбранных запросов, чтобы изучить схему глубины d [1]. Если нет факторинг-алгоритма , то это оптимально [2]. Конечно, на квантовом компьютере мы знаем, как учитывать, поэтому эта нижняя граница не помогает. Кроме того, оптимальный …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Не могли бы вы указать, как построить функцию Аккермана (на самом деле меня интересует версия, предложенная Роузой Петером и Рафаэлем Робинсоном) с помощью стандартных мюрекурсивных операторов? Я пробовал оригинальные статьи Петера и Робинсона, но в работе Петера используется язык, отличный от английского, и работы Робинсона «Рекурсия и двойная рекурсия» и …

15 computability 

Дефункционализация - это программная трансформация, которая преобразует программы высшего порядка в программы первого порядка. Идея состоит в том, что для данной программы существует только конечное число лямбда-абстракций, поэтому вы можете заменить каждую лямбду идентификатором, а каждое приложение функции - вызовом процедуры apply, которая разветвляется на этот идентификатор. Это иногда используется …

15 pl.programming-languages  compilers 

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

15 graph-theory  graph-algorithms  cliquewidth 

Наезд набор из семейства является подмножеством из такое , что для . Задача найти минимальное множество попаданий данного семейства NP-трудна в общем, поскольку она обобщает проблему покрытия вершин. Теперь мой вопрос:S= { S1, … , SN}Sзнак равно{S1,...,SN}\mathcal{S} = \{S_1, \dots, S_n\}ЧАСЧАСH⋃Nя = 1Sя⋃язнак равно1NSя\bigcup_{i=1}^{n} S_iЧАС∩ Sя≠ ∅ЧАС∩Sя≠∅H \cap S_i \ne …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Что такое хорошие статьи / книги, чтобы лучше понять силу модульного разложения и его свойства? Я особенно заинтересован в алгоритмических аспектах модульной декомпозиции. Я слышал, что можно найти модульную декомпозицию графа за линейное время. Есть ли относительно простой алгоритм для этого? А как насчет не очень эффективного, но более простого …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Немного предыстории: многозначные логики Лукасевича были заданы как модальные логики, а Лукасевич дал расширенное определение модального оператора: (который он приписывает Тарскому).◊ A =dе ф¬ A → A◊A=def¬A→A\Diamond A =_{def} \neg A \to A Это дает странную модальную логику с некоторыми парадоксальными, если не на первый взгляд абсурдными теоремами, в частности …

15 reference-request  lo.logic  proof-theory  linear-logic  modal-logic 

Я ищу статьи и статьи о модальных субструктурных логиках - не о семантике линейных логических модальностей, а о субструктурных логиках, дополненных стандартными модальными операторами, например, субструктурными K (что-то вроде MALL с оператором ящика, необходимостью и K правилами).

15 reference-request  lo.logic  proof-theory