Russell Impagliazzo
理论计算机科学家,加州大学圣地亚哥分校教授,以计算复杂性理论、平均情况复杂性及密码学基础研究著称,提出著名的'五个世界'思想实验
核心事实
时间轴 (近 90 天)
ETH由Russell Impagliazzo与Ramamohan Paturi提出,猜想3SAT问题无法在次指数时间内求解。
验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导,且要求进行Lean形式化,但独立评审仍在进行中。
指数时间假设(ETH)由Impagliazzo和Paturi于1999年提出。
Minicrypt 是密码学家 Russell Impagliazzo 在 1995 年论文《A Personal View of Average-Case Complexity》中提出的思想实验之一。
Impagliazzo 提出的五个世界包括 Algorithmica、Heuristica、Pessiland、Minicrypt 和 Cryptomania,构成一个层次递进的可能性谱系。
全部知识事实 (5)
指数时间假设(ETH)由Impagliazzo和Paturi于1999年提出。
80%待验证ETH由Russell Impagliazzo与Ramamohan Paturi提出,猜想3SAT问题无法在次指数时间内求解。
50%待验证验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导,且要求进行Lean形式化,但独立评审仍在进行中。
50%待验证Minicrypt 是密码学家 Russell Impagliazzo 在 1995 年论文《A Personal View of Average-Case Complexity》中提出的思想实验之一。
50%待验证Impagliazzo 提出的五个世界包括 Algorithmica、Heuristica、Pessiland、Minicrypt 和 Cryptomania,构成一个层次递进的可能性谱系。
50%