Вопросы с тегом «np»

Что меня особенно интересует, так это наличие интересного условия о проценте назначений, которые удовлетворяют формуле 3SAT, чтобы гарантировать, что такие проблемы поддаются решению. Предположим, например, класс задач 3SAT, что из возможных назначений удовлетворяет булевой формуле; мы можем эффективно найти удовлетворяющее задание? Для чего возникает проблема в P?2 n ϵϵ ( …

12 cc.complexity-theory  ds.algorithms  sat  np 

ETH утверждает, что SAT не может быть решена в худшем случае за субэкспоненциальное время. Как насчет среднего случая? Есть ли естественные проблемы в NP, которые предположительно будут экспоненциально сложными в среднем случае? Возьмите средний случай, чтобы означать среднее время работы с равномерным распределением на входах.

12 cc.complexity-theory  np  average-case-complexity 

Рассмотрим полную информацию о комбинаторных играх для двух игроков, которые заканчиваются после полиномиального числа ходов, и поочередно игроки выбирают из конечного числа разрешенных ходов. Обычный вопрос в том, насколько сложно с определенной позиции отличить победителя. Другой будет, как трудно выбрать выигрышный ход из выигрышной позиции. (Здесь я называю ход выигрышным, …

11 cc.complexity-theory  np  board-games  pspace 

Предположим, что NP = co-NP, а полином ограничивает длину доказательства неудовлетворенности для экземпляра 3-CNF x . Тогда есть ли какие-либо результаты о том, в какой форме может быть получено любое доказательство неудовлетворенности для x длины ≤ p ( x ) ? Т.е. в целом, должно ли такое доказательство использовать, например, …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Вот два варианта определения NP. Они (почти наверняка) определяют разные классы сложности, но мой вопрос: есть ли естественные примеры проблем, которые вписываются в эти классы? (Мой порог для того, что считается естественным, здесь немного ниже, чем обычно.) Класс 1 (суперкласс NP): проблемы со свидетелями полиномиального размера, для проверки которых требуется …

11 cc.complexity-theory  complexity-classes  np 

Хорошо известно , что некоторые классы NP -проблемы Have дихотомии теорем, которые гарантируют , что каждая задача в классе является либо NP -полное или находится в P . Наиболее известным таким результатом является теорема Шефера о дихотомии , а также ряд обобщений. Насколько я понимаю, доказать эти теоремы дихотомии не …

10 cc.complexity-theory  np  descriptive-complexity 

Доказательство сложности является основной областью теории вычислительной сложности. Конечная цель этой области состоит в том, чтобы доказать , то есть любой доказатель не может дать доказательство неудовлетворенности данной входной формулой. Nп≠ c o NпNп≠соNпNP\neq coNP Граф - это одна из формальных моделей доказательств. Мой вопрос о дальнейшем ограничении этой модели. …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

Каждый ли распознаваемый по Тьюрингу неразрешимый язык имеет NP-полное подмножество? Этот вопрос можно рассматривать как более сильную версию того факта, что каждый бесконечный распознаваемый по Тьюрингу язык имеет бесконечное разрешимое подмножество.

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

Этот вопрос возник в контексте криптографии, но ниже я представлю его с точки зрения теории сложности, поскольку здесь люди больше знакомы с последним. Этот вопрос связан с проблемами в NP, но не в Average-P / poly и неоднородности биения по Oracle Access . Неформальное утверждение: когда неоднородные противники (то есть …

9 cc.complexity-theory  cr.crypto-security  np  advice-and-nonuniformity  average-case-complexity