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

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

1
Теорема PCP - Шаг сокращения алфавита
То, что следует, может показаться глупым (и это, вероятно, отражает мое плохое понимание - поэтому, пожалуйста, потерпите меня) У меня был вопрос по теореме PCP. Мы знаем, что после первых трех шагов, а именно. Уменьшение степени, расширение и усиление разрыва, у нас есть граф ограничений с улучшенным зазором и огромным …
2
Твердость вершинных сепараторов
Для заданного графа в задаче сепаратора задается вопрос, существует ли вершина или множество ребер малой мощности (или веса), удаление которых разбивает на два непересекающихся графа приблизительно равных размеров. Это называется проблемой разделения вершин, когда удаленный набор является набором вершин, и проблемой разделения краев, когда это набор границ. Обе задачи являются …
1
Люди смотрят на циклическое гнездо в логических цепях?
В то время как EE старшекурсник я посетил некоторые лекции, которые представили хорошую характеристику булевых схем с точки зрения, сколько у них вложенных циклов. По своей сложности булевы схемы часто считаются дагами, но в реальных аппаратных циклах это обычное явление. Теперь, по модулю некоторых технических моментов, касающихся того, что представляет …
1
Каковы известные оценки сложности автоморфизма нетривиальных графов?
Для любого простого неориентированного графа G нетривиально определить, имеет ли G нетривиальные (неединичные) автоморфизмы. Но каковы результаты на верхних / нижних границах этой проблемы решения?
3
Два варианта НП
Вот два варианта определения NP. Они (почти наверняка) определяют разные классы сложности, но мой вопрос: есть ли естественные примеры проблем, которые вписываются в эти классы? (Мой порог для того, что считается естественным, здесь немного ниже, чем обычно.) Класс 1 (суперкласс NP): проблемы со свидетелями полиномиального размера, для проверки которых требуется …
2
Пример чего-то отличного для общих и случайных оракулов?
Пусть GGG - общий оракул в смысле категории Коэна / Бэра. Пусть RRR случайный оракул. Существуют ли классы сложности A и B с AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^R или наоборот, AG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Вопрос был вдохновлен комментарием Скотта Ааронсона .
2
Является ли проблема N Queens NP-трудной?
Проблема N-королевы заключается в следующем: Вход: N Вывод: размещение N «ферзей» на шахматной доске NXN таким образом, чтобы никакие две королевы не лежали в одной строке, столбце или диагонали. Сделав поиск в Google по этому вопросу, я обнаружил, что многие слайды многих профессоров утверждают, что это проблема NP-Hard (например, web.mst.edu/~ercal/387/slides/NP-Hard.ppt). …
4
Связь между вычислительной сложностью и информацией
Я работаю в вычислительной нейробиологической лаборатории, которая количественно оценивает взаимную информацию между парами или группами нейронов. Недавно босс его сместил акцент на измерение «сложности нейронной динамики». Продолжая эту линию исследований, некоторые люди в моей группе, по-видимому, приравнивают «сложный» к «имеет высокую энтропию». Кто-нибудь может подсказать мне, какова связь между вычислительной …
2
Что означает «гаджет» в сокращении NP-hard?
Этот вопрос не может быть техническим. Как не носитель языка и ТА для класса алгоритма, я всегда задавался вопросом, что означает гаджет в «гаджете-предложении» или «гаджете-переменной». В словаре говорится, что гаджет - это машина или устройство, но я не уверен, какое это имеет разговорное значение в контексте NP-полного доказательства.
2
Минимальный истинный монотон 3SAT
Меня интересует вариация SAT, где формула CNF является монотонной (никакие переменные не отменяются). Такая формула, очевидно, выполнима. Но скажем, что число истинных переменных является мерой того, насколько хорошо наше решение. Итак, у нас есть следующая проблема: МИНИМАЛЬНЫЙ ИСТИННЫЙ МОНОТОН 3SAT INSTANCE: набор U переменных, коллекция C дизъюнктивных предложений из 3 …
6
Многочисленные сокращения и сокращения Тьюринга определяют одного и того же класса NPC
Интересно, равны ли классы NPC, определенные сокращениями «многие-один» и сокращениями Тьюринга? Редактировать: Другой вопрос, являются ли сокращения Тьюринга только свертыванием классов C и co-C для некоторого C или существует класс такой как существует проблема не в при сокращении Карпа, а в в сокращении Тьюринга ?C ∪ c o - C …
1
Насколько сложно определить существование красно-синего идеального соответствия?
Задача двухцветного идеального сопоставления состоит в том, чтобы решить, имеет ли граф раскраску с двумя цветами, чтобы у каждого узла был ровно один сосед того же цвета, что и он сам. Шефер доказал, что задача является NP-полной . Он остается NP-полным даже для плоских кубических графов. Меня интересует вариант, в …
1
Препятствие, как ETH
Мы знаем, что в мы не можем решить SUM за время при любой функции (обычно ).ЕTЧАСЕTЧАСETHККKе( К) Р о л у( п К)е(К)поLY(NК)f(K)poly(nK)е( К)е(К)f(K)2О ( К)2О(К)2^{O(K)} Существует ли какая-либо гипотеза, которая предотвращает сложность (это полностью согласуется с возможностью, так как нам нужно экспоненциальное время для суммы подмножества), или такая возможность …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.