Next Article in Journal
Symmetric Spaces of Qubits and Gaussian Modes
Next Article in Special Issue
Edge-Irregular Reflexive Strength of Non-Planar Graphs
Previous Article in Journal
Multi-Source Training-Free Controllable Style Transfer via Diffusion Models
Previous Article in Special Issue
Optimization in Symmetric Trees, Unicyclic Graphs, and Bicyclic Graphs with Help of Mappings Using Second Form of Generalized Power-Sum Connectivity Index
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Resolving the Open Problem by Proving a Conjecture on the Inverse Mostar Index for c-Cyclic Graphs

1
Department of Mathematics, Bishop Chulaparambil Memorial (B.C.M) College, Kottayam 686001, Kerala, India
2
Department of Mathematics, Sungkyunkwan University, Suwon 16419, Republic of Korea
*
Author to whom correspondence should be addressed.
Symmetry 2025, 17(2), 291; https://doi.org/10.3390/sym17020291
Submission received: 25 January 2025 / Revised: 10 February 2025 / Accepted: 11 February 2025 / Published: 14 February 2025
(This article belongs to the Special Issue Symmetry and Graph Theory, 2nd Edition)

Abstract

:
Inverse topological index problems involve determining whether a graph exists with a given integer as its topological index. One such index, the Mostar index M o ( G ) , is defined as M o ( G ) = u v E ( G ) | n u ( e | G ) n v ( e | G ) | , where n u ( e | G ) and n v ( e | G ) represent the number of vertices closer to vertex u than v and closer to v than u, respectively, for an edge e = u v . The inverse Mostar index problem has gained significant attention recently. In their work, Alizadeh et al. [Solving the Mostar index inverse problem, J. Math. Chem. 62 (5) (2024) 1079–1093] proposed the following open problem: “Which nonnegative integers can be realized as Mostar indices of c-cyclic graphs, for a given positive integer c?”. Subsequently, one of the present authors [On the inverse Mostar index problem for molecular graphs, Trans. Comb. 14 (1) (2024) 65–77] conjectured that, except for finitely many positive integers, all other positive integers can be realized as the Mostar index of a c-cyclic graph, where c 3 . In this paper, we address the inverse Mostar index problem for c-cyclic graphs. Specifically, we construct infinitely many families of symmetric c-cyclic structures, thereby demonstrating a solution to the inverse Mostar index problem using an infinite family of such symmetric structures. By providing a comprehensive proof of the conjecture, we fully resolve this longstanding open problem.
MSC:
92E10; 05C92; 05C09; 05C35

1. Introduction

Let G = ( V , E ) be a simple, connected graph with vertex set V ( G ) ( | V ( G ) | = n ) and edge set E ( G ) ( | E ( G ) | = m ) . For u , v V ( G ) , the length of the shortest path between the vertices u and v is their distance, d G ( u , v ) . Let e = u v be an edge of the graph G (which may contain cycles or be acyclic), connecting the vertices u and v. Define two sets N u ( e | G ) and N v ( e | G ) as
N u ( e | G ) = { w V ( G ) | d G ( w , u ) < d G ( w , v ) } , N v ( e | G ) = { w V ( G ) | d G ( w , v ) < d G ( w , u ) } .
The number of elements of N u ( e | G ) and N v ( e | G ) is denoted by n u ( e | G ) and n v ( e | G ) , respectively. Thus, n u ( e | G ) counts the vertices of G lying closer to the vertex u than to vertex v. The meaning of n v ( e | G ) is analogous. Vertices equidistant from both ends of the edge u v belong neither to N u ( e | G ) nor to N v ( e | G ) . Note that for any edge e = u v of G, n u ( e | G ) 1 and n v ( e | G ) 1 , because u N u ( e | G ) and v N v ( e | G ) .
Topological indices are numerical quantities associated with graphs that remain invariant under graph isomorphisms. The Mostar index, introduced in [1], is a recently developed bond-additive topological index. The Mostar index M o ( G ) is defined as
M o ( G ) = e = u v E ( G ) | n u ( e | G ) n v ( e | G ) | .
We use the notation ϕ ( e | G ) = | n u ( e | G ) n v ( e | G ) | to represent the contribution of the edge e = u v to the Mostar index. Thus, we have
M o ( G ) = e = u v E ( G ) ϕ ( e | G ) .
In recent years, numerous studies have explored the Mostar index and its associated variants. For further literature on the subject, see [1,2,3,4,5,6,7,8,9].
The inverse topological index problem involves the realization of integers as topological indices within various classes of graphs. It is closely related to several similar problems in other fields [10]. The first version of this problem was introduced by Gutman in [11], and since then, several variants have been investigated for different topological indices [12,13,14,15,16,17,18]. Recently, the inverse Mostar index problem for various classes of graphs has been studied extensively [12,13,19]. In [19], Alizadeh et al. proposed the following problem on inverse Mostar index for c-cyclic graphs.
Problem 1. 
Which nonnegative integers can be realized as Mostar indices of c-cyclic graphs, for a given positive integer c?
This problem was thoroughly resolved for c-cyclic graphs when c { 0 , 1 , 2 , 3 } in [12,13,14]. Building on these findings and after an in-depth study of Problem 1 as discussed in [12], one of the present authors proposed the following conjecture concerning the inverse problem of the Mostar index for c-cyclic graphs.
Conjecture 1. 
For any fixed c 3 , there exists a c-cyclic graph with the Mostar index M o ( G ) = p , where p N A , and A is a finite set.
In this paper, we address the inverse Mostar index problem for c-cyclic graphs. Specifically, we construct infinitely many families of symmetric c-cyclic structures, providing a solution to the inverse Mostar index problem through an infinite family of such symmetric graphs. Specifically, for each given Mostar index value, we systematically design a corresponding family of symmetric c-cyclic graphs that realize this index, ensuring that every possible target value has at least one structural realization. By utilizing symmetry properties and cyclic arrangements, we generate these graph families with a consistent and reliable construction. This approach not only offers a constructive solution to the inverse Mostar index problem but also highlights the intricate relationship between graph symmetry and topological indices, providing deeper insights into the role of cyclic structures in shaping graph invariants. By providing a comprehensive proof of Conjecture 1, we fully resolve this longstanding open problem, Problem 1.

2. Main Results

In this section, we provide a complete resolution of Problem 1 by proving Conjecture 1. We use the following constructions to prove the result. In each case, we present multiple constructions to address both Conjecture 1 and Problem 1. We begin by examining the case of c-cyclic graphs when c is even.
  • Construction I. Consider a cycle C = u 1 u 2 u 2 c + 2 u 1 of length 2 c + 2 . Starting from i = 1 , for each path u i u i + 1 u i + 2 of length 2 in C, take a vertex v i + 1 2 and form a 4-cycle by attaching the edges u i v i + 1 2 and u i + 2 v i + 1 2 for i = 1 , 3 , 5 , c 1 . Next, starting from i = c + 4 , take the path u i u i + 1 u i + 2 and a new vertex v i 2 2 , forming a 4-cycle by attaching the edges u i v i 2 2 and u i + 2 v i 2 2 for i = c + 4 , c + 6 2 c . Let the resultant graph be denoted by G E , E (see, Figure 1). In G E , E , let C i denote the 4-cycle containing the vertex v i . Now, let G E , E 1 (see, Figure 1) be the graph obtained by inserting a new edge between the cycles C c 2 & C c 2 + 1 , and C c 1 & C 1 in C (or by subdividing the edges u c + 1 u c + 2 and u 2 c + 2 u 1 ). Relabel the vertices of the cycle C as u 1 u 2 u 2 c + 3 u 2 c + 4 . Proceeding in this manner, let G E , E k denote the graph obtained from G E , E k 1 by inserting a new edge between the cycles C c 2 & C c 2 + 1 , and C c 1 & C 1 in C (or by subdividing the edges u c + 1 u c + 2 and u 2 c + 2 u 1 k-times in G E , E ). Clearly, G E , E is a c-cyclic graph with 3 c + 1 vertices and 4 c edges, while G E , E k is a c-cyclic graph with 3 c + 2 k + 1 vertices and 4 c + 2 k edges. In all the graphs considered, let e i , j denote the edge connecting the vertices u i and u j , where i j . Similarly, let e i , j denote the edge connecting the vertices u i and v j , where i j .
Proposition 1. 
For an even c 4 , ( a ) M o ( G E , E ) = 8 c 8 , ( b ) M o ( G E , E 1 ) = M o ( G E , E ) + 2 and M o ( G E , E k ) = M o ( G E , E k 1 ) + 2 , k = 2 , 3 , .
Proof. 
( a ) In G E , E , consider any 4-cycle C i ( i = 2 , 3 , , c 2 ) . For the edges e 2 i 1 , i = u 2 i 1 v i and e 2 i 1 , 2 i = u 2 i 1 u 2 i , we obtain
n u 2 i 1 ( e 2 i 1 , i | G E , E ) = 3 c + 4 2 and n v i ( e 2 i 1 , i | G E , E ) = 3 c 2 2 ,
n u 2 i 1 ( e 2 i 1 , 2 i | G E , E ) = 3 c + 4 2 and n u 2 i ( e 2 i 1 , 2 i | G E , E ) = 3 c 2 2 .
Therefore, there are exactly two edges with the contribution
ϕ ( e 2 i 1 , 2 i | G E , E ) = ϕ ( e 2 i 1 , i | G E , E ) = 3 c + 4 2 3 c 2 2 = 3 .
For the other two edges e 2 i + 1 , i = u 2 i + 1 v i and e 2 i , 2 i + 1 = u 2 i u 2 i + 1 , the following holds:
n u 2 i + 1 ( e 2 i + 1 , i | G E , E ) = 3 c + 2 2 and n v i ( e 2 i + 1 , i | G E , E ) = 3 c 2 ,
n u 2 i + 1 ( e 2 i , 2 i + 1 | G E , E ) = 3 c + 2 2 and n u 2 i ( e 2 i , 2 i + 1 | G E , E ) = 3 c 2 .
Therefore, these two edges have the contribution
ϕ ( e 2 i + 1 , i | G E , E ) = ϕ ( e 2 i , 2 i + 1 | G E , E ) = 3 c + 2 2 3 c 2 = 1 .
Next, we consider any 4-cycle C i ( i = c 2 + 1 , , c 1 ) . For the edges e 2 i + 2 , i = u 2 i + 2 v i and e 2 i + 2 , 2 i + 3 = u 2 i + 2 u 2 i + 3 , we obtain
n u 2 i + 2 ( e 2 i + 2 , i | G E , E ) = 3 c + 2 2 and n v i ( e 2 i + 2 , i | G E , E ) = 3 c 2 ,
n u 2 i + 2 ( e 2 i + 2 , 2 i + 3 | G E , E ) = 3 c + 2 2 and n u 2 i + 3 ( e 2 i + 2 , 2 i + 3 | G E , E ) = 3 c 2 .
Therefore, there are exactly two edges with the contribution
ϕ ( e 2 i + 2 , 2 i + 3 | G E , E ) = ϕ ( e 2 i + 2 , i | G E , E ) = 3 c + 2 2 3 c 2 = 1 .
For the other two edges e 2 i + 4 , i = u 2 i + 4 v i and e 2 i + 3 , 2 i + 4 = u 2 i + 3 u 2 i + 4 , the following holds:
n u 2 i + 4 ( e 2 i + 4 , i | G E , E ) = 3 c + 4 2 , and n v i ( e 2 i + 4 , i | G E , E ) = 3 c 2 2 ,
n u 2 i + 4 ( e 2 i + 3 , 2 i + 4 | G E , E ) = 3 c + 4 2 , and n u 2 i + 3 ( e 2 i + 3 , 2 i + 4 | G E , E ) = 3 c 2 2 .
Therefore, these two edges have the contribution
ϕ ( e 2 i + 4 , i | G E , E ) = ϕ ( e 2 i + 3 , 2 i + 4 | G E , E ) = 3 c + 4 2 3 c 2 2 = 3 .
For all the remaining edges e = u v of G E , E ,
n u ( e | G E , E ) = 3 c + 2 2 , n v ( e | G E , E ) = 3 c 2 .
Therefore, these edges have the contribution
ϕ ( e | G E , E ) = | n u ( e | G E , E ) n v ( e | G E , E ) | = 3 c + 2 2 3 c 2 = 1 .
Using the above results, from (2), we obtain
M o ( G E , E ) = 8 ( c 2 ) + 8 = 8 c 8 .
( b ) In G E , E 1 , the contribution of a new edge e = u v is calculated as follows:
ϕ ( e | G E , E 1 ) = | n u ( e | G E , E 1 ) n v ( e | G E , E 1 ) | = 3 c + 4 2 3 c + 2 2 = 1 .
For each of the other edges e = u v E ( G E , E 1 ) , the contribution is
ϕ ( e | G E , E 1 ) = | n u ( e | G E , E ) + 1 n v ( e | G E , E ) 1 | = | n u ( e | G E , E ) n v ( e | G E , E ) | .
This means that all the other edges have the same contribution as in G E , E . Therefore,
M o ( G E , E 1 ) = M o ( G E , E ) + 2 .
Similarly, in G E , E k and G E , E k 1 , all the edges except the new edges have the same contribution. The two new edges in G E , E k each have a contribution ϕ ( e | G E , E k ) = 1 . Thus, it follows that
M o ( G E , E 1 ) = M o ( G E , E ) + 2 .
In a similar manner, we can establish
M o ( G E , E k ) = M o ( G E , E k 1 ) + 2 for k = 2 , 3 ,
We can also provide several classes of constructions to obtain the same value of the Mostar index as in Proposition 1. A general version of the construction is as follows.
  • General Construction I. Consider the base graph G E , E as in Construction I. For j = 3 , 5 , , c 1 , let u j and u c + j + 1 be vertices positioned between the 4-cycles C j + 1 2 , C j 1 2 and C c + j 1 2 , C c + j 3 2 , respectively. Define G E , E j , 1 as the graph obtained from G E , E by deleting the edges u j v j + 1 2 and u c + j + 1 v c + j 1 2 , subdividing the edges u j u j + 1 and u c + j + 1 u c + j + 2 , relabeling the vertices of the cycle C as u 1 , u 2 , , u 2 c + 4 , and adding an edge between u j + 1 v j + 1 2 and u c + j + 3 v c + j 1 2 . This effectively inserts an edge between the cycles C j + 1 2 , C j 1 2 and C c + j 1 2 , C c + j 3 2 in C. Proceeding iteratively, define G E , E j , k (see, Figure 2) as the graph obtained from G E , E j , k 1 by subdividing the edges u j + k 1 u j + k and u c + j + 2 k 1 u c + j + 2 k , thereby inserting k edges between the cycles C j + 1 2 , C j 1 2 and C c + j 1 2 , C c + j 3 2 . At each step, relabel the vertices of C in G E , E j , k . Clearly, G E , E j , k is a c-cyclic graph with 3 c + 2 k + 1 vertices and 4 c + 2 k edges for each j = 3 , 5 , , c 1 .
Proposition 2. 
For each fixed even integer c 4 , M o ( G E , E j , k ) = M o ( G E , E j , k 1 ) + 2 , where j = 3 , 5 , , c 1 and k = 2 , 3 .
Proof. 
From direct computation in G E , E j , k , the contribution of the new edges is 1 each, and the contribution of every other edge remains the same as in G E , E j , k 1 . Therefore,
M o ( G E , E j , k ) = M o ( G E , E j , k 1 ) + 2 and M o ( G E , E j , 1 ) = M o ( G E , E ) + 2 for j = 3 , 5 , , c 1 and k = 2 , 3 , .
  • Construction II. Consider a cycle C = u 1 u 2 u 2 c + 1 u 1 of length 2 c + 1 . Select the vertex u 2 and its diametrically opposite edge u c + 2 u c + 3 in C. From the path u 1 u 2 u 3 in C, attach the end vertices u 1 and u 3 to a new vertex v 1 , forming a 4-cycle C 1 . Additionally, attach a pendant edge v 1 w at v 1 . Starting from i = 4 , for each path u i u i + 1 u i + 2 of length 2 with i = 4 , 6 , , c , take a new vertex v i 2 and attach u i and u i + 2 to v i 2 to form a 4-cycle. Similarly, starting from i = c + 3 , for each path u i u i + 1 u i + 2 of length 2 with i = c + 3 , c + 5 , , 2 c 1 , take a vertex v i 1 2 and attach u i and u i + 2 to v i 1 2 to form a 4-cycle. The resulting graph is denoted by G E , O , which is a c-cyclic graph with order 3 c + 1 and size 4 c (see, Figure 3). Let the 4-cycle in G E , O containing the vertex v i be denoted as C i , for i = 1 , 2 , , c 1 . Define G E , O 1 (see, Figure 3) as the graph obtained from G E , O by subdividing the edge u 1 u 2 c + 1 and attaching a new edge between the cycles C c 2 and C c 2 1 , relabeling the vertices of C as u 1 u 2 u 2 c + 3 . Next, let G E , O 2 (see, Figure 3) be the graph obtained from G E , O 1 by inserting a new edge between the cycles C c 1 & C 1 , and another edge between C c 2 & C c 2 1 . Proceeding iteratively, define G E , O k as the graph obtained from G E , O k 1 by inserting edges between the cycles C c 1 & C 1 , and between C c 2 & C c 2 1 . Clearly, G E , O k is a c-cyclic graph with 3 c + 1 + 2 k vertices and 4 c + 2 k edges for each k = 1 , 2 , . In all these graphs, let e i , j denote the edge connecting the vertex u i and u j , where i j and e i , j denote the edge connecting the vertex u i and v j , where i j .
Proposition 3. 
For an even c 4 , ( a ) M o ( G E , O ) = 9 c 11 , ( b ) M o ( G E , O 1 ) = M o ( G E , O ) + 2 , and M o ( G E , O k ) = M o ( G E , O k 1 ) + 2 , j = 2 , 3 , .
Proof. 
( a ) Since G E , O has 3 c + 1 vertices, the pendant edge e = v 1 w has the contribution ϕ ( e | G E , O ) = 3 c 1 . Now, in the cycle C 1 , for the edges e 1 , 1 = u 1 v 1 and e 3 , 1 = u 3 v 1 , we have
n u 1 ( e 1 , 1 | G E , O ) = n v 1 ( e 1 , 1 | G E , O ) = 3 c 2 , and n u 3 ( e 3 , 1 | G E , O ) = n v 1 ( e 3 , 1 | G E , O ) = 3 c 2 .
There are exactly two edges with the contributions ϕ ( e 1 , 1 | G E , O ) = ϕ ( e 3 , 1 | G E , O ) = 0 , and for the other two edges e 1 , 2 = u 1 u 2 , and e 2 , 3 = u 2 u 3 , we have
n u 1 ( e 1 , 2 | G E , O ) = 3 c + 2 2 , n u 2 ( e 1 , 2 | G E , O ) = 3 c 2 2 , and n u 3 ( e 2 , 3 | G E , O ) = 3 c + 2 2 , n u 2 ( e 2 , 3 | G E , O ) = 3 c 2 2 .
Therefore,
ϕ ( e 1 , 2 | G E , O ) = ϕ ( e 2 , 3 | G E , O ) = 3 c + 2 2 3 c 2 2 = 2 .
Similarly, in C c 2 , there are two edges, e c + 2 , c 2 = u c + 2 v c 2 and e c + 1 , c + 2 = u c + 1 u c + 2 , with
n u c + 2 ( e c + 2 , c 2 | G E , O ) = 3 c 2 , n v c 2 ( e c + 2 , c 2 | G E , O ) = 3 c 2 , and n u c + 2 ( e c + 1 , c + 2 | G E , O ) = 3 c 2 , n u c + 1 ( e c + 1 , c + 2 | G E , O ) = 3 c 2 .
Therefore, the contribution is
ϕ ( e c + 2 , c 2 | G E , O ) = ϕ ( e c + 1 , c + 2 | G E , O ) = 3 c 2 3 c 2 = 0 ,
and for the other two edges, e c , c 2 = u c v c 2 , and e c , c + 1 = u c u c + 1 , we have
n u c ( e c , c 2 | G E , O ) = 3 c + 2 2 , n v c 2 ( e c , c 2 | G E , O ) = 3 c 2 2 ,
n u c ( e c , c + 1 | G E , O ) = 3 c + 2 2 , n u c + 1 ( e c , c + 1 | G E , O ) = 3 c 2 2 .
Thus, the contribution is
ϕ ( e c , c 2 | G E , O ) = ϕ ( e c , c + 1 | G E , O ) = | n u ( e c , c + 1 | G E , O ) n v ( e c , c + 1 | G E , O ) | = 3 c + 2 2 3 c 2 2 = 2 .
Similarly, in C c 2 + 1 , there are two edges, each incident at u c + 5 , with the contribution ϕ ( e | G E , O ) = 2 , and the other two edges incident at u c + 3 have the contribution ϕ ( e | G E , O ) = 0 . For the remaining cycles C i , i = 2 , c 2 1 , for the edges e 2 i , i = u 2 i v i and e 2 i , 2 i + 1 = u 2 i u 2 i + 1 , we have
n u 2 i ( e 2 i , i | G E , O ) = 3 c + 2 2 , n v i ( e 2 i , i | G E , O ) = 3 c 2 2 ,
n u 2 i ( e 2 i , 2 i + 1 | G E , O ) = 3 c + 2 2 , n u 2 i + 1 ( e 2 i , 2 i + 1 | G E , O ) = 3 c 2 2 .
Therefore,
ϕ ( e 2 i , i | G E , O ) = ϕ ( e 2 i , 2 i + 1 | G E , O ) = 3 c + 2 2 3 c 2 2 = 2 .
Now, for the edge e 2 i + 2 , i = u 2 i + 2 v i , we have
n u 2 i + 2 ( e 2 i + 2 , i | G E , O ) = 3 c 2 , n v i ( e 2 i + 2 , i | G E , O ) = 3 c 2 2 ,
and for the edge e 2 i + 1 , 2 i + 2 = u 2 i + 1 u 2 i + 2 , we have
n u 2 i + 2 ( e 2 i + 1 , 2 i + 2 | G E , O ) = 3 c 2 , n u 2 i + 1 ( e 2 i + 1 , 2 i + 2 | G E , O ) = 3 c 2 2 .
Therefore,
ϕ ( e 2 i + 2 , i | G E , O ) = ϕ ( e 2 i + 1 , 2 i + 2 | G E , O ) = 3 c 2 3 c 2 2 = 1 .
Similarly, on the cycle C i , where i = c 2 + 2 , , c 1 , for the edge e 2 i + 1 , i = u 2 i + 1 v i , we have
n u 2 i + 1 ( e 2 i + 1 , i | G E , O ) = 3 c 2 , and n v i ( e 2 i + 1 , i | G E , O ) = 3 c 2 2 ,
and for the edge e 2 i + 1 , 2 i + 2 = u 2 i + 1 u 2 i + 2 , we obtain
n u 2 i + 1 ( e 2 i + 1 , 2 i + 2 | G E , O ) = 3 c 2 , and n u 2 i + 2 ( e 2 i + 1 , 2 i + 2 | G E , O ) = 3 c 2 2 .
Therefore, ϕ ( e 2 i + 1 , i | G E , O ) = ϕ ( e 2 i + 1 , 2 i + 2 | G E , O ) = 1 . For the other two edges, e 2 i + 3 , i = u 2 i + 3 v i , we have
n u 2 i + 3 ( e 2 i + 3 , i | G E , O ) = 3 c + 2 2 , and n v i ( e 2 i + 3 , i | G E , O ) = 3 c 2 2 ,
and for the edge e 2 i + 2 , 2 i + 3 = u 2 i + 2 u 2 i + 3 , we obtain
n u 2 i + 3 ( e 2 i + 2 , 2 i + 3 | G E , O ) = 3 c + 2 2 , and n u 2 i + 2 ( e 2 i + 2 , 2 i + 3 | G E , O ) = 3 c 2 2 .
Therefore, ϕ ( e 2 i + 3 , i | G E , O ) = ϕ ( e 2 i + 2 , 2 i + 3 | G E , O ) = 3 c + 2 2 3 c 2 2 = 2 . Now, for the edges e 1 , 2 c + 1 = u 1 u 2 c + 1 and e 3 , 4 = u 3 u 4 , the contribution is
ϕ ( u 1 , 2 c + 1 | G E , O ) = ϕ ( e 3 , 4 | G E , O ) = 3 c 2 3 c 2 2 = 1 ,
and the remaining edge has the contribution ϕ ( e c + 2 , c + 3 | G E , O ) = 3 c 2 2 3 c 2 2 = 0 . Using the above results, from (2), we obtain
M o ( G E , O ) = 6 ( c 4 ) + 12 + 2 + 3 c 1 = 9 c 11 .
( b ) In G E , O k and G E , O k 1 , the pendant edges contribute ϕ ( e | G E , O k ) = 3 c + 2 k 1 and ϕ ( e | G E , O k 1 ) = 3 c + 2 k 3 , respectively. Two new edges in G E , O k each contribute ϕ ( e | G E , O k ) = 0 to the Mostar index. For the remaining edges e = u v of G E , O k , we have
ϕ ( e | G E , O k ) = | n u ( e | G E , O k 1 ) + 1 n v ( e | G E , O k 1 ) 1 | = | n u ( e | G E , O k 1 ) n v ( e | G E , O k 1 ) | = ϕ ( e | G E , O k 1 ) .
Therefore, the remaining edges of G E , O k and G E , O k 1 contribute the same amount. Thus, we conclude that
M o ( G E , O k ) = M o ( G E , O k 1 ) + 2 .
We can also provide several classes of constructions that yield the same value of the Mostar index as in Proposition 3. A general version of the construction is as follows.
  • General Construction II. Consider the base graph G E , O as described in Construction II. For j = 6 , 8 , , c 2 , let u j and u c + j + 1 be vertices such that u j lies between the 4-cycles C j 2 and C j 2 1 , and u c + j + 1 lies between the cycles C c + j 2 and C c + j 2 1 . Define G E , O j , 1 as the graph obtained by deleting the edges u j v j 2 and u c + j + 1 v c + j 2 , subdividing the edges u j u j + 1 and u c + j + 1 u c + j + 2 , relabeling the vertices of C as u 1 , u 2 , , u 2 c + 3 , and adding edges u j + 1 v j 2 and u c + j + 3 v c + j 2 . This process effectively connects the cycles C j 2 and C j 2 1 , as well as C c + j 2 and C c + j 2 1 , through the newly added edges. Proceeding iteratively, let G E , O j , k denote the graph obtained by subdividing the edges u j + k 2 u j + k 1 and u c + j + 2 k 2 u c + j + 2 k 1 of G E , O j , k 1 exactly once, or equivalently, inserting k 1 edges between the cycles C j 2 and C j 2 1 , and between C c + j 2 and C c + j 2 1 in C of G E , O j , 1 , like in Figure 2. After each step, relabel the vertices of the cycle C in G E , O j , k . Clearly, G E , O j , k is a c-cyclic graph with 3 c + 2 k + 1 vertices and 4 c + 2 k edges, where k = 1 , 2 , , and j = 6 , 8 , , c 2 .
Proposition 4. 
For every fixed even integer c 4 , M o ( G E , O j , k ) = M o ( G E , O j , k 1 ) + 2 , where j = 6 , 8 , , c 2 and k = 1 , 2 , .
Proof. 
In G E , O j , k and G E , O j , k 1 , the pendant edges contribute ϕ ( e | G E , O j , k ) = 3 c + 2 k 1 and ϕ ( e | G E , O j , k 1 ) = 3 c + 2 k 3 , respectively. Two new edges in G E , O j , k each contribute ϕ ( e | G E , O j , k ) = 0 to the Mostar index. The remaining edges of G E , O j , k and G E , O j , k 1 contribute the same amount. Therefore, M o ( G E , O j , k ) = M o ( G E , O j , k 1 ) + 2 . □
Next, we consider the case when c is odd.
  • Construction III. Consider a cycle C = u 1 u 2 u 2 c 1 u 1 of length 2 c 1 . Add a vertex v 1 and connect it to u 1 and u 2 to form a 3-cycle u 1 u 2 v 1 u 1 . For each path u i u i + 1 u i + 2 in C where i = 3 , 5 , , 2 c 3 , introduce a vertex v i + 1 2 and connect it to u i and u i + 2 , forming a 4-cycle u i u i + 1 u i + 2 v i + 1 2 u i . Let the resultant graph be denoted as G O , E (see, Figure 4). Define C 1 as the 3-cycle u 1 u 2 v 1 u 1 , and for i = 2 , 3 , , c 1 , let C i denote the 4-cycle containing the vertex v i . Now, construct G O , E 1 (see, Figure 4) from G O , E by deleting the edge u c v c 1 2 , subdividing the edges u 1 u 2 c 1 and u c 1 u c , relabeling the vertices of C as u 1 , u 2 , , u 2 c + 1 , and adding the edge v c 1 2 u c . Alternatively, this can be described as inserting a new edge between the cycles C 1 and C c 1 , as well as between C c 1 2 and C c + 1 2 in C. Proceeding recursively, G O , E k is obtained from G O , E k 1 by inserting new edges between C 1 and C c 1 , and between C c 1 2 and C c + 1 2 in C, or equivalently by subdividing the edges u 1 u 2 c 1 + 2 ( k 1 ) and u c u c + 1 exactly once, or by subdividing the edges u 1 u 2 c + 1 and u c u c + 1 in G O , E 1 exactly k 1 times. Clearly, G O , E is a c-cyclic graph of the order 3 c 2 and size 4 c 3 , while G O , E k is a c-cyclic graph of the order 3 c 2 + 2 k and size 4 c 3 + 2 k for k = 1 , 2 , . In all these graphs, let e i , j denote the edge connecting vertices u i and u j (where i j ), and let e i , j denote the edge connecting u i and v j (where i j ).
Proposition 5. 
For an odd c 3 , ( a ) M o ( G O , E ) = 9 c 13 , ( b ) M o ( G O , E 1 ) = M o ( G O , E ) + 2 and M o ( G O , E k ) = M o ( G O , E k 1 ) + 2 , j = 2 , 3 , .
Proof. 
( a ) In G O , E , two edges e 1 , 1 = u 1 v 1 and e 2 , 1 = u 2 v 1 contribute the following:
ϕ ( e 1 , 1 | G O , E ) = ϕ ( e 2 , 1 | G O , E ) = n 1 2 = 3 c 3 2 .
The edge e 1 , 2 = u 1 u 2 contributes
ϕ ( e 1 , 2 | G O , E ) = | n u 1 ( e 1 , 2 | G O , E ) n u 2 ( e 1 , 2 | G O , E ) | = 3 c 5 2 3 c 5 2 = 0 .
In each of the cycles C i for i = 2 , 3 , c 1 , where i c + 1 2 , two edges e 2 i 1 , i = u 2 i 1 v i and e 2 i 1 , 2 i = u 2 i 1 u 2 i contribute the following:
n u 2 i 1 ( e 2 i 1 , i | G O , E ) = 3 c 3 2 n v i ( e 2 i 1 , i | G O , E ) = 3 c 5 2 ,
n u 2 i 1 ( e 2 i 1 , 2 i | G O , E ) = 3 c 3 2 n u 2 i ( e 2 i 1 , 2 i | G O , E ) = 3 c 5 2 .
Therefore, the contribution of these two edges are
ϕ ( e 2 i 1 , i | G O , E ) = ϕ ( e 2 i 1 , 2 i | G O , E ) = 3 c 3 2 3 c 5 2 = 1 .
For the edges, e 2 i , 2 i + 1 = u 2 i u 2 i + 1 and e 2 i + 1 , i = u 2 i + 1 v i , we have
n u 2 i + 1 ( e 2 i , 2 i + 1 | G O , E ) = 3 c 1 2 n u 2 i ( e 2 i , 2 i + 1 | G O , E ) = 3 c 5 2 ,
n u 2 i + 1 ( e 2 i + 1 , i | G O , E ) = 3 c 1 2 n v i ( e 2 i + 1 , i | G O , E ) = 3 c 5 2 .
Thus, the contributions of these two edges are ϕ ( e 2 i + 1 , i | G O , E ) = ϕ ( e 2 i , 2 i + 1 | G O , E ) = 3 c 1 2 3 c 5 2 = 2 . In C c + 1 2 , each of the four edges e = u v contributes:
n u ( e | G O , E ) = 3 c 1 2 when u = u c , u c + 2 ,
n v ( e | G O , E ) = 3 c 5 2 when v = u c + 1 , v c + 1 2 .
Therefore, each of these four edges contributes
ϕ ( e | G O , E ) = 3 c 1 2 3 c 5 2 = 2 .
The remaining edges in G O , E have zero contribution. Using the above results, from (2), we obtain
M o ( G O , E ) = 2 3 c 3 2 + 6 ( c 3 ) + 8 = 9 c 13 .
( b ) In G O , E k and G O , E k 1 , two edges e 1 , 1 = u 1 v 1 and e 2 , 1 = u 2 v 1 contribute
ϕ ( e 1 , 1 | G O , E k ) = ϕ ( e 2 , 1 | G O , E k ) = 3 c 3 + 2 k 2 ,
ϕ ( e 1 , 1 | G O , E k 1 ) = ϕ ( e 2 , 1 | G O , E k 1 ) = 3 c 3 + 2 ( k 1 ) 2 .
The edge e 1 , 2 = u 1 u 2 contributes ϕ ( e 1 , 2 | G O , E k ) = ϕ ( e 1 , 2 | G O , E k 1 ) = 0 . Two new edges e E ( G O , E k ) have the contribution ϕ ( e | G O , E k ) = 0 . For all remaining edges e = u v in G O , E k , we have
n u ( e | G O , E k ) = n u ( e | G O , E k 1 ) + 1 and n v ( e | G O , E k ) = n v ( e | G O , E k 1 ) + 1 .
Therefore,
ϕ ( e | G O , E k ) = | n u ( e | G O , E k 1 ) + 1 n v ( e | G O , E k 1 ) 1 | = | n u ( e | G O , E k 1 ) n v ( e | G O , E k 1 ) | = ϕ ( e | G O , E k 1 ) .
Thus, all the remaining edges of G O , E k have the same contribution as in G O , E k 1 . Consequently,
M o ( G O , E k ) = M o ( G O , E k 1 ) + 2 .
We can also provide several classes of constructions to obtain the same value of the Mostar index as in Proposition 5. A general version of the construction is as follows.
  • General Construction III. Consider the base graph G O , E as in Construction III. For j = 3 , 5 , , c 2 , consider the vertices u j and u c + j 1 . The vertex u j lies between the 4-cycles C j + 1 2 and C j + 1 2 1 , while u c + j 1 lies between the cycles C c + j 2 and C c + j 2 1 . For each j = 3 , 5 , , c 2 , let G O , E j , 1 be the graph obtained by deleting the edges u j v j + 1 2 and u c + j 1 v c + j 2 , subdividing the edges u j u j + 1 and u c + j 1 u c + j , relabeling the vertices u 1 , u 2 , , u 2 c 1 of C as u 1 , u 2 , , u 2 c + 1 , and attaching the edges u j + 1 v j + 1 2 and u c + j + 3 v c + j 2 (or equivalently, adding an edge between the cycles C j + 1 2 and C j + 1 2 1 , as well as between the cycles C c + j 2 and C c + j 2 1 ). Proceeding in this manner, let G O , E j , k be the graph obtained by subdividing the edges u j + k 2 u j + k 1 and u c + j + 2 k 2 u c + j + 2 k 1 of G O , E j , k 1 exactly once (or equivalently, inserting k 1 edges between the cycles C j + 1 2 and C j + 1 2 1 , as well as between the cycles C c + j 2 and C c + j 2 1 in G O , E j , 1 ). At each step, relabel the vertices of the cycle C in G O , E j , k . Clearly, G O , E j , k is a c-cyclic graph with 3 c 2 + 2 k vertices and 4 c 3 + 2 k edges, where k = 2 , 3 , and j = 3 , 5 , , c 2 .
Proposition 6. 
For every fixed odd integer c 3 , M o ( G O , E j , k ) = M o ( G O , E j , k 1 ) + 2 , where j = 3 , 5 , , c 2 and k = 2 , 3 , .
Proof. 
In G O , E j , k and G O , E j , k 1 , the two edges e 1 , 1 = u 1 v 1 and e 2 , 1 = u 2 v 1 contribute
ϕ ( e 1 , 1 | G O , E j , k ) = ϕ ( e 2 , 1 | G O , E j , k ) = 3 c 3 + 2 k 2
and
ϕ ( e 1 , 1 | G O , E j , k 1 ) = ϕ ( e 2 , 1 | G O , E j , k 1 ) = 3 c 3 + 2 ( k 1 ) 2 .
The edge e 1 , 2 = u 1 u 2 contributes ϕ ( e 1 , 2 | G O , E j , k ) = ϕ ( e 1 , 2 | G O , E j , k 1 ) = 0 . Two new edges e E ( G O , E j , k ) have the contribution ϕ ( e | G O , E j , k ) = 0 . All remaining edges in G O , E j , k have the same contribution as in G O , E j , k 1 . Therefore, M o ( G O , E j , k ) = M o ( G O , E j , k 1 ) + 2 . □
  • Construction IV. Consider a cycle C = u 1 u 2 u 2 c u 1 of length 2 c , where c is odd. Introduce a vertex v 1 and connect u 1 v 1 and u 2 v 1 to form a 3-cycle u 1 u 2 v 1 u 1 . For each path u i u i + 1 u i + 2 in C starting from i = 2 and incrementing by 2, add a vertex v i + 2 2 , and connect u i v i + 2 2 and u i + 2 v i + 2 2 to form a 4-cycle u i u i + 1 u i + 2 v i + 2 2 u i for i = 2 , 4 , , c 1 . Similarly, for i = c + 2 , c + 4 , , 2 c 3 , add a vertex v i + 1 2 , and connect u i v i + 1 2 and u i + 2 v i + 1 2 to form a 4-cycle u i u i + 1 u i + 2 v i + 1 2 u i . Denote the resulting graph by G O , O . Let C 1 denote the 3-cycle u 1 u 2 v 1 u 1 , and let C i denote the 4-cycle containing v i for i = 2 , 3 , , c 1 . Define G O , O 1 as the graph obtained from G O , O by deleting the edge u c 1 v c 1 2 and subdividing the edges u c 2 u c 1 and u 1 u 2 c exactly once. Relabel the vertices of C as u 1 u 2 u 2 c + 2 , and reattach the edge u c 1 v c 1 2 (or insert a new edge between the cycles C 1 and C c 1 in C, and another new edge between C c 1 2 and C c + 1 2 in C). Iteratively, define G O , O k as the graph obtained from G O , O k 1 by inserting new edges between C 1 and C c 1 and between C c 1 2 and C c + 1 2 , or equivalently, by subdividing the edges u 1 u 2 c + 2 ( k 1 ) and u c 1 u c of G O , O k 1 exactly once. Thus, G O , O is a c-cyclic graph of the order 3 c 1 and size 4 c 2 , and G O , O k is a c-cyclic graph of the order 3 c 1 + 2 k and size 4 c 2 + 2 k for k = 1 , 2 , . In these graphs, let e i , j denote the edge connecting u i and u j (where i j ), and e i , j denote the edge connecting u i and v j (where i j ).
Proposition 7. 
For an odd c 3 , ( a ) M o ( G O , O ) = 11 c 20 , ( b ) M o ( G O , O 1 ) = M o ( G O , O ) + 2 and M o ( G O , O k ) = M o ( G O , O k 1 ) + 2 , j = 2 , 3 , .
Proof. 
( a ) In the cycle C 1 , two edges incident on v 1 have the contribution
ϕ ( e 1 , 1 | G O , O ) = | n u 1 ( e 1 , 1 | G O , O ) n v 1 ( e 1 , 1 | G O , O ) | = 3 c 3 2 1 = 3 c 5 2 ,
ϕ ( e 2 , 1 | G O , O ) = | n u 2 ( e 2 , 1 | G O , O ) n v 1 ( e 2 , 1 | G O , O ) | = 3 c 1 2 1 = 3 c 3 2 .
The remaining edge in the cycle, e 1 , 2 = u 1 u 2 has the contribution:
ϕ ( e 1 , 2 | G O , O ) = | n u 2 ( e 1 , 2 | G O , O ) n u 1 ( e 1 , 2 | G O , O ) | = 3 c 1 2 3 c 3 2 = 1 .
Now, except for the cycle C c + 1 2 , in all other cycles C i (for i = 2 , 3 , c 1 2 ), we have the following contributions for the edges e 2 i 2 , 2 i 1 = u 2 i 2 u 2 i 1 and e 2 i 2 , i = u 2 i 2 v i :
n u 2 i 2 ( e 2 i 2 , 2 i 1 | G O , O ) = 3 c + 1 2 , n u 2 i 1 ( e 2 i 2 , 2 i 1 | G O , O ) = 3 c 3 2 ,
n u 2 i 2 ( e 2 i 2 , i | G O , O ) = 3 c + 1 2 , n v i ( e 2 i 2 , i | G O , O ) = 3 c 3 2 .
For the edges e 2 i 1 , 2 i = u 2 i 1 u 2 i and e 2 i , i = u 2 i v i , we have
n u 2 i ( e 2 i 1 , 2 i | G O , O ) = 3 c + 1 2 , n u 2 i 1 ( e 2 i 1 , 2 i | G O , O ) = 3 c 3 2 ,
n u 2 i ( e 2 i , i | G O , O ) = 3 c + 1 2 , n v i ( e 2 i , i | G O , O ) = 3 c 3 2 .
Therefore, all four edges have the contribution ϕ ( e 2 i 1 , 2 i | G O , O ) = ϕ ( e 2 i , i | G O , O ) = 3 c + 1 2 3 c 3 2 = 2 each. For i = c + 3 2 , , c 1 , the edges e 2 i 1 , 2 i = u 2 i 1 u 2 i and e 2 i 1 , i = u 2 i 1 v i , we have
n u 2 i 1 ( e 2 i 1 , 2 i | G O , O ) = 3 c + 1 2 , n u 2 i ( e 2 i 1 , 2 i | G O , O ) = 3 c 3 2 ,
n u 2 i 1 ( e 2 i 1 , i | G O , O ) = 3 c + 1 2 , n v i ( e 2 i 1 , i | G O , O ) = 3 c 3 2 .
For the edges e 2 i , 2 i + 1 = u 2 i u 2 i + 1 and e 2 i + 1 , i = u 2 i + 1 v i , we have
n u 2 i + 1 ( e 2 i , 2 i + 1 | G O , O ) = 3 c + 1 2 and n u 2 i ( e 2 i , 2 i + 1 | G O , O ) = 3 c 3 2 ,
n u 2 i + 1 ( e 2 i + 1 , i | G O , O ) = 3 c + 1 2 and n v i ( e 2 i + 1 , i | G O , O ) = 3 c 3 2 .
Therefore, all four edges have the contribution ϕ ( e | G O , O ) = 3 c + 1 2 3 c 3 2 = 2 . In C c + 1 2 , two edges, e c 1 , c + 1 2 = u c 1 v c + 1 2 and e c 1 , c = u c 1 u c , have the contributions
ϕ ( e c 1 , c | G O , O ) = ϕ ( e c 1 , c + 1 2 | G O , O ) = 3 c + 1 2 3 c 3 2 = 2 .
The other two edges, e c + 1 , c + 1 2 = u c + 1 v c + 1 2 and e c , c + 1 = u c u c + 1 , have the contributions
ϕ ( e c , c + 1 | G O , O ) = ϕ ( e c + 1 , c + 1 2 | G O , O ) = 3 c 1 2 3 c 1 2 = 0 .
Among the remaining edges,
ϕ ( e 1 , 2 c | G O , O ) = 2 , ϕ ( e 2 c 1 , 2 c | G O , O ) = 0 and ϕ ( e c + 1 , c + 2 | G O , O ) = 1 .
Using the above results, from (2), we obtain
M o ( G O , O ) = 8 ( c 3 ) + 8 + 3 c 3 2 + 3 c 5 2 = 11 c 20 .
( b ) In G O , O k and G O , O k 1 , the edges incident on v 1 contribute
ϕ ( e | G O , O k ) = 3 c 1 + 2 k 2 1 = 3 c 3 + 2 k 2 ,
ϕ ( e | G O , O k ) = 3 c 3 + 2 k 2 1 = 3 c 5 + 2 k 2 ,
ϕ ( e | G O , O k 1 ) = 3 c 1 + 2 ( k 1 ) 2 1 = 3 c 3 + 2 ( k 1 ) 2 ,
and
ϕ ( e | G O , O k 1 ) = 3 c 3 + 2 ( k 1 ) 2 1 = 3 c 5 + 2 ( k 1 ) 2 ,
respectively. Two new edges in G O , O k each contribute ϕ ( e | G O , O k ) = 0 to the Mostar index. For the remaining edges of G O , O k and G O , O k 1 , we have
ϕ ( e | G O , O k ) = | n u ( e | G O , O k 1 ) + 1 n v ( e | G O , O k 1 ) 1 | = | n u ( e | G O , O k 1 ) n v ( e | G O , O k 1 ) | = ϕ ( e | G O , O k 1 ) .
Therefore, the remaining edges of G O , O k and G O , O k 1 have the same contribution. Thus, M o ( G O , O k ) = M o ( G O , O k 1 ) + 2 . □
We can also provide several classes of constructions for obtaining the same value of the Mostar index as in Proposition 7. A general version of the construction is as follows.
  • General Construction IV. Consider the base graph G O , O as in Construction IV. For j = 2 , 4 , , c 3 , consider the vertices u j and u c + j . Then, u j is in between the 4-cycles C j + 2 2 and C j + 2 2 1 , and u c + j is in between the cycles C c + j + 1 2 and C c + j + 1 2 1 . Now, for each j = 2 , 4 , , c 3 , let G O , O j , 1 be the graph obtained by deleting the edges u j v j + 2 2 , u c + j v c + j 1 2 and subdividing the edges u j u j + 1 , u c + j u c + j + 1 , and relabeling the vertices of C as u 1 , u 2 , , u 2 c + 2 . Also, attach the edges u j + 1 v j + 2 2 and u c + j + 3 v c + j + 1 2 (or add an edge between the cycles C j + 2 2 , C j + 2 2 1 and C c + j + 1 2 , C c + j + 1 2 1 in C). Proceeding in this manner, let G O , O j , k be the graph obtained by subdividing the edges u j + k 2 u j + k 1 , u c + j + 2 k 2 u c + j + 2 k 1 of G O , O j , k 1 exactly once (or inserting k 1 edges between the cycles C j + 2 2 , C j + 2 2 1 and C c + j + 1 2 , C c + j + 1 2 1 in C of G O , O j , 1 ). As shown in Figure 2, in each of the steps, relabel the vertices of the cycle C in G E , O j , k . Clearly, G O , O j , k is a c-cyclic graph with 3 c 1 + 2 k vertices and 4 c 2 + 2 k edges, where k = 2 , 3 , and j = 2 , 4 , , c 3 .
Proposition 8. 
For every fixed odd integer c 3 , M o ( G O , O j , k ) = M o ( G O , O j , k 1 ) + 2 , where j = 2 , 4 , , c 3 and k = 2 , 3 , .
Proof. 
In G O , O j , k and G O , O j , k 1 , the edges incident on v 1 contribute
ϕ ( e | G O , O j , k ) = 3 c 3 + 2 k 2 , ϕ ( e | G O , O j , k ) = 3 c 5 + 2 k 2
and
ϕ ( e | G O , O j , k 1 ) = 3 c 3 + 2 ( k 1 ) 2 , ϕ ( e | G O , O j , k 1 ) = 3 c 5 + 2 ( k 1 ) 2 ,
respectively. Two new edges in G O , O j , k each contribute ϕ ( e | G O , O j , k ) = 0 to the Mostar index. The remaining edges have the same contribution in G O , O j , k as in G O , O j , k 1 . Therefore, M o ( G O , O j , k ) = M o ( G O , O j , k 1 ) + 2 . □
Using these constructions, we are ready to resolve Problem 1 by proving Conjecture 1. The proof of Conjecture 1 is as follows. Here, we denote Z 0 as the set of non-negative integers, and the set of integers is represented by the letter Z .
Theorem 1. 
For any fixed c 3 , there exists a c-cyclic graph with the Mostar index M o ( G ) = p , where p Z 0 A , and A is given by A = A 1 A 2 when c is even, and A = A 3 A 4 when c is odd, with
A 1 = 2 x Z | 0 x 4 c 5 , c i s   e v e n , A 2 = 2 x + 1 Z | 1 x 9 c 2 7 , c i s   e v e n , A 3 = 2 x Z | 0 x 11 c 15 2 , c i s   o d d , A 4 = 2 x + 1 Z | 1 x 11 c 23 2 , c i s   o d d .
Proof. 
We consider the following two cases:
  • Case 1: c is even. The graph G E , E (see, Figure 1) is a c-cyclic graph (even c 4 ) described in Construction I. According to Proposition 1, we have
    M o ( G E , E ) = 8 c 8 , M o ( G E , E 1 ) = M o ( G E , E ) + 2 , M o ( G E , E k ) = M o ( G E , E k 1 ) + 2 for k = 2 , 3
    From the above, we conclude that every even number greater than or equal to 8 c 8 can be the Mostar index of some c-cyclic graph for every fixed c (even c 4 ). Thus we have M o ( G E , E ) 2 k , where k is a positive integer with k 4 c 4 (even c 4 ).
    The graph G E , O (see, Figure 3) is a c-cyclic graph (even c 4 ) described in Construction II. According to Proposition 3, we have
    M o ( G E , O ) = 9 c 11 , M o ( G E , O 1 ) = M o ( G E , O ) + 2 , M o ( G E , O k ) = M o ( G E , O k 1 ) + 2 for k = 2 , 3
    From the above, we conclude that every odd number greater than or equal to 9 c 11 can be the Mostar index of some c-cyclic graph for every fixed c (even c 4 ). Thus we have M o ( G E , E ) 2 k + 1 , where k is a positive integer with k 9 c 2 6 (even c 4 ).
    For the c-cyclic graph for every fixed c (even c 4 ), we obtain M o ( G ) = p , where p Z 0 A , and A is given by
    A = A 1 A 2 ,
    with
    A 1 = { 2 x Z | 0 x 4 c 5 , c is   even } , A 2 = { 2 x + 1 Z | 1 x 9 c 2 7 , c is   even } .
  • Case 2: c is odd. The graph G O , E k (see, Figure 4) is a c-cyclic graph (odd c 3 ) described in Construction III. According to Proposition 5, we have
    M o ( G O , E ) = 11 c 13 , M o ( G O , E 1 ) = M o ( G O , E ) + 2 , M o ( G O , E k ) = M o ( G O , E k 1 ) + 2 for k = 2 , 3
    From the above, we conclude that every even number greater than or equal to 11 c 13 can be the Mostar index of some c-cyclic graph for every fixed c when c is odd. Thus we have M o ( G E , E ) 2 k , where k is a positive integer with k 11 c 13 2 (c is odd).
    The graph G O , O (see, Figure 5) is a c-cyclic graph (odd c 3 ) described in Construction IV. According to Proposition 7, we have
    M o ( G O , O ) = 11 c 20 , M o ( G O , O 1 ) = M o ( G O , O ) + 2 and M o ( G O , O k ) = M o ( G O , O k 1 ) + 2 for k = 2 , 3
    From the above, we conclude that every odd number greater than or equal to 11 c 20 can be the Mostar index of some c-cyclic graph for every fixed c when c is odd. Thus we have M o ( G O , O ) 2 k + 1 , where k is a positive integer with k 11 c 21 2 (odd c 3 ).
    For the c-cyclic graph for every fixed c (odd c 3 ), we obtain M o ( G ) = p , where p Z 0 A , and A is given by
    A = A 3 A 4 ,
    with
    A 3 = { 2 x Z | 0 x 11 c 15 2 , c is   odd } , A 4 = { 2 x + 1 Z | 1 x 11 c 23 2 , c is   odd } .
This completes the proof of the theorem. □
Remark 1. 
Using Theorem 1, we provide a solution to Problem 1.
Using Theorem 1, we can also solve the inverse Mostar index problem for connected graphs.
Corollary 1. 
For every positive integer p 19 , there exists a graph G with the Mostar index M o ( G ) = p .
Proof. 
For c = 4 , from Theorem 1, we have
A 1 = { 2 x Z | 0 x 11 } , A 2 = { 2 x + 1 Z | 1 x 11 } ,
that is,
A 1 = { 0 , 2 , 4 , 6 , , 20 , 22 } , A 2 = { 1 , 3 , 5 , , 21 , 23 } .
Similarly, for c = 3 , from Theorem 1, we have
A 3 = { 0 , 2 , 4 , , 16 , 18 } , A 4 = { 1 , 3 , 5 , , 9 , 11 } .
This completes the proof of the result. □
Remark 2. 
We can also prove Theorem 1, using General Constructions I, II, III, and IV and Proposition 2, Proposition 4, Proposition 6, and Proposition 8.

3. Conclusions

Several variants of the Mostar index have been proposed recently, including the edge Mostar index M o e ( G ) , the total Mostar index M o ( G ) , and the total edge Mostar index M o e ( G ) [3]. For a graph G, these indices are defined as follows:
M o ( G ) = { u , v } V | n u ( e | G ) n v ( e | G ) | ,
M o e ( G ) = u v E ( G ) | m u ( e | G ) m v ( e | G ) | ,
M o e ( G ) = { u , v } V | m u ( e | G ) m v ( e | G ) | ,
where m u ( e | G ) is the number of edges closer to u than to v, and similarly for m v ( e | G ) . In this paper, we have resolved an open problem and conjecture related to the inverse Mostar index problem for c-cyclic graphs with c 3 . Despite this significant progress, several open problems remain in this area. For instance, the inverse edge Mostar index problem for c-cyclic graphs with c 4 has yet to be explored. Additionally, the infinite realizability of odd integers for both the Mostar index and the edge Mostar index remains an open question. Future research opportunities include addressing analogous problems for other bond-additive indices, such as the total Mostar index and the total edge Mostar index. These extensions represent promising directions for further studies in this field.

Author Contributions

Conceptualization, L.A. and K.C.D.; investigation, L.A. and K.C.D.; writing-original draft preparation, L.A. and K.C.D.; writing-review and editing, L.A. and K.C.D.; project administration, L.A. and K.C.D. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

No new data were created or analyzed in this study.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Došlić, T.; Martinjak, I.; Škrekovski, R.; Spužević, S.T.; Zubac, I. Mostar index. J. Math. Chem. 2018, 56, 2995–3013. [Google Scholar] [CrossRef]
  2. Alex, L.; Indulal, G. Sharp bounds on additively weighted Mostar index of cacti. Commun. Comb. Optim. 2024. [Google Scholar] [CrossRef]
  3. Ali, A.; Došlić, T. Mostar index: Results and perspectives. Appl. Math. Comput. 2021, 404, 126245. [Google Scholar] [CrossRef]
  4. Deng, K.; Li, S. Chemical trees with extremal Mostar index. MATCH Commun. Math. Comput. Chem. 2021, 85, 161–180. [Google Scholar]
  5. Sigarreta, J.M. Mathematical properties of variable topological indices. Symmetry 2020, 13, 43. [Google Scholar] [CrossRef]
  6. Tepeh, A. Extremal bicyclic graphs with respect to Mostar index. Appl. Math. Comput. 2019, 355, 319–324. [Google Scholar] [CrossRef]
  7. Wiener, H. Structural determination of paraffin boiling points. J. Am. Chem. Soc. 1947, 69, 17–20. [Google Scholar] [CrossRef] [PubMed]
  8. Todeschini, R.; Consonni, V. Molecular Descriptors for Chemoinformatics; Wiley-VCH: Weinheim, Germany, 2009. [Google Scholar]
  9. Trinajstić, N. Chemical Graph Theory, 2nd ed.; CRC Press: Boca Raton, FL, USA, 1992. [Google Scholar]
  10. Fraser, D.A. On fiducial inference. Ann. Math. Stat. 1961, 32, 661–676. [Google Scholar] [CrossRef]
  11. Gutman, I.; Yeh, Y.N. The sum of all distances in bipartite graphs. Math. Slovaca. 1995, 45, 327–334. [Google Scholar]
  12. Alex, L.; Gutman, I. On the inverse Mostar index problem for molecular graphs. Trans. Comb. 2024, 14, 65–77. [Google Scholar]
  13. Alex, L.; Indulal, G.; Mulloor, J.J. On the inverse problem of some bond additive indices. Commun. Comb. Optim. 2024. [Google Scholar] [CrossRef]
  14. Alex, L.; Indulal, G. Inverse problem for Mostar index of chemical trees and unicyclic graphs. Palest. J. Math. 2024, 13, 56–64. [Google Scholar]
  15. Dimitrov, D.; Stevanović, D. On the σt-irregularity and the inverse irregularity problem. Appl. Math. Comput. 2023, 441, 127709. [Google Scholar] [CrossRef]
  16. Gutman, I.; Togan, M.; Yurttas, A.; Cevik, A.S.; Cangül, I.N. Inverse problem for sigma index. MATCH Commun. Math. Comput. Chem. 2018, 79, 491–508. [Google Scholar]
  17. Maji, D.; Ghorai, G.; Mahmood, M.K.; Alam, M.A. On the inverse problem for some topological indices. J. Math. 2021, 2021, 9411696. [Google Scholar] [CrossRef]
  18. Yurtas, A.; Togan, M.; Lokesha, V.; Cangül, I.N.; Gutman, I. Inverse problem for Zagreb indices. J. Math. Chem. 2019, 57, 609–615. [Google Scholar] [CrossRef]
  19. Alizadeh, Y.; Bašić, N.; Damnjanović, I.; Doxsxlić, T.; Pisanski, T.; Stevanović, D.; Xu, K. Solving the Mostar index inverse problem. J. Math. Chem. 2024, 62, 1079–1093. [Google Scholar] [CrossRef]
Figure 1. The graphs mentioned in Construction I.
Figure 1. The graphs mentioned in Construction I.
Symmetry 17 00291 g001
Figure 2. The graphs mentioned in General Construction I.
Figure 2. The graphs mentioned in General Construction I.
Symmetry 17 00291 g002
Figure 3. The graphs mentioned in Construction II.
Figure 3. The graphs mentioned in Construction II.
Symmetry 17 00291 g003
Figure 4. The graphs mentioned in Construction III.
Figure 4. The graphs mentioned in Construction III.
Symmetry 17 00291 g004
Figure 5. The graphs mentioned in Construction IV.
Figure 5. The graphs mentioned in Construction IV.
Symmetry 17 00291 g005
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

Alex, L.; Das, K.C. Resolving the Open Problem by Proving a Conjecture on the Inverse Mostar Index for c-Cyclic Graphs. Symmetry 2025, 17, 291. https://doi.org/10.3390/sym17020291

AMA Style

Alex L, Das KC. Resolving the Open Problem by Proving a Conjecture on the Inverse Mostar Index for c-Cyclic Graphs. Symmetry. 2025; 17(2):291. https://doi.org/10.3390/sym17020291

Chicago/Turabian Style

Alex, Liju, and Kinkar Chandra Das. 2025. "Resolving the Open Problem by Proving a Conjecture on the Inverse Mostar Index for c-Cyclic Graphs" Symmetry 17, no. 2: 291. https://doi.org/10.3390/sym17020291

APA Style

Alex, L., & Das, K. C. (2025). Resolving the Open Problem by Proving a Conjecture on the Inverse Mostar Index for c-Cyclic Graphs. Symmetry, 17(2), 291. https://doi.org/10.3390/sym17020291

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