Існує старий трюк для запису алгоритму, який, якщо P = NP, вирішує SAT у поліноміальний час. По суті, перераховані всі багаточлени машини та багатозадачі над ними.
Чи є аналогічний трюк для односторонніх функцій (або навіть односторонніх функцій, що відводяться)? Тобто чи можемо ми записати функцію, яка, якщо існують односторонні функції, обов'язково є односторонньою функцією?
Здається, не існує простого способу наслідувати фокус P = NP. У цьому випадку ми можемо швидко розпізнати рішення, коли отримаємо його. Але якщо я задаю багато завдань над усіма функціями полінома часу, немає очевидного способу розпізнати односторонню функцію, коли я прийду до неї.
Якщо відповідь на вищезазначене питання - ні, чи є якийсь аргумент, чому ми не можемо цього зробити? Можливо, записування такої функції якось засвідчить, що існують односторонні функції?