Fast Diameter Computation within Split Graphs

Guillaume Ducoffe,Michel Habib,Laurent Viennot

DOI: https://doi.org/10.46298/dmtcs.6422

2021-11-02

Abstract:When can we compute the diameter of a graph in quasi linear time? We address this question for the class of {\em split graphs}, that we observe to be the hardest instances for deciding whether the diameter is at most two. We stress that although the diameter of a non-complete split graph can only be either $2$ or $3$, under the Strong Exponential-Time Hypothesis (SETH) we cannot compute the diameter of an $n$-vertex $m$-edge split graph in less than quadratic time -- in the size $n+m$ of the input. Therefore it is worth to study the complexity of diameter computation on {\em subclasses} of split graphs, in order to better understand the complexity border. Specifically, we consider the split graphs with bounded {\em clique-interval number} and their complements, with the former being a natural variation of the concept of interval number for split graphs that we introduce in this paper. We first discuss the relations between the clique-interval number and other graph invariants such as the classic interval number of graphs, the treewidth, the {\em VC-dimension} and the {\em stabbing number} of a related hypergraph. Then, in part based on these above relations, we almost completely settle the complexity of diameter computation on these subclasses of split graphs: - For the $k$-clique-interval split graphs, we can compute their diameter in truly subquadratic time if $k={\cal O}(1)$, and even in quasi linear time if $k=o(\log{n})$ and in addition a corresponding ordering of the vertices in the clique is given. However, under SETH this cannot be done in truly subquadratic time for any $k = \omega(\log{n})$. - For the {\em complements} of $k$-clique-interval split graphs, we can compute their diameter in truly subquadratic time if $k={\cal O}(1)$, and even in time ${\cal O}(km)$ if a corresponding ordering of the vertices in the stable set is given. Again this latter result is optimal under SETH up to polylogarithmic factors. Our findings raise the question whether a $k$-clique interval ordering can always be computed in quasi linear time. We prove that it is the case for $k=1$ and for some subclasses such as bounded-treewidth split graphs, threshold graphs and comparability split graphs. Finally, we prove that some important subclasses of split graphs -- including the ones mentioned above -- have a bounded clique-interval number.

Data Structures and Algorithms,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to quickly calculate the diameter in split graphs. Specifically, the authors explore under which circumstances the diameter of a graph can be calculated in quasi - linear time. The paper pays special attention to a subclass of split graphs - split graphs with a finite clique - interval number and their complementary graphs, and studies the complexity of diameter calculation in these subclasses.

### Background and Motivation

Calculating the diameter of a graph (i.e., the length of the longest shortest path in the graph) is a fundamental and classic problem widely used in computer science and other fields. However, traditional algorithms have a time complexity of \(O(nm)\) when calculating the diameter of a graph with \(n\) vertices and \(m\) edges. For large graphs (such as graphs containing millions of nodes), this time complexity is too high. Research shows that for general graphs, an algorithm that breaks this quadratic - time barrier may not exist, because this would lead to more efficient algorithms for certain discrete set problems and would violate the Strong Exponential Time Hypothesis (SETH).

### Research Questions

Therefore, the main research questions in this paper are:
- **When can the diameter of a split graph be calculated in linear or quasi - linear time?**
- **What is the complexity of diameter calculation for split graphs with a finite clique - interval number and their complementary graphs?**

### Main Contributions

1. **The concept of clique - interval number**: A new graph invariant - the clique - interval number - is introduced. For any \(k\geq1\), if there is a total order \(\tau\) of the cliques of a split graph such that the neighborhood sets of the vertices in each stable set consist of at most \(k\) intervals in \(\tau\), then the split graph is called a \(k\)-clique - interval graph.

2. **Complexity of diameter calculation**:
- For a \(k\)-clique - interval split graph, if \(k = o(\log n)\) and the total order of the cliques is given, its diameter can be calculated in quasi - linear time.
- If \(k=\omega(\log n)\), then under the SETH hypothesis, its diameter cannot be calculated in sub - quadratic time.
- For the complementary graph of a \(k\)-clique - interval split graph, if \(k = O(1)\) and the total order of the stable sets is given, its diameter can be calculated in \(O(km)\) time.

3. **Algorithm implementation**: By using the \(k\)-range tree data structure, an efficient algorithm is proposed to calculate the diameter of a \(k\)-clique - interval split graph.

### Conclusion

This paper conducts an in - depth study on the complexity of diameter calculation in split graphs by introducing the concept of clique - interval number, and provides a series of new results and algorithms. These results not only enrich the research in graph theory and computational geometry, but also provide theoretical support for graph diameter calculation in practical applications. In particular, for split graphs with a finite clique - interval number, this paper provides a quasi - linear - time algorithm, which significantly improves the calculation efficiency.