DOCSLIB.ORG

Polygon Graphs of Girth 6

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Polygon Graphs of Girth 6 Journal of Engineering and Technology Research Vol. 3(6), pp. 197-202, April 2011 Available online at http:// www.academicjournals.org/JETR ISSN 2006-9790 ©2011 Academic Journals Full Length Research Paper Polygon graphs of Girth 6 Shoaib U. Din 1 and Khalil Ahmad 2* 1Department of Mathematics, University of the Punjab Lahore, Pakistan. 2Department of Mathematics, University of Management and Technology, Lahore, Pakistan. Accepted 30 March, 2011 G m, p This paper introduces a family of simple bipartite graphs denoted by P ( ) , named and constructed as polygon graphs. These polygon graphs are bicubic simple graphs possessing Hamiltonian cycles. Some important results are proved for these graphs. The girth of these graphs is G 3,1 counted as 6( m ≥ 3 ). P ( ) Polygon graph is isomorphic to a famous Pappus graph. Since polygon graphs are bipartite, therefore they can be used as Tanner graphs for low density parity check codes. This family of graphs may also be used in the design of efficient computer networks. Key words: Polygon graph, girth, Hamiltonian cycle, bicubic graph. INTRODUCTION A graph G is a triple, consisting of a vertex set V= V(G) , by its (cyclic) sequence of vertices, the above cycle C an edge set E=E(G) and a map that associates to each might be written as x0 …x k-1 x0. The length of a cycle is edge two vertices (not necessarily distinct) called its end the number of its edges (or vertices). The cycle of length points. A loop is an edge whose end points are equal. k Multiple edges are edges having same end points. A k is called k-cycle and denoted by C . The length of the simple graph is one having no loops or multiple edges. shortest cycle (contained) in a graph G is the girth g (G) To any graph, we can associate the adjacency matrix A of G, the maximum length of a cycle is G and is its which is an n ×n matrix ( n=IvI ) with rows and columns circumference. If G does not contain a cycle, we set the indexed by the elements of vertex set and the (x,y) -th former to ∞ the latter to zero (Reinhard, 2000). Cubic entry is the number of edges connecting x and y. A path graphs also known as trivalent graphs are intensively is a non-empty graph studied in graph theory. The bipartite cubic graphs widely known as bicubic graphs took special interest. Tait P = (V, E) (1888), conjectured that every planer cubic graph contains Hamiltonian cycle, it was challenged by Tutte where, (1946), by a counter example, a 46-vertex graph now named for him (Tutte, 1946). In 1971, Tutte conjectured V= { x0, x 1,…………x k} , E = { x0x1,……x k-1 xk} that all bicubic graphs are Hamiltonian; however, Horton provided a 96-vertex counter example (Horton, 1982). 01Where the xi’s are all distinct. Study of cubic graphs is one of the favorite topics for graph theorists. One main reason is that they have wide The vertices x0 and xk are linked by P and are called its application. For example, it follows from the result of ends; the vertices x1,… x k-1 are the inner vertices of P. Malle et al. (1994) that, almost every finite simple group The number of edges of a path is its length. If P = x0, … has a cubic Cayley graph. Moreover, the generalization xk-1 is a path with k> 3, then the graph C: = P + x k x0 is to the graphs of degree k>3 does not appear to be more known as cycle. As with paths, we often denote a cycle difficult than the case k=3. Finally, the cubic case is the only one where we have specific examples that improve significantly on the best general results currently available incorrect format (Biggs, 1998). Polygon graphs *Corresponding author. E-mail: [email protected] are constructed by connecting odd number of copies of 198 J. Eng. Technol. Res. polygons of same size in a delicate manner. These denoted by G( m, p ) and is named as a polygon graph. graphs are defined only for polygons with an even P number of sides and denoted by GP () m, p , where 2m is Example 1: If m = 2, p = 2, GP (2 , 2) (Figure 1) the number of sides and 2p +1 is the number of copies of polygon P. These graphs are bicubic with some GP (3,1 ) is isomorphic to a famous bicubic symmetric distance- interesting properties. Principle of mathematical induction regular Pappus graph with 18 vertices. It has representations as is used to prove the existence of Hamiltonian cycles in presented in Figure 2. these graphs. It is shown that, these graphs have girth 6. It is a simple fact that cubic Hamiltonian graphs have at least two Hamiltonian cycles. Finding such a cycle is NP- RESULTS hard in general, and no polynomial time algorithm is known for the problem of finding a second Hamiltonian Theorem 1 cycle, when one such cycle is given as part of the input (Cristina, 1999). However, in the case of polygon graph, it Let GP ( m, p ) be a polygon graph then: is easy to find Hamiltonian cycles. i) |V | = 2m (2p+1 ), | E | = 3m (2p+1 ); METHODS OF CONSTRUCTING POLYGON GRAPHS GP GP ii) GP ( m, p ) is a cubic graph; Let P be a polygon with 2m ( m ≥ 2 ) sides. Place 2p+1 copies iii) GP ( m, p ) is a bipartite graph. of P denoted by ′ ′ ′ in parallel, PPP,,,12⋅⋅⋅⋅ PPPp ,,, 12 ⋅⋅⋅⋅ P p such that P is in the middle, p copies on the right side of P say P, P , ⋅⋅⋅⋅ P and p copies on the left side of P Proof 1 2 p ′ ′ ′ i) Since each polygon has 2m number of vertices and say P1, P 2 , ⋅⋅⋅⋅ P p as follows. there are ( 2p+1 ) copies of polygons in GP ( m, p ) . PP′,, ′⋅⋅⋅⋅ PPPP ′ ,,,, ⋅⋅⋅⋅ P . Vertices of P, P′ and P are 12p 12 p i i Hence, total number of vertices equals: (0) ( 0) ( 0 ) (i) ( i) ( i ) denoted by v1, v 2 ,⋅⋅⋅⋅ , v 2 m , u1, u 2 ,⋅⋅⋅⋅ , u 2 m , |V | = 2m (2p+1 ) (i) ( i) ( i ) GP w1, w 2 ,⋅⋅⋅⋅ , w 2 m , i=1, ⋅⋅⋅ , p respectively. Simple connected V 1 GP graph GP is constructed by drawing edges such that, an even | E | = ∑ d() v k GP vertex is connected with odd vertex and an odd vertex with an even 2 k =1 one in the following manner. Where d( v k ) is the degree of kth vertex. Algorithm 2m (2 p + 1) Edges between vertices of different polygons 1 1 = ∑ d( v i ) = 3{} 2m (2 p + 1) = 3m (2 p + 1) 2 i=1 2 a) For i< p connect m vertices of P i with m vertices of Pi −1 and m vertices of P i with m vertices of Pi +1 . Similarly, connect ii) By definition of GP ( m, p ) , it is clear that each vertex of ′ ' a polygon is connected with two vertices of the same m vertices of P i with m vertices of Pi −1 and m vertices of polygon and with one vertex of a polygon, either on its ′ P i with m vertices of Pi +1 . right or on its left. Hence, degree of each vertex becomes three. So, G m, p is a regular simple graph of degree b) For i= p , m vertices of P i are already joined with m P ( ) vertices of Pi −1 , where the remaining m vertices of P i are joined three, that is GP ( m, p ) is a cubic graph. ′ iii) There exists a vertex labeling such that, each even with the remaining m vertices of P i . vertex is connected with three odd vertices and each odd vertex is connected with three even vertices, therefore Edges between vertices within a polygon vertices of GP can be colored using only two colors. As every two colorable graph is bipartite. Hence, GP is a Only sides of polygon represent edges in GP . This simple graph is bipartite graph with equal number of vertices in each part. Din and Ahmad 199 1 1 1 1 9 1 6 7 1 2 4 3 5 8 1 1 1 1 2 1 Figure 1. Polygon graph Gp (2 , 2). Figure 2. Polygon graph Gp (3 , 1). Theorem 2 χ (GP ( m, t )) = 2 , ( GP ( m, p ) is bipartite) Let GP ( m, p ) be a polygon graph, then ∆(GP ( m, t )) = 3 (GP ( m, p ) is cubic). χ Gmp( ,) ≤ ∆ Gmp( , ) ( P) ( P ) Theorem 3 Proof G m, p is a Hamiltonian graph that is, it contains a P ( ) Hamiltonian cycle!. Since GP ( m, p ) is a bipartite graph, therefore there is no odd cycle in it. Also, since by definition GP ( m, p ) is Proof not complete, so according to Brooks theorem (1914). Let m = 2, we use mathematical induction on p, to prove χ Gmp( ,) ≤ ∆ Gmp( , ) ( P) ( P ) the result. For p= 1, GP (2,1) contains the Hamiltonian 200 J. Eng. Technol. Res. 9 10 6 7 1 2 4 3 5 8 12 11 Figure 3. Polygon graph Gp(2,1). path. 1 – 2 – 3 – 4 – 11 – 12 – 9 – 10 – 7 – 8 – 5 – 6 as arbitrary m , G( m, p ) has Hamiltonian cycle. shown in Figure 3. P 2, Let GP ( p) contain Hamiltonian cycle for p≤ k that is; Theorem 4 (0) ( 0) ( 0) ( 0 ) (1) ( 1) ( 1) ( 1 ) v1, v 2 , v 3 , v 4 , u3, u 2 , u 1 , u 4 ……… Let GP ( m, p ) be a simple graph, for m ≥ 3 , girth of (k) ( k) ( k) ( k ) (k) ( k) ( k) ( k ) u3, u 2 , u 1 , u 4 , w1, w 2 , w 3 , w 4 ,………….
Load more

Recommended publications
  • Maximizing the Order of a Regular Graph of Given Valency and Second Eigenvalue∗
    SIAM J. DISCRETE MATH. c 2016 Society for Industrial and Applied Mathematics Vol. 30, No. 3, pp. 1509–1525 MAXIMIZING THE ORDER OF A REGULAR GRAPH OF GIVEN VALENCY AND SECOND EIGENVALUE∗ SEBASTIAN M. CIOABA˘ †,JACKH.KOOLEN‡, HIROSHI NOZAKI§, AND JASON R. VERMETTE¶ Abstract. From Alon√ and Boppana, and Serre, we know that for any given integer k ≥ 3 and real number λ<2 k − 1, there are only finitely many k-regular graphs whose second largest eigenvalue is at most λ. In this paper, we investigate the largest number of vertices of such graphs. Key words. second eigenvalue, regular graph, expander AMS subject classifications. 05C50, 05E99, 68R10, 90C05, 90C35 DOI. 10.1137/15M1030935 1. Introduction. For a k-regular graph G on n vertices, we denote by λ1(G)= k>λ2(G) ≥ ··· ≥ λn(G)=λmin(G) the eigenvalues of the adjacency matrix of G. For a general reference on the eigenvalues of graphs, see [8, 17]. The second eigenvalue of a regular graph is a parameter of interest in the study of graph connectivity and expanders (see [1, 8, 23], for example). In this paper, we investigate the maximum order v(k, λ) of a connected k-regular graph whose second largest eigenvalue is at most some given parameter λ. As a consequence of work of Alon and Boppana and of Serre√ [1, 11, 15, 23, 24, 27, 30, 34, 35, 40], we know that v(k, λ) is finite for λ<2 k − 1. The recent result of Marcus, Spielman, and Srivastava [28] showing the existence of infinite families of√ Ramanujan graphs of any degree at least 3 implies that v(k, λ) is infinite for λ ≥ 2 k − 1.
    [Show full text]
  • Self-Dual Configurations and Regular Graphs
    SELF-DUAL CONFIGURATIONS AND REGULAR GRAPHS H. S. M. COXETER 1. Introduction. A configuration (mci ni) is a set of m points and n lines in a plane, with d of the points on each line and c of the lines through each point; thus cm = dn. Those permutations which pre­ serve incidences form a group, "the group of the configuration." If m — n, and consequently c = d, the group may include not only sym­ metries which permute the points among themselves but also reci­ procities which interchange points and lines in accordance with the principle of duality. The configuration is then "self-dual," and its symbol («<*, n<j) is conveniently abbreviated to na. We shall use the same symbol for the analogous concept of a configuration in three dimensions, consisting of n points lying by d's in n planes, d through each point. With any configuration we can associate a diagram called the Menger graph [13, p. 28],x in which the points are represented by dots or "nodes," two of which are joined by an arc or "branch" when­ ever the corresponding two points are on a line of the configuration. Unfortunately, however, it often happens that two different con­ figurations have the same Menger graph. The present address is concerned with another kind of diagram, which represents the con­ figuration uniquely. In this Levi graph [32, p. 5], we represent the points and lines (or planes) of the configuration by dots of two colors, say "red nodes" and "blue nodes," with the rule that two nodes differently colored are joined whenever the corresponding elements of the configuration are incident.
    [Show full text]
  • Graph Diameter, Eigenvalues, and Minimum-Time Consensus∗
    Graph diameter, eigenvalues, and minimum-time consensus∗ J. M. Hendrickxy, R. M. Jungersy, A. Olshevskyz, G. Vankeerbergheny July 24, 2018 Abstract We consider the problem of achieving average consensus in the minimum number of linear iterations on a fixed, undirected graph. We are motivated by the task of deriving lower bounds for consensus protocols and by the so-called “definitive consensus conjecture" which states that for an undirected connected graph G with diameter D there exist D matrices whose nonzero-pattern complies with the edges in G and whose product equals the all-ones matrix. Our first result is a counterexample to the definitive consensus conjecture, which is the first improvement of the diameter lower bound for linear consensus protocols. We then provide some algebraic conditions under which this conjecture holds, which we use to establish that all distance-regular graphs satisfy the definitive consensus conjecture. 1 Introduction Consensus algorithms are a class of iterative update schemes commonly used as building blocks for distributed estimation and control protocols. The progresses made within recent years in analyzing and designing consensus algorithms have led to advances in a number of fields, for example, distributed estimation and inference in sensor networks [6, 20, 21], distributed optimization [15], and distributed machine learning [1]. These are among the many subjects that have benefitted from the use of consensus algorithms. One of the available methods to design an average consensus algorithm is to use constant update weights satisfying some conditions for convergence (as can be found in [3] for instance). However, the associated rate of convergence might be a limiting factor, and this has spanned a literature dedicated to optimizing the speed of consensus algorithms.
    [Show full text]
  • Some Constructions of Small Generalized Polygons
    Journal of Combinatorial Theory, Series A 96, 162179 (2001) doi:10.1006Âjcta.2001.3174, available online at http:ÂÂwww.idealibrary.com on Some Constructions of Small Generalized Polygons Burkard Polster Department of Mathematics and Statistics, P.O. Box 28M, Monash University, Victoria 3800, Australia E-mail: Burkard.PolsterÄsci.monash.edu.au and Hendrik Van Maldeghem1 Pure Mathematics and Computer Algebra, University of Ghent, Galglaan 2, 9000 Gent, Belgium E-mail: hvmÄcage.rug.ac.be View metadata, citation and similarCommunicated papers at core.ac.uk by Francis Buekenhout brought to you by CORE provided by Elsevier - Publisher Connector Received December 4, 2000; published online June 18, 2001 We present several new constructions for small generalized polygons using small projective planes together with a conic or a unital, using other small polygons, and using certain graphs such as the Coxeter graph and the Pappus graph. We also give a new construction of the tilde geometry using the Petersen graph. 2001 Academic Press Key Words: generalized hexagon; generalized quadrangle; Coxeter graph; Pappus configuration; Petersen graph. 1. INTRODUCTION A generalized n-gon 1 of order (s, t) is a rank 2 point-line geometry whose incidence graph has diameter n and girth 2n, each vertex corre- sponding to a point has valency t+1 and each vertex corresponding to a line has valency s+1. These objects were introduced by Tits [5], who con- structed the main examples. If n=6 or n=8, then all known examples arise from Chevalley groups as described by Tits (see, e.g., [6, or 7]). Although these examples are strongly group-related, there exist simple geometric con- structions for large classes of them.
    [Show full text]
  • Dynamic Cage Survey
    Dynamic Cage Survey Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809, U.S.A. [email protected] Robert Jajcay Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809, U.S.A. [email protected] Department of Algebra Comenius University Bratislava, Slovakia [email protected] Submitted: May 22, 2008 Accepted: Sep 15, 2008 Version 1 published: Sep 29, 2008 (48 pages) Version 2 published: May 8, 2011 (54 pages) Version 3 published: July 26, 2013 (55 pages) Mathematics Subject Classifications: 05C35, 05C25 Abstract A(k; g)-cage is a k-regular graph of girth g of minimum order. In this survey, we present the results of over 50 years of searches for cages. We present the important theorems, list all the known cages, compile tables of current record holders, and describe in some detail most of the relevant constructions. the electronic journal of combinatorics (2013), #DS16 1 Contents 1 Origins of the Problem 3 2 Known Cages 6 2.1 Small Examples . 6 2.1.1 (3,5)-Cage: Petersen Graph . 7 2.1.2 (3,6)-Cage: Heawood Graph . 7 2.1.3 (3,7)-Cage: McGee Graph . 7 2.1.4 (3,8)-Cage: Tutte-Coxeter Graph . 8 2.1.5 (3,9)-Cages . 8 2.1.6 (3,10)-Cages . 9 2.1.7 (3,11)-Cage: Balaban Graph . 9 2.1.8 (3,12)-Cage: Benson Graph . 9 2.1.9 (4,5)-Cage: Robertson Graph . 9 2.1.10 (5,5)-Cages .
    [Show full text]
  • Lucky Labeling of Certain Cubic Graphs
    International Journal of Pure and Applied Mathematics Volume 120 No. 8 2018, 167-175 ISSN: 1314-3395 (on-line version) url: http://www.acadpubl.eu/hub/ Special Issue http://www.acadpubl.eu/hub/ Lucky Labeling of Certain Cubic Graphs 1 2, D. Ahima Emilet and Indra Rajasingh ∗ 1,2 School of Advanced Sciences, VIT Chennai, India [email protected] [email protected] Abstract We call a mapping f : V (G) 1, 2, . , k , a lucky → { } labeling or vertex labeling by sum if for every two adjacent vertices u and v of G, f(v) = f(u). (v,u) E(G) 6 (u,v) E(G) The lucky number of a graph∈ G, denoted by η∈(G), is the P P least positive k such that G has a lucky labeling with 1, 2, . , k as the set of labels. Ali Deghan et al. [2] have { } proved that it is NP-complete to decide whether η(G) = 2 for a given 3-regular graph G. In this paper, we show that η(G) = 2 for certain cubic graphs such as cubic dia- mond k chain, petersen graph, generalized heawood graph, − G(2n, k) cubic graph, pappus graph and dyck graph. − AMS Subject Classification: 05C78 Key Words: Lucky labeling, petersen, generalized hea- wood, pappus, dyck 1 Introduction Graph coloring is one of the most studied subjects in graph theory. Recently, Czerwinski et al. [1] have studied the concept of lucky labeling as a vertex coloring problem. Ahadi et al. [3] have proved that computation of lucky number of planar graphs is NP-hard.
    [Show full text]
  • Crossing Number Graphs
    The Mathematica® Journal B E Y O N D S U D O K U Crossing Number Graphs Ed Pegg Jr and Geoffrey Exoo Sudoku is just one of hundreds of great puzzle types. This column pre- sents obscure logic puzzles of various sorts and challenges the readers to solve the puzzles in two ways: by hand and with Mathematica. For the lat- ter, solvers are invited to send their code to [email protected]. The per- son submitting the most elegant solution will receive a prize. ‡ The Brick Factory In 1940, the Hungarian mathematician Paul Turán was sent to a forced labor camp by the Nazis. Though every part of his life was brutally controlled, he still managed to do serious mathematics under the most extreme conditions. While forced to collect wire from former neighborhoods, he would be thinking about mathematics. When he found scraps of paper, he wrote down his theorems and conjectures. Some of these scraps were smuggled to Paul Erdős. One problem he developed is now called the brick factory problem. We worked near Budapest, in a brick factory. There were some kilns where the bricks were made and some open storage yards where the bricks were stored. All the kilns were connected to all the storage yards. The bricks were carried on small wheeled trucks to the storage yards. All we had to do was to put the bricks on the trucks at the kilns, push the trucks to the storage yards, and unload them there. We had a reasonable piece rate for the trucks, and the work itself was not difficult; the trouble was at the crossings.
    [Show full text]
  • On Cubic Symmetric Non-Cayley Graphs with Solvable Automorphism
    On cubic symmetric non-Cayley graphs with solvable automorphism groups Yan-Quan Fenga, Klavdija Kutnarb,c, Dragan Maruˇsiˇcb,c,d, Da-Wei Yanga∗ aDepartment of Mathematics, Beijing Jiaotong University, Beijing 100044, China bUniversity of Primorska, UP FAMNIT, Glagoljaˇska 8, 6000 Koper, Slovenia cUniversity of Primorska, UP IAM, Muzejski trg 2, 6000 Koper, Slovenia dUniversity of Ljubljana, UL PEF, Kardeljeva pl. 16, 1000 Ljubljana, Slovenia Abstract It was proved in [Y.-Q. Feng, C. H. Li and J.-X. Zhou, Symmetric cubic graphs with solvable automorphism groups, European J. Combin. 45 (2015), 1-11] that a cubic symmetric graph with a solvable automorphism group is either a Cayley graph or a 2-regular graph of type 22, that is, a graph with no automorphism of order 2 interchanging two adjacent vertices. In this paper an infinite family of non-Cayley cubic 2-regular graphs of type 22 with a solvable automorphism group is constructed. The smallest graph in this family has order 6174. Keywords: Symmetric graph, non-Cayley graph, regular cover. 2010 Mathematics Subject Classification: 05C25, 20B25. 1 Introduction arXiv:1607.02618v1 [math.CO] 9 Jul 2016 Throughout this paper, all groups are finite and all graphs are finite, undirected and simple. Let G be a permutation group on a set Ω and let α ∈ Ω. We let Gα denote the stabilizer of α in G, that is, the subgroup of G fixing the point α. The group G is semiregular on Ω if Gα = 1 for any α ∈ Ω, and regular if G is transitive and semiregular. Z Z∗ We let n, n and Sn denote the cyclic group of order n, the multiplicative group of units of Zn and the symmetric group of degree n, respectively.
    [Show full text]
  • Edge-Transitive Graphs on 20 Vertices Or Less
    Edge-Transitive Graphs Heather A. Newman Hector Miranda Department of Mathematics School of Mathematical Sciences Princeton University Rochester Institute of Technology Darren A. Narayan School of Mathematical Sciences Rochester Institute of Technology September 15, 2017 Abstract A graph is said to be edge-transitive if its automorphism group acts transitively on its edges. It is known that edge-transitive graphs are either vertex-transitive or bipartite. In this paper we present a complete classification of all connected edge-transitive graphs on less than or equal to 20 vertices. We then present a construction for an infinite family of edge-transitive bipartite graphs, and use this construction to show that there exists a non-trivial bipartite subgraph of Km,n that is connected and edge-transitive whenever gcdpm, nq ą 2. Additionally, we investigate necessary and sufficient conditions for edge transitivity of connected pr, 2q biregular subgraphs of Km,n, as well as for uniqueness, and use these results to address the case of gcdpm, nq “ 2. We then present infinite families of edge-transitive graphs among vertex-transitive graphs, including several classes of circulant graphs. In particular, we present necessary conditions and sufficient conditions for edge-transitivity of certain circulant graphs. 1 Introduction A graph is vertex-transitive (edge-transitive) if its automorphism group acts transitively on its vertex (edge) set. We note the alternative definition given by Andersen et al. [1]. Theorem 1.1 (Andersen, Ding, Sabidussi, and Vestergaard) A finite simple graph G is edge-transitive if and only if G ´ e1 – G ´ e2 for all pairs of edges e1 and e2.
    [Show full text]
  • PBIB Designs Constructed Through Edges and Paths of Graphs
    International Journal of Mathematics Trends and Technology (IJMTT) – Volume 66 Issue 5 – May 2020 PBIB Designs Constructed Through Edges and Paths of Graphs Gurinder Pal Singh#1, Davinder Kumar Garg#2 #1Associate Professor, University School of Business, Chandigarh University, Mohali (PB) India #2Professor &Head (corresponding author),Department of statistics, Punjabi University, Patiala –147002, India Abstract -- In this paper, partially balanced incomplete block (PBIB) designs with two and higher associate classes have been constructed by using edges of incidence vertices and closed paths in various graphs. Forthese formulations, we have considered pentagon graph, pappus graph and Peterson graph for construction offive, three and two associateclassPBIB designsalong with their association schemes respectively. Various kinds of efficiencies of these constructed PBIB designs are also computed for the purpose of comparisons. Keywords -- Partially balanced incomplete block design, path, vertices, edge, pentagon graph, regular graph Mathematical Subject Code -- Primary 62K10, Secondary 62K99 Ι. Introduction In available literature, Alwardi &Soner[1]constructed partially balanced incomplete block (PBIB) designs by arisingarelation between minimum dominating sets ofstrongly regulargraphs. Kumaret.al.[4]established a link between PBIB designs and graphs with minimum perfect dominating sets of Clebeschgraph.Later on,Shailaja .et.al. [5] revised the construction of partially balanced incomplete block design arising from minimum total dominating sets in a graph.In this direction,Sharma and Garg [3] constructed some higher associate class PBIB designs by using some sets of initial blocks. Here, we have studied PBIB designs with two and three associate classes through chosen lines and Triangles of Graphs constructed by Garg and Syed [2]and modified these designs based on incidence relation of edges and closed paths in given graphs.
    [Show full text]
  • Download Download
    Classification of Cubic Symmetric Tricirculants Istv´anKov´acsa;1 Klavdija Kutnara;1;2 Dragan Maruˇsiˇca;b;1;∗ Steve Wilsonc aUniversity of Primorska, FAMNIT, Glagoljaˇska8, 6000 Koper, Slovenia bUniversity of Ljubljana, PEF, Kardeljeva pl. 16, 1000 Ljubljana, Slovenia cNorthern Arizona University, Flagstaff, AZ 86011, USA Submitted: Dec 16, 2011; Accepted: May 21, 2012; Published: May 31, 2012 Abstract A tricirculant is a graph admitting a non-identity automorphism having three cycles of equal length in its cycle decomposition. A graph is said to be symmetric if its automorphism group acts transitively on the set of its arcs. In this paper it is shown that the complete bipartite graph K3;3, the Pappus graph, Tutte's 8-cage and the unique cubic symmetric graph of order 54 are the only connected cubic symmetric tricirculants. Keywords: symmetric graph, semiregular, tricirculant. 1 Introductory remarks A graph is said to be arc-transitive, or symmetric, the term that will be used in this paper, if its automorphism group acts transitively on the set of arcs of the graph. A Cayley graph on a cyclic group, that is, a graph admitting an automorphism with a single cycle in its cycle decomposition, is said to be a circulant. A graph admitting a non- identity automorphism with two (respectively, three) cycles of equal length in its cycle decomposition is said to be a bicirculant (respectively, tricirculant). It is known that the complete graph K4, the complete bipartite graph K3;3 and the cube Q3 are the only connected cubic symmetric graphs with girth (the length of shortest cycle) less than 5 (see [8, Proposition 3.4.]).
    [Show full text]
  • A Counterexample to the Pseudo 2-Factor Isomorphic Graph Conjecture
    A counterexample to the pseudo 2-factor isomorphic graph conjecture Jan Goedgebeura,1 aDepartment of Applied Mathematics, Computer Science & Statistics Ghent University Krijgslaan 281-S9, 9000 Ghent, Belgium Abstract A graph G is pseudo 2-factor isomorphic if the parity of the number of cycles in a 2-factor is the same for all 2-factors of G. Abreu et al. [1] conjectured that K3;3, the Heawood graph and the Pappus graph are the only essentially 4-edge-connected pseudo 2-factor isomorphic cubic bipartite graphs (Abreu et al., Journal of Combinatorial Theory, Series B, 2008, Conjecture 3.6). Using a computer search we show that this conjecture is false by con- structing a counterexample with 30 vertices. We also show that this is the only counterexample up to at least 40 vertices. A graph G is 2-factor hamiltonian if all 2-factors of G are hamiltonian cycles. Funk et al. [7] conjectured that every 2-factor hamiltonian cubic bi- partite graph can be obtained from K3;3 and the Heawood graph by applying repeated star products (Funk et al., Journal of Combinatorial Theory, Series B, 2003, Conjecture 3.2). We verify that this conjecture holds up to at least 40 vertices. Keywords: cubic, bipartite, 2-factor, counterexample, computation arXiv:1412.3350v2 [math.CO] 27 May 2015 1. Introduction and preliminaries All graphs considered in this paper are simple and undirected. Let G be such a graph. We denote the vertex set of G by V (G) and the edge set by E(G). Email address: [email protected] (Jan Goedgebeur) 1Supported by a Postdoctoral Fellowship of the Research Foundation Flanders (FWO).
    [Show full text]