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

13
Разрешимые ограничения проблемы почтовой корреспонденции

Проблема почтовой корреспонденции (PCP) неразрешима. Ограниченная версия PCP является -полной и отмеченная версией PCP (слова одного из двух списков, должны отличаться по первой букве) в P S P A C E [1].Н ПNп\mathrm{NP}P S P A C EпSпAСЕ\mathrm{PSPACE} Используются ли эти ограниченные версии, чтобы...

13
Сокращение от задачи с 3 разделами до проблемы сбалансированного разделения

Проблема 3-Перегородка спрашивает , может ли набор из целых чисел может быть разделена на п наборов из трех чисел таким образом, что каждый набор сумм до некоторого заданного целого числа B . Задача сбалансированного разбиения спрашивает, можно ли разбить 2 n целых чисел на два одинаковых набора...

13
Поиск оптимальной последовательности вопросов, чтобы минимизировать общее время студента

Предположим, в университете есть учебная сессия. У нас есть набор из вопросов и набор из студентов . Каждый студент имеет сомнение в определенной подгруппе вопросов, то есть для каждого студента , пусть множество вопросов , которые студент имеет сомнение. Предположим , что и .Q = { q 1 … q k } n S...

13
Ограниченная версия проблемы клики?

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

13
Машины с произвольным доступом только с добавлением, умножением, равенством

В литературе достаточно ясно, что ОЗУ с удельной стоимостью с примитивным умножением являются необоснованными, поскольку они не может быть смоделировано машинами Тьюринга за полиномиальное время может решить PSPACE-полные задачи за полиномиальное время Тем не менее, все ссылки, которые я могу найти...

13
алгоритм времени анализа «входной размер» против «входных элементов»

Я все еще немного путаюсь с терминами «длина ввода» и «размер ввода», когда они используются для анализа и описания бессимптомной верхней границы для алгоритма. Кажется, что длина входного сигнала для алгоритма зависит от типа данных и алгоритма, о котором вы говорите. Некоторые авторы ссылаются на...

13
Предоставляют ли функции высшего порядка больше возможностей для функционального программирования?

Я задал похожий вопрос на cstheory.SE . Согласно этому ответу на Stackoverflow существует алгоритм, который на не ленивом чисто функциональном языке программирования имеет сложность , тогда как тот же алгоритм в императивном программировании - Ω ( n ) . Добавление ленивости к языку FP сделало бы...

13
Алгоритмические следствия алгебраической формулы для функции разбиения?

Брюинье и Оно нашли алгебраическую формулу для функции разбиения , которая, как сообщалось, была прорывом. Я не могу понять статью, но имеет ли она какие-либо алгоритмические последствия для быстрого вычисления функции...

13
Доказательство DOUBLE-SAT является NP-полным

Хорошо известная проблема SAT определена здесь для справки. Проблема DOUBLE-SAT определяется как DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}DOUBLE-SAT={⟨ϕ⟩∣ϕ has at least two satisfying assignments}\qquad \mathsf{DOUBLE\text{-}SAT} = \{\langle\phi\rangle \mid \phi \text{ has at least...

13
Являются ли регулярные выражения кроссвордами NP-сложными?

Я дурачился на днях на этом сайте: http://regexcrossword.com/, и это заставило меня задуматься о том, как лучше всего это решить. Можете ли вы решить следующую проблему за полиномиальное время или это NP-сложный? Учитывая сетку NxM с N регулярными выражениями для столбцов и M для строк, найдите...

13
Теоретическая сложность трудно проверить значение

Функция подсчета простых чисел demoted определяется как число простых чисел, меньших или равных .π( х )π(Икс)\pi(x)ИксИксx Мы можем определить решение проблемы из следующим образом:π( х )π(Икс)\pi(x) Учитывая два числа ИксИксx и NNn , записанные в двоичном виде, решить, если π( х ) = нπ(Икс)знак...

13
Доказательство P = NP без математических утверждений / компьютерной программы

Это мой первый пост после пассивного использования в течение некоторого времени. Я хотел бы задать несколько вопросов, если можно. Я не математик, но мой вопрос относится к области математики / информатики. В частности, проблема P против NP. Я знаю, что это проблема, которую элитные профессионалы...

13
Определяет, есть ли простое число в интервале, о котором известно, что оно находится в P или NP-полных?

Из этого поста я узнал, что в стеке есть поток, и есть несколько относительно быстрых алгоритмов для просеивания интервала чисел, чтобы увидеть, есть ли в этом интервале простое число. Тем не менее, означает ли это, что общая проблема решения: (Существует ли простое число в интервале?) В P. (Было...

13
Определение PTAS против FPTAS

Из того, что я прочитал в preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Это определение PTAS : Схема аппроксимации полиномиального времени ( PTAS ) для задачи - это...

13
P, NP и специализированные машины Тьюринга

Я в некотором роде новичок, но очень интересуюсь областью вычислений и теории сложности, и я хочу разъяснить свое понимание того, как классифицировать проблемы и насколько сильно проблемы связаны с машиной, используемой для их решения. Мое понимание Стандартная машина Тьюринга - машина Тьюринга,...

13
Была ли решена проблема изоморфизма графов?

Страница проблемы изоморфизма графов Википедии, похоже, указывает на то, что нет, она не была решена. Однако мой друг указал на Алгоритм Полиномиального Времени для Изоморфизма Графов . Я недостаточно опытен, чтобы следовать рассуждениям в газете. У меня есть собственная очень грубая попытка...

13
Выборка идеального совпадения в случайном порядке

Предположим , у меня есть граф с M ( G ) на (неизвестно) набор совершенных паросочетаний G . Предположим, что это множество не пустое, тогда как трудно выбрать равномерно случайную выборку из M ( G ) ? Что если я в порядке с распределением, близким к равномерному, но не совсем равномерным, то...

13
Используйте минимальное количество свопов, чтобы каждая корзина содержала шарики одного цвета

Есть бункеров, то я й бин содержит я шары. Шары имеют п цветы, есть а я шары цвета я . Пусть m = ∑ n i = 1 a i .NNnяяiaяaяa_iNNnaяaяa_iяяiм = ∑Nя = 1aямзнак равноΣязнак равно1Naяm=\sum_{i=1}^n a_i Обмен - это взять мяч из одной корзины и поменять мяч из другой корзины. Мы хотим минимальное...

13
MIN-2-XOR-SAT и MAX-2-XOR-SAT: они NP-сложные?

Какова сложность MIN-2-XOR-СБMIN-2-XOR-SAT\text{MIN-2-XOR-SAT} и MAX-2-XOR-СБMAX-2-XOR-SAT\text{MAX-2-XOR-SAT} ? Они в П? Они NP-хард? Чтобы формализовать это более точно, пусть Φ ( x ) = ∧NяСя,Φ(x)=∧inCi,\Phi\left(\mathbf x\right)={\huge\wedge}_{i}^{n}C_i, где х =( х1, … , Хм)x=(x1,…,xm)\mathbf{x}...