Многим пришло в голову, что во всех полных доказательствах, которые я читал (которые я помню), всегда тривиально показать, что проблема в , и показать, что это жесткая, является ... трудной частью , Какие полные проблемы это те, чьи верификаторы за полиномиальное время весьма нетривиальны?
complexity-theory
np-complete
np
gardenhead
источник
источник
Ответы:
Существует по крайней мере четыре таких неполных перечисленных проблемы, перечисленных в приложении к ГЭРИ и Джонсону « КОМПЬЮТЕРЫ И ИНТРАКТИВНОСТЬ»: Руководство по теории NP-полноты .NP
Другие три, которые я нашел в приложении:
источник
Вот проблема из теории баз данных, более конкретно, из теории сериализуемости.
В Serializability by Locking (Страница 237) это говорит о том, что
Проблема безопасности может быть найдена в статье Papadimitriou et al. "Некоторые вычислительные проблемы, связанные с управлением параллелизмом баз данных". К сожалению, у меня нет доступа к нему.SSR
источник
Для меня в этом классе целочисленное линейное программирование (и связанная с ним квантификатор без арифметики пресбургера).
Наивным подходом к мерной задаче ILP является итерация по всем длинам n векторов целых чисел. Но это неограниченный процесс.n n
Вы должны использовать некоторую теорию чисел, чтобы доказать, что существует верхняя граница полинома для размера решений, что означает, что, если решение существует, всегда есть решение полиномиального размера, которое действует как сертификат.
Больше информации можно найти в ответе на вопрос, который я задал некоторое время назад.
источник