Abstract:Finding a maximum independent set is a fundamental NP-hard problem that is used in many real-world applications. Given an unweighted graph, this problem asks for a maximum cardinality set of pairwise non-adjacent vertices. Some of the most successful algorithms for this problem are based on the branch-and-bound or branch-and-reduce paradigms. In particular, branch-and-reduce algorithms, which combine branch-and-bound with reduction rules, achieved substantial results, solving many previously infeasible instances. These results were to a large part achieved by developing new, more practical reduction rules. However, other components that have been shown to have an impact on the performance of these algorithms have not received as much attention. One of these is the branching strategy, which determines what vertex is included or excluded in a potential solution. The most commonly used strategy selects vertices based on their degree and does not take into account other factors that contribute to the performance. In this work, we develop and evaluate several novel branching strategies for both branch-and-bound and branch-and-reduce algorithms. Our strategies are based on one of two approaches. They either (1) aim to decompose the graph into two or more connected components which can then be solved independently, or (2) try to remove vertices that hinder the application of a reduction rule. Our experiments on a large set of real-world instances indicate that our strategies are able to improve the performance of the state-of-the-art branch-and-reduce algorithms. To be more specific, our reduction-based packing branching rule is able to outperform the default branching strategy of selecting a vertex of highest degree on 65% of all instances tested. Furthermore, our decomposition-based strategy based on edge cuts is able to achieve a speedup of 2.29 on sparse networks (1.22 on all instances).

A Partitioning Algorithm for Maximum Common Subgraph Problems

A Strengthened Branch and Bound Algorithm for the Maximum Common (connected) Subgraph Problem

The Maximum Common Subgraph Problem: A Parallel and Multi-Engine Approach

A Parallel Branch and Bound Algorithm for the Maximum Labelled Clique Problem

The Multi-Maximum and Quasi-Maximum Common Subgraph Problem

Multi-Constraint Graph Partitioning Problems Via Recursive Bipartition Algorithm Based on Subspace Minimization Conjugate Gradient Method

An Effective Branch-and-Bound Algorithm with New Bounding Methods for the Maximum $s$-Bundle Problem

Parallelizing Maximal Clique Enumeration Over Graph Data.

A New Upper Bound Based on Vertex Partitioning for the Maximum K-plex Problem.

A Large-Scale Graph Partition Algorithm with Redundant Multi-Order Neighbor Vertex Storage

Targeted Branching for the Maximum Independent Set Problem

A Vertex Separator-based Algorithm for Hypergraph Bipartitioning.

A genetic approach to the maximum common subgraph problem

Between Subgraph Isomorphism and Maximum Common Subgraph

Enumerating All Maximal Clique-Partitions of an Undirected Graph

The Shape of the Search Tree for the Maximum Clique Problem and the Implications for Parallel Branch and Bound

Partition Independent Set and Reduction-Based Approach for Partition Coloring Problem

A Learning Based Branch and Bound for Maximum Common Subgraph Related Problems.

Recursive-Parallel Algorithm for Solving the Maximum Common Subgraph Problem

Two-Dimensional Balanced Partitioning and Efficient Caching for Distributed Graph Analysis

Highly Connected Graph Partitioning: Exact Formulation and Solution Methods