Strengthening the Murty-Simon conjecture on diameter 2 critical graphs

by   Antoine Dailly, et al.

A graph is diameter-2-critical if its diameter is 2 but the removal of any edge increases the diameter. A well-studied conjecture, known as the Murty-Simon conjecture, states that any diameter-2-critical graph of order n has at most n^2/4 edges, with equality if and only if G is a balanced complete bipartite graph. Many partial results about this conjecture have been obtained, in particular it is known to hold for all sufficiently large graphs, for all triangle-free graphs, and for all graphs with a dominating edge. In this paper, we discuss ways in which this conjecture can be strengthened. Extending previous conjectures in this direction, we conjecture that, when we exclude the class of complete bipartite graphs and one particular graph, the maximum number of edges of a diameter-2-critical graph is at most ((n -- 1)^2/4) + 1. The family of extremal examples is conjectured to consist of certain twin-expansions of the 5-cycle (with the exception of a set of thirteen special small graphs). Our main result is a step towards our conjecture: we show that the Murty-Simon bound is not tight for non-bipartite diameter-2-critical graphs that have a dominating edge, as they have at most (n^2/4) -- 2 edges. Along the way, we give a shorter proof of the Murty-Simon conjecture for this class of graphs, and stronger bounds for more specific cases. We also characterize diameter-2-critical graphs of order n with maximum degree n -- 2: they form an interesting family of graphs with a dominating edge and 2n -- 4 edges.


page 1

page 2

page 3

page 4


Cop number of 2K_2-free graphs

We prove that the cop number of a 2K_2-free graph is at most 2 if it has...

A polynomial version of Cereceda's conjecture

Let k and d be such that k > d+2. Consider two k-colourings of a d-degen...

Tuza's Conjecture for Threshold Graphs

Tuza famously conjectured in 1981 that in a graph without k+1 edge-disjo...

Digraph redicolouring

Given two k-dicolourings of a digraph D, we prove that it is PSPACE-comp...

Max-Cut in Degenerate H-Free Graphs

We obtain several lower bounds on the Max-Cut of d-degenerate H-free gra...

Multi-transversals for Triangles and the Tuza's Conjecture

In this paper, we study a primal and dual relationship about triangles: ...

A Formal Disproof of the Hirsch Conjecture

The purpose of this paper is the formal verification of a counterexample...

Please sign up or login with your details

Forgot password? Click here to reset