Класс сложности PPAD (например, вычисление различных равновесий по Нэшу) может быть определен как совокупность полных задач поиска, многократно сводимых к END OF LINE : КОНЕЦ ЛИНИИ : Для заданных схем S и P с n входными битами и n выходными битами, такими что P (0 n ) = 0 n ! = S (0 n ) , найти...
Самостоятельная ссылка на проблему P / NP иногда подчеркивалась как барьер для ее разрешения, см., Например, статью Скотта Ааронсона, является ли P против NP формально независимой ? Одним из многих возможных решений P / NP будет демонстрация того, что проблема формально не зависит от ZFC или...
[Примечание: я полагаю, что этот вопрос никоим образом не зависит от правильности или неправильности статьи Деолаликара.] В блоге Скотта Ааронсона « Оптимизированный Штетл» в дискуссии о недавней попытке Деолаликара на P против NP Леонид Гурвиц сделал следующий комментарий : Я попытался понять /...
Существует большое количество литературы по «тестированию свойств» - проблеме создания небольшого числа запросов черного ящика к функции чтобы различать два случая:f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R является членом некоторого класса функций CfffCC\mathcal{C} является ε -far из каждой...
С некоторыми рандомизированными алгоритмами вы можете дерандомизировать алгоритм, удаляя (при возможной стоимости во время выполнения) использование случайных битов и максимизируя некоторую нижнюю границу для цели (обычно вычисляемую с использованием факта, что теоремы об ожидаемой...
Листовые языки - прекрасный способ единообразно определить множество классов сложности. Большинство классов сложности обычно определяются моделью вычисления (например, детерминированной / рандомизированной ТМ) и привязкой к ресурсу (время журнала, поли-пространство и т. Д.). Однако в формулировке...
Читая некоторые недавние темы о квантовых вычислениях ( здесь , здесь и здесь ), я вспоминаю интересный вопрос о мощности некоторой машины, сохраняющей ℓpℓp\ell_p норму. Для людей, работающих в области теории сложности, которые идут на квантовую сложность, хорошим вступительным текстом является...
Дополнение цепь представляет собой последовательность положительных целых чисел , где х 1 = 1 , и каждый индекс я ≥ 2 , мы имеем й я = х J + х K для некоторых индексов 1 ≤ J , к < я . Длина прибавления цепи п ; мишень из капельной цепи х( х1, х2, … , ХN)(x1,x2,…,xn)(x_1, x_2, \dots, x_n)Икс1=...
В статье «Сборник задач, завершенных для P» Гринлоу, Гувера и Руццо (PS) (PDF) , есть список проблем в P, которые, как известно, не находятся в NC и также не известны как P-полные. , (Этот список включает все открытые проблемы в превосходном обзоре Карпа и Рамачандрана .) Список открытых проблем...
Предположим, у нас есть матрица n на n. Можно ли изменить порядок строк и столбцов так, чтобы мы получили верхнетреугольную матрицу? Этот вопрос мотивирован этой проблемой: положительный топологический порядок Первоначальная проблема решения, по крайней мере, так же сложна, как эта, поэтому...
Пусть . Мы хотим оценить среднее значение , то есть: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f:{0,1}n→(2−n,1]f:{0,1}n→(2−n,1]f \colon \lbrace 0,1 \rbrace ^ n \to (2^{-n},1]fffE[f(n)]=2−n∑x∈{0,1}nf(x)E[f(n)]=2−n∑x∈{0,1}nf(x)\mathbb{E}[f(n)]=2^{-n}\sum_{x\in \lbrace 0,1 \rbrace ^ n}f(x)...
Иммерман и Szelepcsenyi независимо друг от друга доказали , что . Используя метод индуктивного подсчета, Бородин и др. Доказали, что S A C i замкнут при комплементации при i > 0 . До теоремы Рейнгольда ( S L = L ) Нисан и Та-Шма доказали S L = c o S L , используя унифицированные проекции...
Я использовал Jung ( http://jung.sourceforge.net/ ) для визуализации ранга страницы, и мне показалось немного медленным и трудным масштабировать его за пределы 100 узлов. Мне было интересно, какие другие инструменты люди используют для анализа и визуализации сетей / социальных...
Классическая проблема в теории вероятностей состоит в том, чтобы выразить вероятность события в терминах более конкретных событий. В простейшем случае можно сказать, что . Напишем для события .п[ A ∪ B ] = P[ A ] + P[ B ] - P[ A ∩ B ]п[A∪В]знак равноп[A]+п[В]-п[A∩В]P[A \cup B] = P[A] + P[B] - P[A...
Предположим, у нас есть проблема, параметризованная вещественным параметром p, который «легко» решить, когда и «трудно», когда для некоторых значений , . p = p 1 p 0 p 1p=p0p=p0p=p_0p=p1p=p1p=p_1п0p0p_0п1p1p_1 Одним из примеров является подсчет спиновых конфигураций на графиках. Считая взвешенные...
Я ищу хороший обзор алгоритмов и сложности линейной алгебры (операции типа ранга, обратные, собственные значения, ... для логических, и целых / рациональных матриц) с акцентом на параллельные ( иерархия N C ) и полимерные алгоритмы , Я не мог найти недавний.FpFp\mathbb{F}_pNCNCNC Знаете ли вы...
Большинство работ в настоящее время написаны совместно, и сотрудники часто находятся в разных местах. Я всегда использовал системы контроля версий для своих документов и кода, а также обнаружил, что контроль версий важен для совместных программных проектов, но, похоже, многие исследователи в теории...
В классе сложности есть некоторые проблемы, предположительно не входящие в класс N C , то есть проблемы с детерминированными параллельными алгоритмами. Проблема максимального потока является одним из примеров. И есть проблемы, СЧИТАЕМЫЕ быть в N C , но доказательство еще не...
Хорошо известно, что модульное возведение в степень (основная часть операции RSA) является вычислительно дорогим, и, насколько я понимаю, метод модульного возведения в степень Монтгомери является предпочтительным методом. Модульное возведение в степень также заметно присутствует в алгоритме...
Название более или менее говорит само за себя, но я думаю, я мог бы добавить немного фона и некоторые конкретные примеры, которые меня интересуют. Теоретики описательной сложности, такие как Иммерман и Фагин, охарактеризовали многие из наиболее известных классов сложности с использованием логики....