弗朗索瓦·马戈特 利用对称ILP中的轨道。 （英语） Zbl 1082.90070 数学。程序。 98，第1-3（B）号，3-21（2003）. 摘要：本文描述了用于求解具有大型对称群的整数线性规划的分枝切割算法的组成部分。它描述了使用对称群轨道的同构剪枝算法和变量设置过程。修剪和轨道计算通过回溯程序执行，使用Schreier-Sims表表示对称组。给出了它在硬集覆盖问题、覆盖设计生成和纠错码生成中的应用。 引用于1审查引用于60文件 MSC公司： 90立方厘米 整数编程 90C57型 多面体组合学，分支与绑定，分支与切割 90C08型 线性规划的特殊问题（运输、多指标、数据包络分析等） 关键词：分支和切割；同构修剪；对称性 软件：鹦鹉螺 PDF格式BibTeX公司 XML格式引用 \textit{F.Margot}，数学。程序。98，编号1--3（B），3--21（2003；Zbl 1082.90070） 全文： 内政部