Обсуждение : В последнее время я проводил некоторое личное время, изучая различные вещи в сложности общения. Например, я повторно ознакомился с соответствующей главой в Арора / Барак, начал читать некоторые статьи и заказал книгу Кушилевица / Нисана. Интуитивно я хочу сравнить сложность...
Линейный граф гиперграфа - это (простой) граф G, имеющий ребра H, поскольку вершины с двумя ребрами H смежны в G, если они имеют непустое пересечение. Гиперграф является r- гиперграфом, если каждое из его ребер имеет не более r вершин.ЧАСHHграммGGЧАСHHЧАСHHграммGGрrrрrr Какова сложность следующей...
Казалось бы, бессмысленность майнинга криптовалюты подняла вопрос о полезных альтернативах, см. Эти вопросы на Bitcoin , CST , MO . Интересно, существует ли алгоритм, который может преобразовать практически любую вычислительную задачу (решение которой может быть эффективно проверено) в другую такую...
Насколько быстрым должен быть недетерминированный алгоритм для полной задачи EXPTIME, чтобы подразумевать P ≠ N PP≠NPP \neq NP ? Недетерминирован алгоритм полиномиальное время будет немедленно следует это потому , что Р ≠ Е Х Р Т Я М ЕP≠EXPTIMEP \neq EXPTIME , но никто не считает , N P = Е Х Р Т Я...
В этом вопросе мы, кажется, идентифицировали естественную проблему, которая является NP-полной при рандомизированных сокращениях, но, возможно, не при детерминированных сокращениях (хотя это зависит от того, какие недоказанные предположения в теории чисел верны). Известны ли еще такие проблемы?...
Следующая интересная проблема возникла в моем исследовании недавно: МИГ: График .G ( V, E)G(V,E)G(V, E) РЕШЕНИЕ: завершение неординарного нечетного цикла, определяемое как надмножество множества ребер, так что завершенный граф обладает свойством того, что каждое ребро в содержится в нечетком...
Хорошо известно, что палиндромы могут распознаваться в линейном времени на машинах Тьюринга с лентами, но не на машинах Тьюринга с одной лентой (в этом случае необходимое время является квадратичным). Алгоритм линейного времени использует копию входных данных и, следовательно, также использует...
Теорема Карпа – Липтона утверждает, что если , то P H разрушается до Σ P 2 . Следовательно, при условии разделения между Σ P 2 и Σ P 3 , никакая N P -полная проблема не будет принадлежать P / p o l y .N P ⊂ P / p o l yNP⊂P/poly\mathsf{NP} \subset \mathsf{P/poly}P...
Напомним число простых чисел - функция подсчета простых чисел . Посредством «PRIMES in P» вычисление находится в #P. Проблема № P-завершена? Или, может быть, есть сложная причина полагать, что эта проблема не является # P-полной? π(n)π(n)\pi(n)≤n≤n\le nπ ( n )π(n)π(n)\pi(n) PS Я понимаю, что это...
Прогнозировать фондовый рынок сложно! Может ли TCS сделать это мнение более формальным? Недавно я начал немного думать о финансах, и мне было интересно, как знание TCS может помочь. Хедж-фонды и инвестиционные фирмы, кажется, все время используют алгоритмическую торговлю, машинное обучение и ИИ,...
Согласно (непроверенному) историческому описанию, Колмогоров считал, что каждый язык в имеет линейную сложность схем. (См. Предыдущий вопрос о гипотезе Колмогорова о том, что имеет цепи линейного размера .) Обратите внимание, что из этого следует, что .P P ≠ N PPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq...
Пусть быть целым числом функция такая , что 2 Р в # Р . Из этого следует, что F находится в # P ? Есть ли основания полагать, что это вряд ли сохранится? Любые ссылки, о которых я должен знать?FFF2F2F2F#P#P\#PFFF#P#P\#P Несколько неожиданно возникла такая ситуация (с гораздо большей константой) для...
В настоящее время вычисление действительных значений в большинстве популярных языков все еще выполняется с помощью операций с плавающей запятой. С другой стороны, теории, такие как эффективность второго типа (TTE) и теория предметной области, давно обещали точное вычисление действительных чисел....
Четность и подобны неразлучным близнецам. Или так казалось за последние 30 лет. В свете результатов Райана возобновится интерес к маленьким классам.AC0AC0AC^0 Faxst Saxe Sipser от Yao до Hastad - это все паритетные и случайные ограничения. Разборов / Смоленский является приближенным полиномом с...
Существуют ли ссылки, которые предоставляют подробности о нижних границах схем для конкретных сложных задач, возникающих в криптографии, таких как целочисленный факторинг, задача простого / составного дискретного логарифма и ее вариант над группой точек эллиптических кривых (и их абелевых...
Меня интересует сложность решения линейных уравнений по модулю k для произвольного k (и с особым интересом к простым степеням), а именно: Проблема. Для данной системы из линейных уравнений по неизвестным по модулю , существуют ли какие-либо решения?н кmmmnnnkkk В аннотации к своей статье Структура...
РЕДАКТИРОВАТЬ в 2011/02/08: После того, как некоторые ссылки были найдены и прочитаны, я решил разделить оригинальный вопрос на два отдельных. Вот часть, касающаяся UP vs NP, для части синтаксических и семантических классов см. Преимущества для синтаксических и семантических классов ....
В настоящее время я заинтересован в получении (или построении) и изучении формул 3-CNF, которые являются неудовлетворительными и имеют минимальный размер. То есть они должны состоять из как можно меньшего числа предложений (предпочтительно m = 8) и как можно меньшего числа различных переменных (n =...
Моя любимая теорема в теории сложности - это теорема об иерархии времени. Однако это было сделано в 1965 году. Тогда я хотел узнать, есть ли что-нибудь подобное для квантовых вычислений. Кроме того, если нет, что люди / группы работают в этом...
USTCONN - это проблема, которая требует решения о том, существует ли путь от исходной вершины sss до целевой вершины ttt в графе GGG , где все они представлены как часть входных данных. Омер Рейнгольд показал, что USTCONN находится в L (doi: 10.1145 / 1391289.1391291 ). Доказательство создает...