Leonid A. Levin--关于P/NP问题

最近在看2021年STOC主页相关内容，发现了一个学者Leonid A. Levin，他有一个talk关于climbing algorithms的，看着挺有意思，就跑到他的主页看了看，从他简简单单的主页能感觉到他是一个有趣的人，在这主页（https://www.cs.bu.edu/lnd/）中还发现了一个挣钱的方法~~hahahha,开个玩笑，是想分享出来大家一起学习进步。

就是著名的NP问题：

以下是翻译上文：
假设您正在为一组 400 名大学生组织住宿。空间有限，只有一百名学生将获得宿舍名额。使事情复杂化的是，院长为您提供了不相容学生对的列表，并要求此列表中的任何对都不会出现在您的最终选择中。这是计算机科学家所谓的 NP 问题的一个例子，因为很容易检查同事提出的 100 名学生的给定选择是否令人满意（即，从你同事的列表中取出的任何一对也不会出现在来自院长办公室），但是从头开始生成这样一个列表的任务似乎太难了，以至于完全不切实际。的确，从四百名申请者中选出一百名学生的方式总数，比已知宇宙中的原子数还要多！因此，任何未来的文明都不可能希望建造一台能够通过蛮力解决问题的超级计算机；也就是说，通过检查 100 个学生的所有可能组合。然而，这种明显的困难可能只反映了你的程序员缺乏独创性。事实上，计算机科学中的一个突出问题是确定是否存在可以快速检查其答案的问题，但通过任何直接程序来解决这些问题都需要非常长的时间。像上面列出的问题肯定是这类问题，但到目前为止，还没有人能够证明它们中的任何一个确实像看起来那么难，也就是说，确实没有可行的方法来生成答案除非依靠电脑的帮助。Stephen Cook 和 Leonid Levin 在 1971 年独立制定了 P（即容易找到）与 NP（即容易检查）问题。
有感兴趣做做这个问题的伙伴么？