Radiance Research AcademyInternational Journal of Current Research and Review2231-21960975-52410507EnglishN2013April18General SciencesA STUDY ON HAMILTONIAN CYCLES
English2533N. VedavathiEnglish Dharmaiah GurramEnglishA graph G is Hamiltonian if it has a spanning cycle. The problem of determining if a graph is Hamiltonian is well known to be NP-complete. While there are several necessary conditions for Hamiltonicity, the search continues for sufficient conditions. In their paper, ?On Smallest Non-Hamiltonian Regular Tough Graphs? (Congressus Numerantium 70), Bauer, Broersma, and Veldman stated, without a formal proof, that all 4-regular, 2-connected, 1-tough graphs on fewer than 18 nodes are Hamiltonian. They also demonstrated that this result is best possible. Following a brief survey of some sufficient conditions for Hamiltonicity, Bauer, Broersma, and Veldman?s result is demonstrated to be true for graphs on fewer than 16 nodes. Possible approaches for the proof of the n=16 and n=17 cases also will be discussed.
EnglishHamiltonianINTRODUCTION
In this paper, we will investigate the conjecture that every 2-connected, 4-regular, 1-tough graph on fewer than 18 nodes is Hamiltonian. First, we investigate the historical development of sufficient conditions for Hamiltonicity as they relate to the notions of regularity, connectivity, and toughness. A graph G consists of a finite nonempty set V = V(G) of n points called nodes, together with a prescribed set X of e unordered pairs of distinct nodes of V. Each pair x = {u,v} of nodes in X is an edge of G, and x is said to join u to v. We write x = uv or x = vu and say that u and v are adjacent nodes, and x is incident on u and v. The order of a graph G is the number of nodes in V(G). In our discussion, we will deal only with simple graphs, i.e., a graph with no loops or multiple edges. The degree of a node v, in a graph G, is denoted deg (v), and is defined to be the number of edges incident with v. Closely related to the concept of degree is that of the neighborhood. The neighborhood of a node u is the set N(u) consisting of all nodes v which are adjacent to u. In simple graphs, deg (u) = ?N(u)??. The minimum degree of a graph G is denoted by ???and the maximum degree is denoted by ?. If ?????????r for any graph G, we say G is a regular graph of degree r, or simply, G is an r-regular graph, i.e. all nodes have degree r. Figure 1.1 contains a 4-regular graph with V(G) = 16
We define a walk to be an alternating sequence of nodes and edges, beginning and ending with nodes, in which each edge is incident on the two nodes immediately preceding and following it. A walk is called a trail if all the edges are distinct, and a path if all the nodes are distinct. A path is called a cycle if it begins and ends with the same node. A spanning cycle is a cycle that contains all the nodes in V(G), and a graph is connected iff every pair of nodes is joined by a path.
HAMILTONIAN CYCLES
A graph is said to be Hamiltonian if it contains a spanning cycle. The spanning cycle is called a Hamiltonian cycle of G, and G is said to be a Hamiltonian graph (the graph in Figure 1.1 is also a Hamiltonian graph). A Hamiltonian path is a path that contains all the nodes in V(G) but does not return to the node in which it began. No characterization of Hamiltonian graphs exists, yet there are many sufficient conditions. We begin our investigation of sufficient conditions for Hamiltonicity with two early results. The first is due to Dirac, and the second is a result of Ore. Both results consider this intuitive fact: the more edges a graph has, the more likely it is that a Hamiltonian cycle will exist. Many sources on Hamiltonian theory treat Ore‘s Theorem as the main result that began much of the study of Hamiltonian graphs, and Dirac‘s result a corollary of that result. Dirac's result actually preceded it, however, and in keeping with the historical intent of this paper, we will begin with him.
Theorem 1.1
(Dirac, 1952): If G is a graph of order n ??3 such that ? ??n/2, then G is Hamiltonian.
As an illustration of Dirac‘s Theorem, consider the wheel on six nodes, W6 (Figure 1.2). In this
. Traversing the nodes in numerical order 1-6 and back to 1 yields a Hamiltonian cycle.
Theorem 1.2 (Ore, 1960): If G is a graph of order n ??3 such that for all distinct nonadjacent pairs of nodes u and v, deg (u) + deg (v) ? n, then G is Hamiltonian.
The wheel, W6, also satisfies Ore‘s Theorem. The sum of the degrees of nonadjacent nodes (i.e., deg(2) + deg (5), or deg(3) + deg (6), etc.) is always 6, which is the order of the graph. Before we discuss the results of Nash-Williams and Chvatal and Erdos, we must first define the notions of connectivity and independence. The connectivity ???????(G) of a graph G is the minimum number of nodes whose removal results in a disconnected graph. For ????k, we say that G is k-connected. We will be concerned with 2-connected graphs, that is to say that the removal of fewer than 2 nodes will not disconnect the graph. For ??= k, we say that G is strictly k-connected. For clarification purposes, consider the following. Let G be any simple graph, ?=3. Then G is 3-connected, 2-connected, and strictly 3-connected. A set of nodes in G is independent if no two of them are adjacent. The largest number of nodes in such a set is called the independence number of G, and is denoted by ?. The following result by Nash-Williams builds upon the two previous results by adding the condition that G be 2- connected and using the notion of independence.
Theorem 1.3 (Nash-Williams, 1971): Let G be a 2-connected graph of order n with ?(G) ??max{(n+2)/3, ?}. Then G is Hamiltonian.
The graph in Figure 1.3 demonstrates the NashWilliams result. In this 2-connected graph on six
In the same paper, Nash-Williams presents another very useful result. Note that a cycle C is a dominating cycle in G if V(G – C) forms an independent set.
Theorem 1.4 (Nash-Williams, 1971): Let G be a 2-connected graph on n vertices with ? ? (n+2)/3. Then every longest cycle is a dominating cycle.
Another sufficient condition uses the notion of a forbidden subgraph, i.e., a graph that cannot be a subgraph of any graph under consideration. A subgraph of a graph G is a graph having all of its nodes and edges in G. The following result by Goodman and Hedetniemi introduces the connection between certain subgraphs and the existence of Hamiltonian cycles. A bipartite graph G is a graph whose node set V can be partitioned into two subsets V1 and V2 such that every edge of G joins V1 with V2. If G contains every possible edge joining V1 and V2, then G is a complete bipartite graph. If V1 and V2 have m and n nodes, we write G = Km,n (see Figure 1.4)
Goodman and Hedetniemi connected {K1,3, K1,3 + x}-free graphs and Hamiltonicity in 1974. A {K1,3, K1,3 + x}-free graph is a graph that does not contain a K1,3 or a K1,3 + x (see Figure 1.5 ) as an induced subgraph. (i.e., the maximal subgraph of G with a given node set S of V(G).)
Theorem 1.5 (Goodman and Hedefniemi, 1974): If G is a 2-connected {K1,3, K1,3 + x}-free graph, then G is Hamiltonian.
The wheel, W6, in Figure 1.2, is an example of a graph that is {K1,3, K1,3 + x}-free. The subgraph formed by node 1 and any three consecutive nodes on the cycle is K1,3 plus 2 edges. A year after Nash-Williams‘s result, Chvatal and Erdos proved a sufficient condition linking the ideas of connectivity and independence.
Theorem 1.6 (Chvatal and Erdos, 1972): Every graph G with n ??3 and ? ??? has a Hamiltonian cycle.
Theorem 1.6 contains, as a special case, the following result:
Theorem 1.7 (Haggkvist and Nicoghossian, 1981): Let G be a 2-connected graph of order nwith ? ??(n+??? /3. Then G is Hamiltonian.
By requiring that G be 1-tough (which implies 2- connectedness), Bauer and Schmeichel where able to lower the minimum degree condition found in Theorem 1.7. Let ?(G) denote the number of components of a graph G. Then the toughness [20] of G, denoted by ???is defined as follows:
We say G is t-tough for t ????G). It is important to note that all Hamiltonian graphs are 1-tough, but the converse is not true. The Petersen Graph (see Figure 1.7) is a 1-tough, non-Hamiltonian graph.
Theorem 1.8 (Bauer and Schmeichel, 1991): Let G be a 1-tough graph of order n with ?(G) ??(n+?? - 2)/3. Then G is Hamiltonian
By relaxing the minimum degree requirements, we lose Hamiltonicity.
Fan later introduced distance as a contributing factor for Hamiltonicity. The distance, d(u,v), between two nodes u and v is the length of the shortest path joining them. Theorem 1.9 builds upon Dirac‘s result by adding a distance condition
Theorem 1.9 (Fan, 1984): Let G be a 2- connected graph of order n. If for all nodes u,v with d(u,v) = 2 we have max {deg (u), deg (v)} ? n/2, then G is Hamiltonian.
In Figure1.9 above, nodes u and v have distance 2.
We can consider Dirac‘s Theorem as a neighborhood condition on one node. By requiring the connectivity to be 2, Fraudee, Gould, Jacobsen, and Schelp were able to consider the neighborhood union of 2 nodes.
Theorem 1.10 (Fraudee, Gould, Jacobsen, Schelp, 1989): If G is a 2-connected graph such that for every pair of nonadjacent nodes u and v,
Similarly, every pair of nonadjacent nodes satisfies the conditions of Theorem 1.11and G is Hamiltonian.
Fraisse further expanded the set of nonadjacent nodes by requiring a higher connectivity.
Theorem 1.11 (Fraisse, 1986): Let G be a kconnected graph of order n ??3. If there exists some t ? k such that for every set S of t mutually nonadjacent nodes,
Closely related to neighborhood unions are degree sum conditions. These often lead to less strict conditions since the degree sum counts certain nodes twice, unlike the neighborhood conditions. For k ? 2, we define [3]
Theorem 1.12 (Jung, 1978): Let G be a 1-tough graph of order n ? 11 with ?2 (G) ??n – 4. Then G is Hamiltonian.
A year later Bigalke and Jung proved a result linking independence and minimum degree on 1- tough graphs.
HAMILTONICITY IN 4-REGULAR,
1-TOUGH GRAPHS: Statement Bauer, Broersma, and Veldman in [1] consider the problem of finding the minimum order of a non-Hamiltonian, k-regular, 1-tough graph. We will attempt to prove the following conjecture:
Conjecture 2.1: Let G be a 1-tough, 2-connected, 4-regular graph of order ? 17. Then G is Hamiltonian.
Define an (n, k)-graph to be a non-Hamiltonian, k-regular, 1-tough graph on n nodes. By f(k) we denote the minimum value of n for which there exists an (n, k)-graph. Conjecture 2.1 is best possible for n = 17, since there exists an (18, 4)- graph (see Figure 2.1).
Thus, we can restate Conjecture 2.1 as
Conjecture 2.1 (Bauer, Broersma, and Veldman, 1990): f(k) = 18.
Bauer, Broersma, and Veldman investigated this conjecture in [1]. They convinced themselves, through a lengthy distinction of classes, that the conjecture holds. No formal proof exists, however. In our attempt to prove this conjecture, we shall divide the graphs into subcases based on the number of nodes.
Case 1: 5 < n Englishhttp://ijcrr.com/abstract.php?article_id=1391http://ijcrr.com/uploads/1391_pdf.pdfhttp://ijcrr.com/article_html.php?did=13911. Bauer, D., Broersma, H.J. and Veldman, H.J. On Smallest Non-Hamiltonian Regular Tough Graphs. Proceedings on the Twentieth Southeastern Conference on Combinatorics, Graph Theory, and Computing, Congr. Numer. 70 (1990), 95-98.
2. Bauer, D. and Schmeichel, E. On a theorem of Haggkvist and Nicghossian. Graph Theory, Combinatorics, Algorithms and Applications. (1991) 20-25.
3. Bauer, D., Schmeichel, E. and Veldman, H.J. Some Recent Results on Long Cycles in Tough Graphs. Off Prints from Graph Theory, Combinatorics, and Applications. Ed. Y. Alavi, G. Chartrand, O. R. Ollermann, A. J. Schwenk. John Wiley and Sons, Inc. (1991)
4. Bigalke, A. and Jung, H. A. Uber Hamiltonische Kreise und Unabrhangige Ecken. Graphen Monatsch. Math 88 (1979) 195-210.
5. Bollabas, B. and Hobbs, A. M. Hamiltonian cycles. Advances in Graph Theory. (B. Bollabas ed) North-Holland Publ., Amsterdam, 1978, 43-48.
6. Chartrand, G. and Oellermann, O. R. Applied and Algorithmic Graph Theory. New York: McGraw Hill, 1993.
7. Diestel, R. Graph Theory. New York, Springer, 1997.
8. Erdos, P. and Hobbs, A. M. A class of Hamiltonian regular graphs. J. Combinat. Theory 2 (1978) 129-135.
9. Fan, G. H. New Sufficient Conditions for cycles in graphs. J. Combinat. Theory. B37 (1984) 221-227.
10. Fraisse, P. A New Sufficient Condition for Hamiltonian graphs. J. of Graph Theory. Vol. 10, No. 3 (1986), 405-409.