Как все знают, SAT завершен для сравнению с многозначным сокращением за полиномиальное время. Это все еще полные сокращения wrt много-один.
Мои вопросы: какова минимальная необходимая глубина для сокращений? Более формально,
Что наименьшее такое, что SAT - это -hard wrt много-один сокращений?
Мне кажется, что должно быть достаточно? Кто-нибудь знает ссылку?
Ответы:
Повторно разместив мой комментарий:
На первый взгляд кажется, что на ваш вопрос следует ответить «Маниндра Агравал, Эрик Аллендер, Стивен Рудич, Сокращение сложности цепей: теорема об изоморфизме и теорема о разрыве» , JCSS 57: 127-143, 1999 ». Они говорят: «Мы доказываем, что все наборы, завершенные для NP при сокращениях AC0, завершаются при сокращениях, которые вычисляются по двум цепям AC0 глубины». Но я могу что-то упустить.
источник