A graph G is uniquely K r -saturated if it contains no clique with r vertices and if for all edges e in the complement, G + e has a unique clique with r vertices. Previously, few examples of uniquely K r -saturated graphs were known, and little was known about their properties. We search for these graphs by adapting orbital branching, a technique originally developed for symmetric integer linear programs. We find several new uniquely K r -saturated graphs with 4 ≤ r ≤ 7, as well as two new infinite families based on Cayley graphs for Z n with a small number of generators.
IntroductionA graph G is uniquely H-saturated if there is no subgraph of G isomorphic to H, and for all edges e in the complement of G there is a unique subgraph in G + e isomorphic to H 4 . Uniquely Hsaturated graphs were introduced by Cooper, Lenz, LeSaulnier, Wenger, and West [9] where they classified uniquely C k -saturated graphs for k ∈ {3, 4}; in each case there is a finite number of graphs. Wenger [26,27] classified the uniquely C 5 -saturated graphs and proved that there do not exist any uniquely C k -saturated graphs for k ∈ {6, 7, 8}.In this paper, we focus on the case where H = K r , the complete graph of order r. Usually K r is the first graph considered for extremal and saturation problems. However, we find that classifying all uniquely K r -saturated graphs is far from trivial, even in the case that r = 4.Previously, few examples of uniquely K r -saturated graphs were known, and little was known about their properties. We adapt the computational technique of orbital branching into the graph theory setting to search for uniquely K r -saturated graphs. Orbital branching was originally introduced by Ostrowski, Linderoth, Rossi, and Smriglio [20] to solve symmetric integer programs. We further extend the technique to use augmentations which are customized to this problem. By executing this search, we found several new uniquely K r -saturated graphs for r ∈ {4, 5, 6, 7} and we provide constructions of these graphs to understand their structure. One of the graphs we discovered is a Cayley graph, which led us to design a search for Cayley graphs which are uniquely K r -saturated. Motivated by these search results, we construct two new infinite families of uniquely K r -saturated Cayley graphs.Erdős, Hajnal, and Moon [10] studied the minimum number of edges in a K r -saturated graph. They proved that the only extremal examples are the graphs formed by adding r − 2 dominating vertices to an independent set; these graphs are also uniquely K r -saturated. However, if G is uniquely K r -saturated and has a dominating vertex, then deleting that vertex results in a uniquely K r−1 -saturated graph. To avoid the issue of dominating vertices, we define a graph to be r-primitive if it is uniquely K r -saturated and has no dominating vertex. Understanding which r-primitive graphs exist is fundamental to characterizing uniquely K r -saturated graphs.Since K 3 ∼ = C 3 , the uniquely K 3 -saturated graphs were proven by Cooper et al.[9] to be stars an...