One-Way-Function
是否存在普遍的單向排列?
Leonid Levin 構造了一個通用的單向函式,即只要存在至少一個單向函式,該函式就是單向函式。
但我的問題是,是否存在一個普遍的單向排列,即只要存在至少一個單向排列的函式就是一個單向排列?對萊文的結構進行修改會實現這一目標嗎?
據我所知,這是未知的。也就是說,萊文的構造是單向函式,但肯定不是單向排列。我看不到任何可以修改它以使其成為排列的方式,因為它的工作方式是執行任意機器然後放大。由於沒有通過查看機器(據我所知)來檢查某事物是否是排列的有效方法,因此我看不出如何修改萊文的構造。
當然,這只是我們所知道的限制,它引出了一個非常有趣的研究問題。是否存在普遍的單向排列?也可以對其他原語提出類似的問題。一篇與這個問題(對於其他原語)有一定關係的好論文是Harnik 等人的On Robust Combiners for Oblivious Transfer and other Primitives 。