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

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

4
Статьи о связи между вычислительной сложностью и алгебраической геометрией / топологией?
Мне было интересно, какие бумаги я должен прочитать, чтобы понять этот вопрос Неожиданная связь с другими областями математики, такими как алгебраическая геометрия или высшие когомологии. Возможно, даже область математики еще не разработана. Возможно, кто-то разработает совершенно новое направление для математики, чтобы справиться с вопросом P против NP. -Из Fortnow 2002 …
1
NP-твердость подразумевает P-твердость?
Если проблема является NP-сложной (с использованием полиномиального сокращения времени), означает ли это, что она является P-сложной (с использованием пространства журнала или сокращений NC)? Кажется интуитивно понятным, что если это так же сложно, как любая проблема в NP, то это должно быть так же сложно, как и любая проблема в P, …
3
Добавить целые числа, представленные их факторизацией, так же сложно, как и факторинг? Справочный запрос
Я ищу ссылку на следующий результат: Добавление двух целых чисел в факторизованном представлении так же сложно, как и деление двух целых чисел в обычном двоичном представлении. (Я уверен, что это там, потому что это то, что я когда-то задавался вопросом, а затем был взволнован, когда я наконец увидел это в …
1
Есть ли основания полагать, что
Интересно, есть ли основания полагать, что или верить, что N L ≠ L ?NL = LNL=LNL=LNL ≠ LNL≠LNL\neq L Известно, что . Литература по derandomization из R L является довольно убедительным , что R L = L . Кто-нибудь знает о каких-то статьях или идеях, убеждая, что N L ≠ …
1
Как бумага BosonSampling позволяет избежать легких классов сложных матриц?
В «Вычислительной сложности линейной оптики» ( ECCC TR10-170 ) Скотт Ааронсон и Алекс Архипов утверждают, что если квантовые компьютеры можно эффективно моделировать на классических компьютерах, то иерархия полиномов падает на третий уровень. Задачей мотивации является выборка из распределения, определяемого линейно-оптической сетью; это распределение может быть выражено как перманент конкретной матрицы. …
1
Сколько вычислительной мощности умещается в кубический сантиметр?
Этот вопрос является продолжением вопроса об алгоритмах ДНК, заданного Аадитой Мехра . В комментариях Джо Фитцсиммонс сказал, частично: [T] Радиус системы должен масштабироваться пропорционально массе, чтобы избежать этого. Вычислительная мощность масштабируется максимально линейно по массе. Таким образом, ваше экспоненциальное количество машин имеет экспоненциальный радиус. Поскольку вы не можете передать сигнал …
1
Энергетические соображения при расчете
Чтобы проверить мое понимание, я хотел бы поделиться некоторыми мыслями об энергетических потребностях вычислений. Это продолжение моего предыдущего вопроса и может быть связано с вопросом Vinay о законах сохранения . Мне пришло в голову, что с термодинамической точки зрения выполнение вычислений можно считать в некоторой степени аналогом перемещения веса по …
2
Мультипликативная версия 3-СУММ
Что известно о временной сложности следующей задачи, которую мы называем 3-MUL? Для заданного множества SSS из nnn целых чисел существуют ли такие элементы a,b,c∈Sa,b,c∈Sa,b,c\in S , что ab=cab=cab=c ? Эта проблема похожа на задачу 3-СУММ, которая спрашивает, существуют ли три элемента a,b,c∈Sa,b,c∈Sa,b,c\in S такие что a+b+c=0a+b+c=0a+b+c=0 (или эквивалентно a+b=ca+b=ca+b=c ). …
2
Используется ли «Теория экспериментальной сложности» для решения открытых проблем?
Скотт Ааронсон предложил интересную задачу : можем ли мы использовать суперкомпьютеры сегодня, чтобы помочь решить проблемы CS так же, как физики используют коллайдеры с крупными частицами? Более конкретно, мое предложение состоит в том, чтобы посвятить некоторые из мировых вычислительных мощностей тотальной попытке ответить на такие вопросы, как следующие: требует ли …
1
Существуют ли естественные разделения в недетерминированной иерархии времени?
Первоначальная теорема недетерминированной временной иерархии принадлежит Кук (ссылка на С. Кука, иерархия недетерминированной временной сложности , JCSS 7 343–353, 1973). Теорема утверждает, что для любых действительных чисел r1r1r_1 и r2r2r_2 , если 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 то NTIME ( nr1nr1n^{r_1} ) строго содержится в NTIME ( nr2nr2n^{r_2} ). Одна …
2
Как геометрический подход Малмулей-Сохони к получению нижних оценок позволяет избежать естественных доказательств (в смысле Разборова-Рудича)?
Точная формулировка названия принадлежит Ананду Кулькарни (который предложил создать этот сайт). Этот вопрос был задан в качестве примера вопроса, но мне безумно любопытно. Я очень мало знаю об алгебраической геометрии, и на самом деле у меня есть только беглое понимание студентами препятствий, которые играют в вопросе P / poly против …
5
Последствия недоказуемости
Я читал « Является ли P против NP формально независимым? », Но я был озадачен. В теории сложности широко распространено мнение, что . Мой вопрос о том, что, если это не доказуемо (скажем, в ). (Предположим, что мы только узнаем, что не зависит от но никакой дополнительной информации о том, …
1
Сложность матричной задачи
Следующая проблема недавно появилась в моем исследовании. Будучи не специалистом по алгоритмическим вопросам, я активно гуглил в поисках подходящих проблем, с которых можно было бы справиться. Я не понимаю, как будет работать 3SAT, и хотя ZOE схожи по духу, сокращение не очевидно. Другой возможностью была бы экзистенциальная теория реальностей. Это …
4
Проблемы, которые нелогично решаются на практике?
Недавно я прошел через мучительный забавный опыт неформального объяснения концепции вычислительной сложности молодому талантливому программисту-самоучке, который никогда раньше не проходил формальный курс по алгоритмам или сложности. Неудивительно, что многие понятия поначалу казались странными, но они имели смысл на некоторых примерах (PTIME, труднопреодолимость, невычислимость) , в то время как другие кажутся …
1
Для каких регулярных выражений
Хорошо известно, что следующая проблема является PSPACE-полной: Учитывая регулярное выражение , ?L ( β ) = Σ ∗ββ\betaL ( β) = Σ*L(β)=Σ∗L(\beta) = \Sigma^* Как насчет определения эквивалентности другим (фиксированным) регулярным выражениям ?αα\alpha Учитывая регулярное выражение , ?L ( β ) = L ( α )ββ\betaL ( β) = L …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.