Существует старая хитрость для записи алгоритма, который, если P = NP, решает SAT за полиномиальное время. По сути, каждый перечисляет все полиномиальные машины времени и многозадачность над ними.
Есть ли аналогичная уловка для односторонних функций (или даже односторонних люков)? То есть, можем ли мы записать функцию, которая, если существуют односторонние функции, обязательно является односторонней функцией?
Кажется, нет простого способа имитировать трюк P = NP. В этом случае мы можем быстро распознать решение, когда оно у нас есть. Но если я выполняю многозадачность для всех полиномиальных функций времени, нет очевидного способа распознать одностороннюю функцию, когда я прибуду к ней.
Если ответ на поставленный выше вопрос - нет, есть ли какой-то аргумент, почему мы не можем этого сделать? Может быть, запись такой функции как-то докажет, что существуют односторонние функции?