DeepAI AI Chat
Log In Sign Up

Fast Diameter Computation within Split Graphs

by   Guillaume Ducoffe, et al.

When can we compute the diameter of a graph in quasi linear time? We address this question for the class of 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 a split graph in less than quadratic time. Therefore it is worth to study the complexity of diameter computation on subclasses of split graphs, in order to better understand the complexity border. Specifically, we consider the split graphs with bounded 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 VC-dimension and the 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 = O(1), and even in quasi linear time if k = o(log n) and in addition a corresponding ordering is given. However, under SETH this cannot be done in truly subquadratic time for any k = ω(log n). ∙ For the complements of k-clique-interval split graphs, we can compute their diameter in truly subquadratic time if k = O(1), and even in time O(km) if a corresponding ordering 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.


page 1

page 2

page 3

page 4


A story of diameter, radius and Helly property

A graph is Helly if every family of pairwise intersecting balls has a no...

Around the diameter of AT-free graphs

A graph algorithm is truly subquadratic if it runs in O(m^b) time on con...

Obstructions to faster diameter computation: Asteroidal sets

An extremity is a vertex such that the removal of its closed neighbourho...

On tradeoffs between width- and fill-like graph parameters

In this work we consider two two-criteria optimization problems: given a...

Beyond Helly graphs: the diameter problem on absolute retracts

Characterizing the graph classes such that, on n-vertex m-edge graphs in...

Automorphism Group of Marked Interval Graphs in FPT

An interval graph is the intersection graph of a set of intervals on the...

Characterization and Linear-time Recognition of Paired Threshold Graphs

In a paired threshold graph, each vertex has a weight, and two vertices ...