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

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

1
Какие доказательства у нас есть для ?
Следуя предложению Джоша Грохова, я превращаю свой комментарий из предыдущего вопроса в новый. Какие доказательства у нас есть для ?UP≠NPUP≠NP\mathsf{UP} \neq \mathsf{NP} Здесь - это класс языков, распознаваемых недетерминированными машинами Тьюринга за полиномиальное время, которые имеют уникальный путь принятия в экземплярах "да" и нет пути принятия в экземплярах "нет".UPUP\mathsf{UP} Очевидно, …
2
Классы графов, в которых задачи о гамильтоновом цикле и гамильтоновом пути имеют разную сложность
При поиске Информационной системы о классах графов и их включениях я обнаружил несколько классов графов, для которых задача о гамильтоновом цикле NP-полна, а сложность задач о гамильтоновом пути НЕ известна. Некоторые из этих классов представляют собой двудольные графы максимальной степени 3, сеточные графы максимальной степени 3 и 2-связные кубические плоские …
2
Проблема изоморфизма графов
Я делаю обзор литературы по проблеме изоморфизма графов. Большинство статей, которые я читаю, написаны Э. М. Луксом и Ласло Бабаи. В этих работах используются знания высокого уровня теории групп и теории сложности. Поскольку я новичок в этой области, многие вещи мне не понятны. Может кто-нибудь предложить мне способ изучения идей …
3
В каком классе находятся рандомизированные алгоритмы, которые ошибаются с вероятностью 25%?
Предположим, я рассматриваю следующий вариант BPP, который позволяет нам называть E (xact) BPP: язык находится в EBPP, если существует рандомизированный TG за полиномиальное время, который принимает каждое слово языка с вероятностью 3/4 и каждое слово не в язык с вероятностью 1/4. Очевидно, что EBPP содержится в BPP, но равны ли …
1
Сложность выборки (приближенно) преобразования Фурье булевой функции
Одна вещь, которую могут сделать квантовые компьютеры (возможно, даже с использованием только квантовых цепей с логарифмической глубиной BPP +), - это аппроксимировать выборку преобразования Фурье булевой -значной функции в P.± 1±1\pm 1 Здесь и ниже, когда я говорю о выборке преобразования Фурье, я имею в виду выбор x в соответствии …
1
Какова сложность этой краевой проблемы окраски?
Недавно я столкнулся со следующим вариантом окраски краев. Для связного неориентированного графа найдите раскраску ребер, которая использует максимальное количество цветов, а также удовлетворяет ограничению, согласно которому для каждой вершины ребра, инцидентные используют не более двух цветов.vvvvvv Мое первое предположение - проблема NP-сложная. Классические NP-трудные доказательства для задач раскраски графов в …
5
Почему экономисты должны заботиться о вычислительной сложности
При попытке убедить экономистов в актуальности теории сложности в печати, есть ли стандартная ссылка для цитирования? Я знаком с постом в блоге Ноама Нисана , опросом Тима Раугардена и 11-й статьей эссе Скотта Ааронсона . Эти посты доступны для компьютерных ученых, но не используют язык экономистов и не публикуются в …
3
Конструктивно эффективные алгоритмы без эффективной корректности и доказательства эффективности
Я ищу естественные примеры эффективных алгоритмов (т.е. в полиномиальном времени) их правильность и эффективность могут быть доказаны конструктивно (например, в PRAпрAPRA или ), ноHAЧАСAHA не известно никаких доказательств, использующих только эффективные концепции (то есть мы не знаем, как доказать их правильность и эффективность в или ).S 1 2TV0TВ0TV^0S12S21S^1_2 Я могу …
2
Состояние нижних границ контуров для контуров глубины, ограниченных полилогом
Сложность схемы с ограниченной глубиной является одной из основных областей исследования в теории сложности схемы. Эта тема имеет происхождение в результатах типа «функция четности не в » и « функция mod не вычисляется », где - класс языков, разрешимых по неоднородности, постоянной глубине, полиномиальному размеру, неограниченному разветвлению AND, OR, NOT …
1
Каковы # P-полные подсемейства # 2-SAT?
Укороченная версия. Первоначальное доказательство того, что # 2-SAT является #P -завершенным, фактически показывает, что экземпляры # 2-SAT являются монотонными (без учета отрицаний каких-либо переменных) и двудольными (график, образованный предложениями над Переменный является двудольным графом) являются #P -Жесткими. Таким образом, два случая # 2-ТОН-SAT и № 2-двудольный-SAT является #P -Жестким. Существуют …
1
Кто ввел класс сложности AC?
Я учил нижних границ сегодня, и один из студентов спросил о причине названия C . Официальное объяснение состоит в том, что «А» означает «Чередование».AC0AC0AC^0A CAСAC Я смутно помню, как много лет назад мне сказали, что Ник Пиппенгер Стив Кук назвал честь Ника Пиппенджера (класс Ника), а позже Ник назвал S …
4
Трудные задачи для графов высшего рода
Планарные графы имеют род ноль. Графы, встраиваемые в тор, имеют род не более 1. Мой вопрос прост: Есть ли какие-нибудь проблемы, которые полиномиально разрешимы на плоских графах, но NP-трудны на графах рода один? В более общем смысле, существуют ли проблемы, которые полиномиально разрешимы на графах рода g, но NP-трудны на …
2
Можно ли действительно продемонстрировать сильную NP-твердость, используя простые сокращения по времени?
Недавно я прочитал доказательство, которое намеревалось показать, что проблема была сильно NP-трудной, просто сводя ее (за полиномиальное время) от сильно NP-трудной задачи. Это не имело никакого смысла для меня. Я бы подумал, что вам нужно будет показать, что любые числа, использованные в сокращении, и случаи задачи, к которой вы сводите, …
1
Использование дополнительной силы метода отрицательного противника
Метод отрицательного противника ( ) - это SDP, характеризующий сложность квантового запроса. Это обобщение широко используемого метода противника ( A D V ), и оно преодолевает два барьера, мешающих противнику:A D V±ADВ±ADV^\pmA D VADВADV Барьер тестирования свойств: если все 0-экземпляры находятся на расстоянии от всех 1-экземпляров, то метод противника не …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.