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

Q & A для теоретических компьютерных ученых и исследователей в смежных областях

2
Для случайного оракула R равен ли BPP множеству вычислимых языков в P ^ R?
Ну, название в значительной степени говорит обо всем. Интересный вопрос выше задал комментатор Джей в моем блоге (см. Здесь и здесь ). Я предполагаю, что ответ - да, и что есть относительно простое доказательство, но я не мог видеть это наизусть. (Однако очень грубо можно попытаться показать, что если бы …
2
Почему бесконечная иерархия типов?
Coq, Agda и Idris имеют бесконечную иерархию типов (Тип 1: Тип 2: Тип 3: ...). Но почему бы не сделать это, как λC, систему в лямбда-кубе, которая ближе всего к исчислению конструкций и имеет только два , ∗** и , и эти правила?◽◽◽ ∅⊢∗:◽∅⊢∗:◽\frac {} {∅ ⊢ * : ◽} …
2
Проблемы с эффективным решением за исключением небольшой доли ресурсов
Проблема остановки для машин Тьюринга, возможно, является каноническим неразрешимым множеством. Тем не менее, мы доказываем, что существует алгоритм, решающий почти все его экземпляры. Таким образом, проблема остановки является одной из растущих коллекций тех, кто демонстрирует феномен «черной дыры» теории сложности, с помощью которого трудность невыполнимой или неразрешимой проблемы ограничивается очень …
3
Что отличает простые глобальные задачи от сложных глобальных задач на графах ограниченной длины деревьев?
Множество сложных задач о графах разрешимо за полиномиальное время на графах ограниченной длины деревьев . Действительно, учебники обычно используют, например, набор Independet в качестве примера, что является локальной проблемой . Грубо говоря, локальная проблема - это проблема, решение которой можно проверить, исследуя небольшую окрестность каждой вершины. Интересно, что даже проблемы …
1
Естественный кандидат против гипотезы об изоморфизме?
Знаменитая гипотеза об изоморфизме Бермана и Хартманиса говорит, что все -полные языки полиномиально по времени изоморфны (p-изоморфны) друг другу. Ключевое значение гипотезы является то , что она предполагает P ≠ N P . Она была опубликована в 1977 году, и часть подтверждающих доказательств, что все N P -полные проблемы , …
5
Какие известные модели автоматов имеют полиномиально разрешимую локализацию?
Я пытаюсь решить конкретную проблему, и я подумал, что смогу решить ее, используя теорию автоматов. Мне интересно, какие модели автоматов имеют разрешимость за полиномиальное время? то есть если у вас есть машины вы можете проверить, эффективно ли . L ( M 1 ) ⊆ L ( M 2 )M1, M2M1,M2M_1, …
2
Разрешаемые экземпляры Max-Sat за полиномиальное время
Задача Max-Sat просит вас найти назначение формулы CNF, которое удовлетворяет как можно большему количеству предложений. Для более простой задачи SAT существует много известных частных случаев, которые могут быть решены за полиномиальное время, например, мы можем решить 2-SAT за полиномиальное время. Для Max-Sat ситуация иная, так как Max-Sat является NP-сложным даже …
18 sat  treewidth  max2sat 
2
Совместная NP-полнота минимального тура TSP?
Эта проблема возникла из моего недавнего поста в блоге. Предположим, у вас есть тур по TSP. Является ли он совместным с NP, чтобы определить, является ли он минимальным? Точнее следующая задача NP-полная: Экземпляр: заданный полный граф G с ребрами, взвешенными с положительными целыми числами, и простой цикл C, который посещает …
3
Подсчет количества простых путей в неориентированном графе
Как я могу определить количество уникальных простых путей в неориентированном графе? Либо для определенной длины, либо диапазона приемлемых длин. Напомним, что простой путь - это путь без циклов, поэтому я говорю о подсчете количества путей без циклов.
4
Открытые проблемы, связанные с изоморфизмом графа
В настоящее время я делаю обзор литературы по проблеме изоморфизма графов (GI). Я хотел бы знать некоторые открытые вопросы, связанные со следующим Каковы параметры графика, для которых фиксированная возможность отслеживания GI является открытой проблемой. Каковы параметры графа, фиксируя их полиномиальной разрешимостью GI, неизвестно. Сложность GI, когда она ограничена многими классами …
5
Быстрые алгоритмы ширины дерева
Я хотел бы вычислить ширину дерева графика. Есть действительно хорошая эвристика для других задач NP-сложных графов, таких как VF2 для изоморфизма подграфа, например, с кодом, доступным в igraph . Я попробовал их на своих графиках и обнаружил, что они работают очень быстро для моих данных. Существуют ли быстрые алгоритмы для …
1
Легко ли изоморфизм индуцированного подграфа на бесконечном подклассе?
Существует ли последовательность неориентированных графов , где каждый имеет ровно вершин, и проблема{ CN}n ∈ N{СN}N∈N\{C_n\}_{n\in \mathbb N}СNСNC_nNNn При заданном и графе является ли индуцированным подграфом в ?NNnграммграммGСNСNC_nграммграммG известно, что он находится в классе ? (Например, когда , это проблема клики для NP-полной задачи.)пп\mathsf{P}СN= КNСNзнак равноКNC_n=K_n
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.