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

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

2
Для випадкового оракула R, чи відповідає BPP набору обчислюваних мов у P ^ R?
Ну, заголовок майже все це говорить. Цікаве питання, яке було задано вище, запитав коментер Джей у своєму блозі (дивіться тут і тут ). Я здогадуюсь і те, що відповідь "так", і що існує досить просте доказ, але я не міг це побачити з очей. (Дуже приблизно, можна спробувати показати, що …
5
Які помітні моделі автоматів містять поліноміально-рішучі засоби?
Я намагаюся вирішити конкретну проблему, і я подумав, що, можливо, вдасться вирішити її за допомогою теорії автомати. Мені цікаво, які моделі автоматів мають обмежувальний вміст, який можна вирішити в поліноміальний час? тобто якщо у вас є машини M1,M2M1,M2M_1, M_2 ви можете перевірити, чи ефективно L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) . Очевидними з …
3
Що відокремлює легкі глобальні проблеми від жорстких глобальних проблем на графіках обмеженої ширини?
Численні задачі з жорсткими графами вирішуються в поліноміальний час на графах обмеженої ширини . Дійсно, підручники зазвичай використовують, наприклад, незалежний набір, що є локальною проблемою . Приблизно локальна проблема - це проблема, вирішення якої можна перевірити, вивчивши деяке невелике сусідство кожної вершини. Цікаво, що навіть проблеми (наприклад, гамільтонів шлях) глобального …
2
Чому ієрархія нескінченного типу?
Coq, Agda та Idris мають нескінченну ієрархію типів (Тип 1: Тип 2: Тип 3: ...). Але чому б не зробити це натомість, як λC, система в лямбда-кубі, найближча до числення конструкцій, яка має лише два різновиди, ∗∗* і , і ці правила?◽◽◽ ∅ ⊢ ∗ : ◽∅⊢∗:◽\frac {} {∅ ⊢ …
2
Проблеми з ефективним рішенням, за винятком невеликої частки входів
Проблема зупинки машин Тьюрінга - це, мабуть, канонічний нерозбірливий набір. Тим не менш, ми доводимо, що існує алгоритм, який вирішує майже всі його екземпляри. Таким чином, проблема зупинки є серед зростаючої колекції тих, хто демонструє явище «чорної діри» теорії складності, завдяки якому складність нездійсненної чи невирішеної проблеми обмежується дуже маленькою …
1
Природний кандидат проти конституції ізоморфізму?
Знаменита концепція ізоморфізму Бермана та Хартманіса говорить, що всі незавершені мови є многочленним ізоморфним часом (p-ізоморфним) один для одного. Ключове значення гіпотези полягає в тому, що вона передбачає . Він був опублікований у 1977 р., І підтверджуючи, що всі проблеми, що не стосуються відомі на той час, справді були p-ізоморфними. …
2
Поліноміальні вирішувані в часі екземпляри Max-Sat
Проблема Max-Sat попросить вас знайти формулу CNF, яка задовольнить якомога більше пропозицій. Для більш простої задачі SAT існує багато відомих спеціальних випадків, які можна вирішити в поліноміальний час, наприклад, ми можемо вирішити 2-SAT в поліноміальний час. Для Max-Sat ситуація відрізняється, оскільки Max-Sat є важким навіть для формул 2-CNF (кожен пункт …
18 sat  treewidth  max2sat 
4
Відкриті проблеми, пов'язані з ізоморфізмом Графа
В даний час я роблю опитування літератури з проблеми графомічного ізоморфізму (ГІ). Мені хотілося б знати кілька відкритих питань, пов’язаних із наступним Назвіть параметри графіка, для яких фіксований параметр простежуваності ГІ є відкритою проблемою. Що таке параметри графа, фіксуючи їх поліноміальну розв’язність ГІ, невідомо. Складність GI при обмеженні багатьох класів …
3
Підрахунок кількості простих шляхів у непрямому графіку
Як я можу визначитися з кількістю унікальних простих контурів у непрямому графіку? Або для певної довжини, або для діапазону прийнятних довжин. Нагадаємо, що простий шлях - це шлях без циклів, тому я говорю про підрахунок кількості шляхів без циклу.
2
Co-NP-повнота мінімального туру TSP?
Ця проблема виникла з моєї недавньої публікації в блозі , припустимо, вам приділяється екскурсія TSP, чи є вона спільною NP для визначення того, чи є вона мінімальною? Більш точно є наступна проблема NP-завершена: Екземпляр: Дано повний графік G з ребрами, зваженими додатними цілими числами, і простим циклом C, який відвідує …
5
Алгоритми швидкої ширини
Я хотів би обчислити ширину графіка. Існують дуже хороші евристики для інших проблемних граф NP-жорстких, таких як VF2 для ізоморфізму підграфа, з кодом, наприклад, в igraph . Я спробував їх на своїх графіках, і я вважаю, що вони дуже швидко працюють для моїх даних. Чи є якісь швидкі алгоритми для …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.