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

Я взял класс один раз по вычислимости и логики. Материал содержал корреляцию между классами сложности / вычислимости (R, RE, co-RE, P, NP, Logspace, ...) и логикой (исчисление предикатов, логика первого порядка, ...). Корреляция включала в себя несколько результатов в одной области, которые были получены с использованием методов из другой области. …

33 cc.complexity-theory  lo.logic  computability 

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

33 ds.algorithms  randomized-algorithms  derandomization 

Как любитель TCS, я читаю некоторые очень вводные материалы по квантовым вычислениям. Вот несколько элементарных кусочков информации, которые я узнал до сих пор: Известно, что квантовые компьютеры не решают NP-полных задач за полиномиальное время. «Квантовой магии будет недостаточно» (Беннетт и др., 1997): если вы отбросите структуру проблемы и просто рассмотрите …

33 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

Центральная проблема теории сложности, возможно, против .Н ПпPPNпNPNP Однако, поскольку Природа является квантовой, представляется более естественным рассмотреть классы (т. Е. Задачи решения, решаемые квантовым компьютером за полиномиальное время с вероятностью ошибки не более 1/3 для всех случаев) и (квантовый эквивалент из ) вместо этого.Q M A N PB Q PBQPBQPQ …

33 cc.complexity-theory  complexity-classes  quantum-computing 

В 1995 году Рассел Импальяццо предложил пять миров сложности: 1- Алгоритмика: со всеми удивительными последствиями.P=NPP=NPP=NP 2- Эвристика: -полные проблемы трудны в худшем случае ( P ≠ N P ), но эффективно решаемы в среднем случае.NPNPNPP≠NPP≠NPP \ne NP 3- Пессиланд: Существуют -полные проблемы среднего случая, но односторонних функций не существует. Это …

33 cc.complexity-theory  conditional-results  average-case-complexity 

В духе некоторых общих дискуссий, подобных этой , я открываю эту ветку с намерением собрать мнения о том, какие открытые проблемы и актуальные темы в исследованиях по языкам программирования . Я надеюсь, что обсуждение может даже привести к поверхностному мнению относительно будущего исследований в языках программирования. Я полагаю, что такого …

32 pl.programming-languages  open-problem  research-practice 

Этот вопрос касается проблем, для которых существует большой открытый разрыв сложности между известной нижней границей и верхней границей, но не из-за открытых проблем самих классов сложности. Чтобы быть более точным, скажем, у проблемы есть классы промежутков A,BA,BA,B (с , не определенным однозначно), если - максимальный класс, для которого мы можем …

32 cc.complexity-theory  complexity-classes  big-list 

Отказ от ответственности: я могу поручиться только за свои области исследований, а именно формальные методы, семантику и теорию языка программирования. Ситуация, возможно, отличается в других частях дисциплины. Кажется, что TCS стал скорее ориентированным на конференции. Исследователи стремятся опубликовать на следующей конференции. Иногда появляется версия журнала. Иногда это не так. В …

32 soft-question  conferences 

У меня есть некоторый опыт в научных вычислениях, и я широко использовал kd-деревья для приложений BSP (разбиение двоичного пространства). Недавно я стал более знаком с октреями, схожей структурой данных для разделения трехмерных евклидовых пространств, но той, которая работает с фиксированными регулярными интервалами. Небольшое исследование независимости, кажется, показывает, что kd-деревья обычно …

32 ds.data-structures  tree 

Рассмотрение вопросов через алгоритмическую линзу (то есть с алгоритмической или сложной точки зрения) стало полезным в дисциплинах вне «стандартной области» информатики. В частности, CS оказал влияние на биологию с помощью вычислительной биологии, на физику с помощью квантовой обработки информации, а теория искусственного интеллекта и сложности, по-видимому, регулярно взаимодействует с нейронаукой. …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Определите LOGLOG как класс языков, которые можно вычислить в пространстве O (loglog n) с помощью детерминированной машины Тьюринга (с двусторонним доступом к входу). Аналогично определите NLOGLOG как класс языков, которые могут быть вычислены в пространстве O (log log n) недетерминированной машиной Тьюринга (с двусторонним доступом к входу). Неужели не известно, …

32 cc.complexity-theory  reference-request  space-bounded 

В статье «Гипотеза случайного оракула ложна» авторы (Чанг, Чор, Гольдрайх, Хартманис, Хостад, Ранджан и Рохатхи) обсуждают значение гипотезы о случайном оракуле . Они утверждают, что мы очень мало знаем о разделениях между классами сложности, и большинство результатов включают либо использование разумных допущений, либо гипотезу случайного оракула. Наиболее важным и широко …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

Два общих предположения для доказательства твердости результатов аппроксимации - это и гипотеза об уникальных играх. Есть ли какая-либо сложность результатов аппроксимации, предполагающих ? Я ищу проблему такую, что «трудно приблизить пределах коэффициента если ».N P ≠ c o N P A A α N P = c o N Pп≠ …

32 approximation-hardness  conditional-results 

В этом вопросе формула 3CNF означает формулу CNF, в которой каждое предложение включает ровно три различные переменные. Для константы 0 < s <1 Gap-3SAT s является следующей проблемой обещания: GAP-3sat сек экземпляра : а 3CNF формула φ. Да-обещание : φ выполнимо. Нет-обещание : Нет истину назначение удовлетворяет более чем ей …

32 cc.complexity-theory  sat  approximation-hardness 

Мне нужна книга по теории конечных автоматов с множеством примеров, которые я могу использовать для самостоятельного изучения и подготовки к экзаменам.

32 reference-request  automata-theory  fl.formal-languages