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

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

2
Чи є якась проблема в
Я шукаю проблему, яка належить до у загальних графах, але є у у обмежених графіках ширини дерева. Насправді я думаю, що ці проблеми складніші, ніж використання звичайного динамічного програмування в обмежених межах -графіка ширини для їх вирішення.ΣП2Σ2П\mathsf{\Sigma^P_2}ПП\mathsf{P}

2
Чи може шахи імітувати універсальну машину Тюрінга?
Я хочу отримати чітку відповідь на заголовне питання. Чи існує набір правил, які перетворюють будь-яку програму в конфігурацію кінцевих фрагментів на нескінченній дошці, так що якщо чорно-білі грають лише легальні кроки, гра закінчується в обмежений час, якщо програма зупиняється? Правила такі ж, як і звичайні шахи мінус правило 50 переміщення, …

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

1
Чи можете ви визначити еквівалентність монотонних булевих виразів, які не містять заперечення в PTIME?
Чи є наступна проблема в PTIME або hard-coNP: Враховуючи два булеві вирази і e 2 у змінних x 1 , … , x n , без заперечення (тобто вирази повністю будуються через ∧ і ∨ ). Вирішіть, чи є e 1 ≡ e 2 , тобто вони мають однакове значення …

2
Парадигми для аналізу складності алгоритмів
Аналіз найгіршого та середнього випадку - це добре відомі заходи складності алгоритму. Нещодавно згладжений аналіз з'явився ще однією парадигмою для пояснення того, чому деякі алгоритми, які є експоненціальними в гіршому випадку, так добре працюють на практиці, наприклад алгоритм симплекс. Моє запитання - чи є інші парадигми для вимірювання складності алгоритму? …

1
Алгоритм оптимізації дерев рішень
Фон Бінарне дерево рішень являє собою кореневе дерево , де кожен внутрішній вузол (і корінь) позначений індекс J ∈ { 1 , . . . , n } таким чином, що жоден шлях від кореня до листа не повторює індекс, листя позначаються виходами в { A , B } , …

1
Ефективна конкатенація DFA?
Існують теоретичні докази того, що наївна декартово-продуктова конструкція для перетину ДФА - "найкраще, що ми можемо зробити". А як щодо об'єднання двох DFA? Тривіальна конструкція передбачає перетворення кожної DFA в NFA, додавання епсилонного переходу та визначення результуючої NFA. Чи можемо ми зробити краще? Чи відомо про обмеження розміру мінімальної конкатенації …

1
Шукаю оригінальну папір LCF від Скотта
Чи доступний наступний рукопис у публічному доступі? Дана Скотт, 1969, Теорія обчислюваних функцій вищого типу . Неопубліковані конспекти семінару, 7 сторінок, Оксфордський університет. Цей документ обговорюється в розділі 8.1.2, Типи як набори , у Cardone & Hindley, 2006 р. Історія обчислення лямбда та комбінаційної логіки ; Крім того, розділ 10.1 …

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

3
Яка роль предикативності в індуктивних визначеннях в теорії типів?
Ми часто хочемо визначити об’єкт відповідно до деяких правил виводу. Ці правила позначають виробляє функцію , яка, коли вона монотонна, яке повертає міру нерухому точку . Візьму , щоб бути «індуктивним визначенням» . Більше того, монотонність дозволяє обґрунтувати "принцип індукції", щоб визначити, коли множина містить (тобто коли властивість універсально тримається …

3
Чи існує назва "фізичних речей, з яких можна побудувати машину Тюрінга"?
Однією з дивовижних речей з інформатики є те, що фізична реалізація в деякому сенсі "не має значення". Люди успішно побудували комп’ютери з декількох різних субстратів - реле, вакуумних труб, дискретних транзисторів і т. Д. Люди скоро можуть досягти успіху створити комп’ютери Тьюрінга з нелінійних оптичних матеріалів, різних біомолекул та кількох …

3
Чи існує якась теорія мови програмування, що описує інтерфейси іноземних функцій (FFI) та декілька прив'язок мови?
Чи існує якась теорія мови програмування, що описує інтерфейси іноземних функцій (FFI) та декілька прив'язок мови? Я поставив запитання щодо імплементації щодо stackoverflow , який тут не підходить. Але я хотів би запитати у цього сайту і подивитися, що я можу отримати звідси. Дуже вдячний за вашу відповідь! Завдяки Dave …

2
Collatz Conjecture & Gramatic / Automata
Мені було цікаво, чи є хороша бібліографія спроб дослідження гіпотези Колатца як формальної граматики? (або будь-які інші спроби спільноти CS боротися з цим класом генеративних явищ та їх властивостями "зупинки").

3
Завантаження структури пальця дерева
Після роботи з 2-3 пальчиковими деревами я дуже вразила їх швидкість у більшості операцій. Однак одне питання, з яким я зіткнувся, - це великі накладні витрати, пов’язані з початковим створенням великого пальцевого дерева. Оскільки побудова визначається як послідовність операцій конкатенації, ви в кінцевому підсумку будуєте велику кількість пальцевих дерев, які …

1
Середні випадкові тавтології / суперечності, поза випадковою моделлю k-CNF
Добре відомо, що випадкові формули -CNF над n змінними з c n застереженнями є незадовільними (тобто вони суперечать) з високою ймовірністю, для досить великої постійної c . Таким чином, випадкові формули k -CNF (для c досить великі) становлять природний розподіл за незадовільними булевими формулами (або подвійно, над тавтологіями, тобто запереченнями …

Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.