跳到正文
智迹闻AuraTracer

观点:P=NP突破或加速VLSI LEC

本机阅读

发生了什么

据@lidangzzz观点,若P=NP突破,将打破整个理论计算机科学与复杂度的最大共识和基础,并开启第一步。其认为最直接的商业应用是VLSI设计中耗时最多的LEC步骤:SAT求解器可获巨大优化,CDCL SAT求解器也可能进一步优化,或推动VLSI设计与半导体飞速进化。

报道与来源

1 篇

发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。

  1. X · @lidangzzz来源报道

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

来源关系与证据边界

按已记录的来源角色展示;连线仅表示原生身份流程确认的同稿入口,不表示独立佐证或跨报道引用。

  1. 来源报道1 个发布入口