Document 10859722

advertisement
Hindawi Publishing Corporation
International Journal of Combinatorics
Volume 2013, Article ID 907249, 4 pages
http://dx.doi.org/10.1155/2013/907249
Research Article
Sunlet Decomposition of Certain Equipartite Graphs
Abolape D. Akwu1 and Deborah O. A. Ajayi2
1
2
Department of Mathematics, University of Agriculture, Makurdi 970001, Nigeria
Department of Mathematics, University of Ibadan, Ibadan 200001, Nigeria
Correspondence should be addressed to Deborah O. A. Ajayi; adelaideajayi@yahoo.com
Received 28 September 2012; Accepted 5 February 2013
Academic Editor: Chris A. Rodger
Copyright © 2013 A. D. Akwu and D. O. A. Ajayi. This is an open access article distributed under the Creative Commons
Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is
properly cited.
Let 𝐿 2𝑛 stand for the sunlet graph which is a graph that consists of a cycle and an edge terminating in a vertex of degree one attached
to each vertex of cycle 𝐢𝑛 . The necessary condition for the equipartite graph 𝐾𝑛 + 𝐼 ∗ πΎπ‘š to be decomposed into 𝐿 2𝑛 for 𝑛 ≥ 2 is
that the order of 𝐿 2𝑛 must divide 𝑛2 π‘š2 /2, the order of 𝐾𝑛 + 𝐼 ∗ πΎπ‘š . In this work, we show that this condition is sufficient for the
decomposition. The proofs are constructive using graph theory techniques.
1. Introduction
Let πΆπ‘Ÿ , 𝐾𝑛 , πΎπ‘š denote cycle of length π‘Ÿ, complete graph on
𝑛 vertices, and complement of complete graph on π‘š vertices.
For 𝑛 even, 𝐾𝑛 + 𝐼 denotes the multigraph obtained by adding
the edges of a 1-factor to 𝐾𝑛 , thus duplicating 𝑛/2 edges. The
total number of edges in 𝐾𝑛 + 𝐼 is 𝑛2 /2. The lexicographic
product, 𝐺 ∗ 𝐻, of graphs 𝐺 and 𝐻, is the graph obtained by
replacing every vertex of 𝐺 by a copy of 𝐻 and every edge of
𝐺 by the complete bipartite graph 𝐾|𝐻|,|𝐻| .
For a graph 𝐻, an 𝐻-decomposition of a graph 𝐺, 𝐻 | 𝐺, is
a set of subgraphs of 𝐺, each isomorphic to 𝐻, whose edge set
partitions the edge set of 𝐺. Note that for any graph 𝐺 and 𝐻
and any positive integer π‘š, if 𝐻 | 𝐺 then (𝐻∗πΎπ‘š ) | (𝐺∗πΎπ‘š ).
Let 𝐺 be a graph of order 𝑛 and 𝐻 any graph. The corona
(crown) of 𝐺 with 𝐻, denoted by 𝐺 βŠ™ 𝐻, is the graph obtained
by taking one copy of 𝐺 and 𝑛 copies of 𝐻 and joining the 𝑖th
vertex of 𝐺 with an edge to every vertex in the 𝑖th copy of 𝐻.
A special corona graph is 𝐢𝑛 βŠ™πΎ1 , that is, a cycle with pendant
points which has 2𝑛 vertices. This is called sunlet graph and
denoted by 𝐿 π‘ž , π‘ž = 2𝑛.
Obvious necessary condition for the existence of a π‘˜-cycle
decomposition of a simple connected graph 𝐺 is that 𝐺 has
at least π‘˜ vertices (or trivially, just one vertex), the degree of
every vertex in 𝐺 is even, and the total number of edges in 𝐺
is a multiple of the cycle length π‘˜. These conditions have been
shown to be sufficient in the case that 𝐺 is the complete graph
𝐾𝑛 , the complete graph minus a 1-factor 𝐾𝑛 − 𝐼 [1, 2], and the
complete graph plus a 1-factor 𝐾𝑛 + 𝐼 [3].
The study of cycle decomposition of 𝐾𝑛 ∗πΎπ‘š was initiated
by Hoffman et al. [4]. The necessary and sufficient conditions
for the existence of a 𝐢𝑝 -decomposition of 𝐾𝑛 ∗ πΎπ‘š , where
𝑝 ≥ 5 (𝑝 is prime) that (i) π‘š(𝑛 − 1) is even and (ii) 𝑝 divides
𝑛(𝑛−1)π‘š2 , were obtained by Manikandan and Paulraja [5, 6].
Similarly, when 𝑝 ≥ 3 is a prime, the necessary and sufficient
conditions for the existence of a 𝐢2𝑝 -decomposition of 𝐾𝑛 ∗
πΎπ‘š were given by Smith [7]. For a prime number 𝑝 ≥ 3,
Smith [8] showed that 𝐢3𝑝 -decomposition of 𝐾𝑛 ∗πΎπ‘š exists if
the obvious necessary conditions are satisfied. In [9], Anitha
and Lekshmi proved that the complete graph 𝐾𝑛 and the
complete bipartite graph 𝐾𝑛,𝑛 for 𝑛 even have decompositions
into sunlet graph 𝐿 𝑛 . Similarly, in [10], it was shown that the
complete equipartite graph 𝐾𝑛 ∗πΎπ‘š has a decomposition into
sunlet graph of length 2𝑝, for a prime 𝑝.
We extend these results by considering the decomposition
of 𝐾𝑛 + 𝐼 ∗ πΎπ‘š into sunlet graphs and prove the following
result.
Let π‘š ≥ 2, 𝑛 > 2, and π‘ž ≥ 6 be even integers. The graph
𝐾𝑛 + 𝐼 ∗ πΎπ‘š can be decomposed into sunlet graph of length π‘ž
if and only if π‘ž divides 𝑛2 π‘š2 /2, the number of edges in 𝐾𝑛 +
𝐼 ∗ πΎπ‘š .
2
International Journal of Combinatorics
Theorem 3. Let π‘Ÿ, π‘š be positive integers satisfying π‘Ÿ, π‘š ≡
0 (mod 4), then 𝐿 π‘Ÿ decomposes πΆπ‘Ÿ ∗ πΎπ‘š .
2. Proof of the Result
To prove the result, we need the following.
Lemma 1 (see [10]). For π‘Ÿ ≥ 3, 𝐿 2π‘Ÿ decomposes πΆπ‘Ÿ ∗ 𝐾2 .
Lemma 2. For any integer π‘Ÿ > 2 and a positive even integer π‘š,
the graph πΆπ‘Ÿ ∗ πΎπ‘š has a decomposition into sunlet graph 𝐿 π‘ž ,
for π‘ž = π‘Ÿπ‘š.
Proof
Case 1 (π‘Ÿ is even). First observe that πΆπ‘Ÿ ∗ 𝐾2 can be
decomposed into 2 sunlet graphs with 2π‘Ÿ vertices. Now, set
π‘š = 2𝑑 and decompose πΆπ‘Ÿ ∗ 𝐾𝑑 into cycles πΆπ‘Ÿπ‘‘ . To decompose
πΆπ‘Ÿ ∗ 𝐾𝑑 into 𝑑-cycles πΆπ‘Ÿπ‘‘ , denote vertices in 𝑖th part of πΆπ‘Ÿ ∗ 𝐾𝑑
by π‘₯𝑖,𝑗 for 𝑗 = 1, . . . , 𝑑, 𝑖 = 1, 2, . . . , π‘Ÿ and create 𝑑 base cycles
π‘₯1,𝑗 π‘₯2,𝑗 π‘₯3,𝑗 ⋅ ⋅ ⋅ π‘₯π‘Ÿ−1,𝑗 π‘₯π‘Ÿ,𝑗 . Next, combine these base cycles into
one cycle πΆπ‘Ÿπ‘‘ by replacing each edge π‘₯1,𝑗 π‘₯2,𝑗 with π‘₯1,𝑗 π‘₯2,𝑗+1 .
To create the remaining cycles πΆπ‘Ÿπ‘‘ , we apply mappings πœ™π‘  for
𝑠 = 0, 1, . . . , 𝑑 − 1 defined on the vertices as follows.
Subcase 1.1 (𝑖 odd). Consider
πœ™π‘  (π‘₯𝑖,𝑗 ) = π‘₯𝑖,𝑗 .
(1)
π‘Ÿ
π‘Ÿ
3π‘Ÿ
π‘Ÿ
+ 1, + 1,
+ 1, . . . , π‘Ÿ − + 1,
4
2
4
4
𝑑=
π‘Ÿ
+ π‘˜,
4
(4)
where π‘˜, 𝑑 are calculated modulo π‘Ÿ.
To construct the remaining cycles, apply mapping πœ™
defined on the vertices.
πœ™ (π‘₯𝑖,𝑗 ) = π‘₯𝑖,𝑗+1 .
Subcase 1.2 (𝑖 even). Consider
(2)
This is the desired decomposition into cycles πΆπ‘Ÿπ‘‘ .
Now take each cycle πΆπ‘Ÿπ‘‘ , and make it back into πΆπ‘Ÿπ‘‘ ∗ 𝐾2 .
Each πΆπ‘Ÿπ‘‘ ∗ 𝐾2 decomposes into 2 sunlet graphs 𝐿 2π‘Ÿπ‘‘ (by
Lemma 1), and we have πΆπ‘Ÿ ∗ πΎπ‘š decomposing into sunlet
graphs with length π‘Ÿπ‘š for π‘Ÿ even. Note that
πΆπ‘Ÿ ∗ 𝐾2𝑑 = (πΆπ‘Ÿ ∗ 𝐾𝑑 ) ∗ 𝐾2 .
π‘˜ = 1,
Subcase 1.1 (𝑖 odd in each cycle). Consider
This is the desired decomposition into cycles πΆπ‘Ÿπ‘‘ .
πœ™π‘  (π‘₯𝑖,𝑗 ) = π‘₯𝑖,𝑗+𝑠 .
Proof. Let the partite sets (layers) of the π‘Ÿ-partite graph πΆπ‘Ÿ ∗
πΎπ‘š be π‘ˆ1 , π‘ˆ2 , . . . , π‘ˆπ‘Ÿ . Set π‘š = 2𝑑. Obtain a new graph from
πΆπ‘Ÿ ∗ πΎπ‘š as follows.
Identify the subsets of vertices {π‘₯𝑖,𝑗 }, for 1 ≤ 𝑖 ≤ π‘Ÿ and
1 ≤ 𝑗 ≤ π‘š/2 into new vertices π‘₯𝑖1 , and identify the subset of
vertices {π‘₯𝑖,𝑗 } for 1 ≤ 𝑖 ≤ π‘Ÿ and π‘š/2 + 1 ≤ 𝑗 ≤ π‘š into new
vertices π‘₯𝑖2 and two of these vertices π‘₯π‘–π‘˜ , where π‘˜ = 1, 2, are
adjacent if and only if the corresponding subsets of vertices
in πΆπ‘Ÿ ∗ πΎπ‘š induce 𝐾𝑑,𝑑 . The resulting graph is isomorphic to
πΆπ‘Ÿ ∗ 𝐾2 . Next, decompose πΆπ‘Ÿ ∗ 𝐾2 into cycles πΆπ‘Ÿ/2 as follows:
π‘₯π‘˜,1 π‘₯π‘˜+1,1 , . . . , π‘₯𝑑,1 π‘₯𝑑−1,2 , . . . , π‘₯π‘˜+1,2 , π‘₯π‘˜,1
(3)
Case 2 (π‘Ÿ is odd)
Subcase 2.1 (π‘š ≡ 2 (mod 4)). Set π‘š = 2𝑑. First create 𝑑
cycles 𝐢(π‘Ÿ−1)𝑑 in πΆπ‘Ÿ−1 ∗ 𝐾𝑑 as in Case 1. Then, take complete
tripartite graph 𝐾𝑑,𝑑,𝑑 with partite sets 𝑋𝑖 = {π‘₯𝑖,𝑗 } for 𝑖 =
1, π‘Ÿ−1, π‘Ÿ and 𝑗 = 1, . . . , 𝑑 and decompose it into triangles using
well-known construction via Latin square, that is, construct
𝑑 × π‘‘ Latin square and consider each element in the form
(π‘Ž, 𝑏, 𝑐) where π‘Ž denotes the row, 𝑏 denotes the column,
and 𝑐 denotes the entry with 1 ≤ π‘Ž, 𝑏, 𝑐 ≤ 𝑑. Each cycle
is of the form π‘₯(1,π‘Ž) , π‘₯(π‘Ÿ−1,𝑏) , π‘₯(π‘Ÿ,𝑐) . Then, for every triangle
π‘₯1,π‘Ž π‘₯π‘Ÿ−1,𝑏 π‘₯π‘Ÿ,𝑐 , replace the edge π‘₯1,π‘Ž π‘₯π‘Ÿ−1,𝑏 in each 𝐢(π‘Ÿ−1)𝑑 , by the
edges π‘₯π‘Ÿ−1,𝑏 π‘₯π‘Ÿ,𝑐 and π‘₯π‘Ÿ,𝑐 π‘₯1,π‘Ž to obtain cycles πΆπ‘Ÿπ‘‘ . Therefore,
πΆπ‘Ÿπ‘‘ | πΆπ‘Ÿ ∗ 𝐾𝑑 . Now take each cycle πΆπ‘Ÿπ‘‘ , make it into πΆπ‘Ÿπ‘‘ ∗ 𝐾2 ,
and by Lemma 1, πΆπ‘Ÿπ‘‘ ∗ 𝐾2 has a decomposition into sunlet
graphs 𝐿 2π‘Ÿπ‘‘ = 𝐿 π‘ž .
Subcase 2.2 (π‘š ≡ 0 (mod 4)). Set π‘š = 2𝑑. The graph πΆπ‘Ÿ ∗ 𝐾𝑑
decomposes into Hamilton cycle πΆπ‘Ÿπ‘‘ by [11]. Next, make each
cycle πΆπ‘Ÿπ‘‘ into πΆπ‘Ÿπ‘‘ ∗ 𝐾2 . Each graph πΆπ‘Ÿπ‘‘ ∗ 𝐾2 decomposes into
sunlet graph 𝐿 2π‘Ÿπ‘‘ by Lemma 1.
(5)
This is the desired decomposition of πΆπ‘Ÿ ∗ 𝐾2 into cycles πΆπ‘Ÿ/2 .
Subcase 1.2 (𝑖 even in each cycle). Consider
πœ™ (π‘₯𝑖,𝑗 ) = π‘₯𝑖,𝑗 .
(6)
This is the desired decomposition of πΆπ‘Ÿ ∗ 𝐾2 into cycles πΆπ‘Ÿ/2 .
By lifting back these cycles πΆπ‘Ÿ/2 of πΆπ‘Ÿ ∗ 𝐾2 to πΆπ‘Ÿ ∗ 𝐾2𝑑 , we
get edge-disjoint subgraphs isomorphic to πΆπ‘Ÿ/2 ∗ 𝐾𝑑 . Obtain
a new graph again from πΆπ‘Ÿ/2 ∗ 𝐾𝑑 as follows.
For each 𝑗, 1 ≤ 𝑗 ≤ 𝑑/2, identify the subsets of vertices
𝑗
{π‘₯𝑖,2𝑗−1 , π‘₯𝑖,2𝑗 }, where 1 ≤ 𝑖 ≤ π‘Ÿ/2 into new vertices π‘₯𝑖 ,
𝑗
and two of these vertices π‘₯𝑖 are adjacent if and only if the
corresponding subsets of vertices in πΆπ‘Ÿ/2 ∗𝐾𝑑 induce 𝐾2,2 . The
resulting graph is isomorphic to πΆπ‘Ÿ/2 ∗𝐾𝑑/2 . Then, decompose
πΆπ‘Ÿ/2 ∗ 𝐾𝑑/2 into cycles πΆπ‘Ÿ/2 . Each πΆπ‘Ÿ/2 ∗ 𝐾𝑑/2 decomposes into
cycles πΆπ‘Ÿ/2 by [12]. By lifting back these cycles πΆπ‘Ÿ/2 of πΆπ‘Ÿ/2 ∗
𝐾𝑑/2 to πΆπ‘Ÿ/2 ∗𝐾𝑑 , we get edge-disjoint subgraph isomorphic to
πΆπ‘Ÿ/2 ∗ 𝐾2 . Finally, each πΆπ‘Ÿ/2 ∗ 𝐾2 decomposes into two sunlet
graphs 𝐿 π‘Ÿ (by Lemma 1), and we have πΆπ‘Ÿ ∗ πΎπ‘š decomposing
into sunlet graphs 𝐿 π‘Ÿ as required.
Theorem 4 (see [12]). The cycle πΆπ‘š decomposes πΆπ‘˜ ∗ πΎπ‘š for
every even π‘š > 3.
Theorem 5 (see [12]). If π‘š and π‘˜ ≥ 3 are odd integers, then
πΆπ‘š decomposes πΆπ‘˜ ∗ πΎπ‘š .
International Journal of Combinatorics
3
Theorem 6. The sunlet graph 𝐿 π‘š decomposes πΆπ‘Ÿ ∗ πΎπ‘š if and
only if either one of the following conditions is satisfied.
(1) π‘Ÿ is a positive odd integer, and π‘š is a positive even
integer.
(2) π‘Ÿ, π‘š are positive even integers with π‘š ≡ 0 (mod 4).
Proof. (1) Set π‘š = 2𝑑, where 𝑑 is a positive integer. Let
the partite sets (layers) of the π‘Ÿ-partite graph πΆπ‘Ÿ ∗ πΎπ‘š be
π‘ˆ1 , π‘ˆ2 , . . . , π‘ˆπ‘Ÿ . For each 𝑗, where 1 ≤ 𝑗 ≤ 𝑑, identify the
subsets of vertices {π‘₯𝑖,2𝑗−1 , π‘₯𝑖,2𝑗 }, for 1 ≤ 𝑖 ≤ π‘Ÿ into new
𝑗
𝑗
vertices π‘₯𝑖 , and two of these vertices π‘₯𝑖 are adjacent if and
only if the corresponding subsets of vertices in πΆπ‘Ÿ ∗πΎπ‘š induce
𝐾2,2 . The resulting graph is isomorphic to πΆπ‘Ÿ ∗ 𝐾𝑑 . Then,
decompose πΆπ‘Ÿ ∗𝐾𝑑 into cycles 𝐢𝑑 , where 𝑑 is a positive integer.
Now, 𝐢𝑑 | πΆπ‘Ÿ ∗ 𝐾𝑑 by Theorems 4 and 5.
By lifting back these 𝑑-cycles of πΆπ‘Ÿ ∗ 𝐾𝑑 to πΆπ‘Ÿ ∗ 𝐾2𝑑 , we get
edge-disjoint subgraphs isomorphic to 𝐢𝑑 ∗ 𝐾2 . Each copy
of 𝐢𝑑 ∗ 𝐾2 decomposes into sunlet graphs of length 2𝑑 (by
Lemma 1), and we have πΆπ‘Ÿ ∗ πΎπ‘š decomposing into sunlet
graphs of length π‘š as required.
(2) Set π‘š = 2𝑑, where 𝑑 is an even integer since π‘š ≡
0 (mod 4).
Obtain a new graph πΆπ‘Ÿ ∗ 𝐾𝑑 from the graph πΆπ‘Ÿ ∗ πΎπ‘š as
in Case 1. By Theorem 4, 𝐢𝑑 | πΆπ‘Ÿ ∗ 𝐾𝑑 . By lifting back these
𝑑-cycles of πΆπ‘Ÿ ∗ 𝐾𝑑 to πΆπ‘Ÿ ∗ 𝐾2𝑑 , we get edge-disjoint subgraphs
isomorphic to 𝐢𝑑 ∗ 𝐾2 . Each copy of 𝐢𝑑 ∗ 𝐾2 decomposes
into sunlet graph of length 2𝑑 (by Lemma 1). Therefore, 𝐿 π‘š |
πΆπ‘Ÿ ∗ πΎπ‘š as required.
Case 1 (π‘ž | 𝑛)
Subcase 1.1 (𝑛 > π‘ž). Cycle 𝐢𝑛 decomposes 𝐾𝑛 + 𝐼 by Lemma 9,
and we have
𝐢𝑛 ∗ πΎπ‘š | 𝐾𝑛 + 𝐼 ∗ πΎπ‘š .
(8)
Each graph 𝐢𝑛 ∗ πΎπ‘š decomposes into sunlet graph 𝐿 π‘ž , where
π‘ž = π‘›π‘š by Lemma 2, and we have 𝐾𝑛 + 𝐼 ∗ πΎπ‘š decomposing
into sunlet graph 𝐿 π‘ž , where π‘ž > 𝑛.
Subcase 1.2 (π‘ž = 𝑛). First, consider 𝑛 ≡ 0 (mod 4).
Cycle πΆπ‘ž decomposes πΎπ‘ž + 𝐼 by Lemma 9, and we have
πΆπ‘ž ∗ πΎπ‘š | πΎπ‘ž + 𝐼 ∗ πΎπ‘š .
(9)
Now, sunlet graph 𝐿 π‘ž | (πΆπ‘ž ∗ πΎπ‘š ) by Theorem 3, and hence
sunlet graph 𝐿 π‘ž decomposes 𝐾𝑛 + 𝐼 ∗ πΎπ‘š .
Also, consider 𝑛 ≡ 2 (mod 4).
Suppose π‘š = 2𝑑. Cycle πΆπ‘ž/2 decomposes πΎπ‘ž + 𝐼 by
Lemma 10, and we have
πΆπ‘ž/2 ∗ 𝐾2𝑑 | πΎπ‘ž + 𝐼 ∗ 𝐾2𝑑 .
(10)
Now, sunlet graph 𝐿 π‘ž decomposes πΆπ‘ž/2 ∗ 𝐾2𝑑 by Theorem 8,
and we have 𝐾𝑛 + 𝐼 ∗ πΎπ‘š decomposing into sunlet graph of
length π‘ž.
Case 2 (π‘ž | π‘š)
Subcase 2.1 (π‘š ≡ 0 (mod 4)). Suppose π‘š = π‘ž, and by
Lemma 9, cycle 𝐢𝑛 decomposes 𝐾𝑛 + 𝐼, and we have
Remark 7. In [10], it was shown that
𝐿 2π‘Ÿ ∗ 𝐾𝑙 can be decomposed into 𝑙2 copies of 𝐿 2π‘Ÿ .
Proof. The necessity of the condition is obvious, and so we
need only to prove its sufficiency. We split the problem into
the following two cases.
(7)
This, coupled with Lemma 1, gives the following.
Theorem 8 (see [10]). The graph πΆπ‘Ÿ ∗ 𝐾2𝑙 decomposes into
sunlet graphs 𝐿 2π‘Ÿ for any positive integer 𝑙.
Lemma 9 (see [3]). Let 𝑛 ≥ 4 be an even integer. Then, 𝐾𝑛 + 𝐼
is 𝐢𝑛 -decomposable.
Lemma 10 (see [3]). Let π‘š and 𝑛 be integers with π‘š odd, 𝑛 ≡
2 (mod 4), 3 ≤ π‘š ≤ 𝑛 < 2π‘š, and 𝑛2 ≡ 0 (mod 2π‘š). Then,
𝐾𝑛 + 𝐼 is πΆπ‘š -decomposable.
Lemma 11 (see [3]). Let π‘š and 𝑛 be integers with π‘š odd, 𝑛 ≡
0 (mod 4), 3 ≤ π‘š ≤ 𝑛 < 2π‘š, and 𝑛2 ≡ 0 (mod 2π‘š). Then,
𝐾𝑛 + 𝐼 is πΆπ‘š -decomposable.
We can now prove the major result.
Theorem 12. For any even integers π‘š ≥ 2, 𝑛 > 2, and π‘ž ≥
6, the sunlet graph 𝐿 π‘ž decomposes 𝐾𝑛 + 𝐼 ∗ πΎπ‘š if and only if
𝑛2 π‘š2 /2 ≡ 0 (mod π‘ž).
𝐢𝑛 ∗ πΎπ‘ž | 𝐾𝑛 + 𝐼 ∗ πΎπ‘ž .
(11)
Also, sunlet graph 𝐿 π‘ž decomposes each 𝐢𝑛 ∗πΎπ‘ž by Theorem 6,
and we have sunlet graph 𝐿 π‘ž decomposing 𝐾𝑛 + 𝐼 ∗ πΎπ‘š .
Subcase 2.2 (π‘š ≡ 2 (mod 4)). Let π‘š = π‘ž and π‘Ÿ ≤ 𝑛 an odd
integer. Cycle πΆπ‘Ÿ decomposes 𝐾𝑛 + 𝐼, by Lemmas 9, 10, and 11,
and we have
πΆπ‘Ÿ ∗ πΎπ‘ž | 𝐾𝑛 + 𝐼 ∗ πΎπ‘ž .
(12)
Now, each πΆπ‘Ÿ ∗ πΎπ‘ž decomposes into sunlet graph 𝐿 π‘ž by
Theorem 6, and we have 𝐾𝑛 +𝐼∗πΎπ‘š decomposing into sunlet
graph 𝐿 π‘ž as required.
Subcase 2.3 (π‘š > π‘ž). Set π‘š = π‘€π‘ž, where 𝑀 is any positive
integer, then by Subcases 2.1 and 2.2, we have
𝐿 π‘ž ∗ 𝐾𝑀 | (𝐾𝑛 + 𝐼 ∗ πΎπ‘ž ) ∗ 𝐾𝑀 .
(13)
Each graph 𝐿 π‘ž ∗ 𝐾𝑀 decomposes into sunlet graph 𝐿 π‘ž by
Remark 7, and we have 𝐾𝑛 + 𝐼 ∗ πΎπ‘š decomposing into sunlet
graph 𝐿 π‘ž .
4
References
[1] B. Alspach and H. Gavlas, “Cycle Decompositions of
K𝑛 and K𝑛 -I,” Journal of Combinatorial Theory B, vol. 81,
no. 1, pp. 77–99, 2001.
[2] M. Šajna, “Cycle decompositions. III. Complete graphs and
fixed length cycles,” Journal of Combinatorial Designs, vol. 10,
no. 1, pp. 27–78, 2002.
[3] M. Šajna, “Decomposition of the complete graph plus a 1-factor
into cycles of equal length,” Journal of Combinatorial Designs,
vol. 11, no. 3, pp. 170–207, 2003.
[4] D. G. Hoffman, C. C. Lindner, and C. A. Rodger, “On the
construction of odd cycle systems,” Journal of Graph Theory, vol.
13, no. 4, pp. 417–426, 1989.
[5] R. S. Manikandan and P. Paulraja, “C𝑝 -decompositions of some
regular graphs,” Discrete Mathematics, vol. 306, no. 4, pp. 429–
451, 2006.
[6] R. S. Manikandan and P. Paulraja, “C5 -decompositions of the
tensor product of complete graphs,” The Australasian Journal of
Combinatorics, vol. 37, pp. 285–293, 2007.
[7] B. R. Smith, “Decomposing complete equipartite graphs into
cycles of length 2p,” Journal of Combinatorial Designs, vol. 16,
no. 3, pp. 244–252, 2008.
[8] B. R. Smith, “Complete equipartite 3p-cycle systems,” The
Australasian Journal of Combinatorics, vol. 45, pp. 125–138,
2009.
[9] R. Anitha and R. S. Lekshmi, “N-sun decomposition of complete, complete bipartite and some Harary graphs,” International
Journal of Mathematics Sciences, vol. 2, no. 1, pp. 33–38, 2008.
[10] A. D. Akwu and D. O. A. Ajayi, “Decomposing equipartite
graphs into certain corona graphs of length 2p”.
[11] R. Laskar, “Decomposition of some composite graphs into
Hamilton Cycles,” in Proceedings of the 5th Hungarian Colloquium keszthely, pp. 705–716, North Holland, 1978.
[12] D. Fronček, P. Kovář, and M. Kubesa, “Decompositions of complete graphs into blown-up cycles C π‘š [2],” Discrete Mathematics,
vol. 310, no. 5, pp. 1003–1015, 2010.
International Journal of Combinatorics
Advances in
Operations Research
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Advances in
Decision Sciences
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Mathematical Problems
in Engineering
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Algebra
Hindawi Publishing Corporation
http://www.hindawi.com
Probability and Statistics
Volume 2014
The Scientific
World Journal
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International Journal of
Differential Equations
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Volume 2014
Submit your manuscripts at
http://www.hindawi.com
International Journal of
Advances in
Combinatorics
Hindawi Publishing Corporation
http://www.hindawi.com
Mathematical Physics
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Journal of
Complex Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
International
Journal of
Mathematics and
Mathematical
Sciences
Journal of
Hindawi Publishing Corporation
http://www.hindawi.com
Stochastic Analysis
Abstract and
Applied Analysis
Hindawi Publishing Corporation
http://www.hindawi.com
Hindawi Publishing Corporation
http://www.hindawi.com
International Journal of
Mathematics
Volume 2014
Volume 2014
Discrete Dynamics in
Nature and Society
Volume 2014
Volume 2014
Journal of
Journal of
Discrete Mathematics
Journal of
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Applied Mathematics
Journal of
Function Spaces
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Optimization
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Hindawi Publishing Corporation
http://www.hindawi.com
Volume 2014
Download