意味着整个TCS和复杂度的最大共识和基础被打破了，正式向P=NP的道路上开启了第一步。 在商业上最直接的应用，是整个VLSI design上浪费时间最多的L… · @lidangzzz · TwKit

@lidangzzz

意味着整个TCS和复杂度的最大共识和基础被打破了，正式向P=NP的道路上开启了第一步。 在商业上最直接的应用，是整个VLSI design上浪费时间最多的LEC这一步上，SAT solver可以有一步巨大优化，连CDCL SAT solver都可能进一步优化，并且还在极大优化。 可能VLSI design和整个半导体要迎来飞速进化了。

曝光 8018 · 评论 1 · 点赞 25 · 书签 7