ICS35.240.01
CCSL67
团体标准
T/ZSA266-2024
CPU并行整数线性规划求解器
CPUparallelintegerlinearprogrammingsolver
2024-11-21发布2024-11-22实施
中关村标准化协会发布
T/ZSA266-2024
目次
前言II
1范围1
2术语和定义1
3技术要求1
3.1可行解生成能力1
3.2高质量解生成能力2
3.3输入输出支持能力2
3.4问题规模支持能力3
3.5误差控制能力3
4测试方法3
4.1测试环境3
4.2可行解生成能力测试4
4.3高质量解生成能力测试4
4.4输入输出支持能力测试4
4.5问题规模支持能力测试4
4.6误差控制能力测试4
5检测结果4
附录A（资料性）测试实例最优已知解5
附录B（规范性）测试实例7
参考文献9
I
T/ZSA266-2024
前言
本文件按照GB/T1.1—2020《标准化工作导则第1部分：标准化文件的结构和起草规则》的规定
起草。
本文件由中关村标准化协会人工智能分技术委员会提出并归口。
本文件起草单位：晞德求索（北京）科技有限公司、北京航空航天大学、吉林大学、东北师范大学、
上海久章智能科技有限公司、中关村标准化协会。
本文件主要起草人：林锦坤、罗川、张立明、王艺源、张新杰、慕超。
II
T/ZSA266-2024
CPU并行整数线性规划求解器
1范围
本文件规定了CPU并行整数线性规划求解器的技术要求和测试方法。
本文件适用于需要利用CPU多核特性来有效求解大规模整数线性规划问题的软件工具（以下简称
“求解器”）的设计、开发及验收。
2术语和定义
下列术语和定义适用于本文件。
2.1
整数线性规划问题integerlinearprogrammingproblem
一种优化问题，其目标是最大化或最小化线性目标函数，同时满足一组线性约束条件，且所有变量
都限制为整数值。
2.2
CPU并行整数线性规划求解器CPUparallelintegerlinearprogrammingsolver
一种利用CPU的多核和多线程能力来加速整数线性规划问题求解的软件工具。
2.3
可行解feasiblesolution
在整数线性规划问题中，满足所有约束条件的解。
2.4
高质量解highqualitysolution
在整数线性规划问题中，目标函数接近最优的可行解。
3技术要求
3.1可行解生成能力
可行解生成能力为在有限的时间内找到可