Запитання з тегом «reference-request»

Нехай позначає безліч { 1 , . . . , n } і C (n, k) позначають безліч повторів безлічі -комбінацій елементів з . Нехай - -tuple в . Ми говоримо, що перестановка множини уникає якщо немає k-tuple цілих чисел таких, що [ n ][н][n]{ 1 , . . . …

15 reference-request  co.combinatorics  permutations 

Це написано у вікі-статті Symbolic Execution , але я не можу знайти жодної посилання на неї. Хтось може мені показати вказівник? Дякую.

15 reference-request  lo.logic  program-analysis 

Відомо, що мінімізація розміру регулярного виразу є повною PSPACE, навіть якщо у нас є специфікація DFA . Які результати, якщо мова кінцева? Цю проблему можна розглядати у двох моделях: Вхід - це всі рядки в мові, і розмір введення вимірюємо за сумою довжини всіх рядків. Вхід є DFA, і ми …

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

Редагувати: Оскільки за тиждень я не отримував жодних відповідей / коментарів, я хочу додати, що я радий почути що-небудь про проблему. Я не працюю в цьому районі, тому навіть якщо це просте спостереження, я, можливо, цього не знаю. Навіть коментар на кшталт "Я працюю в цьому районі, але такої характеристики …

15 reference-request  machine-learning  lg.learning 

Враховуючи множини і B , дифункціональне відношення ( ∼ ) ⊆ A × B між ними визначається як відношення, що задовольняє такій властивості:AАABBB (∼)⊆A×B(∼)⊆A×B(\sim) \subseteq A \times B Якщо ~ Ь і ' ~ Ь ' і ~ Ь ' , то ' ~ б . a∼ba∼ba \sim ba′∼b′a′∼b′a' \sim …

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

Категорія має біпродукти, коли однакові предмети є і продуктами, і копродуктами. Хтось досліджував теорію доказів категорій з біпродуктами? Мабуть, найвідоміший приклад - категорія векторних просторів, в якій пряма сума і прямі побудови продукту дають однаковий векторний простір. Це означає, що векторні простори та лінійні карти є дегенерованою моделлю лінійної логіки, …

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

Я вживаю найменування терміна в дуже пухкому сенсі. Проводиться значна робота над теорією еволюційних ігор, включаючи її математичні основи. Мені було рекомендовано "Еволюційні ігри та динаміка населення", але я ще не заглиблювався в неї. Також є значна кількість роботи над алгоритмічною теорією ігор, яка є популярною темою на цьому сайті. …

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

У мене насправді є два питання: Хто вперше використав логічні відношення для співвідношення семантики? Я простежив їх до "Рейнольда" Про відношення між прямою та семантикою продовження ", але не можу стверджувати, що здійснив вичерпний пошук. Я знайшов посилання на логічні відносини, що датуються раніше (Tait, '67), але не для відношення …

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

Які хороші папери / книги краще зрозуміти силу модульного розкладання та його властивості? Мене особливо цікавлять алгоритмічні аспекти модульної декомпозиції. Я чув, що можна знайти модульний декомпозицію графіка за лінійним часом. Чи є для цього відносно простий алгоритм? А як же не настільки ефективний, але простіший алгоритм?

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

Деякі передумови: valuukasiewicz багатозначна логіка була призначена як модальна логіка, а asukasiewicz дав розширене визначення модального оператора: ◊A=def¬A→A◊A=def¬A→A\Diamond A =_{def} \neg A \to A (яке він приписує Тарському). Це дає дивну модальну логіку з деякими парадоксальними, якщо не на перший погляд абсурдними теоремами, зокрема (◊A∧◊B)→◊(A∧B)(◊A∧◊B)→◊(A∧B)(\Diamond A\land \Diamond B) \to \Diamond …

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

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

15 reference-request  lo.logic  proof-theory 

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

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

Як всім відомо, відома книга Гарі та Джонсона (та багато інших) є чудовим посиланням на техніку відновлення в класичній обстановці. Чи є опитування чи книги з теми скорочення техніки в параметризованому алгоритмі, скажімо, скорочення fpt?

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

Читаючи статтю " Прикладна теорія для FPH ", ви можете зіткнутися з таким уривком: Зважаючи на теорії, що характеризують класи обчислювальної складності, існує три різні підходи: в одному, функції, які можна визначити в теорії, "автоматично" знаходяться в межах певного класу складності. У такому обліковому записі синтаксис повинен бути обмежений, щоб …

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

Мене цікавить генерація псевдовипадкових чисел для криптографії. Крім глави 5 Менезів / Оршот / Ванстоун ; Глава 8 Стінсона ; і глава 3 Голдрейха , де ще я можу знайти більше? Мене цікавлять загальні принципи розробки PRNG (бажані властивості, тести тощо).

15 cc.complexity-theory  reference-request  pseudorandomness