搜索结果: 1-2 共查到“数学 可满足性问题”相关记录2条 . 查询时间(0.084 秒)
中国科学院金属所确定布尔可满足性问题计算复杂性下限(图)
拓扑结构 自旋纠缠 公式计算
2023/11/23
中国科学院金属研究所研究员张志东在计算机领域计算复杂性理论研究方面取得重要进展,确定了布尔可满足性问题的计算复杂度下限。相关研究成果发表在《数学》(Mathematics)上。
研究确定布尔可满足性问题计算复杂性下限
布尔 可满足性问题 复杂性下限
2023/12/14