[控场AI]
人物

Russell Impagliazzo

理论计算机科学家,加州大学圣地亚哥分校教授,以计算复杂性理论、平均情况复杂性及密码学基础研究著称,提出著名的'五个世界'思想实验

核心事实

时间轴 (近 90 天)

10月30日

ETH由Russell Impagliazzo与Ramamohan Paturi提出,猜想3SAT问题无法在次指数时间内求解。

待验证50%
10月30日

验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导,且要求进行Lean形式化,但独立评审仍在进行中。

待验证50%
10月26日

指数时间假设(ETH)由Impagliazzo和Paturi于1999年提出。

已验证80%
10月12日

Minicrypt 是密码学家 Russell Impagliazzo 在 1995 年论文《A Personal View of Average-Case Complexity》中提出的思想实验之一。

待验证50%
10月12日

Impagliazzo 提出的五个世界包括 Algorithmica、Heuristica、Pessiland、Minicrypt 和 Cryptomania,构成一个层次递进的可能性谱系。

待验证50%

全部知识事实 (5)

来源文章