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

Питання та відповіді для вчених-теоретиків та дослідників у суміжних галузях

1
Підтримання порядку в списку в
Проблема обслуговування замовлення (або "підтримка порядку в списку") полягає в підтримці операцій: singleton: створює список з одним елементом, повертає на нього вказівник insertAfter: дається вказівник на елемент, вставляє після нього новий елемент, повертаючи вказівник на новий елемент delete: надавши вказівник на елемент, видаляє його зі свого списку minPointer: надавши два …
2
Яка стійка структура даних для набору частково впорядкованих елементів?
Мені потрібно зберігати набори елементів типу a. Введіть a частково впорядковано, тому порівняння та може повернути менші, більші, рівні або незрівнянні.a1a1a_1a2a2a_2 Одна проблема хештелів полягає в тому, що два рівні елементи можуть бути представлені по-різному, і я не маю доступу до функції хешування, що відповідає рівності. Порівняння двох елементів може …
2
Доказна теорія біпродуктів?
Категорія має біпродукти, коли однакові предмети є і продуктами, і копродуктами. Хтось досліджував теорію доказів категорій з біпродуктами? Мабуть, найвідоміший приклад - категорія векторних просторів, в якій пряма сума і прямі побудови продукту дають однаковий векторний простір. Це означає, що векторні простори та лінійні карти є дегенерованою моделлю лінійної логіки, …
1
Універсальне наближення функції
Через теорему універсального наближення відомо, що нейронна мережа з навіть одним прихованим шаром і довільною функцією активації може наближати будь-яку безперервну функцію. Які ще існують моделі, які також є універсальними аплікаторами функцій
3
Джерела алгоритмічної еволюційної теорії ігор
Я вживаю найменування терміна в дуже пухкому сенсі. Проводиться значна робота над теорією еволюційних ігор, включаючи її математичні основи. Мені було рекомендовано "Еволюційні ігри та динаміка населення", але я ще не заглиблювався в неї. Також є значна кількість роботи над алгоритмічною теорією ігор, яка є популярною темою на цьому сайті. …
2
Квантове навчання PAC
Фон А С0АС0AC^0О ( 2л о г( n )Виведення ( д))О(2лог(н)О(г))O(2^{log(n)^{O(d)}})2нo ( 1 )2но(1)2^{n^{o(1)}} [1] Н. Лініяль, Ю. Мансур та Н. Нісан. [1993] "Контури постійної глибини, перетворення Фур'є та навчальність", Journal of ACM 40 (3): 607-620. [2] М. Харитонов. [1993] "Криптографічна жорсткість навчання, що залежить від розподілу", Праці ACM STOC'93, …
2
Яке походження логічних відносин?
У мене насправді є два питання: Хто вперше використав логічні відношення для співвідношення семантики? Я простежив їх до "Рейнольда" Про відношення між прямою та семантикою продовження ", але не можу стверджувати, що здійснив вичерпний пошук. Я знайшов посилання на логічні відносини, що датуються раніше (Tait, '67), але не для відношення …
2
Явне мурекурсивне вираження функції Акермана
Чи можете ви вказати, як побудувати функцію Акермана (насправді мене цікавить версія, запропонована Россою Петером та Рафаелем Робінсоном) за допомогою стандартних мурекурсивних операторів? Я спробував оригінальні статті Петера та Робінсона, але в папері Петера використовується мова, що відрізняється від англійської та в роботах Робінсона «Рекурсія та подвійна рекурсія» та «Примітивні …
1
Модульне розкладання та ширина кліку
Я намагаюся зрозуміти деякі поняття про модульне розкладання та графіки по ширині Кліка . У цій статті ("Про графіки P4-охайні") є доказ того, як вирішити проблеми оптимізації, наприклад, число кліки або хроматичне число, використовуючи модульне розкладання. Вирішити ці проблеми шляхом складання (використовуючи диз'юнктну суму або роз'єднане об'єднання) два графіки G1, …
2
Хтось використовував поліморфну ​​дефункціоналізацію Поттіра та Готьє в модульному компіляторі?
Дефункціоналізація - це програмне перетворення, яке перетворює програми вищого порядку в програми першого порядку. Ідея полягає в тому, що в даній програмі існує лише кінцево багато лямбда-абстракцій, тож ви можете замінити кожну лямбда на ідентифікатор, а кожну функціональну програму викликом до процедури застосування, яка розгалужується на цей ідентифікатор. Це іноді …
1
Попадання набір пар, що перетинаються
Набір ударів сімейства - це підмножина H of ⋃ n i = 1 S i така, що H ∩ S i ≠ ∅ при 1 ≤ i ≤ n . Проблема знайти мінімальний набір наборів для даної родини загалом є важкою, оскільки вона узагальнює проблему покриття вершин. Тепер моє питання:S= …
5
Посилання на модульне розкладання
Які хороші папери / книги краще зрозуміти силу модульного розкладання та його властивості? Мене особливо цікавлять алгоритмічні аспекти модульної декомпозиції. Я чув, що можна знайти модульний декомпозицію графіка за лінійним часом. Чи є для цього відносно простий алгоритм? А як же не настільки ефективний, але простіший алгоритм?
1
Шукаєш статті та статті про Тарскій Мьольхкайт
Деякі передумови: 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 …
5
Шукаємо статті та статті з модальної підструктурної логіки
Я шукаю статті та статті з модальної підструктурної логіки-- не на семантиці лінійних логічних модальностей, а на підструктурній логіці, доповненій стандартними модальними операторами, наприклад, підструктурною K (щось на зразок MALL з оператором коробки, необхідністю та правилами K).
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.