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

Звезда система представляет собой семейство п подмножеств п-элементов , установленных S . Звезда система графическая если есть граф G ( V , E ) таким образом, что Р является семейством окрестностей вершин в G . Это N P -полных , чтобы определить , является ли данная графическая система звезды.FFFSSSG(V,E)G(V,E)G(V,E)FFFGGGNPNPNP Каково …

10 cc.complexity-theory  np-hardness 

Есть ли у нас классы сложности, скажем, относительно средней сложности? Например, существует ли (именованный) класс сложности для задач, решение которых занимает ожидаемое полиномиальное время? Другой вопрос рассматривает сложность наилучшего случая , приведенную ниже. Есть ли класс (естественных) проблем, решение которых требует хотя бы экспоненциального времени? Для уточнения, рассмотрим некоторые EXP …

10 cc.complexity-theory  complexity-classes 

Меня интересуют "сложные" отдельные примеры NP-полных задач. Райан Уильямс обсудил проблему SAT0 в блоге Ричарда Липтона . SAT0 спрашивает, имеет ли экземпляр SAT конкретное решение, состоящее из всех 0. Это заставило меня задуматься о создании экземпляров SAT, которые, вероятно, будут «сложными». Рассмотрим экземпляр SAT с предложениями и переменными, где является …

10 cc.complexity-theory  sat  hard-instances 

Примеры ограниченных полных вариантов неразрешимых множеств:NпNPNP Ограниченная задача остановки = { | NTM-машина останавливает и принимает течение шагов}М х т( М, х , 1T)(M,x,1t)(M, x, 1^t)MMMИксxxTtt Ограниченная плитка = { | есть плитка квадрата области плитками из }т 2 т( Т, 1T)(T,1t)(T, 1^t)T2t2t^2TTT Ограниченная почтовая проблема соответствия = { | …

10 cc.complexity-theory  np-hardness 

Покажите функцию которая конструируется в пространстве, но не является временной.е( н )е(N)f(n) Связана ли эта проблема с возможным разделением между классами сложности DTIME (f (n)) и SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Привет всем, в настоящее время я пытаюсь найти твердую тему магистерской диссертации, относящуюся к некоторой отрасли теории автоматов или связанной с формальными языками. Я пытаюсь выработать несколько хороших идей для приемлемой темы, чего-то амбициозного, но в то же время выполнимого. Любые предложения будут очень признательны!

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

В SODA 1995 года Джефф Эриксон показал нижние оценки линейной выполнимости (проверяя, удовлетворяет ли некоторое подмножество действительных чисел линейному уравнению на переменных). Метод доказательства использует бесконечно малые и принцип переноса Тарского .н рrrrnnnrrr Может ли кто-нибудь объяснить интуицию, лежащую за маршрутом, чтобы доказать эту связь? В чем сложность такого прямого …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Под BPP / linear я подразумеваю машины BPP с линейным советом, который выполняет обещание, когда дается «правильный» совет, и дерандомизация должна дать нам, скажем, P / линейный или (SUBEXP / линейный) алгоритм. Если мы используем неоднородные предположения, я думаю, классические результаты должны работать, потому что мы можем «обмануть» неоднородных противников. …

10 cc.complexity-theory  derandomization  advice-and-nonuniformity 

Легко видеть, что для любого существует отображение 1-1 F из {0,1} n в {0,1} n + O ( log n ) такое, что для любого x вектор F ( x ) равен " сбалансированный », т. е. имеет равное количество единиц и нулей. Можно ли определить такое F, чтобы при …

10 ds.algorithms  ds.data-structures  encoding 

Детерминированные контекстно-свободные языки (DCFL) и языки визуального нажатия (VPL) являются наборами формальных языков между контекстно-свободными языками (CFL) и обычными языками (REG). Есть ли удобочитаемая нотация, которая может быть выражена в простом ASCII-формате, например Backus-Naur-Form для CFL и регулярных выражений для REG?

10 fl.formal-languages 

Кажется, большая часть литературы посвящена машинам с одним оракулом для конкретных задач, однако, как представляется, есть несколько статей, в которых рассматриваются машины с несколькими оракулами. Есть хорошая статья или тезис, который дает обзор того, что известно о таких машинах? В частности меня интересует P с несколькими оракулами.

10 oracles  turing-machines 

Пусть нерегулярный связный граф, степень которого ограничена. Предположим, что каждый узел содержит уникальный токен.G=(V,E)G=(V,E)G= (V, E) Я хочу равномерно перетасовать токены среди графа, используя только локальные перестановки (т.е. обмен токенами между двумя соседними узлами)? Известна ли нижняя граница для этой проблемы? Единственная идея, которая у меня возникла, - это использовать …

10 ds.algorithms  random-walks  dc.distributed-comp 

Можно ли автоматически обобщать природу БПФ для других преобразований (z Transform, chirp и т. Д.) Автоматически? Существует ли алгоритм, который принимает описание преобразования (я не знаю, какая информация потребуется) и может производить быструю функцию, подобную FFT?

10 ds.algorithms 

Какие есть доказательства того, что ?c o R P≠ NпcoRP≠NPcoRP \neq NP c o R PcoRPcoRP - это класс языков, для которых существует вероятностная машина Тьюринга, которая работает за полиномиальное время и всегда отвечает Да на входе, принадлежащем языку, и отвечает Нет с вероятностью, по крайней мере, наполовину на входе, …

10 cc.complexity-theory  complexity-classes 

Возможно ли (вы можете дать пример косую черту) уменьшить вычислительную сложность задачи, используя параллельный алгоритм, который не требует количества процессоров относительно размера ввода?

10 cc.complexity-theory  dc.parallel-comp