解决最小和着色问题:替代模型、精确求解器和元启发式算法

IF 2.3 4区 计算机科学 Q3 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS
Yu Du, Fred Glover, Gary Kochenberger, Rick Hennig, Haibo Wang, Amit Hulandageri
{"title":"解决最小和着色问题:替代模型、精确求解器和元启发式算法","authors":"Yu Du, Fred Glover, Gary Kochenberger, Rick Hennig, Haibo Wang, Amit Hulandageri","doi":"10.1287/ijoc.2022.0334","DOIUrl":null,"url":null,"abstract":"<p>The minimum sum coloring problem (MSCP), a well-known NP-hard (nondeterministic polynomial time) problem with important practical applications, has been the subject of several papers in recent years. Because of the computational challenge posed by these problems, most solution methods employed are metaheuristics designed to find high-quality solutions with no guarantee of optimality. Exact methods (like Gurobi) and metaheuristic solvers have greatly improved in recent years, enabling high-quality and often optimal solutions to be found to a growing set of MSCPs. Alternative model forms can have a significant impact on the success of exact and heuristic methods in such settings, often providing enhanced performance compared with traditional model forms. In this paper, we introduce several alternative models for MSCP, including the quadratic unconstrained binary problem plus (QUBO-Plus) model for solving problems with constraints that are not folded into the objective function of the basic quadratic unconstrained binary problem (QUBO) model. We provide a computational study using a standard set of test problems from the literature that compares the general purpose exact solver from Gurobi with the leading QUBO metaheuristic solver NGQ and a special solver called Q-Card that belongs to the QUBO-Plus class. Our results highlight the effectiveness of the QUBO and QUBO-Plus models when solved with these metaheuristic solvers on this test bed, showing that the QUBO-Plus solver Q-Card provides the best performance for finding high-quality solutions to these important problems.</p><p><b>History:</b> Accepted by Pascal Van Hentenryck, Area Editor for Computational Modeling: Methods &amp; Analysis.</p><p><b>Supplemental Material:</b> The software that supports the findings of this study is available within the paper and its Supplemental Information (https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0334) as well as from the IJOC GitHub software repository (https://github.com/INFORMSJoC/2022.0334). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/.</p>","PeriodicalId":13620,"journal":{"name":"Informs Journal on Computing","volume":"77 1","pages":""},"PeriodicalIF":2.3000,"publicationDate":"2024-05-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Solving the Minimum Sum Coloring Problem: Alternative Models, Exact Solvers, and Metaheuristics\",\"authors\":\"Yu Du, Fred Glover, Gary Kochenberger, Rick Hennig, Haibo Wang, Amit Hulandageri\",\"doi\":\"10.1287/ijoc.2022.0334\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>The minimum sum coloring problem (MSCP), a well-known NP-hard (nondeterministic polynomial time) problem with important practical applications, has been the subject of several papers in recent years. Because of the computational challenge posed by these problems, most solution methods employed are metaheuristics designed to find high-quality solutions with no guarantee of optimality. Exact methods (like Gurobi) and metaheuristic solvers have greatly improved in recent years, enabling high-quality and often optimal solutions to be found to a growing set of MSCPs. Alternative model forms can have a significant impact on the success of exact and heuristic methods in such settings, often providing enhanced performance compared with traditional model forms. In this paper, we introduce several alternative models for MSCP, including the quadratic unconstrained binary problem plus (QUBO-Plus) model for solving problems with constraints that are not folded into the objective function of the basic quadratic unconstrained binary problem (QUBO) model. We provide a computational study using a standard set of test problems from the literature that compares the general purpose exact solver from Gurobi with the leading QUBO metaheuristic solver NGQ and a special solver called Q-Card that belongs to the QUBO-Plus class. Our results highlight the effectiveness of the QUBO and QUBO-Plus models when solved with these metaheuristic solvers on this test bed, showing that the QUBO-Plus solver Q-Card provides the best performance for finding high-quality solutions to these important problems.</p><p><b>History:</b> Accepted by Pascal Van Hentenryck, Area Editor for Computational Modeling: Methods &amp; Analysis.</p><p><b>Supplemental Material:</b> The software that supports the findings of this study is available within the paper and its Supplemental Information (https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0334) as well as from the IJOC GitHub software repository (https://github.com/INFORMSJoC/2022.0334). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/.</p>\",\"PeriodicalId\":13620,\"journal\":{\"name\":\"Informs Journal on Computing\",\"volume\":\"77 1\",\"pages\":\"\"},\"PeriodicalIF\":2.3000,\"publicationDate\":\"2024-05-30\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Informs Journal on Computing\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1287/ijoc.2022.0334\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Informs Journal on Computing","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1287/ijoc.2022.0334","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
引用次数: 0

摘要

最小和着色问题(MSCP)是一个著名的 NP-hard(非确定性多项式时间)问题,具有重要的实际应用价值。由于这些问题对计算提出了挑战,因此采用的大多数求解方法都是元启发式方法,旨在找到高质量的解,但不能保证最优。近年来,精确方法(如 Gurobi)和元启发式求解器都有了很大改进,可以为越来越多的 MSCPs 找到高质量且通常是最优的解决方案。在这种情况下,替代模型形式会对精确方法和启发式方法的成功产生重大影响,与传统模型形式相比,它们往往能提供更高的性能。在本文中,我们介绍了 MSCP 的几种替代模型,包括二次无约束二元问题加(QUBO-Plus)模型,用于解决带有未折叠到基本二次无约束二元问题(QUBO)模型目标函数中的约束条件的问题。我们利用文献中的一组标准测试问题进行了计算研究,比较了 Gurobi 的通用精确求解器和领先的 QUBO 元启发式求解器 NGQ 以及属于 QUBO-Plus 类别的名为 Q-Card 的特殊求解器。我们的结果凸显了在该测试平台上使用这些元启发式求解器求解QUBO和QUBO-Plus模型时的有效性,表明QUBO-Plus求解器Q-Card为这些重要问题找到高质量解决方案提供了最佳性能:由计算建模领域编辑 Pascal Van Hentenryck 接受:补充材料:支持本研究结果的软件可从论文及其补充信息 (https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0334) 以及 IJOC GitHub 软件库 (https://github.com/INFORMSJoC/2022.0334) 中获取。完整的 IJOC 软件和数据资源库可从 https://informsjoc.github.io/ 获取。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Solving the Minimum Sum Coloring Problem: Alternative Models, Exact Solvers, and Metaheuristics

The minimum sum coloring problem (MSCP), a well-known NP-hard (nondeterministic polynomial time) problem with important practical applications, has been the subject of several papers in recent years. Because of the computational challenge posed by these problems, most solution methods employed are metaheuristics designed to find high-quality solutions with no guarantee of optimality. Exact methods (like Gurobi) and metaheuristic solvers have greatly improved in recent years, enabling high-quality and often optimal solutions to be found to a growing set of MSCPs. Alternative model forms can have a significant impact on the success of exact and heuristic methods in such settings, often providing enhanced performance compared with traditional model forms. In this paper, we introduce several alternative models for MSCP, including the quadratic unconstrained binary problem plus (QUBO-Plus) model for solving problems with constraints that are not folded into the objective function of the basic quadratic unconstrained binary problem (QUBO) model. We provide a computational study using a standard set of test problems from the literature that compares the general purpose exact solver from Gurobi with the leading QUBO metaheuristic solver NGQ and a special solver called Q-Card that belongs to the QUBO-Plus class. Our results highlight the effectiveness of the QUBO and QUBO-Plus models when solved with these metaheuristic solvers on this test bed, showing that the QUBO-Plus solver Q-Card provides the best performance for finding high-quality solutions to these important problems.

History: Accepted by Pascal Van Hentenryck, Area Editor for Computational Modeling: Methods & Analysis.

Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information (https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2022.0334) as well as from the IJOC GitHub software repository (https://github.com/INFORMSJoC/2022.0334). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Informs Journal on Computing
Informs Journal on Computing 工程技术-计算机:跨学科应用
CiteScore
4.20
自引率
14.30%
发文量
162
审稿时长
7.5 months
期刊介绍: The INFORMS Journal on Computing (JOC) is a quarterly that publishes papers in the intersection of operations research (OR) and computer science (CS). Most papers contain original research, but we also welcome special papers in a variety of forms, including Feature Articles on timely topics, Expository Reviews making a comprehensive survey and evaluation of a subject area, and State-of-the-Art Reviews that collect and integrate recent streams of research.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信