Available online throug
ISSN 2229 โ 5046
International Journal of Mathematical Archive- 8(7), July โ 2017 32
ON THE GENERALIZED abc - BLOCK EDGE TRANSFORMATION GRAPHS
B. BASAVANAGOUD*, KEERTHI G. MIRAJKAR
1, POOJA B
2AND SHREEKANT PATIL
3โ,๐
Department of Mathematics,
Karnatak University Dharwad - 580 003, Karnataka, India.
๐,๐
Department of Mathematics,
Karnatak Universityโs Karnatak Arts College Dharwad - 580 001, Karnataka, India.
(Received On: 15-06-17; Revised & Accepted On: 05-07-17)
ABSTRACT
G
iven a graph ๐บ with vertex set ๐(๐บ), edge set ๐ธ(๐บ) and block set ๐(๐บ), let ๐บ be the complement, ๐ฟ(๐บ) the line graph and ๐ต(๐บ) the block graph of ๐บ. Let ๐บ0 be the graph with ๐(๐บ0) =๐(๐บ) and with no edges, ๐บ1 the complete graph with ๐(๐บ1) =๐(๐บ), ๐บ+=๐บ, and ๐บโ=๐บ. Let ๐๐(๐บ) (๐๐(๐บ)) be the graph whose vertices can be put in one to one correspondence with the set of edges and blocks of G in such a way that two vertices of ๐๐(๐บ) (๐๐๐ ๐., ๐๐(๐บ)) are adjacent if and only if one corresponds to a block ๐ต of ๐บ and the other to an edge ๐ of ๐บ and ๐ is in (resp., is not in) ๐ต. Given ๐,๐,๐ โ{0,1, +,โ}, the abc - block edge transformation graph ๐๐๐๐(๐บ) of ๐บ is the graph with vertex set๐(๐๐๐๐(๐บ)) =๐ธ(๐บ)โช ๐(๐บ) and the edge set ๐ธ(๐๐๐๐(๐บ)) =๐ธ((๐ฟ(๐บ))๐)โช ๐ธ((๐ต(๐บ))๐)โช ๐ธ(๐ป) where ๐ป=๐๐(๐บ)
if ๐= +, ๐ป=๐๐(๐บ) if ๐=โ, ๐ป is the graph with ๐(๐ป) =๐ธ(๐บ)โช ๐(๐บ) and with no edges if ๐= 0, ๐ป is the complete bipartite graph with parts ๐ธ(๐บ) and ๐(๐บ) if ๐= 1. In this paper, we investigate some basic properties such as order, size, vertex degree and connectedness of the these generalized abc - block edge transformation graphs
๐๐๐๐(๐บ).
2010 Mathematics Subject Classification: 05C12.
Keywords: line graph, block graph, abc - block edge transformation graphs.
1. INTRODUCTION
All the graphs considered here are finite, undirected without loops or multiple edges. We refer to [3] or [4] for
unexplained terminology and notation. A block of a graph is a maximal nonseparable subgraph. Let ๐บ= (๐,๐ธ) be a
graph with block set ๐(๐บ)={๐ต๐; ๐ต๐ is a block of ๐บ}, |๐(๐บ)| =๐, |๐ธ(๐บ)| =๐ and |๐(๐บ)| =๐. The degree of a vertex
๐ฃ๐ in ๐บ is the number of edges incident to ๐ฃ๐ and is denoted by ๐๐=๐๐๐(๐ฃ๐). As usual, ๐พ๐ be the complete graph of
order ๐, ๐พ๐,๐ the complete bipartite graph, ๐๐,๐ the double star and ๐๐บ(๐ฃ) the degree of a vertex ๐ฃ in ๐บ. If a block
๐ต โ ๐(๐บ) with the edge set {๐1,๐2, . . . ,๐๐ ;๐ โฅ1}, then we say that the edge ๐๐ and block ๐ต are incident with each
other, where 1โค ๐ โค ๐ . If two distinct blocks are incident with a common cutvertex, then they are adjacent blocks. The
degree of a block ๐ต in ๐บ, denoted by ๐๐บ(๐ต), is the number of blocks adjacent to ๐ต in ๐บ. We denote the number of edges incident with ๐ต in ๐บ by ๐ท๐บ(๐ต). The line graph๐ฟ(๐บ) of a graph ๐บ is the graph with vertex set as the edge set of
๐บ and two vertices of ๐ฟ(๐บ) are adjacent whenever the corresponding edges in ๐บ have a vertex in common. The
complement of line graph is a jump graph [2]. Let ๐๐(๐บ) (๐๐(๐บ)) be the graph whose vertices can be put in one to one
correspondence with the set of edges and blocks of G in such a way that two vertices of ๐๐(๐บ) (๐๐๐ ๐., ๐๐(๐บ)) are
adjacent if and only if one corresponds to a block ๐ต of ๐บ and the other to an edge ๐ of ๐บ and ๐ is in (resp., is not in)
๐ต.
2. GENERALIZED abc - BLOCK EDGE TRANSFORMATION GRAPHS
Inspired by the definition of total transformation graphs [5] and block-transformation graphs [1], we introduce the graph
valued functions namely generalized ๐๐๐ - block edge transformation graphs.
Corresponding Author: B. Basavanagoud*
ยฉ 2017, IJMA. All Rights Reserved 33
For a graph ๐บ= (๐,๐ธ), let ๐บ0 be the graph with ๐(๐บ0) =๐(๐บ) and with no edges, ๐บ1 the complete graph with
๐(๐บ1) =๐(๐บ), ๐บ+=๐บ, and ๐บโ=๐บ.
In this paper, we consider some graph valued functions ๐๐๐๐:๐ข โ ๐ข from set of graphs ๐ข into ๐ข, depending on
parameters ๐,๐,๐ โ{0,1, +,โ} and call ๐๐๐๐(๐บ) the generalized ๐๐๐ - block edge transformation graph of ๐บ.
Definition: Given a graph ๐บ with edge set ๐ธ(๐บ) and block set ๐(๐บ) and three variables ๐,๐,๐ โ{0,1, +,โ}, the generalized abc - block edge transformation graph ๐๐๐๐(๐บ) of ๐บ is the graph with vertex set ๐(๐๐๐๐(๐บ)) =๐ธ(๐บ)โช
๐(๐บ) and the edge set ๐ธ(๐๐๐๐(๐บ)) =๐ธ((๐ฟ(๐บ))๐)โช ๐ธ((๐ต(๐บ))๐)โช ๐ธ(๐ป) where (i) ๐ป=๐๐(๐บ) if ๐= +.
(ii) ๐ป=๐๐(๐บ) if ๐=โ.
(iii)๐ป is the graph with ๐(๐ป) =๐ธ(๐บ)โช ๐(๐บ) and with no edges if ๐= 0. (iv)๐ป is the complete bipartite graph with parts ๐ธ(๐บ) and ๐(๐บ) if ๐= 1.
Thus we obtain 64 abc - block edge transformation graphs ๐๐๐๐(๐บ). Here note that ๐00+(๐บ) =๐๐(๐บ) and ๐00โ(๐บ) =
๐๐(๐บ).
Figure-1: Graph G.
ยฉ 2017, IJMA. All Rights Reserved 34 Figure-3: abc - block edge transformation graphs when ๐= 1.
ยฉ 2017, IJMA. All Rights Reserved 35 Figure-5: abc - block edge transformation graphs when ๐=โ.
A graph ๐บ and all its 64 abc - block edge transformation graphs are shown in Figures 1-5. The vertex ๐๐โฒ of ๐๐๐๐(๐บ)
corresponding to edge ๐๐ of ๐บ and is refereed as edge-vertex. The vertex ๐ต๐โฒ of ๐๐๐๐(๐บ) corresponding to block ๐ต๐ of G and is refereed as block-vertex. In Figure 2 to 5, the edge-vertices are denoted by circles and block-vertices are by squares.
The following remarks will be useful in the proof of our results.
Remark 2.1:
(i) ๐ฟ(๐บ) is an induced subgraph of ๐+๐๐(๐บ). (ii) ๐ฟ(๐บ) is an induced subgraph of ๐โ๐๐(๐บ). (iii)๐พ๐ is an induced subgraph of ๐1๐๐(๐บ).
Remark 2.2:
(i) ๐ต(๐บ) is an induced subgraph of ๐๐+๐(๐บ). (ii) ๐ต(๐บ) is an induced subgraph of ๐๐โ๐(๐บ). (iii)๐พ๐ is an induced subgraph of ๐๐1๐(๐บ).
Remark 2.3:
(i) ๐๐(๐บ) is a spanning subgraph of ๐๐๐+(๐บ). (ii) ๐๐(๐บ) is a spanning subgraph of ๐๐๐โ(๐บ). (iii)๐พ๐,๐ is a spanning subgraph of ๐๐๐1(๐บ).
Theorem 2.1 [6]: Let ๐บ be a graph of size ๐ โฅ1. Then ๐ฟ(๐บ) is connected if and only if ๐บ contains no edge that is adjacent to every other edge of ๐บ unless ๐บ =๐พ4 or ๐ถ4.
Since abc - block edge transformation graphs ๐๐๐๐(๐บ) are defined on the edge set and block set of a graph ๐บ. Isolated
vertices of ๐บ (if ๐บ has) play no rule in ๐๐๐๐(๐บ), we assume that the graph ๐บ under consideration is nonempty and has no isolated vertices. In this paper, we investigate some basic properties such as order, size, vertex degree and
ยฉ 2017, IJMA. All Rights Reserved 36 3. ORDER, SIZE AND VERTEX DEGREE OF ๐ธ๐๐๐(๐ฎ)
It is shown in [3] that let ๐๐บ(๐ฃ) be the number of blocks to which vertex ๐ฃ belongs in a connected graph ๐บ. Then the
number of blocks of ๐บ is given by ๐=๐(๐บ) = 1โ ๐+โ๐ฃโ๐(๐บ) ๐๐บ(๐ฃ).
Theorem 3.1: Let ๐บ be an (๐,๐) connected graph with ๐ blocks and let ๐๐บ(๐ฃ) be the number of blocks to which vertex ๐ฃ belongs in ๐บ. Then
(i) The order of ๐๐๐๐(๐บ) =๐+๐.
(ii) The size of ๐๐๐๐(๐บ)=
โฉ โช โจ โช
โง|๐ธ((๐ฟ(๐บ))๐)| + |๐ธ((๐ต(๐บ))๐)| ๐๐ ๐= 0.
|๐ธ((๐ฟ(๐บ))๐)| + |๐ธ((๐ต(๐บ))๐)| +๐๐ ๐๐ ๐= 1.
|๐ธ((๐ฟ(๐บ))๐)| + |๐ธ((๐ต(๐บ))๐)| +๐ ๐๐ ๐= +.
|๐ธ((๐ฟ(๐บ))๐)| + |๐ธ((๐ต(๐บ))๐)| +๐๐ โ ๐ ๐๐ ๐=โ.
where
๐ธ((๐ฟ(๐บ))๐)=
โฉ โช โจ โช
โง0๐(๐โ1) ๐๐ ๐= 0.
2 ๐๐ ๐= 1.
โ๐+12โ๐ฃโ๐(๐บ)๐๐บ2(๐ฃ) ๐๐ ๐= +.
๐(๐+1)
2 โ
1
2โ๐ฃโ๐(๐บ) ๐๐บ2(๐ฃ) ๐๐ ๐=โ.
and
๐ธ((๐ต(๐บ))๐)=
โฉ โช โจ โช
โง0๐(๐โ1) ๐๐ ๐= 0.
2 ๐๐ ๐= 1.
โ๐ฃโ๐(๐บ) ๐๐บ(๐ฃ)(๐2๐บ(๐ฃ)โ1) ๐๐ ๐= +. ๐(๐โ1)
2 โ โ๐ฃโ๐(๐บ)
๐๐บ(๐ฃ)(๐๐บ(๐ฃ)โ1)
2 ๐๐ ๐=โ.
Theorem 3.2: Let ๐บ be an (๐,๐)-graph with ๐ blocks. Then the degree of edge-vertex ๐โฒ (๐=๐ข๐ฃ in ๐บ) and block-vertex ๐ตโฒ in ๐๐๐๐(๐บ) when ๐= 0 are
(i) ๐๐๐๐0(๐บ)(๐โฒ) =๏ฟฝ
0 ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐ โ1 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐๐บ(๐ข) +๐๐บ(๐ฃ)โ2 ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐+ 1โ ๐๐บ(๐ข)โ ๐๐บ(๐ฃ) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
(ii) ๐๐๐๐0(๐บ)(๐ตโฒ) =๏ฟฝ
0 ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐ โ1 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐๐บ(๐ต) ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐ โ1โ ๐๐บ(๐ต) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
Theorem 3.3: Let ๐บ be an (๐,๐)-graph with ๐ blocks. Then the degree of edge-vertex ๐โฒ (๐=๐ข๐ฃ in ๐บ) and block-vertex ๐ตโฒ in ๐๐๐๐(๐บ) when ๐= 1 are
(i) ๐๐๐๐1(๐บ)(๐โฒ) =๏ฟฝ
๐ ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐+๐ โ1 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐+๐๐บ(๐ข) +๐๐บ(๐ฃ)โ2 ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐+๐+ 1โ ๐๐บ(๐ข)โ ๐๐บ(๐ฃ) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
(ii) ๐๐๐๐1(๐บ)(๐ตโฒ) =๏ฟฝ
๐ ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐+๐ โ1 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐+๐๐บ(๐ต) ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐+๐ โ1โ ๐๐บ(๐ต) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
Theorem 3.4: Let ๐บ be an (๐,๐)-graph with ๐ blocks. Then the degree of edge-vertex ๐โฒ (๐=๐ข๐ฃ in ๐บ) and block-vertex ๐ตโฒ in ๐๐๐๐(๐บ) when ๐= + are
(i) ๐๐๐๐+(๐บ)(๐โฒ) =๏ฟฝ
1 ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐ ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐๐บ(๐ข) +๐๐บ(๐ฃ)โ1 ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
ยฉ 2017, IJMA. All Rights Reserved 37
(ii) ๐๐๐๐+(๐บ)(๐ตโฒ) =๏ฟฝ
๐ท๐บ(๐ต) ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐ท๐บ(๐ต) +๐ โ1 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐ท๐บ(๐ต) +๐๐บ(๐ต) ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐ท๐บ(๐ต) +๐ โ1โ ๐๐บ(๐ต) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
Theorem 3.5: Let ๐บ be an (๐,๐)-graph with ๐ blocks. Then the degree of edge-vertex ๐โฒ (๐=๐ข๐ฃ in ๐บ) and block-vertex ๐ตโฒ in ๐๐๐๐(๐บ) when ๐=โ are
(i) ๐๐๐๐โ(๐บ)(๐โฒ) =๏ฟฝ
๐ โ1 ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐+๐ โ2 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐๐บ(๐ข) +๐๐บ(๐ฃ) +๐ โ3 ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐+๐ โ ๐๐บ(๐ข)โ ๐๐บ(๐ฃ) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
(ii) ๐๐๐๐โ(๐บ)(๐ตโฒ) =๏ฟฝ
๐ โ ๐ท๐บ(๐ต) ๐๐ ๐= 0 & ๐ โ{0,1, +,โ}.
๐+๐ โ ๐ท๐บ(๐ต)โ1 ๐๐ ๐= 1 & ๐ โ{0,1, +,โ}.
๐๐บ(๐ต) +๐ โ ๐ท๐บ(๐ต) ๐๐ ๐= + & ๐ โ{0,1, +,โ}.
๐+๐ โ1โ ๐ท๐บ(๐ต)โ ๐๐บ(๐ต) ๐๐ ๐=โ & ๐ โ{0,1, +,โ}.
4. CONNECTEDNESS OF ๐ธ๐๐๐(๐ฎ)
The first theorem is well-known.
Theorem 4.1: For a given graph ๐บ, ๐๐๐0(๐บ) is not connected.
Theorem 4.2: For a given graph ๐บ, ๐๐๐1(๐บ) is connected.
Proof: The result follows from the fact of Remark 2.3 (iii) i. e., ๐พ๐,๐ is a spanning subgraph of ๐๐๐1(๐บ) with parts
๐ธ(๐บ) and ๐(๐บ). Therefore ๐๐๐1(๐บ) is connected
When ๐= +, we have the following theorems:
Theorem 4.3: For a given graph ๐บ, ๐00+(๐บ) is connected if and only if ๐บ is a block.
Proof: Suppose ๐บ is a block with ๐ edges. Then ๐00+(๐บ) = ๐พ1,๐ and which is connected.
Conversely, if ๐บ has at least two blocks, then ๐00+(๐บ) has at least two disjoint stars. Therefore ๐00+(๐บ) is
disconnected, a contradiction.
Theorem 4.4: For a given graph ๐บ, ๐1๐+(๐บ) is connected.
Proof: From Remark 2.1 (iii), we have ๐พ๐ is an induced subgraph of ๐1๐+(๐บ) with vertex set ๐ธ(๐บ) and each block-vertex ๐ตโฒ is adjacent to at least one edge-vertex ๐โฒ where ๐ is incident with a block ๐ต in ๐บ. Therefore ๐1๐+(๐บ) is connected.
Theorem 4.5: For a given graph ๐บ, ๐+0+(๐บ) is connected if and only if ๐บ is connected.
Proof: Suppose ๐บ is connected. Then ๐ฟ(๐บ) is connected. By Remark 2.1 (i), ๐ฟ(๐บ) is a connected induced subgraph of
๐+0+(๐บ) and each block-vertex ๐ตโฒ is adjacent to at least one edge-vertex ๐โฒ where ๐ is incident with a block ๐ต in ๐บ.
Therefore ๐+0+(๐บ) is connected.
Conversely, suppose ๐+0+(๐บ) is connected. If ๐บ is a disconnected graph with at least two components ๐บ1 and ๐บ2, then
๐+0+(๐บ) =๐+0+(๐บ
1)โช ๐+0+(๐บ2) is disconnected, a contradiction.
Theorem 4.6: For a given graph ๐บ, ๐โ0+(๐บ) is connected if and only if ๐บ contains no block ๐พ2 that is adjacent to every other edge of ๐บ.
Proof: Suppose a graph ๐บ contains no block ๐พ2 that is adjacent to every other edge of ๐บ. If ๐บ is a block, then
๐โ0+(๐บ) =๐ฟ(๐บ) +๐พ
1 is connected. If ๐บ has more than one block, then we consider the following two cases:
ยฉ 2017, IJMA. All Rights Reserved 38 Case-2: If ๐บ contains an edge ๐ that is adjacent to every other edge of ๐บ, then clearly ๐ is incident with a block ๐ต of size more than 2. And ๐โ0+(๐บ โ ๐) is a connected subgraph of ๐โ0+(๐บ) and ๐โฒ,๐ตโฒ,๐1โฒ is a path in ๐โ0+(๐บ), where
๐1 is incident with ๐ต, and each block-vertex ๐ต๐โฒ in ๐โ0+(๐บ) is adjacent to at least one edge-vertex ๐๐โฒ, where ๐๐ is
incident with ๐ต๐ in ๐บ. Hence ๐โ0+(๐บ) is connected.
Conversely, suppose ๐โ0+(๐บ) is connected. Assume ๐บ contains a block ๐พ2, say ๐, that is adjacent to every other edge of ๐บ, then it is easy to see that ๐โ0+(๐บ) =๐โ0+(๐บ โ ๐)โช ๐พ2 is disconnected, a contradiction.
Theorem 4.7: For a given graph ๐บ, ๐๐1+(๐บ) is connected.
Proof: From Remark 2.2 (iii), we have ๐พ๐ is an induced subgraph of ๐๐1+(๐บ) with vertex set ๐(๐บ) and each edge-vertex ๐โฒ is adjacent to exactly one block-vertex ๐ตโฒ where ๐ is incident with a block ๐ต in ๐บ. Therefore ๐๐1+(๐บ) is connected.
Theorem 4.8: For a given graph ๐บ, ๐0++(๐บ) is connected if and only if ๐บ is connected..
Proof: Suppose ๐บ is connected. Then ๐ต(๐บ) is connected. By Remark 2.2 (i), ๐ต(๐บ) is a connected induced subgraph of
๐0++(๐บ) and each edge-vertex ๐โฒ is adjacent to exactly one block-vertex ๐ตโฒ where ๐ is incident with a block ๐ต in ๐บ.
Therefore ๐0++(๐บ) is connected.
Conversely, suppose ๐0++(๐บ) is connected. If ๐บ is disconnected graph with at least two component ๐บ1 and ๐บ2, then
๐0++(๐บ) =๐0++(๐บ
1)โช ๐0++(๐บ2) is disconnected, a contradiction.
Theorem 4.9: For a given graph ๐บ, ๐+++(๐บ) is connected if and only if ๐บ is connected.
Proof: Suppose ๐บ is connected. Then by Theorem 4.8, ๐0++(๐บ) is connected, and we have ๐+++(๐บ) is spanning subgraph of ๐+++(๐บ). Therefore, ๐+++(๐บ) is connected.
Conversely, suppose ๐+++(๐บ) is connected. If ๐บ is disconnected graph with at least two component ๐บ1 and ๐บ2, then
๐+++(๐บ) =๐+++(๐บ
1)โช ๐+++(๐บ2) is disconnected, a contradiction.
Theorem 4.10: ๐โ++(๐บ) is connected for any graph ๐บ.
Proof: If ๐บ is connected, then by Remark 2.2 (i), ๐ต(๐บ) is a connected induced subgraph of ๐โ++(๐บ), and each edge-vertex ๐๐โฒ in ๐โ++(๐บ) is adjacent to exactly one block-vertex ๐ต๐ฅโฒ, where ๐ต๐ฅ is incident with ๐๐ in ๐บ. Thus
๐โ++(๐บ) is connected.
If ๐บ is disconnected, then by Remark 2.1 (ii) and Theorem 2.1, ๐ฟ(๐บ) is a connected induced subgraph of ๐โ++(๐บ), and each block-vertex ๐ต๐ฅโฒ in ๐โ++(๐บ) is adjacent to at least one edge-vertex ๐๐โฒ, where ๐๐ is incident with ๐ต๐ฅ in ๐บ. Thus
๐โ++(๐บ) is connected.
Theorem 4.11: For a given graph ๐บ, ๐0โ+(๐บ) is connected if and only if ๐บ contains no block that is adjacent to every other block of ๐บ.
Proof: Suppose a graph ๐บ contains no block that is adjacent to every other block of ๐บ. Then ๐ต(๐บ) is a connected induced subgraph of ๐0โ+(๐บ) with vertex set ๐(๐บ), and each edge-vertex ๐โฒ is adjacent to exactly one block-vertex ๐ตโฒ where ๐ is incident with a block ๐ต in ๐บ. Therefore ๐0โ+(๐บ) is connected.
Conversely, suppose ๐0โ+(๐บ) is connected. Assume ๐บ contains a block ๐ต that is adjacent to every other blocks of ๐บ,
and ๐ต is incident with ๐1,๐2, . . . ,๐๐ edges. Then it is easy to see that ๐0โ+(๐บ) =๐0โ+(๐บ โ{๐1,๐2, . . . ,๐๐ })โช ๐พ1,๐ is disconnected, a contradiction.
Theorem 4.12: ๐+โ+(๐บ) is connected for any graph ๐บ.
Proof: If ๐บ is connected, then by Remark 2.1 (i), ๐ฟ(๐บ) is a connected induced subgraph of ๐+โ+(๐บ), and each block-vertex ๐ต๐ฅโฒ in ๐+โ+(๐บ) is adjacent to at least one edge-vertex ๐๐โฒ, where ๐๐ is incident with ๐ต๐ฅ in ๐บ. Thus
๐+โ+(๐บ) is connected.
If ๐บ is disconnected, then by Remark 2.2 (ii), ๐ต(๐บ) is a connected induced subgraph of ๐+โ+(๐บ), and each edge-vertex
๐๐โฒ in ๐บ+โ+ is adjacent to exactly one block-vertex ๐ต๐ฅโฒ, where ๐ต๐ฅ is incident with ๐๐ in ๐บ. Thus ๐+โ+(๐บ) is
ยฉ 2017, IJMA. All Rights Reserved 39 Theorem 4.13: For a given graph ๐บ, ๐โโ+(๐บ) is connected if and only if ๐บ contains no block ๐พ2 that is adjacent to every other edge of ๐บ.
Proof: Suppose a graph ๐บ contains no block ๐พ2 that is adjacent to every other edge of ๐บ. Then by Theorem 4.6,
๐โ0+(๐บ) is connected, and we have ๐โ0+(๐บ) is a spanning subgraph of ๐โโ+(๐บ). Therefore, ๐โโ+(๐บ) is connected.
Conversely, suppose ๐โโ+(๐บ) is connected. Assume ๐บ contains a block ๐พ2, say ๐, that is adjacent to every other edge of ๐บ. Then it is easy to see that ๐โโ+(๐บ) =๐โโ+(๐บ โ ๐)โช ๐พ2 is disconnected, a contradiction.
When ๐=โ, we have the following theorems:
Theorem 4.14: For a given graph ๐บ, ๐00โ(๐บ) is connected if and only if ๐บ has at least three blocks.
Proof: Suppose ๐บ contains at least three blocks. Then each edge-vertex is adjacent to at least two block-vertex in
๐00โ(๐บ). Therefore it is sufficient to prove every pair of edge-vertices are connected. Let ๐โฒ
1 and ๐โฒ2 be the
edge-vertices of ๐00โ(๐บ). Then there exist a block ๐ตโฒ which is not incident with ๐1 and ๐2 in ๐บ such that ๐โฒ1 and ๐โฒ2 are connected through ๐ตโฒ in ๐00โ(๐บ). Therefore, every pair of vertices in ๐00โ(๐บ) are connected. Hence ๐00โ(๐บ) is connected.
Conversely, suppose ๐00โ(๐บ) is connected. Assume ๐บ is a block. Then ๐00โ(๐บ) = (๐+ 1)๐พ1 is disconnected, a
contradiction. Assume ๐บ has two blocks ๐ต1 and ๐ต2 with ๐ฅ and ๐ฆ number of incident edges respectively. Then
๐00โ(๐บ) =๐พ
1,๐ฅโช ๐พ1,๐ฆ is disconnected, a contradiction.
Theorem 4.15: For a given graph ๐บ, ๐1๐โ(๐บ) is connected if and only if ๐บ is not a block.
Proof: Suppose ๐บ is not a block. By Remark 2.1 (iii), we have ๐พ๐ is an induced subgraph of ๐1๐โ(๐บ) with vertex set
๐ธ(๐บ), and each block-vertex ๐ตโฒ is adjacent with at least one edge-vertex ๐โฒ where ๐ is not incident with block ๐ต in ๐บ. Therefore ๐1๐โ(๐บ) is connected.
Conversely, suppose ๐1๐โ(๐บ) is connected. Assume ๐บ is a block. Then ๐1๐โ(๐บ) =๐พ๐โช ๐พ1 is disconnected, a
contradiction.
Theorem 4.16: For a given graph ๐บ, ๐+0โ(๐บ) is connected if and only if ๐บ is neither a block nor a union of two blocks.
Proof: Suppose ๐บ is neither a block nor a union of two blocks. Then we consider the following cases:
Case-1: Suppose ๐บ is connected. Then it has at least two blocks. Hence by Remark 2.1 (i), ๐ฟ(๐บ) is a connected subgraph of ๐+0โ(๐บ), and also each block-vertex ๐ต๐โฒ in ๐+0โ(๐บ) is adjacent to at least one edge-vertex ๐๐โฒ, where ๐๐ is not incident with ๐ต๐ in ๐บ. Thus ๐+0โ(๐บ) is connected.
Case-2: Suppose ๐บ is disconnected. Then it has at least three blocks. We see that in ๐+0โ(๐บ), each block-vertex ๐ต๐โฒ is adjacent at least two edge-vertices ๐๐โฒ, where ๐๐ is not incident with ๐ต๐ in ๐บ, and each edge-vertex ๐๐โฒ is adjacent to edge-vertex ๐๐โฒ and at least two block-vertices ๐ต๐โฒ in ๐+0โ(๐บ), where ๐๐ is adjacent to ๐๐, and ๐ต๐ is not incident with
๐๐ in ๐บ.
Since in such a case, there is a path between any two vertices of ๐+0โ(๐บ). Hence ๐+0โ(๐บ) is connected.
Conversely, suppose ๐+0โ(๐บ) is connected. If ๐บ is a block, then ๐+0โ(๐บ) =๐ฟ(๐บ)โช ๐พ1 is disconnected, a
contradiction. If ๐บ =๐ต1โช ๐ต2 is a union of two blocks, then ๐+0โ(๐บ) is a disconnected graph having two components
namely ๐ฟ(๐ต1) +๐พ1 and ๐ฟ(๐ต1) +๐พ1, a contradiction.
Theorem 4.17: For a given graph ๐บ, ๐โ0โ(๐บ) is connected if and only if ๐บ โ ๐3 is not a block.
Proof: Suppose ๐บ โ ๐3 is not a block. We consider the following two cases:
Case-1: Suppose ๐บ contains no edge that is adjacent to every other edge of ๐บ. Then by Remark 2.1 (ii) and Theorem 2.1,
๐ฟ(๐บ) is a connected subgraph of ๐โ0โ(๐บ), and each block-vertex ๐ต๐โฒ is adjacent to at least one edge-vertex ๐๐โฒ in
๐โ0โ(๐บ), where ๐
ยฉ 2017, IJMA. All Rights Reserved 40 Case-2: Suppose ๐บ contains an edge ๐ that is adjacent to all other edge of ๐บ. Then by definition of ๐โ0โ(๐บ), each edge-vertex ๐๐โฒ is adjacent to edge-vertex ๐๐โฒ and at least one block-vertex ๐ต๐โฒ, where ๐ต๐ is not incident with ๐๐, and ๐๐ is not adjacent to ๐๐ in G. And also each block-vertex ๐ต๐โฒ is adjacent to at least one edge-vertex ๐๐โฒ, where ๐๐ is not incident with ๐ต๐ in ๐บ. Hence there is a path between any two vertices of ๐โ0โ(๐บ). Therefore ๐โ0โ(๐บ) is connected.
Conversely, suppose ๐โ0โ(๐บ) is connected. If ๐บ is a block, then ๐โ0โ(๐บ) =๐ฟ(๐บ)โช ๐พ1 is disconnected, a
contradiction. If ๐บ=๐3, then ๐โ0โ(๐บ) = 2๐พ2 is disconnected, a contradiction.
Theorem 4.18: For a given graph ๐บ, ๐๐1โ(๐บ) is connected if and only if ๐บ is not a block.
Proof: Suppose ๐บ is not a block. By Remark 2.2 (iii), we have ๐พ๐ is an induced subgraph of ๐๐1โ(๐บ) with vertex set
๐(๐บ), and each edge-vertex ๐โฒ is adjacent to at least one block-vertex ๐ตโฒ where ๐ is not incident with block ๐ต in ๐บ. Therefore, ๐๐1โ(๐บ) is connected.
Conversely, suppose ๐๐1โ(๐บ) is connected. Assume ๐บ is a block. Then ๐๐1โ(๐บ) = (๐ฟ(๐บ))๐โช ๐พ1 is disconnected, a contradiction.
Theorem 4.19: For a given graph ๐บ, ๐0+โ(๐บ) is connected if and only if ๐บ is neither a block nor a union of two blocks.
Proof: Suppose ๐บ is neither a block nor a union of two blocks. Then we consider the following cases:
Case-1: Suppose ๐บ is connected. Then it has at least two blocks. By Remark 2.2 (i), ๐ต(๐บ) is a connected induced subgraph of ๐0+โ(๐บ) with vertex set ๐(๐บ), and also each edge-vertex ๐๐โฒ in ๐0+โ(๐บ) is adjacent to at least one block-vertex ๐ต๐โฒ, where ๐๐ is not incident with ๐ต๐ in ๐บ. Therefore ๐0+โ(๐บ) is connected.
Case-2: Suppose ๐บ is disconnected. Then it has at least three blocks and we have ๐00โ(๐บ) is a spanning subgraph of
๐0+โ(๐บ). Therefore by Theorem 4.14, ๐0+โ(๐บ) is connected.
Conversely, suppose ๐0+โ(๐บ) is connected. If ๐บ is a block, then ๐0+โ(๐บ) = (๐+ 1)๐พ1 is disconnected, a
contradiction. If ๐บ =๐ต1โช ๐ต2 is not a union of blocks, where ๐ต1 and ๐ต2 are blocks incident with ๐ฅ and ๐ฆ number of edges respectively, then ๐0+โ(๐บ) =๐พ1,๐ฅโช ๐พ1,๐ฆ is disconnected, a contradiction.
Theorem 4.20: For a given graph ๐บ, ๐บ++โ is connected if and only if ๐บ is neither a block nor a union of two blocks.
Proof: Suppose ๐บ is neither a block nor a union of two blocks. Then by Theorem 4.19, ๐0+โ(๐บ) is connected, and we have ๐0+โ(๐บ) is spanning subgraph of ๐++โ(๐บ). Therefore, ๐++โ(๐บ) is connected.
Conversely, suppose ๐++โ(๐บ) is connected. If ๐บ is a block, then ๐++โ(๐บ) =๐ฟ(๐บ)โช ๐พ1 is disconnected, a
contradiction. If ๐บ =๐ต1โช ๐ต2 is not a union of blocks, then ๐++โ(๐บ) = (๐ฟ(๐ต1) +๐พ1)โช(๐ฟ(๐ต2) +๐พ1) is disconnected, a contradiction.
Theorem 4.21: For a given graph ๐บ, ๐โ+โ(๐บ) is connected if and only if ๐บ is not a block.
Proof: Suppose ๐บ โ ๐3 is not a block. Then by Theorem 4.17, ๐โ0โ(๐บ) is connected, and we have ๐โ0โ(๐บ) is spanning subgraph of ๐โ+โ(๐บ). Therefore, ๐โ+โ(๐บ) is connected. If ๐บ=๐3, then ๐โ+โ(๐บ) =๐4 is connected. Conversely, if ๐บ is a block, then ๐บโ+โ=๐ฟ(๐บ)โช ๐พ1 is disconnected, a contradiction.
Theorem 4.22: For a given graph ๐บ, ๐0โโ(๐บ) is connected if and only if ๐บ is not a connected graph with one or two blocks.
Proof: Suppose ๐บ is not a connected graph with one or two blocks. We consider the following cases:
Case-1: If ๐บ is a connected graph. Then ๐บ contains at least three blocks and we have ๐00โ(๐บ) is a spanning subgraph of ๐0โโ(๐บ). Hence by Theorem 4.14, ๐0โโ(๐บ) is connected.
Case-2: If ๐บ is not a connected graph, then ๐บ contains at least two blocks. Suppose ๐บ contains at least three blocks.
Then result is oblivious by Theorem 4.14. If ๐บ=๐ต๐โช ๐ต๐ where ๐ต๐ and ๐ต๐ are blocks with ๐ฅ and ๐ฆ number of
ยฉ 2017, IJMA. All Rights Reserved 41
Conversely, suppose ๐0โโ(๐บ) is connected. Assume ๐บ is a block. Then ๐0โโ(๐บ) =๐ต(๐บ)โช ๐พ1 is disconnected, a
contradiction. Assume ๐บ is a connected graph with two blocks ๐ต1 and ๐ต2 having ๐ฅ and ๐ฆ number of incident edges
respectively, then ๐0โโ(๐บ) =๐พ1,๐ฅโช ๐พ1,๐ฆ is disconnected, a contradiction.
Theorem 4.23: For a given graph ๐บ, ๐+โโ(๐บ) is connected if and only if ๐บ is not a block.
Proof: Suppose ๐บ is not a block. Then by Theorem 4.22, ๐0โโ(๐บ) is connected, and we have ๐0โโ(๐บ) is spanning subgraph of ๐+โโ(๐บ). Therefore, ๐+โโ(๐บ) is connected. If ๐บ is connected graph with two blocks, then ๐+โโ(๐บ) is connected.
Converse is obvious.
Theorem 4.24: For a given graph ๐บ, ๐โโโ(๐บ) is connected if and only if ๐บ โ ๐3 is not a block.
Proof: Suppose ๐บ โ ๐3 is not a block. Then by Theorem 4.17, ๐โ0โ(๐บ) is connected, and we have ๐0โโ(๐บ) is spanning subgraph of ๐โโโ(๐บ). Therefore, ๐โโโ(๐บ) is connected.
Conversely, suppose ๐โโโ(๐บ) is connected. If ๐บ is a block, then ๐โโโ(๐บ) =๐ฟ(๐บ)โช ๐พ1 is disconnected, a
contradiction. If ๐บ=๐3, then ๐โโโ(๐บ) = 2๐พ2 is disconnected, a contradiction.
5. CONCLUSION
In this paper, we have introduced 64 abc - block edge transformation graphs and studied their order, size, vertex degree and connectedness of these 64 abc-block edge transformation graphs. The study of diameter, traversability, planarity, chromatic number, domination number, spectra, energy and topological indices of these new graphs can be interesting. Characterization of these 64 abc - block edge transformation graphs can be quite challenging, (i.e., to prove that: A graph
๐บ is a generalized ๐๐๐ - block edge transformation graph if and only if it is isomorphic to the generalized ๐๐๐ - block
edge transformation graph ๐๐๐๐(๐ป) of some graph ๐ป).
6. ACKNOWLEDGEMENT
*This research was supported by UGC-SAP DRS-III, New Delhi, India for 2016-2021: F.510/3/DRS - III/2016(SAP-I) Dated: 29๐กโ Feb. 2016.
REFERENCES
1. B. Basavanagoud, H. P. Patil, J. B. Veeragoudar, On the block-transformation graphs, graph equations and
diameters, International Journal of Advances in Science and Technology, 2(2) (2011) 62โ74.
2. G. Chartrand, H. Hevia, E. B. Jarette, M. Schultz, Subgraph distance in graphs defined by edge transfers,
Discrete Math., 170 (1997) 63โ79.
3. F. Harary, Graph Theory, Addison-Wesley, Reading, Mass (1969).
4. V. R. Kulli, College Graph Theory, Vishwa International Publications, Gulbarga, India (2012).
5. B. Wu, J. Meng, Basic properties of total transformation graphs, J. Math. Study, 34, (2001), 109โ116.
6. B. Wu, X. Gao, Diameters of jump graphs and self complementary jump graphs, Graph Theory Notes N. Y., 40
(2001) 31โ34.