Abstract:Maximal independent set (MIS), maximal matching (MM), and $(\Delta+1)$-coloring in graphs of maximum degree $\Delta$ are among the most prominent algorithmic graph theory problems. They are all solvable by a simple linear-time greedy algorithm and up until very recently this constituted the state-of-the-art. In SODA 2019, Assadi, Chen, and Khanna gave a randomized algorithm for $(\Delta+1)$-coloring that runs in $\widetilde{O}(n\sqrt{n})$ time, which even for moderately dense graphs is sublinear in the input size. The work of Assadi et al. however contained a spoiler for MIS and MM: neither problems provably admits a sublinear-time algorithm in general graphs. In this work, we dig deeper into the possibility of achieving sublinear-time algorithms for MIS and MM. The neighborhood independence number of a graph $G$, denoted by $\beta(G)$, is the size of the largest independent set in the neighborhood of any vertex. We identify $\beta(G)$ as the ``right'' parameter to measure the runtime of MIS and MM algorithms: Although graphs of bounded neighborhood independence may be very dense (clique is one example), we prove that carefully chosen variants of greedy algorithms for MIS and MM run in $O(n\beta(G))$ and $O(n\log{n}\cdot\beta(G))$ time respectively on any $n$-vertex graph $G$. We complement this positive result by observing that a simple extension of the lower bound of Assadi <a class="link-external link-http" href="http://et.al" rel="external noopener nofollow">this http URL</a>. implies that $\Omega(n\beta(G))$ time is also necessary for any algorithm to either problem for all values of $\beta(G)$ from $1$ to $\Theta(n)$. We note that our algorithm for MIS is deterministic while for MM we use randomization which we prove is unavoidable: any deterministic algorithm for MM requires $\Omega(n^2)$ time even for $\beta(G) = 2$.

Efficient Computation of a Near-Maximum Independent Set over Evolving Graphs

Computing a Near-Maximum Independent Set in Dynamic Graphs

Efficient Weighted Independent Set Computation over Large Graphs.

Towards Computing a Near-Maximum Weighted Independent Set on Massive Graphs

Simple dynamic algorithms for Maximal Independent Set and other problems

Maximizing the Reduction Ability for Near-maximum Independent Set Computation.

Exact Algorithms for Maximum Independent Set

Optimal Neighborhood Exploration for Dynamic Independent Sets

An Adaptive Repeated-Intersection-Reduction Local Search for the Maximum Independent Set Problem

Near-Optimal Deterministic Network Decomposition and Ruling Set, and Improved MIS

A Low-Latency Computing Framework for Time-Evolving Graphs

Querying Maximum Quasi-independent Set by Pay-and-Recycle

A Local Approximation Approach for Processing Time-Evolving Graphs

Index-Based Optimal Algorithms For Computing Steiner Components With Maximum Connectivity

Incrementally Finding the Vertices Absent from the Maximum Independent Sets

Ingress: an automated incremental graph processing system

Incremental Maximal Clique Enumeration for Hybrid Edge Changes in Large Dynamic Graphs

Independent Sets in Elimination Graphs with a Submodular Objective

Automated Discovery of Branching Rules with Optimal Complexity for the Maximum Independent Set Problem

Confining Sets and Avoiding Bottleneck Cases: A Simple Maximum Independent Set Algorithm in Degree-3 Graphs

When Algorithms for Maximal Independent Set and Maximal Matching Run in Sublinear-Time