On the Prevalence of Bridge Graphs Among Non-3-Connected Cubic Non-Hamiltonian Graphs

08/28/2019 ∙ by Rishi Advani, et al. ∙ cornell university 0

There is empirical evidence supporting the claim that almost all cubic non-Hamiltonian graphs are bridge graphs. In this paper, we pose a related conjecture and prove that the original claim holds for non-3-connected graphs if the conjecture is true.

READ FULL TEXT VIEW PDF
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

1. Introduction

Every mention of a graph from here on is referring to a connected undirected graph with no self loops and at most one edge between any pair of vertices.

In 2010, Filar, Haythorpe, and Nguyen conjectured that almost all cubic non-Hamiltonian graphs are bridge graphs [1]. In their paper, Filar et al. note that all cubic bridge graphs are non-Hamiltonian. It is straightforward to check if a graph is bridge in polynomial time. If the conjecture is true, if we checked a graph for a bridge and found none, we could be confident that the graph was Hamiltonian. In this paper, we will analyze a subset of the graphs considered in the original conjecture, and provide further evidence for it.

2. Definitions

A cubic graph is one where every vertex is connected to exactly 3 other vertices. A cycle is a sequence of distinct vertices , such that is connected to and for all , , , is connected to . A Hamiltonian cycle is a cycle that contains all the vertices in the graph. A Hamiltonian graph is one that has a Hamiltonian cycle. The Hamiltonian Cycle Problem is the problem of determining whether a given graph has a Hamiltonian cycle. A bridge is an edge whose removal would disconnect the graph. A bridge graph is a graph containing at least one bridge. A biconnected graph is a nonbridge graph in which there exists an edge whose removal would cause the graph to become bridge. A bi-bridge is a set of two edges in a biconnected graph whose removal disconnect the graph. An induced subgraph of a graph is a graph consisting of a specified subset of the nodes and all the edges whose endpoints are both in the subset.

3. Bridge Construction

Take any biconnected cubic graph . Find the bi-bridge that most evenly partitions the nodes of the graph into two sets. If there is more than one such bi-bridge, arbitrarily pick one.

Let be the induced subgraph of that has more distinct edges in cycles. Two edges are distinct if there does not exist a graph automorphism that maps each edge to the other.

We perform the following construction to obtain a unique bridge graph (note that it is not yet cubic):

Blue nodes denote new nodes added in the construction. ‘X’s denote edges removed during the construction. The dotted line denotes the partition between the two parts of the graph separated by the bi-bridge.

Let be the induced subgraph of created by splitting the graph by removing the bridge, and picking the side that corresponds to .

4. Mapping

Pick the node in whose corresponding node in is incident to the bridge. Let us denote it as . Every node in is at some distance from . Let be the maximum distance possible in .

Lemma 4.1.

There are at least distinct edges in .

Proof.

If a node has distance , its neighbors must have distances , , or . If a neighbor had distance less than , this would be a contradiction because could reach faster via . If has distance greater than , it could reach faster via .

Furthermore, any minimal path from to must go through one of its neighbors, so the distance of one of those neighbors must be .

If an edge joins a node of distance and a node of distance , we say that edge facilitates a distance .

For each , there exists at least one node with distance . That node has a neighbor of distance , so it is incident to an edge that facilitates a distance . Two edges that facilitate different distances must be distinct. Therefore, there are at least distinct edges. ∎

Lemma 4.2.

Every edge in is in a cycle.

Proof.

If there exists a bridge in , splitting the graph would either leave the nodes that were incident to the bi-bridge on the same side or on different sides.

If they were on the same side, the same edge would be a bridge in , which is a contradiction since is biconnected.

If they were on different sides, one of the three new edges added in the construction (excluding the edge that is already known to be a bridge) is a bridge. If we remove any of these, is an induced subgraph of the resulting graph. This is a contradiction, since is a connected graph. Thus, is nonbridge, which implies that every edge is in a cycle. ∎

Theorem 4.3.

For sufficiently large, we can generate arbitrarily many unique cubic bridge graphs of size from biconnected cubic graphs of size .

Proof.

To maximize the number of nodes in a graph with a certain maximal distance, the nodes must be arranged in a tree. As the number of nodes increase, the height of the tree increases correspondingly. By Lemmas 4.1 and 4.2, there are at least distinct edges in cycles in . Thus, the number of distinct edges in cycles in post-construction graphs increases without bound.

Our post-construction graphs still have two nodes with degree 2. To remedy this, for each distinct edge in a cycle, we will remove it and join its endpoints to the aforementioned two nodes. The choice of which node is joined to which endpoint is arbitrary. The resulting graph is cubic and bridge. It is guaranteed to be connected since the edge we removed was part of a cycle. Furthermore, the part of the graph corresponding to is nonbridge because any cycle that used the removed edge can now use the new nodes from the construction.

For every biconnected cubic graph, we are able to construct cubic bridge graphs that are all unique from each other and unique from analogous bridge graphs constructed from different biconnected graphs. ∎

5. Reduction of Size

The next step is to find a way to generate bridge graphs of size from the graphs of size .

Let denote the resulting graph after performing a ‘cycle insertion’ on . Let be the number of distinct edges in cycles in the graph.

Now create an induced subgraph by taking the nodes of closest to (including ). Then remove all nodes of maximal distance, and denote the resulting induced subgraph as .

We have the following cases for the structure of :

Isolated Triangles:

If there exists a triangle, such that it does not share an edge with another triangle, then we can ‘reduce’ the triangle. We remove the triangle, and replace it with a new node, joining it to all the external neighbors of the vertices of the triangle. The resulting overall graph has nodes, and is still connected, bridge, and cubic. No node’s distance has increased after the construction.

Adjacent Triangles:

If there exists at least one triangle, but every triangle share an edge with another triangle, we take a pair of adjacent triangles, and remove them from the graph. If the two edges leaving the component are incident to the same node, the third edge incident to that node would be a bridge. This is a contradiction, since is nonbridge. Thus, the two edges leaving the component must be incident to different nodes.

After we removed the pair of adjacent triangles, the two external nodes to which it leads have degree 2. To remedy this, we add a new node to the graph and join both nodes to it. Now the nodes are guaranteed to be connected again. We add another node and join the two new nodes together. Finally, we perform a cycle insertion with any arbitrary edge and the second new node. The resulting overall graph has nodes, and is connected, bridge, and cubic. No node’s distance has increased after the construction.

No Triangles:

If there are no triangles, then we have two subcases. If there exists an edge that joins two nodes of the same distance from , then we can do the following:

The resulting graph is connected, bridge, and cubic. Since the removed edge did not facilitate any distance, it was not necessary for any path to for any node. Thus, no remaining node’s distance has increased after the construction.

We discuss the second subcase later in the paper.

If we apply the two-node removal twice, we will have successfully removed four nodes. However, we have to account for the fact that the resulting graphs are not necessarily unique. First of all, the three cases could generate identical graphs, so we have to include a constant multiplier of 3x. Second, we cannot uniquely identify generating graphs from the post-construction resulting graphs. All we know is that the removed nodes were in the subgraph . We can use the size of to bound the amount of possible duplication. Finally, in the ‘No Triangles’ case, every pair of edges has to be considered when trying to recover the generating graph, as opposed to just creating a triangle out of every node as in the ‘Isolated Triangles’ case.

6. Analysis

When we account for the loss of uniqueness that takes place during the removal stage, we end up with a gain on the order of , where is the number of distinct edges in cycles in . Equivalently, for each biconnected cubic graph of size , we can generate an amount of cubic bridge graphs of size on the order of . As grows larger, similarly grows larger without bound, so we are able to generate arbitrarily many graphs for sufficiently large .

However, we have not yet accounted for the second subcase of the ‘No Triangles‘ case in the previous section. If the graph has no triangles, then it is a complete tree. If we can sufficiently limit the size of the set of graphs in this subcase, then we can guarantee that we can generate arbitrarily many bridge graphs from biconnected graphs for large .

We now pose a conjecture and state our final result:

Conjecture 6.1.

For large , there exists an injection from the set of cubic bridge graphs of size with a complete tree of size in the range rooted at the bridge to the set of cubic bridge graphs of size .

Theorem 6.2.

If Conjecture 6.1 holds, then almost all non-3-connected cubic non-Hamiltonian graphs are bridge graphs.

References

  • [1] Filar, Jerzy, et al. “A Conjecture on the Prevalence of Cubic Bridge Graphs.” Discussiones Mathematicae Graph Theory, vol. 30, no. 1, 8 Mar. 2010, p. 175., doi:10.7151/dmgt.1485.