Информатика

Я только что прочитал несколько страниц в книге Сипсера «Введение в теорию вычислений о проблеме почтовой корреспонденции» и думаю, что PCP на самом деле находится в NP. Сертификатор составляет: для конфигурации входного ворса конкатенации т 1 , т 2 , . , , , t n как строка t и …

12 complexity-theory  decision-problem  np 

Я знаю, что это кажется очень глупым (или слишком очевидным для формулировки) вопросом. Тем не менее, я смущен в какой-то момент. Мы можем показать, что P NPзнак равно== тогда и только тогда, когда сможем разработать алгоритм, который решает любой конкретный случай проблемы в NP за полиномиальное время. Однако я не …

12 complexity-theory  p-vs-np 

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

12 automata  formal-grammars  regular-expressions 

Мне любопытно, есть ли какие-либо полные проблемы в классе сложности Артура-Мерлина. Неизоморфизм графов (GNI) кажется каноническим примером проблемы в AM, но, вероятно, он не полный. Полагаю, мне также интересно, хорошо ли определена «полная» проблема для AM. Так как AM = BP.NP, похоже, что переход к «сокращению» AM зависит от рандомизированных …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

Расстояние редактирования Левенштейна-расстояния между списками является хорошо изученной проблемой. Но я не могу найти много о возможных улучшениях, если известно, что ни один элемент не встречается более одного раза в каждом списке . Также предположим, что элементы сопоставимы / сортируемы (но списки для сравнения не сортируются с самого начала). В …

12 algorithms  strings  string-metrics  edit-distance 

Я проектирую базу данных объектов в памяти для очень конкретного случая использования. Это один писатель, но должен поддерживать эффективное одновременное чтение. Чтения должны быть изолированными. Нет языка запросов, база данных поддерживает только: получить объект / -ы по атрибуту / набору атрибутов (например, может быть поддержка выражений x.count < 5) получить …

12 data-structures  concurrency  databases 

В компьютерной науке существует такая популярная проблема [1] [2], которая заключается в нахождении минимального числа прямых, охватывающих данный набор точек в 2D. Несмотря на то, что я отсканировал много бумаг, ни у одной из них нет четкой мотивации проблемы. Какая польза от решения этой проблемы? Есть ли бумага, которая объясняет …

12 reference-request  computational-geometry  applied-theory 

Я видел, как XOR-3-SAT эффективно разрешима (например, см. Раздел «XOR-удовлетворяемость» в статье Википедии для проблемы булевой выполнимости ). Мне интересно основной вопрос: эффективно ли разрешим XOR-k-SAT для формул с различным количеством литералов в предложении? Мне бы очень хотелось узнать, сможем ли мы увеличить количество литералов в предложении выше 3, и …

12 complexity-theory  satisfiability 

У меня проблемы с пониманием проблемы остановки Тьюринга. Его доказательство предполагает, что существует магическая машина которая может определить, будет ли компьютер останавливаться или зацикливаться навсегда для данного ввода. Затем мы подключаем другую машину, которая обращает вывод, и у нас есть противоречие, и поэтому не может существовать.ЧАСHHЧАСHH Я обеспокоен тем, что …

12 computability  halting-problem 

Цель состоит в том, чтобы создать DFA из регулярного выражения, и использование «Regular exp> NFA> DFA преобразование» не вариант. Как это сделать? Я задал этот вопрос нашему профессору, но он сказал мне, что мы можем использовать интуицию, и любезно отказался дать какие-либо объяснения. Поэтому я хотел спросить вас. «Преобразование регулярного …

12 automata  finite-automata  regular-expressions  simulation 

Динамические совершенные хеш-таблицы и кукуш-хеш-таблицы - это две разные структуры данных, которые поддерживают O (1) поиск в худшем случае и ожидаемые O (1) вставки и удаления во время. Оба требуют O (n) вспомогательного пространства и доступа к семействам хеш-функций для своих операций. Я думаю, что обе эти структуры данных сами …

12 data-structures  hash-tables 

На картинке ниже я пытаюсь понять, что именно принимает этот NFA. Что меня смущает, так это прыжок на .q 0εϵ\epsilonQ0q0q_0 Если введен , система переместится в и (состояние принятия)?q 0 q 1000Q0q0q_0 Q1q1q_1 Если введено , система переместится на и ?q 1 q 2111Q1q1q_1q2q2q_2 Переходит ли система только в (состояние …

12 automata  finite-automata  nondeterminism 

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

12 complexity-theory  graph-isomorphism  group-theory 

Мне нравится все, что происходит во время компиляции, и мне нравится идея, что, как только вы скомпилируете программу, вы получите много гарантий относительно ее выполнения. Вообще говоря, статическая система типов (Haskell, C ++, ...), похоже, дает более сильные гарантии во время компиляции, чем любая система динамических типов. Из того, что …

12 programming-languages  type-theory  type-checking  software-verification 

Это, наверное, глупый вопрос, но я просто не понимаю. В другом вопросе они придумали теорему Шефера о дихотомии . Мне кажется, это доказывает, что каждая проблема CSP либо в P, либо в NP-полной, но не между ними. Поскольку каждая проблема NP может быть преобразована за полиномиальное время в CSP (потому …

12 np-complete  satisfiability  p-vs-np