Я пытаюсь найти проблемы, сложность которых в среднем случае была проанализирована. Более конкретно, мне интересно знать, есть ли какие-либо проблемы с доказанной нижней границей сложности пространства, которая является суперлинейной, и особенно, если есть какие-либо проблемы с анализом среднего...
Nurikabe - это основанная на ограничениях головоломка, похожая на Minesweeper / Nonograms; числа помещаются в сетку, которая должна быть заполнена значениями включения / выключения для каждой ячейки, причем каждое число указывает область соединенных «включенных» ячеек этого размера, и некоторые...
У меня есть проблема, которая находится в NEXP и также может быть решена с помощью чередующегося ТМ, использующего экспоненциальное время и только одно чередование (начиная с экзистенциального состояния).NPNP^{\text{NP}} Что-нибудь известно о NEXP ? Это равно NEXP или какому-то другому классу?...
Полнота и обоснованность интерактивных систем доказательства неформально определяются как: Полнота: если утверждение верно, честный проверяющий может убедить честного проверяющего в этом факте whp . Обоснованность: если утверждение ложно, обманщик не может убедить честного проверяющего (в...
Я не помню, чтобы видел разделение классов, не основанное на диагонализации и результатах релятивизации. Диагонализация все еще может использоваться для разделения оставшихся известных классов, потому что нерелятивизирующие аргументы могут все еще использоваться в заключении диагонализации или в...
В 1975 году Миллер показал, как уменьшить факторизацию целого числа чтобы найти период функции такой, что f (x + r) = f (x) с некоторым случайно выбранным <N . Хорошо известно, что алгоритм Шора может эффективно найти r на квантовом компьютере, в то время как считается, что классическому...
Что известно о фазовом переходе в задачах # P-Complete? В частности, существует ли другой фазовый переход для # DNF-k-SAT и # CNF-k-SAT? Обновление: Как мы знаем, в Random k-SAT есть фазовый переход, где решение проблемы переходит от простого к сложному и снова к легкому. Я хотел бы знать,...
Как можно взглянуть на проблему и причину, по которой это скорее NP-Intermediate, чем NP-Complete? Часто довольно просто взглянуть на проблему и сказать, является ли она NP-Complete или нет, но мне кажется, что гораздо сложнее определить, является ли проблема NP-Intermediate, так как грань между...
Я предполагаю, что это назвали бы # P-Space, но я нашел только одну статью, смутно упоминающую это. Как насчет подсчета версий EXP-TIME-Complete, NEXP-Complete, а также проблем EXP-SPACE-Complete? Есть ли какие-либо предыдущие работы, которые можно привести в отношении этого или любого типа...
Предположим, у нас есть полугруппа с элементами . Наша цель - вычислить произведения .S = { s 1 , s 2 , … , s n } s i ∘ s i + 1 ∘ ⋯ ∘ s j( S, ∘ )(S,∘)(S,\circ)S= { с1, с2, ... , SN}S={s1,s2,…,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesя∘ ся + 1∘ ⋯ ∘ sJsi∘si+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j В...
В распределенных системах контроля версий (таких как Mercurial и Git ) существует необходимость эффективного сравнения направленных ациклических графов (DAG). Я - разработчик Mercurial, и нам было бы очень интересно услышать о теоретической работе, в которой обсуждается сложность времени и сети при...
Существуют ли проблемы, сложность которых в среднем одинакова с их сложностью в худшем случае? Каковы основные свойства этих проблем, которые позволяют свести наихудший случай к...
Меня интересует вариация SAT, где формула CNF является монотонной (никакие переменные не отменяются). Такая формула, очевидно, выполнима. Но скажем, что число истинных переменных является мерой того, насколько хорошо наше решение. Итак, у нас есть следующая проблема: МИНИМАЛЬНЫЙ ИСТИННЫЙ МОНОТОН...
Этот вопрос не может быть техническим. Как не носитель языка и ТА для класса алгоритма, я всегда задавался вопросом, что означает гаджет в «гаджете-предложении» или «гаджете-переменной». В словаре говорится, что гаджет - это машина или устройство, но я не уверен, какое это имеет разговорное...
Я работаю в вычислительной нейробиологической лаборатории, которая количественно оценивает взаимную информацию между парами или группами нейронов. Недавно босс его сместил акцент на измерение «сложности нейронной динамики». Продолжая эту линию исследований, некоторые люди в моей группе,...
Проблема разбиения с 3-мя кликами - это проблема определения , можно ли разбить вершины графа, скажем, , на 3 клики. Эта проблема является NP-трудной из-за простого сокращения проблемы 3-окрашиваемости. Нетрудно видеть, что ответ на эту проблему прост, когда diam ( G ) = 1 или diam ( G ) > 5 ....
Дана Англюин ( 1987 ; pdf ) определяет модель обучения с помощью запросов на членство и теоретических запросов (контрпримеры к предложенной функции). Она показывает, что регулярный язык, представленный минимальным DFA из состояний, может быть изучен за полиномиальное время (где предложенные функции...
Теорема о прямом произведении, неофициально, говорит, что вычисление экземпляров функции f сложнее, чем вычисление f один раз.Кkkеffеff Типичные теоремы о прямом произведении (например, лемма Яо XOR) рассматривают сложность среднего случая и утверждают (очень грубо), что не может быть вычислено...
В статье «Целочисленное программирование с фиксированным числом переменных» было показано, что целочисленное программирование с постоянным числом ограничений (или переменных) является полиномиально разрешимым. Это относится к программированию...
Ответ: неизвестно Большое спасибо всем, кто помог уточнить этот вопрос и определения, связанные с ним. Определения этой вики послужили отправной точкой для более новой вики TCS: « Содержит ли P языки, существование которых не зависит от PA или ZFC? (Вики сообщества TCS) ». Более поздняя вики...