Lal Bahadur Shastri Airport

新的优化技术解决了人类-AI文本分离问题

研究人员开发了新的优化技术来解决最小红蓝分离集问题（MRBSSP），该问题源于计算几何。该研究引入了一种紧凑的集合覆盖整数线性规划（ILP）公式、预处理规则、一种GRASP算法以及两种精确方法：基于逻辑的Benders分解（LBBD）和一种新颖的Branch-and-Benders-Cut（BBC）方法。在随机图上的实验表明，ILP提供了最佳可行解，LBBD提供了最强的下界，而BBC最常证明最优性。此外，该研究将这些方法应用于区分人类…