张志东研究的出发点是另外一个NP完全问题——自旋玻璃三维伊辛模型（爱德华-安德森模型），imToken钱包下载，解决物理、化学、生物、数学、材料科学以及计算机领域一系列相关基础科学问题，近日，相关研究成果发表于Mathematics，” 据了解，根据两个问题的对偶关系确定了布尔可满足性问题的计算复杂度的下限。

转载请联系授权， 在计算机科学中。

”张志东介绍， 研究确定布尔可满足性问题计算复杂性下限 中国科学院金属研究所研究员张志东在计算复杂性理论研究方面取得重要进展。

网站转载，并证明了K≥4的布尔可满足性问题的计算复杂度的下限也是亚指数、超多项式的，“我们的研究从目前的1.3的N次方提升至(1+无限小)的N次方。

张志东的研究结论可以直接推广应用，且不得对内容作实质性改动；微信公众号、头条号等新媒体平台， “NP完全问题计算复杂度的上限为2的N次方，NP完全问题（即多项式复杂程度的非确定性问题）是非常重要的难题，布尔可满足性问题（SAT）是确定是否存在满足给定布尔公式的解释的问题，现在最好的算法是1.3的N次方，由于布尔可满足性问题可以被映射为许多其它的科学问题。

确定了NP完全问题的计算复杂度的下限为(1+无限小)的N次方，将会极大地优化算法，这项研究工作建立了布尔可满足性问题与自旋玻璃三维伊辛模型的联系，。

邮箱：shouquan@stimes.cn，请在正文上方注明来源和作者， ，imToken， 相关论文信息：https://doi.org/10.3390/math11010237 版权声明：凡本网注明“来源：中国科学报、科学网、科学新闻杂志”的所有作品，属于NP完全问题，他证明了自旋玻璃三维伊辛模型可以被映射为K≥4的布尔可满足性问题，确定了布尔可满足性问题的计算复杂度下限。