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

Дерево решений однократного чтения определяется следующим образом: и F L сек е считываются однократно деревьев решений.Tг у йTrueTrueFл ы еFalseFalse Если и B являются деревьями решений с однократным чтением, а x является переменной, не встречающейся в A и B , то ( x ∧ A ) ∨ ( ˉ x …

11 cc.complexity-theory  lo.logic  decision-trees  boolean-formulas 

Является ли проблема конечного обратного полугруппового изоморфизма GI-полной ? Здесь конечные обратные полугруппы предполагаются заданными их таблицами умножения.

11 cc.complexity-theory  graph-isomorphism 

Рассмотрим полную информацию о комбинаторных играх для двух игроков, которые заканчиваются после полиномиального числа ходов, и поочередно игроки выбирают из конечного числа разрешенных ходов. Обычный вопрос в том, насколько сложно с определенной позиции отличить победителя. Другой будет, как трудно выбрать выигрышный ход из выигрышной позиции. (Здесь я называю ход выигрышным, …

11 cc.complexity-theory  np  board-games  pspace 

Пусть - некоторое поле. Как обычно, для f ∈ k [ x 1 , x 2 , … , x n ] мы определяем L ( f ) как прямолинейную сложность f над k . Пусть F - множество мономов f , а именно мономов, которые появляются в f с …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Предположим, что наш вход является двоичным и мы должны вывести , где - некоторое постоянное целое число. Это просто сдвиг, если является степенью двойки, но как насчет других чисел? Можем ли мы сделать это с контуром постоянной глубины для каждого ? Как насчет ?⌊ x / c ⌋ c c …

11 cc.complexity-theory  circuit-complexity  ac0 

Рассмотрим следующую проблему: Для двух строк x, y решите, существует ли строковый гомоморфизм f такой, что f (x) = y. Легко показать , что эта проблема находится в . Есть ли что-то еще, что мы можем сказать об этой проблеме? Например, это в c o N P или даже в …

11 cc.complexity-theory  reference-request  fl.formal-languages 

Как мы знаем, определение вычислительной сложности алгоритма практически не вызывает противоречий, но определение вычислительной сложности вещественных чисел или моделей вычислений над действительными значениями не в таком случае. Мы знаем модель и модель Блюма и Смалеса в книге «Вычислительный анализ». И, похоже, модель в Computable Analysis соответствует классической модели, но определение …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Это смущает меня. Один простой случай подсчета - это когда проблема решения находится в а решений нет.PPP Лекция показывает, что проблема подсчета числа совершенных совпадений в двудольном графе (эквивалентно подсчету числа циклов в ориентированном графе) является -полной.#P#P\#P Они дают сокращение от подсчета покрытий вершин размера до подсчета покрытий циклов в …

11 cc.complexity-theory  graph-theory 

Кросспост из МО . Пусть - класс графов, определенный конечным числом запрещенных индуцированных подграфов, причем все они циклические (содержат хотя бы один цикл).СCC Существуют ли NP-сложные графовые задачи, которые можно решить за полиномиальное время для кроме Clique и Clique cover?СCC Если я правильно помню, это невозможно для независимого набора (если …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

После прочтения соответствующего вопроса о неконструктивных доказательствах существования алгоритмов мне стало интересно, есть ли способы показать существование «маленьких» (скажем, состояний) вычислительных машин без фактического их построения. Формально: предположим, нам дан некоторый язык и исправим некоторую вычислительную модель (NFA / машина Тьюринга / и т. д.).L⊆Σ∗L⊆Σ*L\subseteq \Sigma^* Существуют ли какие-либо неконструктивные …

11 cc.complexity-theory  automata-theory  turing-machines 

Я ищу класс сложности, который относится к APX, так как BPP относится к P. Я уже задавал этот же вопрос здесь , но, возможно, TCS будет более плодотворным местом для ответов. Причина этого вопроса заключается в том, что в практических задачах часто приходится находить приблизительные ответы (например, APX) с достаточно …

11 cc.complexity-theory  approximation-hardness 

Impagliazzo, Paturi и Calabro, Impagliazzo, Paturi представили гипотезу экспоненциального времени (ETH) и гипотезу сильно экспоненциального времени (SETH). Грубо говоря, SETH говорит, что нет алгоритма, который решает SAT за время . 1.99n1.99n1.99^n Мне было интересно, что бы это значило, чтобы сломать SETH. Нам определенно нужно найти алгоритм, который решает SAT менее …

11 cc.complexity-theory  sat  exp-time-algorithms 

Класс UP определяется так: Класс решения задач, решаемых машиной NP, такой, что Если ответ «да», принимается ровно один путь вычислений. Если ответ «нет», все пути вычислений отклоняются. Я пытаюсь развить интуицию для этого определения. Можно ли сказать, что проблемы UP - это проблемы с уникальными решениями (например, первичная факторизация)? Это …

11 cc.complexity-theory  complexity-classes 

«Вторая » проблема - это проблема принятия решения о существовании другого решения, отличного от некоторого данного решения для экземпляра проблемы.XXX Для некоторых задач с завершением второй версией решения является -complete (решающий вопрос о существовании другого решения для задачи с частичным завершением латинского квадрата), в то время как для других он …

11 cc.complexity-theory  unique-solution 

Я читаю знаменитую статью Impagliazzo и Wigderson в 1997 году. Так как я новичок в этой области, и эта статья является краткой версией конференции, мне трудно следить за их доказательствами. В частности, некоторые из их новых теорем не имеют доказательств. Насколько мне известно, не было опубликовано ни одной версии журнала.P=BPPP=BPP\mathsf …

11 cc.complexity-theory  reference-request  circuit-complexity  derandomization  pseudorandom-generators