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

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

3
Существует ли квантовый эквивалент теоремы иерархии времени?
Моя любимая теорема в теории сложности - это теорема об иерархии времени. Однако это было сделано в 1965 году. Тогда я хотел узнать, есть ли что-нибудь подобное для квантовых вычислений. Кроме того, если нет, что люди / группы работают в этом направлении!
2
Является ли JSON обычным языком?
Мне было интересно, если спецификация JSON определяет обычный язык. Это кажется достаточно простым, но я не уверен, как это доказать самому. Причина, по которой я спрашиваю, заключается в том, что мне было интересно, можно ли использовать регулярные выражения для эффективного анализа JSON. Может ли кто-нибудь с достаточным количеством представителей, пожалуйста, …
2
Какова пространственная сложность вычисления собственных значений?
Я ищу обзорную статью или книгу, в которой освещаются результаты о пространственной сложности общих операций линейной алгебры, таких как ранг матрицы, вычисление собственных значений и т. Д. Я подчеркиваю часть «пространственная сложность», означающую сложность рабочего пространства, а не временную сложность, поскольку легче отслеживать результаты времени. Я ценю любую ссылку в …
5
В какой степени «продвинутая математика» необходима / полезна в исследованиях ИИ?
В настоящее время я изучаю математику. Однако я не думаю, что хочу стать профессиональным математиком в будущем. Я подумываю применить свои знания математики для исследований в области искусственного интеллекта. Однако я не уверен, сколько курсов по математике мне следует пройти. (И каким курсам по теории КС я должен следовать.) Из …
3
Как говорить о теории
Я понимаю, что это может быть спорный вопрос, но это, казалось, правильное место, чтобы спросить. Пожалуйста, перенаправьте меня, если нет. Я имею в виду, что я «практик» (аспирант, я не изучаю теорию КС), но у меня есть достаточные знания в области алгоритмов и математики для студентов. Тем не менее, обсуждения …
1
Алгоритм, время работы которого зависит от P против NP
Существует ли известный явный пример алгоритма со свойством, состоящим в том, что если то этот алгоритм не выполняется за полиномиальное время, а если то он выполняется за полиномиальное время?п≠ Nпп≠NпP\neq NPп= Nппзнак равноNпP=NP
2
Считается ли доказательство NP-твердости NP-трудной задачи вкладом?
Я решаю проблему, которая, как утверждают, является труднопроходимой в других местах, например, в статье [XYZ]. NP-твердость, представленная в [XYZ], сложна и использует передовые методы. После некоторых исследований и работ мне удалось дать простое и ясное доказательство твердости NP. Мне интересно, если это рассматривается как вклад или нет? Я пытаюсь мотивировать …
2
Есть ли какие-нибудь неполные эвристические проблемы с NP?
Существуют ли какие-либо NP-полные проблемы с бесконечным подмножеством экземпляров такие, что принадлежность к может быть решена за полиномиальное время, и для всех , может быть решена за полиномиальное время? (Предполагая )ΦΦ\Phix ∈ Φ x P ≠ N PΦΦ\Phix ∈ Φx∈Φx \in \PhiИксxxп≠ NпP≠NPP \neq NP
2
Решать, является ли унарный контекстно-зависимый язык регулярным
Это известный результат, что вопрос Генерирует ли контекстно-свободная грамматика обычный язык? неразрешима. Однако он становится разрешимым в унарном алфавите просто потому, что в этом случае классы контекстно-свободных и регулярных языков совпадают. Мой вопрос состоит в том, чтобы знать, что происходит с унарными контекстно-зависимыми языками. Можно ли определить, порождает ли данная …
2
Доказательство того, что верхние границы схемы для
В официальном описании проблемы Клея для P против NP он заявил , что будет следовать из показывая , что «каждый язык в Е [класс языков , распознаваемый в экспоненциальное время с детерминированной машиной Тьюринга] может быть вычислено с помощью булева семейства схем < в п > такое , что , …
2
Сложность восстановления матрицы смежности из ее квадрата
Меня интересует следующая проблема: Имеется ли матрица, существует ли неориентированный граф на вершинах, квадрат матрицы смежности которых является этой матрицей?n×nn×nn\times nnnn Известна ли вычислительная сложность этой проблемы? Примечания: Конечно, это также можно сформулировать как задачу поиска, где вам дается матрица для матрицы смежности неориентированного графа, и задача состоит в том, …
1
Алгоритмические преимущества пропускной способности по сравнению с древовидной
Treewidth играет важную роль в алгоритмах FPT, отчасти потому, что многие проблемы FPT параметризуются с помощью treewidth. Связанное, более ограниченное понятие - это пропускная способность. Если граф имеет ширину пути , он также имеет ширину дерева не более k , в то время как в обратном направлении ширина дерева k …
4
Хаос и
Я заинтересован в изучении связей между «хаосом» или, в более широком смысле, динамическими системами и вопросом . Вот пример типа литературы, которую я ищу:п= Nппзнак равноNпP{=}NP Эрчи-Раваш, Мария и Золтан Торошкай. «Твердость оптимизации как переходный хаос в аналоговом подходе к удовлетворению ограничений». Физика природы 7, нет. 12 (2011): 966-970. ( …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.