NP问题看起来适合用作活板门功能或工作证明，因为它们很难解决，但易于验证。不幸的是，它们似乎有点难以在对手可以控制问题选择的对抗环境中使用，因为虽然最坏情况的问题是NP，但特定情况可以很快得到解决。
所以：是否有任何算法可以采取实例和估计 - 比试图解决它们更有效 - 它们有多难或接近最坏情况？
（上下文正在思考比特币协议，其中工作证明是可重复使用的，而不是无用的哈希检查。显而易见的方法是为每个事务块设置一个中心权限问题，对应于一个NP实例现实世界的问题。但是中央权威可能会被颠覆，并开始发布容易出现问题的问题，这会使网络容易受到双重支出。人们可以接受来自多个当局或任何人的问题，但选择容易的问题仍然存在。如果有的话是某种方式估计提出给网络的任何问题的难度，然后“太容易”的问题可以简单地被忽略，如果有必要，可以回到哈希竞赛。）
编辑：jaxtr将我链接到"Predicting Satisfiability at the Phase Transition"，它提供了估算硬度达到70％准确度的算法 - 但他们似乎没有调查算法是否会被故意愚弄。 （同样，人们显然会产生具有可满足的特定概率的SAT问题。）
答案 0 :(得分：4)
这是研究人员试图基于np-completeness创建公钥加密算法所面临的同样问题。据我所知，有一些刺，但它仍然是一个悬而未决的问题。请参阅此处的讨论：Are there public key cryptography algorithms that are provably NP-hard to defeat?
我知道我已经看到了最近的工作，但无法随意找到它。我记得一本由关于替代密码系统的文章组成的书应该分解突然变得便宜，我会尝试挖掘这个链接。
编辑：以下评论指向我正在考虑的那本书。 The website对各种相关论文有很多很好的参考。请参阅“基于代码”部分。