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

Обозначим через множество а через C (n, k) - множество всех комбинаций элементов из без повторения. Пусть - k- кортеж в C (n, k) . Мы говорим, что перестановка \ pi: [n] \ rightarrow [n] из набора [n] избегает p, если нет k-кортежа целых чисел i_1 <i_2 <... <i_k, такого …

15 reference-request  co.combinatorics  permutations 

Это написано в вики-записи Символического Выполнения , но я не могу найти для этого никакой ссылки. Кто-нибудь может показать мне указатель? Спасибо.

15 reference-request  lo.logic  program-analysis 

Известно, что минимизация размера регулярного выражения является PSPACE-полной, даже если у нас есть DFA в качестве спецификации языка . Каковы результаты, если язык конечен? Можно рассмотреть эту проблему в двух моделях: Входные данные - это все строки в языке, и мы измеряем размер ввода как сумму длины всех строк. Входные …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

Изменить: Поскольку я не получил никаких ответов / комментариев в течение недели, я хотел бы добавить, что я рад услышать что-нибудь о проблеме. Я не работаю в этом районе, поэтому, даже если это простое наблюдение, я могу не знать его. Даже комментарий типа «Я работаю в этом районе, но я …

15 reference-request  machine-learning  lg.learning 

С учетом множество и , A бифункционального соотношение между ними определяются как отношение , удовлетворяющее следующее свойство:B ( ∼ ) ⊆ A × BAAAВВB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Если и a ′ ∼ b ′ и a ∼ b ′ , то a ′ ∼ b . a∼ba∼ba \sim …

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

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

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

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

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

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

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

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

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 

Как всем известно, знаменитая книга Гэри и Джонсона (и многие другие) дает превосходный справочник по технике редукции в классической обстановке. Существуют ли какие-либо обзоры или книги на тему техники редукции в параметризованном алгоритме, скажем, редукция fpt?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

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

15 reference-request  lo.logic  pl.programming-languages  denotational-semantics  metric-spaces 

Читая статью « Аппликативная теория для FPH », вы можете встретить следующий отрывок: Рассматривая теории, которые характеризуют классы вычислительной сложности, существует три разных подхода: в одном функции, которые могут быть определены в рамках теории, «автоматически» находятся в определенном классе сложности. В такой учетной записи синтаксис должен быть ограничен, чтобы гарантировать, …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Я заинтересован в генерации псевдослучайных чисел для криптографии. Помимо главы 5 Менезес / Oorschot / Vanstone ; Глава 8 Стинсона ; и глава 3 Goldreich , где еще я могу найти больше? Меня интересуют общие принципы проектирования PRNG (желательные свойства, тесты и т. Д.).

15 cc.complexity-theory  reference-request  pseudorandomness