paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Multi-objective integer programming approaches for solving optimal feature selection problem

求解最优特征选择问题的多目标整数规划方法
ICSE Proceedings of the 40th International Conference on Software Engineering2018匹配度 2/10 · 该论文研究软件产品线中的最优特征选择,属于多目标整数规划/约束优化问题,与用户关注的静态分析、Agentic/LLM 程序分析、浮点程序分析、贝叶斯程序分析等核心方向基本无关。虽然标签涉及逻辑与约束编程,但并未落在 PL 与 AI 交叉或程序分析/形式化验证的核心议题上。引用 45 inbox
Yinxing Xue, Yan-Fu Li
crossref: 2026-09-12

AI 速览

一句话:揭示软件产品线最优特征选择的多目标二值整数线性规划本质,并提出可线性时间生成完整Pareto前沿的高效方法。

本文研究软件产品线中最优特征选择问题。作者首先指出该问题本质上属于多目标二值整数线性规划,而非仅能依赖基于指标的进化算法。随后针对不同规模问题提出三类数学规划方法:小规模(约少于100个特征)采用两种已有方法求全部精确解;中大规模(约多于100个特征)提出一种线性时间复杂度方法,可生成整个Pareto前沿的表示。实验表明,与IBEA及其结合差分进化的改进版IBED相比,所提方法能在相近或更少时间内找到显著更多的非支配解。

问题
软件产品线中如何在满足特征模型约束的同时选择特征,以多目标优化方式获得最优特征组合。
方法
将问题建模为多目标二值整数线性规划,并针对小规模和中大规模分别采用精确求解方法与线性时间Pareto前沿生成方法。
评估
与IBEA及IBED进行实证对比,考察非支配解数量与运行时间。
原文摘要(Abstract)

The optimal feature selection problem in software product line is typically addressed by the approaches based on Indicator-based Evolutionary Algorithm (IBEA). In this study we first expose the mathematical nature of this problem --- multi-objective binary integer linear programming. Then, we implement/propose three mathematical programming approaches to solve this problem at different scales. For small-scale problems (roughly less than 100 features), we implement two established approaches to find all exact solutions. For medium-to-large problems (roughly, more than 100 features), we propose one efficient approach that can generate a representation of the entire Pareto front in linear time complexity. The empirical results show that our proposed method can find significantly more non-dominated solutions in similar or less execution time, in comparison with IBEA and its recent enhancement (i.e., IBED that combines IBEA and Differential Evolution).

链接与引用

DOI 原文 ·

BibTeX
@inproceedings{paperbot4459,
  title = {Multi-objective integer programming approaches for solving optimal feature selection problem},
  author = {Yinxing Xue and Yan-Fu Li},
  booktitle = {ICSE},
  year = {2018},
  doi = {10.1145/3180155.3180257}
}