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

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

2
Является ли задача «Меньше всего отличающихся битов» NP-полной?
Это имя, которое я сделал для этой проблемы. Я не видел нигде описанного ранее. Я пока не смог найти ни доказательства NP-полноты, ни алгоритма полиномиального времени для этой задачи. Это не проблема домашней работы - это связано с проблемой, с которой я столкнулся в своей работе. НАИБОЛЕЕ ДИСКРИМИНАЦИОННЫЕ БИТЫ INSTANCE: …
7
Математический анализ и вычислительная сложность?
вычислительная сложность включает в себя большое количество комбинаторики и теории чисел, некоторые особенности стохастики и растущее количество алгебры. Однако, будучи аналитиком, мне интересно, есть ли приложения анализа в этой области, или, может быть, идеи, вдохновленные анализом. Все, что я знаю, что немного соответствует этому, - это преобразование Фурье на конечных …
1
Последствия субэкспоненциальных доказательств / алгоритмов для SAT
Были бы какие-нибудь серьезные последствия, если бы у SAT было самое большее субэкспоненциальное несогласованное доказательство или даже более сильно, у SAT были алгоритмы субэкспоненциального времени?
1
Сложность проблемы слов с наименьшим количеством различных букв, принимаемых конечным автоматом
Учитывая конечный (детерминированный или недетерминированный, я не думаю, что это имеет большое значение) автомат A и порог n , принимает ли A слово, содержащее не более n различных букв? (Под k разными буквами я подразумеваю, что aabaa имеет две разные буквы, a и b .) Я показал, что эта задача …
1
Выводы из обратной математической силы теоремы о графе
Скажем, у нас есть свойство графа, которое можно проверить в недетерминированном полиномиальном времени, и доказательство в слабой формальной системе (скажем, RCA 0 ), что свойство является минорным. Можем ли мы что-нибудь сказать о силе формальной системы, которая может доказать, что данный конечный набор исключенных миноров характеризует данное свойство графа? Контекст …
1
Теорема Адлемана о бесконечных полуколец?
В 1978 году Адлеман показал, что BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : если булева функция fff из nnn переменных может быть вычислена с помощью вероятностной булевой схемы размера MMM , тогда fff может быть вычислена с помощью детерминированной булевой схемы размера многочлен от MMM и nnn ; на самом деле, размером O(nM)O(nM)O(nM) . …
1
Рабина «Степень сложности вычисления функции и частичное упорядочение рекурсивных множеств»
Я ищу: Майкл О. Рабин, «Степень сложности вычисления функции и частичное упорядочение рекурсивных множеств», Еврейский университет, Иерусалим, 1960 Резюме: «Мы пытаемся измерить объем работы, свойственный задаче вычисления заданной вычислимой (рекурсивной) функции. Представлено и изучено понятие степени сложности вычислений. Понятие инвариантно в том смысле, что оно не зависит от идеализированных компьютеров …
2
ALogTime! = PH трудно доказать (и неизвестно)?
Лэнс Фортноу недавно заявил, что доказательство L! = NP должно быть проще, чем доказательство P! = NP : Отдельный NP от логарифмического пространства. Я дал четыре подхода в обзоре диагонализации перед разделом 2001 года (Раздел 3), хотя ни один из них не удался. Должно быть намного проще, чем отделять P …
1
Медленное сокращение много один?
Когда мы хотим доказать , что является -полных, то стандартный подход выставляться полиномиальное время вычислимой сокращение многих один из известного -полных задачи в . В этом контексте нам не нужно жестко ограничивать время выполнения сокращения. Достаточно иметь любую полиномиальную границу, что позволяет ей иметь очень высокую степень.L∈NPL∈NPL\in \bf NPNPNP\bf NPNPNP\bf …
2
Каково эквивалентное определение mP / poly в терминах машины Тьюринга?
P / poly - это класс задач решения, решаемых семейством булевых схем полиномиального размера. В качестве альтернативы его можно определить как машину Тьюринга за полиномиальное время, которая получает строку подсказки, которая имеет полиномиальный размер по n и основана исключительно на размере n. mP / poly - это класс задач решения, …
2
Лексикографически минимальный топологический вид помеченного DAG
Рассмотрим проблему, когда нам задают в качестве входных данных направленный ациклический граф G=(V,E)G=(V,E)G = (V, E) , функцию маркировки λλ\lambda из VVV в некоторый набор LLL с полным порядком &lt;L&lt;L<_L (например, целые числа) и где нас просят вычислить лексикографически наименьший топологический вид GGG в терминах λλ\lambda . Точнее, топологическая сортировка …
1
Второй самый маленький
Что-нибудь известно о втором наименьшем - -резе в сети потока? Или, в общем, об этой проблеме:sssTTt Вход: сеть и число , все в двоичном виде. Выход: наименьшее - вырезать.NNNККkККksssTTt - й наименьший - разреза любые - вырезать, например , что существует ровно - порезы , чьи мощностиККksssTTt( S, Т)(S,T)(S,T)sssTTtк - …
1
Задача реконфигурации «Змея»
Пока пишу небольшой пост о сложности видеоигр Nibbler и Snake ; Я обнаружил, что они оба могут быть смоделированы как задачи реконфигурации на плоских графах; и кажется маловероятным, что такие проблемы не были хорошо изучены в области планирования движения (представьте, например, цепочку связанных вагонов или роботов). Игры хорошо известны, однако …
2
Естественные полные проблемы на более высоких уровнях
-hierarchy представляет собой иерархию классов полностью в параметризованном сложности, см Сложности Зоопарк определений. Альтернативное определение определяет используя взвешенную определимость для логики первого порядка, см. Учебник Флума и Гроэ .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t Для низших классов и W [ 2 ] известно много естественных полных задач, например, Клика и Независимый Набор завершены для W …
3
Сложность задач, связанных с перестановкой
Для группы перестановок на и двух векторов где - конечный алфавит, который здесь не совсем уместен, вопрос есть ли какой-нибудь такой, что где означает применение перестановки к ожидаемым образом.GGG[n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\}u,v∈Γnu,v∈Γnu,v\in \Gamma^nΓΓ\Gammaπ∈Gπ∈G\pi\in Gπ(u)=vπ(u)=v\pi(u)=vπ(u)π(u)\pi(u)ππ\piuuu Предположим далее, что задается в качестве входных данных конечным множеством образующихВ чем сложность проблемы? В частности это …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.