如果存在单向功能，可以保证单向功能吗？

写下一个古老的技巧是编写一个算法，如果P = NP，则可以在多项式时间内求解SAT。从本质上讲，它列出了所有多项式时间机器以及它们之上的多任务。

单向功能（甚至单向活板门功能）是否有类似的技巧？也就是说，如果存在单向函数，我们是否可以写下一个必须是单向函数的函数？

似乎没有简单的方法来模仿P = NP技巧。在这种情况下，当我们得到一个解决方案时，我们可以快速识别。但是，如果我在所有多项式时间函数上执行多任务，那么当我到达一个单项函数时，没有明显的方法来识别它。

如果上述问题的答案是否定的，是否有某种论点为什么我们不能做到？也许写下这样一个函数会以某种方式证明单向函数存在？

是的，这种功能是莱文本人发现的，并于近期发布：

单向功能的故事。信息传输问题（=有问题的Peredachi Informatsii），39（1）：92-103，2003。