{"title":"A polytime preprocess algorithm for the maximum independent set problem","authors":"Samuel Kroger, Hamidreza Validi, Illya V. Hicks","doi":"10.1007/s11590-023-02076-8","DOIUrl":null,"url":null,"abstract":"<p>The maximum independent set (MIS) seeks to find a subset of vertices with the maximum size such that no pair of its vertices are adjacent. This paper develops a recursive fixing procedure that generalizes the existing polytime algorithm to solve the maximum independent set problem on chordal graphs, which admit simplicial orderings. We prove that the generalized fixing procedure is safe; i.e., it does not remove all optimal solutions of the MIS problem from the solution space. Our computational results show that the proposed recursive fixing algorithm, along with the basic mixed integer programming (MIP) of the MIS, outperforms the pure MIP formulation of the problem. Our codes, data, and results are available on GitHub.</p>","PeriodicalId":49720,"journal":{"name":"Optimization Letters","volume":"23 1","pages":""},"PeriodicalIF":1.3000,"publicationDate":"2023-11-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Optimization Letters","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11590-023-02076-8","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0
Abstract
The maximum independent set (MIS) seeks to find a subset of vertices with the maximum size such that no pair of its vertices are adjacent. This paper develops a recursive fixing procedure that generalizes the existing polytime algorithm to solve the maximum independent set problem on chordal graphs, which admit simplicial orderings. We prove that the generalized fixing procedure is safe; i.e., it does not remove all optimal solutions of the MIS problem from the solution space. Our computational results show that the proposed recursive fixing algorithm, along with the basic mixed integer programming (MIP) of the MIS, outperforms the pure MIP formulation of the problem. Our codes, data, and results are available on GitHub.
期刊介绍:
Optimization Letters is an international journal covering all aspects of optimization, including theory, algorithms, computational studies, and applications, and providing an outlet for rapid publication of short communications in the field. Originality, significance, quality and clarity are the essential criteria for choosing the material to be published.
Optimization Letters has been expanding in all directions at an astonishing rate during the last few decades. New algorithmic and theoretical techniques have been developed, the diffusion into other disciplines has proceeded at a rapid pace, and our knowledge of all aspects of the field has grown even more profound. At the same time one of the most striking trends in optimization is the constantly increasing interdisciplinary nature of the field.
Optimization Letters aims to communicate in a timely fashion all recent developments in optimization with concise short articles (limited to a total of ten journal pages). Such concise articles will be easily accessible by readers working in any aspects of optimization and wish to be informed of recent developments.