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

Background––––––––––––––Background_\underline{\bf Background} В 2005 году Регев [1] представил проблему «Обучение с ошибками» (LWE) - обобщение проблемы «Обучение с ошибками». Предположение о сложности этой задачи для определенных вариантов параметров теперь лежит в основе доказательств безопасности для множества постквантовых криптосистем в области решеточной криптографии. «Канонические» версии LWE описаны ниже. Отборочные: Позволять T=R/ZT=R/Z\mathbb{T} …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem 

Есть некоторые проблемы NP-Complete ( , \ mathsf {SUBSETSUM} и т. Д.), О которых известно, что они находятся в \ mathsf {DSPACE (n)} . Как насчет сублинейных пространств?SATSAT \mathsf{SAT} SUBSETSUMSUBSETSUM \mathsf{SUBSETSUM} DSPACE(n)DSPACE(n) \mathsf{DSPACE(n)} Существует ли какая-либо известная проблема NP-Complete (или NP-Intermediate) в сублинейном недетерминированном пространстве?

9 cc.complexity-theory  np-hardness  nondeterminism  np-intermediate 

В предыдущем вопросе « Параметризованный алгоритм поиска бикликов» я поинтересовался, существуют ли быстрые параметризованные алгоритмы для нахождения -биклика в графе вершин, и узнал, что он открыт, если он равен FPT относительно . То же самое верно и для подсчета в -bicliques, или известно , что это # -Жесткий WRT (или …

9 cc.complexity-theory  graph-theory  counting-complexity  parameterized-complexity 

DLOGTIME определяется по адресу http://en.wikipedia.org/wiki/DLOGTIME определяется по адресу http://en.wikipedia.org/wiki/L_%28complexity%29 и определены по адресу http://en.wikipedia.org/wiki/NC_%28complexity%29 LL\operatorname{L} Северная КаролинаNC\operatorname{NC}Северная КаролинаNNCn\operatorname{NC}^n DLOGTIME кажется самым маленьким, что может сработать. Я читал в разных местах, , хотя каждое место я обнаружил , что результаты, состояний , в которых единообразие условие использует - единообразие. Существует ли …

9 cc.complexity-theory  circuit-complexity 

Предположим структуру в сложности коммуникации, где у нас есть два игрока A (вши) и B (ob) и R (eferee). А и Б не общаются напрямую друг с другом. В каждом раунде общения каждый из них отправляет сообщение (mAmAm_A, mBmBm_B) в R.R вычисляет две функции fA(mA,mB)fA(mA,mB)f_A(m_A,m_B) а также fB(mA,mB)fB(mA,mB)f_B(m_A,m_B)и отправляет результаты …

9 cc.complexity-theory  reference-request  communication-complexity 

В задаче Макс-Кута ищется подмножество S вершин данного простого неориентированного графа так, чтобы число ребер между S и дополнением к S было как можно большим. Max-Cut является APX-полным на графах с ограниченной степенью [PY91] и фактически APX-полным на кубических графах (т.е. графах степени 3) [AK00]. Max-Cut является NP-полным на графах …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Везде, где я читаю о проблеме разреженного разреза, это говорит только о том, что проблема, как известно, является NP- трудной. Где я могу найти подтверждение этому? Какая известная NP- трудная проблема сводится к проблеме разреженного разреза? Я не смог найти никаких доказательств в книге Вазирани «Алгоритмы аппроксимации», в которой представлен …

9 cc.complexity-theory  reference-request  np-hardness 

Я пытаюсь показать, что определенная проблема недопустима из-за сокращения охвата. Мое сокращение превращает экземпляр с базовым набором размера и устанавливает в экземпляр моей проблемы, где определенный параметр имеет размер . Затем я могу показать, что экземпляр установленного покрытия, где размер покрытия равен s, соответствует экземпляру моей проблемы, где размер оптимального …

9 cc.complexity-theory  approximation-hardness  set-cover 

Колмогоровская сложность строки не вычислима. Тем не менее, в случайном подмножестве размераMMM двоичных строк длины nNnсколько ожидается, что сложность будет меньше целого числа n0N0n_{0} меньше, чем nNn (как функция MMM, nNn а также n0N0n_{0})?

9 cc.complexity-theory  kolmogorov-complexity 

Я хотел бы ограничить мощность множества графов единичных дисков с NNNВершины. Известно, что проверка того, является ли граф членом этого набора, является NP-сложной задачей. Приводит ли это к какой-либо нижней границе мощности, предполагая, что P≠≠\neq NP? Например, предположим, что есть порядок на всех графах с NNNВершины. Если бы NP-твердость означала, …

9 cc.complexity-theory  graph-theory 

Пусть будет матрица или с элементами . Может ли кто-нибудь предоставить мне матрицу чтобы ? Что такое наименьший явный B, который известен таким образом, что \ operatorname {per} (A) = \ det (B) ? Любые ссылки на это с явными примерами?AAA3 × 33×33 \times 34 × 44×44 \times 4aя жaija_{ij}ВBBв( …

9 cc.complexity-theory  algebraic-complexity  permanent 

Даже если это не решающий момент, я не вижу литературы по этому вопросу. Есть ли результаты релятивизации? Разве не было бы достаточно просто доказать строгое включение путем адаптации недетерминированной теоремы иерархии времени, исследуя все возможные пути машины NP?

9 cc.complexity-theory  complexity-classes 

Похоже, что в популярных языках запросов для реляционных баз данных можно создавать запросы, для ответа на которые потребуется много ресурсов. На практике администраторы базы данных управляют этим, ограничивая объем памяти на запрос и проверяя наличие длительных запросов на предмет замедления в базе данных. Это кажется довольно случайным, есть ли решение …

9 cc.complexity-theory  pl.programming-languages  db.databases  finite-model-theory 

Этот вопрос возник в контексте криптографии, но ниже я представлю его с точки зрения теории сложности, поскольку здесь люди больше знакомы с последним. Этот вопрос связан с проблемами в NP, но не в Average-P / poly и неоднородности биения по Oracle Access . Неформальное утверждение: когда неоднородные противники (то есть …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity 

Мне повлиял необычайный взрыв в сглаженном анализе, и меня поразило утверждение в статье « Сглаженный анализ целочисленного программирования» . Это говорит о том, что целочисленное линейное программирование находится в сглаженном P, если оно ограничено полиномами. Это было существенно верно в силу того, что целочисленное программирование является псевдополиномиальным! Поэтому вопрос таков: …

9 cc.complexity-theory  smoothed-analysis