KIT | KIT-Bibliothek | Impressum | Datenschutz

Targeted Branching for the Maximum Independent Set Problem Using Graph Neural Networks

Langedal, Kenneth; Hespe, Demian ORCID iD icon 1; Sanders, Peter ORCID iD icon 1
1 Institut für Theoretische Informatik (ITI), Karlsruher Institut für Technologie (KIT)

Abstract:

Identifying a maximum independent set is a fundamental NP-hard problem. This problem has several real-world applications and requires finding the largest possible set of vertices not adjacent to each other in an undirected graph. Over the past few years, branch-and-bound and branch-and-reduce algorithms have emerged as some of the most effective methods for solving the problem exactly. Specifically, the branch-and-reduce approach, which combines branch-and-bound principles with reduction rules, has proven particularly successful in tackling previously unmanageable real-world instances. This progress was largely made possible by the development of more effective reduction rules. Nevertheless, other key components that can impact the efficiency of these algorithms have not received the same level of interest. Among these is the branching strategy, which determines which vertex to branch on next. Until recently, the most widely used strategy was to choose the vertex of the highest degree. In this work, we present a graph neural network approach for selecting the next branching vertex. The intricate nature of current branch-and-bound solvers makes supervised and reinforcement learning difficult. ... mehr


Verlagsausgabe §
DOI: 10.5445/IR/1000173352
Veröffentlicht am 13.08.2024
Originalveröffentlichung
DOI: 10.4230/lipics.sea.2024.20
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2024
Sprache Englisch
Identifikator ISBN: 978-3-9597732-5-6
ISSN: 1868-8969
KITopen-ID: 1000173352
Erschienen in 22nd International Symposium on Experimental Algorithms (SEA 2024)
Veranstaltung 22nd International Symposium on Experimental Algorithms (SEA 2024), Wien, Österreich, 23.07.2024 – 26.07.2024
Verlag Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI)
Seiten 20:1-20:21
Serie Leibniz International Proceedings in Informatics (LIPIcs) ; 301
Schlagwörter Graphs, Independent Set, Vertex Cover, Graph Neural Networks, Branch-and-Reduce, Mathematics of computing → Graph algorithms, Computing methodologies → Neural networks
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page