Доказательство теоремы Ладнера Пэддинга САТ - PullRequest
0 голосов
/ 08 ноября 2018

В доказательстве теоремы они используют i число TM не более чем f (n) = loglog (?). Я должен найти асимптотически наиболее быстро растущий ?: ℕ → ℕ такой, чтобы теорема Ладнера все еще выполнялась. Я не могу понять, как я могу начать.

...