1. Introduction and Preliminary
The frequency assignment problem (FAP) is an optimization challenge encountered in telecommunications, radio spectrum management, wireless network planning, and satellite communication. Its main goal is to allocate frequencies to transmitters or communication links in a manner that minimizes interference and maximizes system performance. In wireless communication, using different frequencies for distinct transmitters is essential to prevent interference, a task that becomes increasingly intricate when faced with multiple transmitters and limited frequency resources. Solving the FAP entails finding an optimal assignment that adheres to constraints such as frequency separation, power limits, and interference avoidance.
Distance-constrained graph labeling has emerged as a general model for the FAP. This approach assumes that the distance of transmitters can be modeled by a graph and that the distance of the transmitters influences possible interference in such a way that the closer two transmitters are, the farther apart their frequencies must be. In a formal sense, an assignment of non-negative integers to the vertices of a graph G is an -labeling if, for any two vertices with a distance of at most , the difference between their assigned integers (labels) is at least . Here, denotes the depth at which distance constraints are applied, while integers act as parameters for the problem. Again, the goal is to minimize the maximum label used.
Due to its difficulty, many particular cases of this general problem have been studied. Among them is the radio
k-labeling problem, initially introduced by Chartrand et al. [
1,
2]. This problem can be regarded as a particular case of the
-labeling problem, with constraints defined by
, where
is an integer. Formally, a radio
k-labeling of
G is a function
f that assigns each vertex of
G a value from the set
, subject to the condition
, where
is the distance between the vertices
x and
y in
G. The term
denotes the span of
f. Consequently, the radio
k-labeling number
of
G corresponds to the minimum span among all radio
k-labelings of
G. The task of determining the radio
k-labeling number appears to be challenging, even when dealing with particular graphs. Kchikech et al. [
3] introduced a classical approach to establish a lower bound for
in a given graph
G. To accomplish this, they employed a distinct graph parameter known as the upper traceable number [
4], denoted as
:
Theorem 1 ([
3])
. Let G be a graph of order n, then for any positive integer k,Moreover, if , then For a graph
G of order
n and for a linear ordering
s:
of its vertices, let
. The upper traceable number
of
G is defined by
, where the maximum is taken over all linear orderings
s of vertices of
Kràl et al. [
5] showed that the problem of determining the upper traceable number of a given graph is an NP-hard problem.
The radio
k-labelings extend certain well-known graph labelings, as presented in
Table 1. Each row in the table provides the more commonly used terminology for a given value of
k, with
representing the diameter of graph
G.
Our focus lies on
-labelings, which were introduced by Griggs and Yeh in 1992 [
6]. Since then, this problem has been extensively studied [
7,
8,
9]. Formally, an
-labeling of a graph
G is an assignment
f:
such that
The span, , of an -labeling f is the difference between the largest and the smallest label used by f. For simplicity, we assume the label zero corresponds to the smallest value, thereby making the span equivalent to the highest assigned label. Consequently, the -labeling number of G corresponds to the minimum span among all -labelings of G.
Griggs and Yeh [
6] employed the greedy algorithm to demonstrate that
for any graph
G, where
denotes the maximum degree of
G. This upper bound was later enhanced by Gonçalves [
10] to
, which is currently the best upper bound known for
in terms of the maximum degree across graphs in general. Griggs and Yeh [
6] proposed the
-conjecture, suggesting that
for any graph
G with
. Although the conjecture has been verified for specific families of graphs, including paths, cycles, wheels [
6], trees [
11,
12], Cartesian products, compositions of graphs [
13], generalized Petersen graphs [
14], and chordal graphs [
15], its general validity remains unproven. For only a limited number of graph classes, such as paths, cycles, wheels, trees, and generalized Petersen graphs, the efficient computation of
is possible. However, for a vast array of graph families, it remains unknown whether calculating
is NP-complete or can be solved in polynomial time. Therefore, our research has been directed towards determining bounds for the
-number of graphs, with a particular focus on utilizing the following result, which is a specific case of Theorem 1 when
.
Corollary 1. Let G be a graph of order n Moreover, if , then This paper centers its attention on circulant graphs, a subset of the more general family of Cayley graphs. Specifically, circulant graphs are Cayley graphs over the simplest family of groups, namely the cyclic groups. Given
,
and a generating set
. The circulant graph
has
as a vertex set in which two distinct vertices
i and
j are adjacent if and only if
, where
is the circular distance modulo
n. For example,
is the cycle
, while
is the complete graph
. The circulant graph
is illustrated in
Figure 1.
Circulant graphs are regular and vertex-transitive. Their symmetry has consistently captivated mathematicians. Applications have been found for these graphs in various domains, including the modeling of data connection networks [
16,
17] and the theory of designs and error-correcting codes [
18].
Since circulants belong to the family of Cayley graphs, any undirected circulant graph is vertex-transitive. As a result, for any pair of vertices x and y within , , where
The complementary of is , where .
In this paper, we delve into the
-labeling of circulant graphs. The initial investigation into this problem was conducted by Mitra and Bhoumik [
19]. They presented upper bounds for the span of the
-labeling for circulant graphs with generating sets
(for even
n),
, and
(for
n even and
). Expanding upon their research, we commence by providing precise span values of the
-labeling for circulants with generating sets
(for all
n),
, and
, where
. Subsequently, we generalize these results to any set
, by introducing conditions related to the cardinality of
X, ensuring that the graph
possesses an exact span value of the
-labeling.
Furthermore, we demonstrate that for all and any given set S, the -labeling number of assumes two distinct values: if and only if , and if and only if , where denotes the greatest common divisor of n and the elements belonging to . Our research also seeks to give a precise value for when , which leads us to find that when . This discovery led us to explore the characteristics of S such that .
Then, we introduce a highly distinctive family, denoted as , that generates a large number of generating sets. For each value of n, we acquire a circulant graph with a diameter of 2, , and various additional interesting properties.
2. Main Results
Mitra and Bhoumik [
19] determined the upper bound for
when
. Specifically, for even values of
n, they showed that
. Expanding upon this discovery, we proceed to provide the exact value for the span of the
-labeling of
, for all
n.
Theorem 2. For any generating set , where , Proof. Let , and let . According to Corollary 1, if , then we can establish that . □
Claim 1. For each integer , .
Proof. If , then . Thus, and . If , then . Thus, . However, . Moreover, , i.e., . Thus, . Hence, for all , . Consequently, . □
Now, the current task is to precisely determine the value of the parameter .
Claim 2. For each integer ,
Proof. Let
with
, we provide the permutation
to the set of vertices
such that,
For all . So, for all . Thus, Moreover, we know that . As , we conclude that .
Let , where , and . Assuming that there exist such that , , and , while satisfying and . So, and . It follows that . Hence, , implying or .
From which,
or
. Thus,
or
However, this leads to a contradiction as
. Hence, for each vertex
, there exists a unique vertex
such that
. Let
be a permutation of
. Without loss of generality, assuming that
, it follows that
and
. Consequently, given
, we can deduce that
, and so on. To formally represent this permutation of
, we present the following:
Let
be the permutation of
, such that
. Let
where,
and
. It is evident that
and
, where
and
denoted the cardinality of set
I and
J, respectively. Since
,
. It is imperative that
. Otherwise,
would fail to attain its maximum. Furthermore, as previously established in this proof, if
, then
. Thus,
. If
we obtain,
Nevertheless, given that , it follows that . Therefore, .
If
, then there exists
, such that
. Furthermore, considering that the sum
is an even number, it implies that
is even, specifically
. Thus,
Since
, we obtain
. Therefore,
This leads to a contradiction with the fact that . Hence, and . □
An alternative approach to determine the exact span value for the
-labeling of circulant graphs involves introducing another parameter known as path coverings. Specifically, the path covering number
of a graph
G denotes the minimum number of vertex-disjoint paths required to cover all vertices within the graph
G. In the following discussion, we provide a large study, presenting necessary and sufficient conditions that provide exact values for
, involving the parameter
, inspired by the work of Georges and Mauro [
20].
We will commence our investigation by directing our attention to the case where . Throughout the entirety of this paper, unless explicitly indicated otherwise, we shall refer to the generating set as , where represent integers arranged in ascending order (). To enhance the clarity and coherence of our discussions, we opt to use the notation in place of .
Lemma 1. For any generating set S, .
Proof. If
, then
is Hamiltonian [
21], thereby implying that
. Let us consider
. If
, then
consists of exactly
connected circulant graphs
[
22]. Notably, it follows that
Let us assume, without loss of generality, that
, meaning that there exists a path containing vertices from two of the
connected circulant graphs. Nevertheless, since
, the graph
is not connected [
23]. Therefore, we deduce that
□
Theorem 3. For any generating set S, Proof. Georges and Mauro [
20] showed that for any graph
G,
if and only if
Utilizing Lemma 1, we can establish that
, which then leads us to the desired result. □
Let
. Mitra and Bhoumik [
19] presented the upper bound for
when
. Specifically, when
, they showed that
. By applying Theorem 3, we provide the exact value:
Proposition 1. For any generating set , Let
. When
Mitra and Bhoumik [
19] established that
(for even
n). In the following, we generalize their findings by presenting the precise value for
for every value of
n and each pair of values
a and
b within the set
D.
Proposition 2. For any generating set , Let us shift our focus to the situation in which (i.e., ). Our starting point involves introducing the following upper bound for .
Corollary 2.
Proof. Georges and Mauro proved in [
20] that for any graph
G,
if and only if
Utilizing Lemma 1, we can establish the desired result. □
As our objective is to determine the precise value for the span of -labeling in circulant graphs, our investigation revolves around identifying necessary and sufficient conditions within circulant graphs where the upper bound in Corollary 2 is satisfied as an equality. In light of our research, we have obtained the following result.
Theorem 4. Let be a circulant graph of diameter 2. Before proceeding with the proof of Theorem 4, it is essential to introduce an additional result that will play a crucial role in establishing the proof of this theorem.
Lemma 2. Let G be a graph of order n and diameter 2. Proof. Assuming that contains an Hamiltonian path , for all , we observe that , which implies and yields . Thus, . Moreover, we know that . As a result, .
If , it implies the existence of a vertex permutation such that . Now, let us assume that there exists such that . In this case, , leading to , which contradicts our previous finding. Therefore, for all , and subsequently, for all , Consequently, contains an Hamiltonian path. □
Proof of Theorem 4. If
, then according to Corollary 2,
. On the other hand, if
, it follows that
is Hamiltonian [
21], implying that
contains an Hamiltonian path. Consequently, with the aid of Lemma 2, we ascertain that
. Furthermore, given that
, we deduce from Corollary 1 that
. □
Proposition 3. For any generating set , Proof. Given that , if , then according to Corollary 2, . Moreover, if , then by applying Theorem 4, under the condition that the diameter of is 2. This is the statement that will be established in the upcoming claim. □
Claim 3. For each integer
Proof. If , then . Thus, and .
If , then , which implies that . However, we have . In fact, since , we have . Furthermore, , resulting that . Consequently, .
If , then . However, . Moreover, , which implies that . Thus, .
Hence, for all , . Consequently, □
Proposition 4. For any generating set , Proof. Given that , if , then according to Corollary 2, it follows that . Moreover, if , then by applying Theorem 4, under the condition that the diameter of is 2, which is the assertion that will be proved in the following claim. □
Claim 4. For each integer
Proof. Without loss of generality, we assume that . We discuss the following cases:
When , we have . Given that , it follows that , which implies that . Thus, . Consequently, . When , we discuss the following cases:
If , we observe that . Indeed, considering that , it follows that . Furthermore, due to the fact that , we can also establish that .
If and , then . In fact, since , we obtain . Moreover, given that , it follows that , which implies that .
If and , then . Indeed, given that , we obtain , which implies that . Moreover, since , we have and . Thus, . Hence, .
In this case, we have . Thus, . Hence, if , then .
If , we chose . In fact, given that and , it follows that . Thus, . Moreover, since , then .
- Case 3.
and
If , we have . In fact, since and , we obtain .
If , similarly we chose ().
If , we have ().
Hence, for all , . Consequently, □
In summary, based on the findings we have established thus far in this paper, it becomes evident that when , we can derive an exact value for the span of -labeling, which is given by . In the alternate case when , we proved that . Afterwords, we observed that when . Consequently, the remainder of this section is dedicated to examining the characteristics of S such that .
Notation 1. - 1.
Let i be a vertex of , and let α and β be integers in . For any , the expression indicates the presence of a path leading from the vertex 0 to the vertex i in with a length equal to . This path traverses through the chord s in the clockwise (+) direction α times if , or in the counterclockwise (−) direction α times if . Similarly, the path walks through the chord in the clockwise (+) direction β times if , or in the counterclockwise (−) direction β times if .
- 2.
In , we represent the connection between two vertices, denoted as i and j, linked by a chord , either in the clockwise or counterclockwise direction, as follows: .
Example 1. Consider the graph represented in Figure 1. If we select an arbitrary vertex, such as vertex 9, there are multiple paths that lead from 0 to 9. We provide a few examples in Table 2. Lemma 3. Let , such that , where .
Proof. The sufficient condition is evident. We will now proceed to assume that . Let . If , then there exists such that . Otherwise, if , then there exist , with , such that and are in . Moreover, since , then , which implies the existence of and such that . Similarly, given that , it follows that . Thus, there exists and such that . Hence, . This conclude the proof. □
Example 2. Consider the graph represented in Figure 1. For example, we have Thus, for all where with . Consequently, .
Lemma 4. If , then for all generating sets such that , we have .
Proof. Let . Since , by applying Lemma 3, where, and , such that . However, . Thus, . Consequently, where, and , such that . By applying Lemma 3, we conclude that . □
Proposition 5. If , then .
Proof. Let . If , then . Otherwise, if then . Since the graph is vertex-transitive such that , there exists , with , such that , i.e., . Hence, . Similarly, because otherwise, , a contradiction. So, . Hence, . Consequently, . □
Theorem 5. For all , if , then .
Proof. Let S be a generating set such that . Note that is r-regular with
Let i and j be two non-adjacent vertices of such that . We have . Thus, .
If n is even and , then . So, . Hence, , a contradiction.
Otherwise, if n is odd, then . Thus, . So, , a contradiction.
Therefore, for any two non-adjacent vertices i and j in , there exists a vertex k in , such that and are in . Consequently, . □
By combining all the previous results, we present the following theorem, which describes the characteristics that S must possess in order for us to obtain a precise value for the -labeling number of when .
Proposition 6. For each ,
- 1.
if and , then .
- 2.
if and , then .
The greatest common divisor of two integers can be calculated by a simple algorithm, yet there are situations (as mentioned below) where it is straightforward to establish that .
If n is a prime number, then .
If , then .
Consider a generating set . If there exists , such that , then .
Subsequently, we investigate the case in which .
Proposition 7. For all , if , then .
Proof. Note that is r-regular with
We discuss the following cases:
□
At the outset of this section, we initiated by providing precise span values for circulants with generating sets (for all n), , and , where . Our aim is to determine the maximum number of elements we can remove from D while still achieving an exact span value. In the subsequent result, we generalize these results to any set , by introducing conditions related to the cardinality of X, ensuring that the graph possesses an exact span value.
Proposition 8. Let and . If and , then .
Proof. Let . Given that and , it follows that . Thus, . With Theorem 5, we conclude that . Moreover, given that , it follows from Theorem 4 that . □
Next, we present an illustrative example, where we introduce a highly distinctive family, denoted as , that generates a large number of generating sets. For each value of n, we acquire a circulant graph such that , and various additional interesting properties.
Theorem 6. For each integer , there exists a family , where , such that the following assertions are verified:
- 1.
is not a self-complementary graph.
- 2.
and are Hamiltonian. (i.e., )
- 3.
.
- 4.
.
- 5.
(Nordhaus–Gaddum’s upper bound is reached [25]).
Proof. For each integer , let be a family of integers where .
It is evident that . Consequently, and cannot be isomorphic. Therefore, is not a self-complementary graph.
As
, it follows that
is Hamiltonian [
21]. Indeed, as
, we observe that
, implying that
. Therefore,
. Consequently,
and
are Hamiltonian [
21].
Through a straightforward calculation, considering the parity of n, it becomes evident to see that . Hence, with Theorem 5, we deduce that . In the case of the set , we employ Lemma 3 to demonstrate that . Specifically, we find suitable with , such that for all , , where . To accomplish this, we examine the following cases:
- Case 1.
or , with
In this case, we have and . If p is odd, we obtain . The proof’s concept involves partitioning the set into four distinct subsets. In this particular case, these subsets are as follows: , , and .
If , then i can be expressed as . Thus, , where and , , and .
If , we have .
If , then i can be written as with . So, , where and .
If , we have , with , where and .
If p is even, then . In this case, we have , where , , and .
If , then . Thus, , where and , , and .
If , it is evident.
If , then with . So, , where and .
If , we have , with . So, , where and .
- Case 2.
or , with
In this case, we have and . We employ the same technique as for Case 1 but with a distinct partition of . If p is odd, then . The new partition is defined as follows: , , and .
Otherwise, if p is even, then . The subsets are as follows: , , and .
For example, consider the graph
represented in
Figure 1. In this case, we have
,
and
. Since
is even, the set
, where
,
,
and
.
If , we have and .
If , it is evident.
If , then , , and .
If , we have , , and .
Thus, for all .
With assertion 2, Lemma 1, and assertion 3, we observe that the conditions mentioned in Theorem 4 are satisfied for both graphs
and
. Thus,
. In this context, it becomes evident that the upper bound set by Nordhaus–Gaddum [
25] has been achieved:
.
□
Remark 1. In 1985, Harary and Robinson [26] established a significant result stating that every nontrivial self-complementary graph G has a diameter equal to 2 or 3. In the previous theorem, the class of graphs that we have identified possess a diameter of 2, although they are not self-complementary. Thus, it becomes evident that the family is of a distinct nature. Remarkably, this family has the capability to generate a substantial number of generating sets that satisfy the conditions presented in the previous theorem. Moreover, based on the result mentioned in Lemma 4, we can generate even more generating sets that will also fulfill the conditions laid out in Theorem 6.