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

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

1
Классы сложности линейных цепей
Класс NCiNCi\textrm{NC}^i является классом функций, вычисляемых семействами схем ограниченного вкручивания, размера nO(1)nO(1)n^{O(1)} и глубины O(logi(n))O(logi⁡(n))O(\log^i(n)) . NCNC\textrm{NC} -hierarchy является объединением этих классов. Есть ли какое-либо исследование линейного размера этой иерархии? То есть схемы семейств ограниченного разветвления, глубины полилога и линейного размера? Я знаю, что существует некоторая работа с линейным AC0AC0\textrm{AC}^0 …
1
В чем сложность этой игры?
Это обобщение моего предыдущего вопроса . Пусть будет полиномиальный детерминированный машина , которая может задавать вопросы некоторым оракулом . Первоначально пусто, но это можно изменить после игры, которая будет описана ниже. Позвольте x быть некоторой строкой.MMMAAAAAAxИксx Рассмотрим следующую игру Алисы и Боба. Первоначально Алиса и Боб имеют mAмAm_A и mBмВm_B …
1
Алгоритмическая теория информации все еще развивается?
В настоящее время я ищу предмет для диссертации и столкнулся с областью алгоритмической теории информации. Поле кажется мне очень интересным, но, кажется, все поле было сделано за много лет. Итак, мой вопрос: поле «живое» или оно в значительной степени закрыто? Есть ли у него открытые вопросы? Спасибо
1
Быстрое классическое моделирование квантовых алгоритмов
Существуют ли примеры случаев, когда классическое моделирование квантового алгоритма для задачи превосходит лучший ранее известный классический алгоритм для этой задачи? «Превосходит» не обязательно означает другой класс сложности, это может быть просто лучшее масштабирование. Этот вопрос был вдохновлен случаем эффективного классического моделирования алгоритма квантовой рекомендации .
1
На разреженных комплектах и ​​P против L
Теорема Махейни говорит нам , что если есть разреженная -полное множество под полиномиальное время многие-одно сокращение, то P = N P . (См. « Разреженные комплекты для NP: Решение гипотезы Бермана и Хартманиса »)NпNPNPP=NPP=NPP = NP Известны ли последствия существования разреженных полных наборов для других классов сложности? В частности, если …
1
Эта игра EXPSPACE-завершена?
Пусть будет полиномиальный детерминированный машина , которая может задавать вопросы некоторым оракулом А . Первоначально A пусто, но это можно изменить после игры, которая будет описана ниже. Позвольте x быть некоторой строкой.MMMAAAAAAxxx Рассмотрим следующую игру Алисы и Боба. Первоначально Алиса и Боб имеют и m B долларов соответственно. Алиса хочет …
1
Сортировка со средним сравнением
Существует ли алгоритм сортировки, основанный на сравнении, который использует среднее из сравнений ?l g (n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) Существование алгоритма сравнения в худшем случае является открытой проблемой, но среднего случая достаточно для рандомизированного алгоритма с ожидаемыми сравнениями l g ( n ! ) + O ( n ) для каждого входа , Значение …
2
Общее понимание гипотетической сложности графовых задач
Я наткнулся на два примера гипотетической сложности некоторых графовых задач. Гипотетическая твердость означает, что опровержение некоторой гипотезы подразумевает NP-полноту соответствующей задачи графа. Например, гипотеза Барнетта утверждает, что каждый 3-связный кубический плоский двудольный граф является гамильтоновым. Федер и Суби доказали, что опровержение гипотезы подразумевает NP-полноту задачи о гамильтоновом цикле на графах …
1
Выбор наиболее значимого бинарного умножения
Я заинтересован в определении сложности следующей задачи решения: учитывая два целых числа и l 2 (каждое из которых содержит не более m бит), решить, является ли старший значащий бит умножения l 1 ⋅ l 2 равным 1 (где результат печатается в 2м битах с возможно ведущими 0)?L1L1l_1L2L2l_2L1⋅ л2L1⋅L2l_1 \cdot l_2 …
2
Сложность гомогенизации строки
Мотивация : Разрабатывая инструменты для управления версиями данных, мы в конечном итоге изучили алгоритмы «различий» двух наборов целых чисел, предложив последовательность преобразований, которые переводят один набор целых чисел в другой. Мы смогли свести эту проблему к следующей очень естественной проблеме, которая, кажется, имеет соединения для редактирования расстояния, группировки путем замены …
1
Название для «равномерно полиномиального» подкласса XP?
Предположим, что - параметризованный язык относительно некоторого алфавита Σ . К -slice из L является L K = L ∩ { ( х , к ) | х ∈ Е * } , множество экземпляров в L , которые имеют параметр K . Класс сложности X P содержит параметризованные языки …
1
Является ли SAT ограниченной ширины разрешимым в пространстве журналов?
Elberfeld, Jakoby и Tantau 2010 ( ECCC TR10-062 ) доказали неэффективную версию теоремы Бодлендера. Они показали, что для графов с шириной дерева не более разложение дерева шириной можно найти с помощью логарифмического пространства. Постоянный множитель в границе пространства зависит от k . (Теорема Бодлендера показывает линейную временную границу с экспоненциальной …
1
Когда BPP с предвзятой монетой соответствует стандартному BPP?
Пусть вероятностная машина Тьюринга имеет доступ к недобросовестной монете, которая выпадает в голову с вероятностью (броски независимы). Определите как класс языков, распознаваемых такой машиной за полиномиальное время. Это стандартное упражнение, чтобы доказать, что:pppBPPpBPPpBPP_p A) Если рационально или даже вычислимо, то . (Под вычислимым я имею в виду: существует рандомизированный полиномиальный …
2
Известно ли ?
Обратное включение очевидно, так же как и тот факт, что любой самоустраиваемый язык NP в BPP также находится в RP. Известно ли, что это также относится к несаморедуцируемым языкам NP?
2
Легко оптимизировать, но сложно оценить
Существуют ли известные естественные примеры задач оптимизации, для которых гораздо проще найти оптимальное решение, чем оценить качество данного варианта решения? Для конкретности мы можем рассмотреть задачи оптимизации, решаемые за полиномиальное время, в форме: «заданный x, минимизируйте », где f : { 0 , 1 } ∗ × { 0 , …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.