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

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

1
Квадратичная связь между недетерминированным и детерминированным пространством?
Теорема Савича показывает, что для всех достаточно больших функций , и доказательство того, что это тесно, является открытой проблемой на протяжении десятилетий ,NSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACE(f(n)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)fff Предположим, мы подходим к проблеме с другого конца. Для простоты предположим булев алфавит. Объем пространства, используемого ТМ для выбора вычислимого языка, часто тесно связан с …
3
«Категория» машин Тьюринга?
Отказ от ответственности: я очень мало знаю о теории сложности. Извините, но на самом деле нет способа задать этот вопрос, не будучи (ужасно) лаконичным: Какими должны быть морфизмы в «категории» машин Тьюринга? Это, очевидно, субъективно и зависит от толкования теории, поэтому в идеале ответ на этот вопрос должен дать некоторые …
2
Потенциально равные классы сложности без известных противоречивых релятивизаций
Какие примеры пар классов сложности и B такие, чтоAAABBB мы не знаем, является ли , иA=BA=BA=B мы также не знаем противоречивых релятивизаций (т. е. мы не знаем оракулов и Q таких, что A P = B P и A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Чтобы сформулировать …
1
Целочисленное линейное программирование в логарифмическом числе переменных
Я читал, что целочисленное линейное программирование разрешимо за полиноминальное время, если число переменных фиксировано, т.е. n ∈ O ( 1 ) . Если число переменных растет логарифмически, т. Е. N ∈ O ( log 2 ( N ) ) для заданного входного значения размера N , проблема все еще разрешима …
2
О состоянии обучаемости внутри
Я пытаюсь понять сложность функций, которые можно выразить через пороговые элементы, и это привело меня к . В частности, мне интересно, что в настоящее время известно об обучении в , так как я не эксперт в этой области.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 На данный момент я обнаружил, что: Все из могут быть изучены в …
3
Разделение классов сложности без теорем иерархии
Теоремы об иерархии являются фундаментальными инструментами. Многие из них были собраны в предыдущем вопросе (см. Какие иерархии и / или теоремы иерархии вы знаете? ). Некоторые разделения классов сложности прямо следуют из теорем иерархии. Примеры таких хорошо известных разделений: , , , .L≠PSPACEL≠PSPACEL\neq PSPACEP≠EXPP≠EXPP\neq EXPNP≠NEXPNP≠NEXPNP\neq NEXPPSPACE≠EXPSPACEPSPACE≠EXPSPACEPSPACE\neq EXPSPACE Однако не каждое …
4
Графовые задачи, NP-полные на ориентированных графах, но полиномиальные на неориентированных графах
Я ищу проблемы, которые, как известно, являются NPC для ориентированных графов, но имеют полиномиальный алгоритм для неориентированных графов. Я видел вопрос, касающийся здесь «направленных» проблем, которые проще, чем их «ненаправленный» вариант , но я ищу жесткость на направленной стороне. Например, известно, что набор ребер обратной связи является NPC для ориентированного, …
2
Насколько маленьким может быть NFA по сравнению с минимальным однозначным конечным автоматом (UFA) того же обычного языка?
Однозначные конечные автоматы (UFA) - это особый тип недетерминированных конечных автоматов (NFA). NFA называется однозначным, если каждое слово имеет не более одного приемлемого пути.w ∈ Σ*вес∈Σ*w\in \Sigma^* Это означает , что .D FA ⊂ UFA ⊂ NFADFA⊂UFA⊂NFADFA\subset UFA\subset NFA Известные связанные результаты автоматов: Минимизация NFA - PSPACE-Complete. Минимизация NFA над …
1
Подход Гауэрса к «дискретизированной борелевской определенности»
Гауэрс недавно изложил проблему, которую он называет «дискретизированной определенностью Бореля», решение которой связано с доказательством нижних границ схемы. Можете ли вы дать краткое изложение подхода, ориентированного на аудиторию теоретиков сложности? Что потребуется для этого подхода, чтобы доказать что-либо , включая повторное доказательство известных нижних границ?
2
Линейное диофантово уравнение в неотрицательных целых числах
Существует очень мало информации, которую я могу найти по NP-полной задаче решения линейного диофантового уравнения в неотрицательных целых числах. То есть, есть решение в неотрицательном к уравнению 1 х 1 + 2 х 2 + . , , + a n x n = b , где все константы положительны? …
2
Новый алгоритм для дискретного журнала и его значение для квантовых вычислений
Вышла новая статья, утверждающая квазиполиномиальный алгоритм для дискретного логарифма. http://arxiv.org/abs/1306.4244 Если все верно, значит ли это, что у нас больше нет экспоненциального разделения по сложности классического алгоритма и его квантовой версии для задачи дискретного логарифма? Имеет ли это какое-либо значение для квантовой теории сложности?
1
Естественные кандидаты на иерархию внутри NPI
Предположим , что P ≠ N Pп≠Nп\mathsf{P} \neq \mathsf{NP} . N P INпя\mathsf{NPI} - класс задач в Н ПNп\mathsf{NP} которых нет ни в пп\mathsf{P} ни в Н ПNп\mathsf{NP} -твердых. Вы можете найти список проблем предположительно N P INпя\mathsf{NPI} здесь . Теорема Ладнера говорит нам, что если то существует бесконечная иерархия …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.