人物
Ramamohan Paturi
计算机科学家，计算复杂性理论领域研究者，指数时间假说（ETH）的提出者之一
时间轴 (近 90 天)
10月30日
ETH由Russell Impagliazzo与Ramamohan Paturi提出，猜想3SAT问题无法在次指数时间内求解。
待验证50%
10月30日
验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导，且要求进行Lean形式化，但独立评审仍在进行中。
待验证50%
计算机科学家，计算复杂性理论领域研究者，指数时间假说（ETH）的提出者之一
ETH由Russell Impagliazzo与Ramamohan Paturi提出，猜想3SAT问题无法在次指数时间内求解。
验证工作正由Impagliazzo、Paturi与Ryan Williams等人主导，且要求进行Lean形式化，但独立评审仍在进行中。