我国科学家确定布尔可满足性问题计算复杂性下限
我国科学家在复杂体系的计算复杂性的研究方面取得重要研究进展。中国科学院金属研究所张志东研究员在计算机领域计算复杂性理论研究方面取得重要进展,确定了布尔可满足性问题的计算复杂度下限。论文发表在Mathematics 11 (2023) 237。
随着计算机领域的技术进步,人工智能正在影响我们日常生活的方方面面。而人工智能的进步依赖于计算算法的速度。如何在最短时间内算出正确的解是计算机领域科学家最关心的问题。在计算机科学中,NP完全问题是非常重要的难题。这一类非平凡难题的共同特征是具有随机性的模型系统中存在非平凡的拓扑结构...
2023-11-21