Проблема подсчета (сложность) - Википедия - Counting problem (complexity)

Эта статья нужны дополнительные цитаты для проверка. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален Найдите источники: Сложность «задачи счета»  – Новости  · газеты  · книги  · ученый  · JSTOR (Октябрь 2014 г.) (Узнайте, как и когда удалить этот шаблон сообщения)

В теория сложности вычислений и теория вычислимости, а проблема подсчета это тип вычислительная проблема. Если р это проблема поиска тогда

${ Displaystyle c_ {R} (x) = vert {y mid R (x, y) } vert ,}$

соответствующий функция подсчета и

${ displaystyle #R = {(x, y) mid y leq c_ {R} (x) }}$

обозначает соответствующую проблему решения.

Обратите внимание, что c_р это проблема поиска, а #р это проблема решения, однако c_р возможно C Сниженный к #р (для соответствующих C) используя бинарный поиск (причина #р определяется так, как есть, а не является графиком c_р, чтобы сделать возможным этот бинарный поиск).

Подсчет класса сложности

Если NX класс сложности, связанный с недетерминированный машины тогда #ИКС = {#Р | р ∈ NX} - это набор задач подсчета, связанных с каждым проблема поиска в NX. Особенно, #П класс задач счета, связанных с НП проблемы с поиском. НП-полный проблемы через много-одно сокращение, #P имеет полные проблемы через экономные скидки, преобразования задачи, сохраняющие количество решений.

Смотрите также

• GapP

внешняя ссылка

• "проблема подсчета". PlanetMath.
• «счет класса сложности». PlanetMath.