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

Конечно, некоторые результаты сложности могут рухнуть для унарных языков, но мне интересно, есть ли где-нибудь опрос, обобщающий известные результаты в этом случае: своего рода зоопарк сложности для унарных языков. Знаете ли вы о такой ссылке?

25 cc.complexity-theory  reference-request  big-list 

Это связано с вопросом: известен ли размер свидетельства для каждого языка NP, уже известного? Некоторые естественные задачи (-complete) имеют свидетелей линейной длины: удовлетворительное назначение для S A T , последовательность вершин для H A M P A T H и т. Д.Н ПNP\mathsf{NP}SА ТSATSATЧАСА МпА ТЧАСHAMPATHHAMPATH Рассмотрим класс сложности « …

24 cc.complexity-theory  complexity-classes  np 

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

24 cc.complexity-theory  ds.algorithms  reference-request 

РЕДАКТИРОВАТЬ (v2): в конце добавлен раздел о том, что я знаю о проблеме. РЕДАКТИРОВАТЬ (v3): Добавлено обсуждение пороговой степени в конце. Вопрос Этот вопрос в основном справочный запрос. Я не знаю много о проблеме. Я хочу знать, была ли предыдущая работа по этой проблеме, и если да, может ли кто-нибудь …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Существует богатая литература и, по крайней мере, одна очень хорошая книга, в которой излагаются известные значения твердости аппроксимации для NP-трудных задач в контексте мультипликативной ошибки (например, 2-аппроксимация для покрытия вершин оптимальна при условии UGC). Это также включает хорошо понятные классы сложности аппроксимации, такие как APX, PTAS и так далее. Что …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Ясно, что любая проблема, которая разрешима в детерминированном пространстве журналов ( ), выполняется в самое большее полиномиальное время ( ). Существует множество классов сложности между и . Примеры включают , , , , , . Широко распространено мнение , что .P L P N L L o g C F …

24 cc.complexity-theory  lower-bounds  space-bounded 

Каковы последствия наличия полных проблем в ?Nп∩ c o NпNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Существуют ли какие-либо NP-полные задачи, для которых известен алгоритм, согласно которому ожидаемое время выполнения является полиномиальным (для некоторого разумного распределения по экземплярам)? Если нет, то существуют ли проблемы, для которых было установлено существование такого алгоритма? Или существование такого алгоритма подразумевает существование детерминированного полиномиального алгоритма времени?

24 cc.complexity-theory  np-hardness 

Этот вопрос перенесен из Биржи стеков информатики, потому что на него можно ответить в Теоретической бирже информатики. Мигрировал 3 года назад . В научной статье 2016 года « Реализация масштабируемого алгоритма Шора » [ 1 ] авторы учитывают 15 с только 5 кубитами, что меньше «требуемых» 8 кубитов согласно Таблице …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

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

23 cc.complexity-theory  np  np-complete 

Теория сложности, с помощью таких понятий, как NP-полнота, различает вычислительные задачи, которые имеют относительно эффективные решения, и те, которые трудноразрешимы. «Мелкозернистая» сложность призвана уточнить это качественное различие в количественном руководстве относительно точного времени, необходимого для решения проблем. Более подробную информацию можно найти здесь: http://simons.berkeley.edu/programs/complexity2015 Вот несколько важных гипотез: ETH: - …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

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

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Многочлен является монотонной проекцией многочлена если = poly , и существует присваивание , что . Таким образом, можно заменить каждую переменную из на переменную или константу или так, чтобы полученный многочлен совпадал с . е(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n)m ( n ) π : { y 1 , … , y m } → …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

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

23 cc.complexity-theory  reference-request  big-list 

Я знаю, что тривиально функция OR для переменных может быть точно представлена ​​полиномом следующим образом: , который имеет степень .х 1 , ... , х п р ( х 1 , ... , х п ) р ( х 1 , ... , х п ) = 1 - П …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials