量子科技中心_量科网

该研究团队提出了一套基于整数分解的SAT求解器和伊辛优化基准测试实例集。给定两个质数p和q，该构建方法将N=p×q的算术约束编码为合取范式（CNF）公式，其满足解对应N的有效因数分解。已知的质数对(p,q)作为内置真实值，可明确验证求解器输出。研究表明，对于两个d位质数，进位收缩总数量级为d⁴。通过SAT求解器的实证测试表明，在所测试范围内，求解中位运行时间随因数位长呈指数增长。该构建方法提供了一套可扩展、结构化且可验证的基准测试集，仅需单个参数控制，并配套开源生成软件。