Abstract

A connected graph is called Hamilton-connected if there exists a Hamiltonian path between any pair of its vertices. Determining whether a graph is Hamilton-connected is an NP-complete problem. Hamiltonian and Hamilton-connected graphs have diverse applications in computer science and electrical engineering. The detour index of a graph is defined to be the sum of lengths of detours between all the unordered pairs of vertices. The detour index has diverse applications in chemistry. Computing the detour index for a graph is also an NP-complete problem. In this paper, we study the Hamilton-connectivity of convex polytopes. We construct three infinite families of convex polytopes and show that they are Hamilton-connected. An infinite family of non-Hamilton-connected convex polytopes is also constructed, which, in turn, shows that not all convex polytopes are Hamilton-connected. By using Hamilton connectivity of these families of graphs, we compute exact analytical formulas of their detour index.

1. Introduction and Preliminaries

All graphs in this paper are simple, loopless, finite, and connected.

A cycle in a graph is called Hamiltonian if it travels all the vertices of . Moreover, a path in is called Hamiltonian path if it traverses all the vertices of . Not every graph contains a Hamiltonian cycle. For instance, any tree is an acyclic graph, so it cannot contain a Hamiltonian cycle. However, a tress may still contain a Hamiltonian path. A graph is called Hamiltonian if there exist a Hamiltonian cycle in it. By definition, any cycle graph or a clique graph are Hamiltonian. Furthermore, is called traceable if it contains a Hamiltonian path. Of course all Hamiltonian graphs are traceable. However, there exist graphs which are traceable but not Hamiltonian. The first nontrivial example which comes in mind immediately is the so-called Petersen graph which is traceable but not Hamiltonian.

A graph which contains a Hamiltonian path between every two vertices of is called Hamilton connected. They were introduced by Ore [1] in 1963. Frucht [2] studied a canonical representation of trivalent Hamiltonian graphs. A bipartite can never be a Hamilton-connected, since there cannot exist a Hamiltonian path between vertices of the same partite set. In that case, a bipartite graph is called Hamilton-laceable if there exist Hamiltonian paths between vertices of different partite sets. There is an extensive literature available on Hamiltoniancity and Hamilton-connectivity of graphs, see, for instance, [37].

Chartrand et al. [8] showed that the square of a block graph is Hamilton-connected. Thomasson [9] studied Hamilton-connected tournaments in graphs. Chang et al. [10] studied panconnectivity, fault-tolerant Hamiltonicity, and Hamiltonian-connectivity in alternating group graphs by considering them as interconnection networks. Kewen et al. [11] derived a sufficient condition for a graph to be Hamilton-connected. Zhou and Wang [12] proved certain sufficient conditions for a graph to be Hamilton-connected in terms of the edge number, the spectral radius, and the signless Laplacian spectral radius of the graph. Zhou et al. [13] calculated the Wiener and Harary indices of Hamilton-connected graphs with large diameter. Wei et al. [14] derived some spectral analogues of Erdös’ theorems for Hamilton-connected graphs. Hung et al. [15] studied Hamilton-connectivity of alphabet grid graphs. Zhou et al. [16] extended a result of Fiedler and Nikiforov and derived signless Laplacian spectral conditions for Hamilton-connected graphs with large minimum degree. Recently, Shabbir et al. [17] studied Hamilton-connectivity in Teoplitz graphs.

By preserving the vertex-edge incidence relation in convex polytopes, their graphs are constructed. Bača [1820] was the first researcher to consider these families of geometric graphs. In [20] (resp. [19]), Bača studied the problem of magic (resp. graceful and antigraceful) labeling of convex polytopes, whereas, in [18], the problem of face antimagic labeling of convex polytopes was studied. Miller et al. [21] studied the vertex-magic total labeling of convex polytopes. Imran et al. [2224] computed the minimum metric dimension of various infinite families of convex polytopes. In particular, they showed that these infinite families of convex polytopes have constant metric dimension. Malik et al. [25] also constructed two infinite families of convex polytopes having constant metric dimension. Other closely related infinite families of graphs with constant metric dimension are studied in [26]. Kratica et al. [27] studied the strong metric dimension of certain infinite families of convex polytopes by constructing their doubly resolving sets. The fault-tolerant metric dimension (resp. mixed metric dimension) of convex polytopes was studied by Raza et al. [28] (resp. Raza et al. [29]). Metric dimension of other related families of graphs such as Cayley graph is studied by Vetrik and Abas [30, 31]. The binary locating-dominating number of convex polytopes is studied by Simić et al. [32] and Raza et al. [33]. The open-locating-dominating number of certain convex polytopes has recently been studied by Savic et al. [34]. Liu et al. [3539] studied application of various graph parameters in electrical networks and related systems.

For a graph , let be the length of a longest path (i.e., detour) between vertices and of . The detour index [40] is defined to be the sum of lengths of all detours between unordered pairs of vertices in . The detour index of a graph is usually denoted by :

The detour index has important applications in chemistry. Applications of this parameter in quantitative structure activity and property relationship models were put forward by Lukovits [41]. Besides giving further applications of the detour index, Trinajstić et al. [42] conducted a comparative analysis with the Wiener index in terms of applicability in correlating structure boiling point of organic compounds. Moreover, its further applications in predicting the normal boiling points of cyclic and acyclic alkanes were studied by Rücker and Rücker [43].

An algorithm for tracing the detour between two vertices in a graph was proposed by Lukovits and Razinger [44]. They also applied their algorithm in detecting detours and computing the detour index of graphs corresponding to fused bicyclic skeletons. Rücker and Rücker [43] and Trinajstić et al. [45] proposed certain computer methods to trace out detours and thus calculation of the detour index of graphs. It has already been shown in [46] that the problem of finding the detour index of a given graph is computationally NP-complete. Trinajstić et al. [45] also proposed a method of calculating the detour matrix of reasonably small sizes. Note that the detour index is equal to the sum of all the entries of the detour matrix dividing by two.

Mahmiani et al. [47] proposed the edge versions of the detour index and studied their mathematical properties. Zhou and Cai [48] proved some upper and lower bounds on the detour index of graphs. Qi and Zhou [49] studied minimum uncyclic graphs with respect to the detour index. Du [50] studied the minimum detour index of bicyclic graphs. Fang et al. [51] characterized the minimum detour index of some families of tricyclic graphs. Karbasioun et al. [52] studied the applications of the detour index in infinite families of nanostar dendrimers. Wu and Deng [53] computed the detour index for a chain of C20 fullerenes. Kaladevi [54] studied spectral properties of the detour index in relation with the Laplacian energy of graphs. Recently, Abdullah and Omar [55] introduced the restricted edge version of the detour index and studied it for some families of graphs.

We end this section with an important and well-known result bounding the detour index in terms of graph parameters.

Theorem 1 (see [56]). Let be a connected graph with vertices. Then,with left equality if and only if and with right equality if and only if is Hamilton-connected.

In this paper, we study the Hamilton connectivity of certain infinite families of convex polytopes. More precisely, we construct three infinite families of Hamilton-connected convex polytopes. Moreover, we construct an infinite family non-Hamilton-connected convex polytope. By using Hamilton-connectivity of these families of graphs, we compute exact formulas of their detour index.

2. Hamilton Connectivity and the Detour Index of

In this section, we show that the -dimensional infinite family of convex polytopes is Hamilton-connected. Afterwards, we use its Hamiltonconnectivity to find analytical exact expression of the detour index of the graph .

For , the graph of convex polytope is defined in [20]. It has the vertex setand edge set

By convention, we suppose that , , and . See Figure 1 to view the -dimensional convex polytope .

For a positive integer , we write (resp. ) if is even (resp. odd).

Theorem 2. The -dimensional convex polytope , with , is Hamilton-connected.

Proof. We prove this result by definition. For this, we have to show that there exists a Hamiltonian path between any pair of vertices of .
Let be a Hamiltonian path between vertices and in . Let such that , , and , see, Figure 1.Case 1: and , .Case 1.1: :Case 1.2: :Case 2: and , .Case 2.1: :Case 2.2: :Case 3: and , .Case 3.1: :Case 3.2: :Case 4: and , .Case 4.1: :Case 4.2: :Case 4.3: :Case 5: and , .Case 5.1: :Case 5.2: :Case 5.3: :Case 6: and , .Case 6.1: :Case 6.2: :Case 6.3: :Case 7: and , .Case 7.1: :Case 7.2: :Case 7.3: :Case 8: and , .Case 8.1: :Case 8.2: :Case 8.3: :Case 9: and , .Case 9.1: :Case 9.2: :Existence of Hamiltonian path between any two vertices of the -dimensional convex polytope completes the proof.
Using Theorems 1 and 2, the following proposition computes the detour index of of .

Proposition 1. Let , where . Then, the detour index of is

Proof. The number of vertices in the graph is . Replacing with in Theorem 1 shows the proposition.

3. Hamilton Connectivity and the Detour Index of

In this section, we show that the -dimensional infinite family of convex polytopes is Hamilton-connected. Then, we use its Hamilton connectivity to find analytical exact expression of the detour index of the graph .

The graph of convex polytope (Figure 2) consists of 3-sided faces, 4-sided faces, and a pair of -sided faces [57]. We have

See Figure 2 to view the -dimensional convex polytope .

Next, we show the main result of this section.

Theorem 3. The -dimensional convex polytope , with , is Hamilton-connected.

Proof. We prove it by definition. This implies that we need to show the existence of Hamiltonian paths between any pair of vertices of .
Let be a Hamiltonian path between vertices and in . By following the labeling of vertices exhibited in Figure 2, we show the existence of Hamiltonian paths between vertices of in a number of cases.Case 1: and , .Case 1.1: :Case 1.2: :Case 2: :Case 2.1: :Case 2.2: :Case 3: and , .Case 3.1: :Case 3.2: :Case 3.3: :Case 4: and , .Case 4.1: :Case 4.2: :Case 4.3: :Case 5: and , .Case 5.1: :Case 5.2: :Case 5.3: :Case 6: and , .Case 6.1: :Case 6.2: :Case 7: and , .Case 7.1: :Case 7.2: :Case 8: and , .Case 8.1: :Case 8.2: :Case 9: and , .Case 9.1: :Case 9.2: :Case 9.3: :Case 10: and , .Case 10.1: :Case 10.2: :Case 10.3: :Case 11: and , .Case 11.1: :Case 11.2: :Case 12: and , .Case 12.1: :Case 12.2: :Case 12.3: :Case 13: and , .Case 13.1: :Case 13.2: :Case 14: and , .Case 14.1: :Case 14.2: :Case 14.3: :Case 15: and , .Case 15.1: :Case 15.2: :Case 15.3: :Case 16: and , .Case 16.1: :Case 16.2: :Existence of Hamiltonian paths between any two vertices of the -dimensional convex polytope completes the proof.
Using Theorems 1 and 3, the following proposition computes the detour index of .

Proposition 2. Let , where . Then, the detour index of is

Proof. The number of vertices in graph is . Replacing with in Theorem 1 completes the proof.

4. Hamilton Connectivity and the Detour Index of

This section shows that the -dimensional convex polytope is Hamilton-connected. Its Hamilton connectivity is then used to calculate exact analytical formula of the detour index of .

Malik et al. [25] introduced the family of -dimensional convex polytope . We have

See Figure 3 to view the -dimensional convex polytope .

Theorem 4. The graph -dimensional convex polytope , with , is Hamilton-connected.

Proof. We prove this result by definition. For this, we have to show that there exists a Hamiltonian path between any pair of vertices of .
Let be a Hamiltonian path between vertices and in . Let such that , , , and . We divide the construction of Hamiltonian paths in into a number of cases as follows.Case 1: and , .Case 1.1: :Case 1.2: :Case 2: and , .Case 2.1: :Case 2.2: :Case 3: and , .Case 3.1: :Case 3.2: :Case 4: and , .Case 4.1: :Case 4.2: :Case 5: and , .Case 5.1: :Case 5.2: :Case 6: and , :Case 6.1: :Case 6.2: :Case 7: and , Case 7.1: :Case 7.2: :Case 8: and , .Case 8.1: :Case 8.2: :Case 9: and , .Case 9.1: :Case 9.2: :Case 10: and , .Case 10.1: :Case 10.2: :Case 11: and , .Case 11.1: :Case 11.2: :Case 12: and , .Case 12.1: :Case 12.2: :Case 12.3: :Case 13: and , .Case 13.1: :Case 13.2: :Case 13.3: :Case 14: and , .Case 14.1: :Case 14.2: :Case 15: and , .Case 15.1: :Case 15.2: :Case 16: and , .Case 16.1: :Case 16.2: :Case 17: and , .Case 17.1: :Case 17.2: :Case 18: and , .Case 18.1: :Case 18.2: :Case 19: and , .Case 19.1: :Case 19.2: :Case 20: and , .Case 20.1: :Case 20.2: :Case 20.3: :Case 21: and , .Case 21.1: :Case 21.2: :Case 22: and , .Case 22.1: :Case 22.2: :Case 23: and , .Case 23.1: :Case 23.2: :Case 24: and , .Case 24.1: :Case 24.2: :Case 25: and , .Case 25.1: :Case 25.2: :Existence of Hamiltonian paths between any two vertices of the -dimensional convex polytope completes the proof. □
Using Theorems 1 and 4, the following proposition computes the detour index of .

Proposition 3. Let , where . Then the detour index of is

Proof. The number of vertices in graph is . Replacing with in Theorem 1 completes the proof.

5. A Family of Non-Hamilton-connected Convex Polytopes

For , by , we denote the graph of convex polytope defined in [24] which consists of number of 3-sided faces, number of 4-sided faces, and number of pentagonal faces, see Figure 4.

Mathematically, the vertex set of consists of four layers of vertices, i.e., , , , , and . That is to say that . Accordingly, the edge set of is as follows:

Note that arithmetics in the subscripts is performed modulo . Layer comprising vertices is called the first layer. Similarly, layers composed by vertices , , , and are called second layer, third layer, fourth layer, and fifth layer, respectively. Note that first, second, fourth, and fifth layers form cycles of length .

The following result shows that the infinite family of convex polytopes is non-Hamilton-connected.

Theorem 5. The -dimensional convex polytope , with , is non-Hamilton-connected.

Proof. It is enough to show that there exist two vertices in the -dimensional convex polytope such that no Hamiltonian path exists between them.
It is easy to see that there exists no Hamiltonian path between any two vertices at distance two on the outer layer, i.e., between and if is even and between consecutive vertices on the outer layer, i.e., and if is odd, where such that subscripts are taken modulo . This shows that the -dimensional convex polytope is non-Hamilton-connected.

6. Conclusion

Determining whether or not a graph is Hamilton-connected is NP-complete graph. Thus, it is natural to study the Hamilton-connectivity of infinite families of graphs. In this paper, we have studied Hamilton-connectivity of certain infinite families of convex polytopes. We construct three infinite families of convex polytopes which have been shown to be Hamilton-connected. Moreover, one infinite family is shown to be non-Hamilton-connected which shows that not all the convex polytopes are Hamilton-connected. As a by-product, we compute the detour index of Hamilton-connected families of convex polytopes.

As future directions, we propose the following problems:

Problem 1. Is there any other way to show Hamilton-connectivity of a given graph?

Problem 2. Baca [18] introduced a family of convex polytopes. Determine whether is Hamilton-connected.

Problem 3. Imran et al. [57] introduced the family of convex polytopes. Determine whether or not is Hamilton-connected.

Data Availability

No data were used to support the findings of the study.

Conflicts of Interest

The authors declare that they have no conflicts of interest regarding the publication of the article.

Authors’ Contributions

S. H. and A. K. devised the methodology and acquired funding. S. H. and S. K. carried out the formal analysis and data curation. S. H. and J.-B. L. wrote the original draft, reviewed the writing, and edited the manuscript. S. H., A. K., and J.-B. L. proofread the manuscript before its final submission. S. H. and A. K. contributed equally to this work.

Acknowledgments

Sakander Hayat was grateful to Dr. Muhammad Imran for providing the registration details to Mayura software. Sakander Hayat was supported by the Higher Education Commission, Pakistan, under Grant no. 20-11682/NRPU/RGM/R&D/HEC/2020. J-B. Liu was supported by Anhui Provincial Natural Science Foundation under Grant 2008085J01 and Natural Science Fund of Education Department of Anhui province under Grant no. KJ2020A0478.