Вопросы с тегом «cc.complexity-theory»

P против NP и другие ограниченные ресурсами вычисления.

1
Ограничивает ли требование уникальности правильных ответов для Мерлина силу протоколов Артура-Мерлина?
Преамбула. Класс сложности AM - это те проблемы, которые могут быть решены с помощью двухсторонней интерактивной системы доказательств между прувером «Мерлин» и верификатором «Артур». Проблема, которая проверяет некоторое свойство объекта X, заключается в AM, если: Для случаев ДА для случайного сообщения «вызов» (полиномиальной длины) Артур с высокой вероятностью может сформулировать …
1
Решение линейного диофантова уравнения приближенно
Рассмотрим следующую проблему: Входные данные : гиперплоскость ЧАС= { y ∈ RN:Tу = б }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , задается вектором a ∈ ZNa∈Zn\mathbf{a} \in \mathbb{Z}^n и b ∈ Zb∈Zb \in \mathbb{Z} в стандартном двоичном представлении. Выход : x ∈ ZN= argмин д( х , …
10
Какие проблемы, когда мы знаем, что у нас есть оптимальный алгоритм?
Каковы некоторые нетривиальные задачи, в которых мы знаем, что текущий алгоритм, который у нас есть, является асимптотически оптимальным? (Для машин Тьюринга) И как это доказано?
1
Ранжирование сложности сложных задач на практике
Этот вопрос тесно связан с другим постом: Фазовые переходы в NP Трудные проблемы, но он несколько иной. В то время как этот вопрос касается сложности отдельных случаев сложных проблем NP, речь идет о ранжировании сложности тех же случаев. Существует много библиографии об эффекте, известном как фазовый переход . В частности, …
1
Поддержание порядка в списке в за раз
Задача обслуживания заказа (или «поддержание заказа в списке») заключается в поддержке операций: singleton: создает список с одним элементом, возвращает указатель на него insertAfter: дает указатель на элемент, вставляет новый элемент после него, возвращает указатель на новый элемент delete: дает указатель на элемент, удаляет его из списка minPointer: при наличии двух …
1
Ударять множество попарно пересекающихся семейств
Наезд набор из семейства является подмножеством из такое , что для . Задача найти минимальное множество попаданий данного семейства NP-трудна в общем, поскольку она обобщает проблему покрытия вершин. Теперь мой вопрос:S= { S1, … , SN}Sзнак равно{S1,...,SN}\mathcal{S} = \{S_1, \dots, S_n\}ЧАСЧАСH⋃Nя = 1Sя⋃язнак равно1NSя\bigcup_{i=1}^{n} S_iЧАС∩ Sя≠ ∅ЧАС∩Sя≠∅H \cap S_i \ne …
3
Любые ссылки на методы в сокращении FPT?
Как всем известно, знаменитая книга Гэри и Джонсона (и многие другие) дает превосходный справочник по технике редукции в классической обстановке. Существуют ли какие-либо обзоры или книги на тему техники редукции в параметризованном алгоритме, скажем, редукция fpt?
3
Теории, которые характеризуют классы вычислительной сложности
Читая статью « Аппликативная теория для FPH », вы можете встретить следующий отрывок: Рассматривая теории, которые характеризуют классы вычислительной сложности, существует три разных подхода: в одном функции, которые могут быть определены в рамках теории, «автоматически» находятся в определенном классе сложности. В такой учетной записи синтаксис должен быть ограничен, чтобы гарантировать, …
2
Нижняя граница сложности: разрыв между деревьями решений и ОЗУ
Недавно я обнаружил квадратичную нижнюю границу сложности задачи в модели дерева решений, и мне интересно, можно ли частично обобщить этот результат в модели машины с произвольным доступом. Под частичностью я подразумеваю обобщение программ ОЗУ с определенным временным / пространственным компромиссом. Например, я хотел бы показать, что моя проблема не может …
1
Разработка и сложность алгоритмов - как мыслить таким образом?
Мой вопрос общий: как мне начать думать с точки зрения разработки и сложности алгоритмов? Я собираюсь пройти аспирантуру по разработке алгоритмов. Я зарегистрировался в нем раньше, но бросил его позже, потому что не мог идти в ногу с этим. Я должен принять этот курс как требование. Есть ли уловка, чтобы …
3
Обзоры по конструкции генератора псевдослучайных чисел?
Я заинтересован в генерации псевдослучайных чисел для криптографии. Помимо главы 5 Менезес / Oorschot / Vanstone ; Глава 8 Стинсона ; и глава 3 Goldreich , где еще я могу найти больше? Меня интересуют общие принципы проектирования PRNG (желательные свойства, тесты и т. Д.).
1
Наиболее значительный бит диаграмм умножения целых чисел и двоичных решений
Пусть и два двоичных числа с битами и двоичное число (длина ) произведения и . Мы хотим вычислить наиболее значимый бит произведения .уИксxxYyyz = x ⋅ y 2 n x y z 2 n - 1 z = z 2 n - 1 … z 0NnnZ= х ⋅ у z=x⋅y …
3
Сложность раскраски ребер в плоских графах
3-реберная раскраска кубических графов является полной. Теорема о четырех цветах эквивалентна «Любые кубические плоские безмостовые графы раскрашиваются по 3 ребрам»NпNпNP Какова сложность 3-реберной раскраски кубических плоских графов? Также предполагается, что раскраска -edge является NP- трудной для плоских графов с максимальной степенью \ Delta \ in {4,5}.Н РΔΔ\DeltaNпNпNPΔ ∈Δ∈\Delta \in Был …
4
Известно ли, что существуют функции со следующим свойством прямой суммы?
Этот вопрос может быть задан либо в рамках сложности схем булевых схем, либо в рамках теории алгебраической сложности, либо, вероятно, во многих других ситуациях. Подсчитав аргументы, легко показать, что на N входах существуют булевы функции, для которых требуется экспоненциально много гейтов (хотя, конечно, у нас нет явных примеров). Предположим, что …
1
Случайная монотонная функция
В статье Разборова-Рудича « Естественные доказательства» , стр. 6, в той части, в которой они обсуждают, что есть «сильные доказательства нижних границ против моделей монотонных схем» и как они вписываются в картину, есть следующие предложения: Здесь проблема не в конструктивности - все свойства, используемые в этих доказательствах, возможны - но …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.