Next Article in Journal
Mathematical Dimensional Synthesis of Four-Bar Linkages Based on Cognate Mechanisms
Previous Article in Journal
Factor Investment or Feature Selection Analysis?
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Extremal Results on -Connected Graphs or Pancyclic Graphs Based on Wiener-Type Indices

1
School of Mathematical Sciences, South China Normal University, Guangzhou 510631, China
2
School of Mathematics and Statistics, Hubei Normal University, Huangshi 435002, China
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(1), 10; https://doi.org/10.3390/math13010010
Submission received: 20 November 2024 / Revised: 20 December 2024 / Accepted: 22 December 2024 / Published: 24 December 2024

Abstract

:
A graph of order n is called pancyclic if it contains a cycle of length y for every 3 y n . The connectivity of an incomplete graph G, denoted by κ ( G ) , is min { | W | | W i s a v e r t e x c u t o f G } . A graph G is said to be -connected if the connectivity κ ( G ) . The Wiener-type indices of a connected graph G are W g ( G ) = { s , t } V ( G ) g ( d G ( s , t ) ) , where g ( x ) is a function and d G ( s , t ) is the distance in G between s and t. In this note, we first determine the minimum and maximum values of W g ( G ) for -connected graphs. Then, we use the Wiener-type indices of graph G, the Wiener-type indices of complement graph G ¯ with minimum degree δ ( G ) 2 or δ ( G ) 3 to give some sufficient conditions for connected graphs to be pancyclic. Our results generalize some existing results of several papers.

1. Introduction

The graphs considered here are undirected, finite and simple. Following the convention, we use G to denote a graph (undirected, finite, simple), use V ( G ) to represent the vertex set (it must be a finite set) of the graph, use E ( G ) to represent the edge set of the graph and use u v E ( G ) to denote that there exists an edge between u and v. Furthermore, we use C n to denote an n-cycle (a graph in which all its vertices form a single closed loop, with each vertex connected to exactly two other vertices), K a , n a to denote a complete bipartite graph of order n (a graph with a partition Q 1 , Q 2 of its vertex set such that each vertex of Q 1 is connected to each vertex of Q 2 , and the subgraphs induced by Q 1 and Q 2 contain no edges) and K n to denote a complete graph of order n. Clearly, in a simple graph, a complete graph possesses the highest possible number of edges.
Let u V ( G ) . The neighbor of u is a vertex subset { v V ( G ) | u v E ( G ) } , denoted by N G ( u ) , and the size of the vertex subset { v V ( G ) | u v E ( G ) } is called the degree of vertex u, denoted by d G ( u ) . Examining the degrees of vertices in graph theory has considerable significance. The degree of vertices is closely linked to the connectivity, Hamiltonian properties and sparsity of a graph. Under certain given conditions, by calculating the degree of the graph, we can determine whether it belongs to a certain class of graphs and whether there exists a cycle of a certain size, and so on. Moreover, in graph algorithms, the degree of vertices is often used as the basis for the algorithm design, as a range of graph parameters are associated with vertex degrees.
The complement graph of G is the graph with the same vertex set of G but its edge set is { v i v j | v i v j E ( G ) } , denoted by G ¯ . Therefore, for u , v V ( G ) , there either exists an edge u v in the graph or in its complement graph, but not both. Regarding complement graphs, a famous result is that either a graph or its complement graph must be connected. Let R 1 and R 2 be two graphs that are disjoint from each other. Now, we introduce the union and the joint of two distinct graphs. The union of R 1 and R 2 , denoted by R 1 + R 2 , is the graph with V ( R 1 + R 2 ) = V ( R 1 ) V ( R 2 ) and E ( R 1 + R 2 ) = E ( R 1 ) E ( R 2 ) . It is easy to see that the union is not connected if R 1 and R 2 are not empty graphs. The joint of R 1 and R 2 , denoted by R 1 R 2 , is the graph with V ( R 1 R 2 ) = V ( R 1 ) V ( R 2 ) and E ( R 1 R 2 ) = E ( R 1 ) E ( R 2 ) { u 1 u 2 | u 1 V ( R 1 ) , u 2 V ( R 2 ) } . It is easy to see that the joint is connected if R 1 and R 2 are not empty graphs (by the famous result of complement graphs mentioned above).
Let Y be a vertex subset of G. Then, we call Y a vertex cut if G Y is not connected. Let G be a graph such that | V ( G ) | = n and it is not isomorphic to K n , and W be the set consisting of all vertex cuts of the graph G. The connectivity of G, denoted by κ ( G ) , is min { | Y | | Y W } . The minimum cut set is widely applied in network flow problems. A graph G is said to be -connected if κ ( G ) , where > 0 is an integer. In other words, there does not exist a vertex subset of size ( 1 ) such that the graph G becomes disconnected after removing this subset. Clearly, if G is ( m + 1 ) -connected, then it is m-connected. For convenience, we introduce some notations here. We use G * ( n ) to denote the set consisting of all the graphs which are connected and have n vertices, use G * ( n , ) to denote the set consisting of all the graphs which are connected, have connectivity κ ( G ) and n vertices and use BG * ( n ) to denote the set consisting of all connected bipartite graphs with n vertices.
The distance between s and t is the value of the length of a shortest path in a graph G for vertex s and vertex t, denoted by d G ( s , t ) ( d ( s , t ) for short). The distance is a core concept in this paper. Clearly, the distances are all equal to 1 in a complete graph. The eccentricity of vertex u in a graph G, denoted by e c c ( u ) , is max { d ( u , v ) | v V ( G ) } , and the diameter of a graph G, denoted by D ( G ) , is defined as max { d ( u , v ) | u , v V ( G ) } , or equivalently, is max { e c c ( u ) | u V ( G ) } . Typically, a graph with a smaller diameter implies that the vertices in the graph are more easily accessible to each other.
A graph G is called pancyclic if the graph G contains a cycle of length y for every 3 y n , where | V ( G ) | = n . Clearly, if a graph has the pancyclic property, then this graph is connected (since it includes a cycle whose length is equal to its number of vertices). For other undefined terminologies and notations, we refer readers to [1].
Topological indices are mathematical invariants derived from the structure of a graph. These indices can be categorized into several types based on their computational principles and applications, including the distance-based indices, the counting-based indices, the shape-based indices, the degree-based indices, the spectral indices and the information-theoretic indices. The distance-based indices are calculated based on the distances between vertices, the counting-based indices involve counting specific subgraphs, the shape-based indices capture the topological shape and measure the structural characteristics, the degree-based indices are calculated using the degrees of the vertices, the spectral indices are based on the spectrum of matrices (adjacency matrix, normalized Laplacian matrix) associated with the graph and the information-theoretic indices utilize concepts from information theory in the context of graphs, frequently involving the measurement of entropy or mutual information. Next, we introduce several distance-based indices: Wiener-type indices, which are a widely studied class of distance-based indices.
Let G G * ( n ) . The Wiener index of G, denoted by W ( G ) , was defined as [2]
W ( G ) = { s , t } V ( G ) d G ( s , t ) .
Clearly, the value of the Wiener index depends only on the distances. Consequently, this characteristic of the calculation makes the Wiener index highly sensitive to the shape and size of the graph.
The Wiener-type indices of a connected graph G with respect to a function g ( x ) , denoted by W g ( G ) , was defined as
W g ( G ) = { s , t } V ( G ) g ( d G ( s , t ) ) .
Wiener-type indices are generalizations of the Wiener index. By introducing different functions g ( x ) , Wiener-type indices provide a broader range of tools and methods for studying and describing the structural characteristics of graphs. Now, we introduce some Wiener-type indices.
  • W g ( G ) is the Wiener index [2] when g ( x ) = x , denoted by W ( G ) .
  • W g ( G ) is the modified Wiener index [3] when g ( x ) = x λ for λ 0 , denoted by W λ ( G ) .
  • W g ( G ) is the hyper-Wiener index [4] when g ( x ) = 1 2 ( x + x 2 ) , denoted by W W ( G ) .
  • W g ( G ) is the Harary index [5] when g ( x ) = 1 x , denoted by H ( G ) .
The above Wiener-type indices are important distance-based indices with significant applications in various scientific disciplines, particularly in chemistry. They are widely used topological indices in chemical graph theory. The Wiener index is closely linked to the molecular branching and structural properties of chemical compounds. The modified Wiener index refines the original Wiener index by assigning weights or emphasizing specific graph characteristics, making it more suitable for analyzing complex molecular systems. The hyper-Wiener index incorporates both the distances and their squared values, offering a more sensitive measure for highly branched or cyclic structures. The Harary index focuses on the reciprocal of the shortest distances, capturing the overall connectivity and robustness of a molecular structure. These indices play a crucial role in modeling and predicting physical, chemical and biological properties of molecules. For more advances on Wiener-type indices and the latest work on related topics, we refer readers to [6,7,8,9,10].
The study of finding some sufficient condition for a graph to have a particular property has attracted the attention of many researchers. The Zagreb index is a graph-theoretical index used in mathematical chemistry to study molecular structures. It quantifies the connectivity of atoms in chemical molecules, which provides insights into molecular stability and reactivity. In [11], Liu et al. gave some sufficient conditions on the connective eccentricity index, difference of Zagreb indices and some other indices for a graph G G * ( n ) to be k-leaf-connected. Liu et al. [12] obtained some sufficient conditions, in terms of the difference of Zagreb indices, for graphs to be traceable, Hamilton-connected, k-edge-Hamiltonion, k-Hamiltonion, k-path-coverable and k-connected. Others see [13,14,15,16,17] and the references within.
Determining whether a graph has the Hamiltonian property is a famous problem. In [18], Kuang et al. used the Wiener-type invariants to show some sufficient conditions for Hamiltonian property of graphs. It is worth considering the use of the Wiener-type indices to derive other properties. Motivated by this, we consider the pancyclic property of graphs. The pancyclic property of a graph has a wide range of applications in combinatorial optimization, network design, theoretical research and algorithm design. It provides a useful tool for understanding the connectivity of graphs and solving problems related to cycle structures.
In this paper, we first determine the extreme values of W g ( G ) for -connected graphs. Then, we use the Wiener-type indices of graph G, the Wiener-type indices of complement graph G ¯ with δ ( G ) 2 or δ ( G ) 3 to give some sufficient conditions for a graph G G * ( n ) to have the pancyclic property. Our results generalize some existing results of several papers.
The outline of this paper is given below.
  • In Section 2, the necessary preliminaries are introduced.
  • In Section 3, we show the main results, including some extremal conclusions on -connected graphs with respect to Wiener-type indices and some conditions that ensure graphs to have the pancyclic property with respect to Wiener-type indices.
  • In Section 4, we summarize the main findings of this paper, and pose a problem for future work.

2. Preliminaries

For convenience, we use e ( G ) to represent | E ( G ) | . Clearly, if s t E ( G ) , then d G ( s , t ) = 1 . Moreover, if 1 d G ( s , t ) 2 for any s , t V ( G ) , then the count of vertex pairs that are separated by a distance of 2 is equivalent to n ( n 1 ) 2 minus the count of vertex pairs that are directly connected (i.e., have a distance of 1), where n = | V ( G ) | .
Lemma 1.
Let G G * ( n ) with diameter D ( G ) . Then, W g ( G ) = n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) e ( G ) iff D ( G ) 2 .
Proof. 
Let y = n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) e ( G ) . If W g ( G ) = y , then d G ( s , t ) { 1 , 2 } for two vertices s , t V ( G ) . Thus, D ( G ) 2 . Conversely, if D ( G ) 2 , then d G ( s , t ) { 1 , 2 } for s , t V ( G ) . Thus, W g ( G ) = ( n 2 e ( G ) ) g ( 2 ) + e ( G ) g ( 1 ) = y . □
Lemma 2
([19]). If G G * ( n ) with δ ( G ) n 2 , then the diameter D ( G ) 2 .
Combining Lemmas 1 and 2, the Wiener-type index of a graph G G * ( n ) is determined by g ( 1 ) and g ( 2 ) if δ ( G ) is greater than n 2 .
Lemma 3
([19]). Let , n Z + , n 1 2 , the graph G G * ( n , ) . Then, e ( G ) φ ( n , ) , where
φ ( n , ) = n + 1 2 , i f b o t h n a n d a r e o d d ; n 2 , o t h e r w i s e .
Let Z + , G be the -th power of G, which is the graph with V ( G ) = V ( G ) and u v E ( G ) iff d G ( u , v ) . It is clear that d G ( u , v ) = d G ( u , v ) . The following lemma represents this fact.
Lemma 4
([19]). Let G G * ( n ) and Z + . Then, D ( G ) = D ( G ) .
For these graphs in G * ( n , ) , the following lemma provides an upper bound for their diameter:
Lemma 5
([19]). Let G G * ( n , ) . Then, the diameter D ( G ) n 1 .
For connected graphs with minimum degree greater than 2 or 3, the following two lemmas show that, as long as their number of edges is sufficiently large, these graphs have pancyclic property, except for bipartite graphs and those in the set NP or the set NP 1 (the sets NP and NP 1 will be introduced in next section).
Lemma 6
([20]). Let n 5 , G G * ( n ) with e ( G ) edges and δ ( G ) 2 . If e ( G ) n 2 2 + 4 , then G has pancyclic property unless G BG * ( n ) or G NP .
Lemma 7
([21]). Let n 5 , G G * ( n ) with e ( G ) edges and δ ( G ) 3 . If e ( G ) n 3 2 + 9 , then G has pancyclic property unless G BG * ( n ) or G NP 1 .
Let D ( s ) = t V ( G ) { s } g ( d ( s , t ) ) , where g ( x ) is a function. Double counting is a combinatorial technique used to count the same set of objects in two different ways for deriving certain results. This technique is widely used in graph theory. The following lemma can be directly obtained by using double counting:
Lemma 8.
Let G G * ( n , ) , s V ( G ) , D ( s ) = t V ( G ) { s } g ( d ( s , t ) ) . Then, W g ( G ) = 1 2 j = 1 n D ( s j ) , where V ( G ) = { s 1 , s 2 , , s n } .
Proof. 
By the fact that { s , t } V ( G ) g ( d G ( s , t ) ) = 1 2 j = 1 n D ( s j ) , we have W g ( G ) = 1 2 j = 1 n D ( s j ) . □

3. Main Results

3.1. Results on -Connected Graphs

In this subsection, we show the results on -connected graphs.
For these graphs in G * ( n ) with the connectivity , the following theorem provides a lower bound for their Wiener-type indices with a monotone increasing function and identifies the extremal graph where the equality holds.
Theorem 1.
Let Z + , 1 n 2 and G G * ( n ) with connectivity ℓ. If g ( x ) has monotonic increasing property, then
W g ( G ) ( n 1 ) g ( 2 ) + ( n ) + 2 + n 1 2 g ( 1 ) ,
with equality iff G K ( K 1 + K n 1 ) .
Proof. 
Let G * G * ( n ) with connectivity and minimum Wiener-type indices. Then, there is a vertex cut Y of G * with | Y | = . Let G 1 , G 2 , , G t be the components of the graph G * Y .
Claim 1.
For 1 i t , G i is a complete graph.
Suppose that there exists i 0 such that G i 0 is not a complete graph and u v E ( G i 0 ) . Let G = G * + u v . Then G G * ( n ) with connectivity . Since g ( x ) is strictly increasing, then W g ( G ) < W g ( G * ) , which is a contradiction.
By a similar analysis, we have
Claim 2.
G [ Y ] is a complete graph.
Claim 3.
t = 2 .
Suppose that t 3 . Let G = G * + u v , where u V ( G i ) , v V ( G j ) and 1 i < j t . Then, G G * ( n ) with connectivity . Since g ( x ) is strictly increasing, then W g ( G ) < W g ( G * ) , which is a contradiction.
Combining Claims 1–3, we have that G * K ( K n 1 + K n 2 ) , where n 1 + n 2 + = n .
W g ( G * ) = n 1 2 g ( 1 ) + n 2 2 g ( 1 ) + 2 g ( 1 ) + ( n 1 + n 2 ) g ( 1 ) + n 1 n 2 g ( 2 ) = 1 2 n 2 g ( 1 ) 1 2 n g ( 1 ) + n 1 n 2 ( g ( 2 ) g ( 1 ) ) .
When n 1 = 1 or n 2 = 1 , we obtain the minimum value of W g ( G * ) , i.e., G * K ( K 1 + K n 1 ) and W g ( G * ) = 1 2 n 2 g ( 1 ) 1 2 n g ( 1 ) + ( n 1 ) ( g ( 2 ) g ( 1 ) ) = ( n 1 ) g ( 2 ) + ( n ) + 2 + n 1 2 g ( 1 ) .
By the above arguments, the conclusion holds. □
In Theorem 1, let g ( x ) { x , x λ , 1 2 ( x 2 + x ) } (where λ > 0 ). Then, we can derive the minimal values of these Wiener-type indices for -connected graphs (it should be noted that g ( x ) is a monotone increasing function when x > 0 ). The results are shown below.
When g ( x ) = x , we have W g ( G ) = W ( G ) . The corresponding result on the Wiener index is as follows:
Corollary 1
([22]). Let Z + , 1 n 2 , y = n 1 and G G * ( n ) with connectivity ℓ. Then,
W ( G ) 2 y + ( y + 1 ) + 2 + y 2 ,
the equality holds iff G K ( K 1 + K n 1 ) .
When g ( x ) = x λ , we have W g ( G ) = W λ ( G ) . The corresponding result on the modified Wiener index is as follows:
Corollary 2.
Let λ > 0 , Z + , 1 n 2 , y = n 1 and G G * ( n ) with connectivity ℓ. Then,
W λ ( G ) 2 λ y + ( y + 1 ) + 2 + y 2 ,
the equality holds iff G K ( K 1 + K n 1 ) .
When g ( x ) = 1 2 ( x 2 + x ) , we have W g ( G ) = W W ( G ) . The corresponding result on the hyper-Wiener index is as follows:
Corollary 3.
Let Z + , 1 n 2 , y = n 1 and G G * ( n ) with connectivity ℓ. Then,
W W ( G ) 3 y + ( y + 1 ) + 2 + y 2 ,
the equality holds iff G K ( K 1 + K n 1 ) .
For graphs in G * ( n , ) , the following theorem provides an upper bound for their Wiener-type indices with a monotone increasing function and gives some graphs that make the equality hold.
Theorem 2.
Let Z + , 1 n 1 and G G * ( n , ) . When g ( x ) is a monotone increasing function, then
W g ( G ) n 2 i = 1 n 1 g ( i ) + ( n 1 n 1 ) g ( n 1 ) .
The bound is the best possible when 0 ( m o d 2 ) , and
W g ( ( C n ) 2 ) = n 2 i = 1 n 1 g ( i ) + ( n 1 n 1 ) g ( n 1 ) .
Proof. 
Let u V ( G ) and V i ( u ) = { v | v V ( G ) , d ( u , v ) = i } . Since G G * ( n , ) , by Lemma 5, diameter D ( G ) n 1 . Since G G * ( n , ) , then | V i ( u ) | for 1 i e c c ( v ) 1 . Since g ( x ) is strictly increasing, we have D ( u ) = i = 1 e c c ( u ) | V i ( u ) | g ( i ) i = 1 n 1 g ( i ) + ( n 1 n 1 ) g ( n 1 ) . Therefore, by Lemma 8, W g ( G ) n 2 i = 1 n 1 g ( i ) + ( n 1 n 1 ) g ( n 1 ) .
Now, we show that, when 0 ( m o d 2 ) , the bound can be obtained by giving an example. It is obvious that
D ( C n ) = n 1 2 , i f n i s o d d ; n 2 , i f n i s e v e n .
Then, by Lemma 4, when n 1 ( m o d 2 ) , we have D ( ( C n ) 2 ) = n 1 ; when n 0 ( m o d 2 ) , since is even, we have D ( ( C n ) 2 ) = n = n 1 .
Let V ( C n ) = V = { u 0 , u 1 , u 2 , , u n 1 } and E ( C n ) = { u 0 u 1 , u 1 u 2 , , u n 2 u n 1 , u n 1 u 0 } . Let V i * ( u j ) = { v | v V , d ( u j , v ) = i i n ( C n ) 2 } for 1 i n 1 . Then, we have V i * ( u 0 ) = { u 2 ( i 1 ) + 1 , u 2 ( i 1 ) + 2 , , u 2 i , u n ( 2 ( i 1 ) + 1 ) , u n ( 2 ( i 1 ) + 2 ) , , u n 2 i } for 1 i n 1 . Therefore, | V i * ( u j ) | = | V i * ( u 0 ) | = for 1 i n 1 , ( C n ) 2 G * ( n , ) , and | V n 1 * ( u j ) | = n 1 n 1 if n 1 0 ( m o d ) , | V n 1 * ( u j ) | = if n 1 0 ( m o d ) . Then, W g ( ( C n ) 2 ) = n 2 i = 1 n 1 g ( i ) + ( n 1 n 1 ) g ( n 1 ) .
This concludes the proof. □
In Theorem 2, let g ( x ) { x , x λ , 1 2 ( x 2 + x ) } (where λ > 0 ). Then, we can derive the maximal values of these Wiener-type indices for -connected graphs. The results are shown below.
When g ( x ) = x , we have W g ( G ) = W ( G ) . The corresponding result on the Wiener index is as follows:
Corollary 4
([19]). Let Z + , 1 n 1 , y = n 1 and G G * ( n , ) . Then,
W ( G ) n 2 i = 1 y i + ( n 1 y ) y .
The bound is the best possible when 0 ( m o d 2 ) , and
W ( ( C n ) 2 ) = n 2 i = 1 y i + ( n 1 y ) y .
When g ( x ) = x λ , we have W g ( G ) = W λ ( G ) . The corresponding result on the modified Wiener index is as follows:
Corollary 5.
Let λ > 0 , Z + , 1 n 1 , y = n 1 and G G * ( n , ) . Then,
W λ ( G ) n 2 i = 1 y i λ + ( n 1 y ) ( y ) λ .
The bound is the best possible when 0 ( m o d 2 ) , and
W λ ( ( C n ) 2 ) = n 2 i = 1 y i λ + ( n 1 y ) ( y ) λ .
When g ( x ) = 1 2 ( x 2 + x ) , we have W g ( G ) = W W ( G ) . The corresponding result on the hyper-Wiener index is as follows:
Corollary 6.
Let Z + , 1 n 1 , y = n 1 and G G * ( n , ) . Then,
W W ( G ) n 4 i = 1 y ( i 2 + i ) + ( n 1 y ) ( y ) 2 + y .
The bound is the best possible when 0 ( m o d 2 ) , and
W W ( ( C n ) 2 ) = n 4 i = 1 y ( i 2 + i ) + ( n 1 y ) ( y ) 2 + y .
Theorem 3.
Let , n Z + such that n 2 , G G * ( n , ) . When g ( x ) is a monotone increasing function, then
W g ( G ) n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) φ ( n , ) ,
where
φ ( n , ) = n + 1 2 , i f b o t h n a n d a r e o d d ; n 2 , o t h e r w i s e .
Proof. 
Let G G * ( n , ) . Then, it is well known that δ ( G ) . Since n 2 , then δ ( G ) n 2 . By Lemma 2, we have D ( G ) 2 . By Lemma 1, W g ( G ) = n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) e ( G ) . By Lemma 3 and the monotonicity of g ( x ) , we have W g ( G ) n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) φ ( n , ) , where
φ ( n , ) = n + 1 2 , i f b o t h n a n d a r e o d d ; n 2 , o t h e r w i s e .
Based on the above arguments, the conclusion holds. □
For graphs in G * ( n , ) where and n satisfy that n is even, n 6 and = n 2 1 , the following theorem provides an upper bound for their Wiener-type indices with a monotone increasing function and gives some graphs that make the equality hold.
Theorem 4.
Let , n Z + , n 0 ( m o d 2 ) , n 6 , = n 2 1 and G G * ( n , ) . If g ( x ) has monotonic increasing property, then
W g ( G ) n 2 ( n 2 1 ) ( g ( 1 ) + g ( 2 ) ) + g ( 3 ) ,
the bound is obtained if G K n 2 , n 2 H * , where H * is a perfect matching in the graph K n 2 , n 2 .
Proof. 
Let v V ( G ) and V i ( v ) = { u | u V ( G ) , d ( v , u ) = i } . Since = n 2 1 , then D ( G ) n 1 n 2 1 3 by Lemma 5. By G G * ( n , ) and the monotonicity of g ( x ) , we have D ( v ) = i = 1 e c c ( v ) | V i ( v ) | g ( i ) ( n 2 1 ) ( g ( 1 ) + g ( 2 ) ) + 1 × g ( 3 ) . Thus, we have W g ( G ) n 2 ( n 2 1 ) ( g ( 1 ) + g ( 2 ) ) + g ( 3 ) . If G K n 2 , n 2 H * , then the equality holds. □

3.2. Results on Pancyclic Graphs

In this subsection, we show the results on pancyclic graphs.
For graphs in BG * ( n ) , the following theorem provides a lower bound (or an upper bound) for their Wiener-type indices with a monotone increasing (or decreasing) function and identifies the extremal graph where the equality holds.
Lemma 9.
Let G BG * ( n ) .
(i) When g ( x ) has monotonic increasing property, then
W g ( G ) 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) ,
with equality iff G K n 2 , n 2 .
(ii) When g ( x ) has monotonic decreasing property, then
W g ( G ) 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) ,
with equality iff G K n 2 , n 2 .
Proof. 
Let G BG * ( n ) have two disjoint independent sets, denoted by S 1 and S 2 such that S 1 , S 2 V ( G ) , | S 1 | = a and | S 2 | = n a ( a n 2 ) . If g ( x ) is strictly increasing, then we have
W g ( G ) 1 2 v i V 1 ( d i g ( 1 ) + ( n a d i ) g ( 3 ) + ( a 1 ) g ( 2 ) ) + 1 2 v i V 2 ( d i g ( 1 ) + ( a d i ) g ( 3 ) + ( n a 1 ) g ( 2 ) ) = 1 2 v i V 1 ( ( n a ) g ( 3 ) + ( a 1 ) g ( 2 ) + ( g ( 1 ) g ( 3 ) ) d i ) + 1 2 v i V 2 ( a g ( 3 ) + ( n a 1 ) g ( 2 ) + ( g ( 1 ) g ( 3 ) ) d i ) 1 2 [ ( n a ) g ( 3 ) + ( a 1 ) g ( 2 ) ] a + [ a g ( 3 ) + ( n a 1 ) g ( 2 ) ] ( n a ) + ( g ( 1 ) g ( 3 ) ) a ( n a ) = ( g ( 2 ) g ( 1 ) ) a 2 + ( g ( 1 ) g ( 2 ) ) n a + 1 2 g ( 2 ) n 2 1 2 g ( 2 ) n 1 4 ( g ( 2 ) g ( 1 ) ) n 2 + 1 2 ( g ( 1 ) g ( 2 ) ) n 2 + 1 2 g ( 2 ) n 2 1 2 g ( 2 ) n = 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) ,
with equality iff G K n 2 , n 2 .
The proof for the case where g ( x ) is strictly decreasing is similar, and thus it is omitted here. This completes the proof. □
Let NP = { K 3 4 K 1 , K 2 ( K 1 , 3 + K 1 ) , K 1 , 2 4 K 1 , K 4 5 K 1 , ( K 2 2 K 1 ) 5 K 1 , K 3 ( K 1 , 3 + K 2 ) , K 3 ( K 1 , 4 + K 1 ) , K 3 ( K 2 + 3 K 1 ) , K 5 6 K 1 , K 2 ( K n 4 + 2 K 1 ) } [20].
Yu et al. showed Lemma 6 in [20]. Based on Lemmas 6 and 9, we show the following results.
Theorem 5.
Let n 5 , G G * ( n ) and δ ( G ) 2 .
(i) If g ( x ) has monotonic increasing property, and
W g ( G ) n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) ,
then the graph G has pancyclic property if it is not an element of the set NP .
(ii) If g ( x ) has monotonic decreasing property, and
W g ( G ) n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) ,
then the graph G has pancyclic property if it is not an element of the set NP .
Proof. 
Let n 5 , G G * ( n ) and δ ( G ) 2 . If g ( x ) is strictly increasing, then
W g ( G ) 1 2 v i V ( G ) ( d i g ( 1 ) + ( n 1 d i ) g ( 2 ) ) = 1 2 n ( n 1 ) g ( 2 ) 1 2 ( g ( 2 ) g ( 1 ) ) v i V ( G ) d i = n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) e ( G ) .
Since W g ( G ) n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) , then e ( G ) n 2 2 + 4 . By Lemma 6, G is pancyclic unless G BG * ( n ) or G is a graph in the set NP .
If G is a pancyclic graph, the conclusion holds. Otherwise, we have G NP or G BG * ( n ) . By Lemma 9, we have W g ( G ) 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) if G is a bipartite graph. Since 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) > n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) , then G is not a bipartite graph. For all G NP , we can easily verify that W g ( G ) n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) .
The proof for the case where g ( x ) is strictly decreasing is similar, and thus it is omitted here.
By the above arguments, we have completed the proof. □
In Theorem 5, let g ( x ) { x , x λ , 1 2 ( x 2 + x ) , 1 x } (where λ 0 ). Then, we can derive some conditions that ensure graphs to have the pancyclic property with respect to these Wiener-type indices. The results are shown below.
When g ( x ) = x , we have W g ( G ) = W ( G ) . The corresponding result on the Wiener index is as follows.
Corollary 7
([23]). Let n 5 , G G * ( n ) and δ ( G ) 2 . If
W ( G ) 2 n 2 n 2 2 4 ,
then the graph G has pancyclic property if it is not an element of the set NP .
When g ( x ) = x λ , we have W g ( G ) = W λ ( G ) . The corresponding result on the modified Wiener index is as follows.
Corollary 8.
Let λ 0 , n 5 , G G * ( n ) and δ ( G ) 2 .
(i) If λ > 0 and
W λ ( G ) 2 λ n 2 ( 2 λ 1 ) n 2 2 + 4 ,
then the graph G has pancyclic property if it is not an element of the set NP .
(ii) If λ < 0 and
W λ ( G ) 2 λ n 2 ( 2 λ 1 ) n 2 2 + 4 ,
then the graph G has pancyclic property if it is not an element of the set NP .
When g ( x ) = 1 2 ( x 2 + x ) , we have W g ( G ) = W W ( G ) . The corresponding result on the hyper-Wiener index is as follows.
Corollary 9.
Let n 5 , G G * ( n ) and δ ( G ) 2 . If
W W ( G ) 3 n 2 2 n 2 2 8 ,
then the graph G has pancyclic property if it is not an element of the set NP .
When g ( x ) = 1 x , we have W g ( G ) = H ( G ) . The corresponding result on the Harary index is as follows.
Corollary 10
([23]). Let n 5 , G G * ( n ) and δ ( G ) 2 . If
H ( G ) 1 2 n 2 + 1 2 n 2 2 + 2 ,
then the graph G has pancyclic property if it is not an element of the set NP .
For convenience, we say G is an NCB-graph if G is a non-complete bipartite graph.
Theorem 6.
Let n 5 , G G * ( n ) and δ ( G ) 2 .
(i) If g ( x ) has monotonic increasing property, G ¯ G * ( n ) and
W g ( G ¯ ) n 2 g ( 1 ) + n 2 2 + 4 ( g ( n 1 ) g ( 1 ) ) ,
then the graph G has pancyclic property if it is not an NCB-graph.
(ii) If g ( x ) has monotonic decreasing property, G ¯ G * ( n ) and
W g ( G ¯ ) n 2 g ( 1 ) + n 2 2 + 4 ( g ( n 1 ) g ( 1 ) ) ,
then the graph G has pancyclic property if it is not an NCB-graph.
Proof. 
For convenience, let d i = d G ( v i ) and d i ¯ = d G ¯ ( v i ) . Then, d i ¯ = n 1 d i .
Let G G * ( n ) and δ ( G ) 2 . If g ( x ) has monotonic increasing property, then
W g ( G ¯ ) 1 2 v i V ( G ) ( d i ¯ g ( 1 ) + ( n 1 d i ¯ ) g ( n 1 ) ) = 1 2 n ( n 1 ) g ( n 1 ) 1 2 ( g ( n 1 ) g ( 1 ) ) v i V ( G ) d i ¯ = 1 2 n ( n 1 ) g ( n 1 ) 1 2 ( g ( n 1 ) g ( 1 ) ) v i V ( G ) ( n 1 d i ) = n 2 g ( 1 ) + ( g ( n 1 ) g ( 1 ) ) e ( G ) .
Since W g ( G ¯ ) n 2 g ( 1 ) + n 2 2 + 4 ( g ( n 1 ) g ( 1 ) ) , then e ( G ) n 2 2 + 4 . By Lemma 6, G has the pancyclic property unless it is in the set NP or the set BG * ( n ) .
If G is a pancyclic graph, the conclusion holds. Otherwise, we have G NP or G BG * ( n ) . If G NP or G is a complete bipartite graph, then G ¯ G * ( n ) . Hence, G is an NCB-graph.
The proof for the case where g ( x ) is strictly decreasing is similar, and thus it is omitted here.
The proof is complete by the above arguments. □
In Theorem 6, let g ( x ) { x , x λ , 1 2 ( x 2 + x ) , 1 x } (where λ 0 ). Then, we can derive some conditions that ensure graphs to have the pancyclic property with respect to these Wiener-type indices of complement graphs. The results are shown below.
When g ( x ) = x , we have W g ( G ¯ ) = W ( G ¯ ) . The corresponding result on the Wiener index is as follows.
Corollary 11
([23]). Let n 5 , G G * ( n ) and δ ( G ) 2 . If G ¯ G * ( n ) and
W ( G ¯ ) n 2 + n 2 2 + 4 ( n 2 ) ,
then the graph G has pancyclic property if it is not an NCB-graph.
When g ( x ) = x λ , we have W g ( G ¯ ) = W λ ( G ¯ ) . The corresponding result on the modified Wiener index is as follows.
Corollary 12.
Let n 5 , G G * ( n ) and δ ( G ) 2 .
(i) If λ > 0 , G ¯ G * ( n ) and
W λ ( G ¯ ) n 2 + ( ( n 1 ) λ 1 ) n 2 2 + 4 ,
then the graph G has pancyclic property if it is not an NCB-graph.
(ii) If λ < 0 , G ¯ G * ( n ) and
W λ ( G ¯ ) n 2 + ( ( n 1 ) λ 1 ) n 2 2 + 4 ,
then the graph G has pancyclic property if it is not an NCB-graph.
When g ( x ) = 1 2 ( x 2 + x ) , we have W g ( G ¯ ) = W W ( G ¯ ) . The corresponding result on the hyper-Wiener index is as follows.
Corollary 13.
Let n 5 , G G * ( n ) and δ ( G ) 2 . If G ¯ G * ( n ) and
W W ( G ¯ ) n 2 + n 2 1 n 2 2 + 4 ,
then the graph G has pancyclic property if it is not an NCB-graph.
When g ( x ) = 1 x , we have W g ( G ¯ ) = H ( G ¯ ) . The corresponding result on the Harary index is as follows.
Corollary 14
([23]). Let n 5 , G G * ( n ) and δ ( G ) 2 . If G ¯ G * ( n ) and
H ( G ¯ ) n 2 n 2 n 1 n 2 2 + 4 ,
then the graph G has pancyclic property if it is not an NCB-graph.
Let NP 1 = { ( K 2 + K 1 , 5 ) K 5 , ( 2 K 1 K 4 ) 7 K 1 , ( K 1 + K 2 + K 1 , 4 ) K 5 , ( 2 K 1 + K 1 , 5 ) K 5 , ( K 1 + K 2 6 K 1 ) K 4 , ( K 1 , 5 + K 2 ) 2 K 1 K 3 , 7 K 1 K 6 , K 5 ( 2 K 1 + K 1 , 3 + K 2 ) , K 4 [ K 1 + K 1 ( K 1 , 4 + K 2 ) ] , K 4 ( K 1 + 2 K 1 6 K 1 ) , K 3 K 3 , 7 , K 5 ( 3 K 1 + K 1 , 4 ) , K 3 2 K 1 ( K 1 + K 1 , 4 + K 2 ) , K 4 [ K 1 ( K 1 + K 1 , 5 ) + K 1 ] , K 3 2 K 1 ( 2 K 1 + K 1 , 5 ) , ( 5 K 1 + K 2 ) K 5 , K 4 [ K 1 ( 4 K 1 + K 2 ) + K 1 ] , 7 K 1 K 5 , ( 5 K 1 + K 2 ) 2 K 1 K 3 , 6 K 1 K 5 , K 4 ( K 1 , 4 + K 2 ) , K 4 ( K 1 + K 1 , 5 ) , K 3 K 2 , 6 , K 4 ( K 1 + K 1 , 3 + K 2 ) , K 4 ( 2 K 1 + K 1 , 4 ) , K 3 [ ( K 2 5 K 1 ) + K 1 ] , K 2 2 K 1 ( K 1 , 4 + K 2 ) , K 4 ( K 2 + K 1 , 2 + 2 K 1 ) , K 3 ( K 1 + K 2 , 5 ) , K 2 K 3 , 6 , K 4 ( K 1 , 3 + 3 K 1 ) , K 2 2 K 1 ( K 1 + K 1 , 3 + K 2 ) , [ K 1 ( K 1 , 4 + K 1 ) + K 1 ] K 3 , K 2 2 K 1 ( 2 K 1 + K 1 , 4 ) , ( 4 K 1 + K 2 ) K 4 , K 3 [ K 1 + K 1 ( 3 K 1 + K 2 ) ] , 6 K 1 K 4 , ( 4 K 1 + K 2 ) 2 K 1 K 2 , 5 K 1 K 4 , ( K 1 , 3 + K 2 ) K 3 , ( K 1 + K 1 , 4 ) K 3 , 5 K 1 2 K 1 K 2 , ( K 1 + K 1 , 2 + K 2 ) K 3 , ( 2 K 1 + K 1 , 3 ) K 3 , ( K 1 , 3 + K 2 ) 2 K 1 K 1 , ( 3 K 1 + K n 6 ) K 3 , ( 4 K 1 + K 3 ) K 4 , ( 6 K 1 + K 2 ) K 6 , 9 K 1 K 8 , 8 K 1 K 7 , ( K 1 + K 1 , 7 ) K 6 , K 2 , 8 K 5 , K 6 ( 2 K 1 + K 1 , 6 ) , K 4 2 K 1 ( K 2 + K 1 , 6 ) , K 5 ( K 1 + K 1 , 6 ) } [21].
Xu et al. showed Lemma 7 in [21]. Based on Lemmas 7 and 9, we show the following results.
Theorem 7.
Let n 5 , G G * ( n ) and δ ( G ) 3 .
(i) If g ( x ) has monotonic increasing property and
W g ( G ) n 2 g ( 2 ) n 3 2 + 9 ( g ( 2 ) g ( 1 ) ) ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
(ii) If g ( x ) has monotonic decreasing property and
W g ( G ) n 2 g ( 2 ) n 3 2 + 9 ( g ( 2 ) g ( 1 ) ) ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
Proof. 
Let n 5 , G G * ( n ) and δ ( G ) 3 . If g ( x ) is strictly increasing, then
W g ( G ) 1 2 v i V ( G ) ( d i g ( 1 ) + ( n 1 d i ) g ( 2 ) ) = 1 2 n ( n 1 ) g ( 2 ) 1 2 ( g ( 2 ) g ( 1 ) ) v i V ( G ) d i = n 2 g ( 2 ) ( g ( 2 ) g ( 1 ) ) e ( G ) .
Since W g ( G ) n 2 g ( 2 ) n 3 2 + 9 ( g ( 2 ) g ( 1 ) ) , then e ( G ) n 3 2 + 9 . By Lemma 7, G is pancyclic unless G is a graph in the set NP 1 or G BG * ( n ) .
If G is a pancyclic graph, the conclusion holds. Otherwise, we have G NP 1 or G is a bipartite graph. By Lemma 9, we have W g ( G ) 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) if G is a bipartite graph. Since 1 4 n ( ( g ( 1 ) + g ( 2 ) ) n 2 g ( 2 ) ) > n 2 g ( 2 ) n 3 2 + 9 ( g ( 2 ) g ( 1 ) ) , then G is not a bipartite graph. For all G NP 1 , we can easily verify that W g ( G ) n 2 g ( 2 ) n 3 2 + 9 ( g ( 2 ) g ( 1 ) ) .
The proof for the case where g ( x ) is strictly decreasing is similar, and thus it is omitted here.
Based on the above arguments, the proof is complete. □
In Theorem 7, let g ( x ) { x , x λ , 1 2 ( x 2 + x ) , 1 x } (where λ 0 ). Then, we can derive some conditions that ensure graphs to have the pancyclic property with respect to these Wiener-type indices. The results are shown below.
When g ( x ) = x , we have W g ( G ) = W ( G ) . The corresponding result on the Wiener index is as follows.
Corollary 15.
Let n 5 , G G * ( n ) and δ ( G ) 3 . If
W ( G ) 2 n 2 n 3 2 + 9 ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
When g ( x ) = x λ , we have W g ( G ) = W λ ( G ) . The corresponding result on the modified Wiener index is as follows.
Corollary 16.
Let n 5 , G G * ( n ) and δ ( G ) 3 .
(i) If λ > 0 and
W λ ( G ) 2 λ n 2 ( 2 λ 1 ) n 3 2 + 9 ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
(ii) If λ < 0 and
W λ ( G ) 2 λ n 2 ( 2 λ 1 ) n 3 2 + 9 ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
When g ( x ) = 1 2 ( x 2 + x ) , we have W g ( G ) = W W ( G ) . The corresponding result on the hyper-Wiener index is as follows.
Corollary 17.
Let n 5 , G G * ( n ) and δ ( G ) 3 . If
W W ( G ) 3 n 2 2 n 3 2 + 9 ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
When g ( x ) = 1 x , we have W g ( G ) = H ( G ) . The corresponding result on the Harary index is as follows.
Corollary 18.
Let n 5 , G G * ( n ) and δ ( G ) 3 . If
H ( G ) 1 2 n 2 + 1 2 n 3 2 + 9 ,
then the graph G has pancyclic property if it is not an element of the set NP 1 .
Example 1.
Let t 2 , n i 3 ( i = 1 , 2 , , t ) , G i = K n i ( i = 1 , 2 , , t ) , v i V ( G i ) ( i = 1 , 2 , , t ) , G = ( V ( G ) , E ( G ) ) where V ( G ) = V ( G 1 ) V ( G 2 ) V ( G t ) and E ( G ) = E ( G 1 ) E ( G 2 ) E ( G t ) { v 1 v 2 , v 2 v 3 , , v t 1 v t } . Then, W g ( G ) > n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) if g ( x ) is a monotone increasing function, and W g ( G ) < n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) if g ( x ) is a monotone decreasing function.
Proof. 
Clearly, G is connected, | V ( G ) | > 5 and δ ( G ) 2 .
Let n = n 1 + n 2 + + n t . Clearly, G NP . Since there exists exactly one edge between V ( G 1 ) and V ( G 2 ) , G contains no C n . Let g ( x ) be a monotone increasing function. If W g ( G ) n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) , then by Theorem 5, G is pancyclic, a contradiction. Hence, W g ( G ) > n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) .
Similarly, if g ( x ) is strictly decreasing, we have W g ( G ) < n 2 g ( 2 ) n 2 2 + 4 ( g ( 2 ) g ( 1 ) ) . □
Example 2.
Let n 6 , G a = K n 1 , G b = K 1 , X V ( G a ) , G = ( V ( G ) , E ( G ) ) where V ( G ) = V ( G a ) V ( G b ) and E ( G ) = E ( G a ) { u v | u X , v V ( G b ) } . Then, G has the pancyclic property if | X | 2 .
Proof. 
Clearly, G NP and G NP 1 . Let | X | = m . Then, W ( G ) = 2 ( n 1 m ) + n 1 2 + m = n 2 + n 2 m 2 2 . If m = 2 , then 2 ( n 1 m ) + n 1 2 + m = n 2 + n 6 2 2 n 2 n 2 2 4 = n 2 + 3 n 14 2 . If m 3 , then 2 ( n 1 m ) + n 1 2 + m = n 2 + n 2 m 2 2 2 n 2 n 3 2 9 = n 2 + 5 n 30 2 . By Corollaries 7 and 15, G has the pancyclic property if | X | 2 . □

4. Conclusions and Future Work

In this paper, we introduce several Wiener-type indices, whose corresponding functions g ( x ) are monotonically increasing or monotonically decreasing. Based on these Wiener-type indices and the monotonicity of their corresponding functions g ( x ) , we show some extremal conclusions on -connected graphs and some conditions that ensure graphs to have the pancyclic property. Moreover, we give some examples (see Examples 1 and 2) to support our findings.
Wiener-type indices are important and widely studied in chemical graph theory. They can be used to describe molecular structures and determine certain properties of graphs. The pancyclic property of a graph can be used to analyze complex networks. Our findings provide some upper and lower bounds for Wiener-type indices and offer a numerical computation method to determine whether a graph is pancyclic, which will assist in deriving the structure and properties of certain graphs by utilizing Wiener-type indices in practical applications. However, what we explore in this paper is the sufficient condition for a graph to be pancyclic based on the Wiener-type indices. Naturally, one may ask about the necessary conditions, which we believe are worth considering for future work.
Problem 1.
Find some necessary conditions for a graph G to be pancyclic with respect to W g ( G ) , where g ( x ) is a monotonic function.

Author Contributions

Conceptualization, J.Z., H.L. and L.Y.; Methodology, J.Z., H.L. and L.Y.; Validation, J.Z. and H.L.; Formal analysis, J.Z., H.L. and L.Y.; Writing—original draft, J.Z. and H.L.; Writing—review & editing, J.Z.; Supervision, L.Y.; Funding acquisition, H.L. and L.Y. All authors have read and agreed to the published version of the manuscript.

Funding

Supported by the National Natural Science Foundation of China (Grant No. 12371347), the Foundation of Hubei Provincial Department of Education (Grant Nos. Q20232505, Q20232513).

Data Availability Statement

The data will be made available by the authors on request.

Conflicts of Interest

The authors declare that there are no conflicts of interest.

References

  1. Bondy, J.A.; Murty, U.S.R. Graph Theory; Springer: New York, NY, USA, 2008. [Google Scholar]
  2. Todeschini, R.; Consonni, V. Handbook of Molecular Descriptors; Wiley-VCH: Weinheim, Germany, 2000. [Google Scholar]
  3. Gutman, I. A property of the Wiener number and its modidications. Indian J. Chem. 1997, 36 Pt A, 128–132. [Google Scholar]
  4. Randić, M. Novel molecular descriptor for structure-property studies. Chem. Phys. Lett. 1993, 211, 478–483. [Google Scholar] [CrossRef]
  5. Plavšić, D.; Nikolić, S.; Trinajstić, N.; Mihalić, Z. On the Harary index for the characterization of chemical graphs. J. Math. Chem. 1993, 12, 235–250. [Google Scholar] [CrossRef]
  6. Hua, H.; Liu, H. Some results on vulnerability parameters and Wiener-type indices. Discrete Appl. Math. 2024, 358, 262–271. [Google Scholar] [CrossRef]
  7. Lal, S.; Bhat, V.K.; Sharma, S. Topological indices and graph entropies for carbon nanotube Y-junctions. J. Math. Chem. 2024, 62, 73–108. [Google Scholar] [CrossRef]
  8. Negi, S.; Bhat, V.K. Face Index of Silicon Carbide Structures: An Alternative Approach. Silicon 2024, 16, 5865–5876. [Google Scholar] [CrossRef]
  9. Romdhini, M.U.; Nawawi, A.; Al-Sharqi, F.; Al-Quran, A.; Kamali, S.R. Wiener-Hosoya energy of non-commuting graph for dihedral groups. Asia Pac. J. Math. 2024, 11, 1–9. [Google Scholar]
  10. Zaman, S.; Hakami, K.H.; Rasheed, S.; Agama, F.T. Reduced reverse degree-based topological indices of graphyne and graphdiyne nanoribbons with applications in chemical analysis. Sci. Rep. 2024, 14, 547. [Google Scholar] [CrossRef]
  11. Liu, H.; You, L.; Hua, H.; Du, Z. Some sufficient conditions for graphs to be k-leaf-connected. Discrete Appl. Math. 2024, 352, 1–8. [Google Scholar] [CrossRef]
  12. Liu, H.; You, L.; Huang, Y.; Du, Z. On sufficient conditions for Hamiltonicity of graphs, and beyond. J. Comb. Optim. 2024, 47, 11. [Google Scholar] [CrossRef]
  13. Hua, H.; Ning, B. Wiener index, Harary index and Hamiltonicity of graphs. MATCH Commun. Math. Comput. Chem. 2017, 78, 153–162. [Google Scholar]
  14. Liu, R.; Du, X.; Jia, H. Wiener index on traceable and Hamiltonian graphs. Bull. Aust. Math. Soc. 2016, 94, 362–372. [Google Scholar] [CrossRef]
  15. Lu, Y.; Zhou, Q. On sufficient topological indices conditions for properties of graphs. J. Comb. Optim. 2021, 41, 487–503. [Google Scholar] [CrossRef]
  16. Lu, Y.; Zhou, Q. On hyper-Zagreb index conditions for hamiltonicity of graphs. Czech. Math. J. 2022, 72, 653–662. [Google Scholar] [CrossRef]
  17. Zhou, Q.; Wang, L.; Lu, Y. Wiener index and Harary index on Hamilton-connected graphs with large minimum degree. Discret. Appl. Math. 2018, 247, 180–185. [Google Scholar] [CrossRef]
  18. Kuang, M.; Huang, G.; Deng, H. Some sufficient conditions for Hamiltonian property in terms of Wiener-type invariants. Proc. Indian Acad. Sci. (Math. Sci.) 2016, 126, 1–9. [Google Scholar] [CrossRef]
  19. Qin, X.; Zhao, Y.; Wu, B. Wiener index of k-connected graphs. J. Interconnect. Netw. 2021, 21, 2142005. [Google Scholar] [CrossRef]
  20. Yu, G.; Yu, T.; Shu, A.; Xia, X. Some sufficient conditions on pancyclic graphs. arXiv 2018, arXiv:1809.09897. [Google Scholar]
  21. Xu, H.; Yu, T.; Alsaadi, F.E.; Alassafi, M.O.; Yu, G.; Cao, J. Some spectral sufficient conditions for a graph being pancyclic. AIMS Math. 2020, 5, 5389–5401. [Google Scholar] [CrossRef]
  22. Gutman, I.; Zhang, S. Graph connectivity and Wiener index. Cl. Des Sci. Math. Nat. Sci. Math. 2006, 31, 1–5. [Google Scholar] [CrossRef]
  23. Jia, H.; Song, H. Some sufficient conditions on pancyclic graphs. arXiv 2019, arXiv:1906.06814. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zeng, J.; Liu, H.; You, L. Extremal Results on -Connected Graphs or Pancyclic Graphs Based on Wiener-Type Indices. Mathematics 2025, 13, 10. https://doi.org/10.3390/math13010010

AMA Style

Zeng J, Liu H, You L. Extremal Results on -Connected Graphs or Pancyclic Graphs Based on Wiener-Type Indices. Mathematics. 2025; 13(1):10. https://doi.org/10.3390/math13010010

Chicago/Turabian Style

Zeng, Jing, Hechao Liu, and Lihua You. 2025. "Extremal Results on -Connected Graphs or Pancyclic Graphs Based on Wiener-Type Indices" Mathematics 13, no. 1: 10. https://doi.org/10.3390/math13010010

APA Style

Zeng, J., Liu, H., & You, L. (2025). Extremal Results on -Connected Graphs or Pancyclic Graphs Based on Wiener-Type Indices. Mathematics, 13(1), 10. https://doi.org/10.3390/math13010010

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop