Variable Neighborhood Search for Extremal Graphs. 24. Conjectures and Results About the Clique Number

A set of vertices S in a graph G is a clique if any two of its vertices are adjacent. The clique number is the maximum cardinality of a clique in G. A series of best possible lower and upper bounds on the difference, sum, ratio or product of and some other common invariants of G were obtained by the system AGX 2, and most of them proved either automatically or by hand. In the present paper, we report on such lower and upper bounds considering, as second invariant, minimum, average and maximum degree, algebraic, node and edge connectivity, index, average distance, remoteness, radius and diameter.