Hamiltonian cycles in circulant digraphs with jumps 2, 3, c [We need a real title???]
|
|
- Lily Glenn
- 5 years ago
- Views:
Transcription
1 Hamiltonian cycles in circulant digraphs with jumps,, c [We need a real title???] Abstract [We need an abstract???] 1 Introduction It is not known which circulant digraphs have hamiltonian cycles; this is a fundamental open question. However, the circulants of outdegree are the smallest ones that need to be considered, because a classic result of R. A. Rankin (see Theorem.7) provides a nice characterization for circulants of outdegree (and any strongly connected digraph of outdegree 1 is obviously hamiltonian). S. C. Locke and D. Witte [1] found two infinite families of non-hamiltonian circulant digraphs of outdegree. One of the families includes the following examples, which require introducing a piece of notation. Notation 1.1 For S Z, we use Circ(n; S) to denote the circulant digraph whose vertex set is Z n, and with an arc from v to v + s for each v Z n and s S. Theorem 1. (Locke-Witte, cf. [1, Thm. 1.4]) (1) Circ(6m;,, m + ) is not hamiltonian if and only if m is even. () Circ(6m;,, m + ) is not hamiltonian if and only if m is odd. In this paper, we completely characterize which loopless digraphs of the form Circ(n;,, c) that have outdegree are hamiltonian: Theorem 1. Assume c 0,, (mod n). The digraph Circ(n;,, c) is not hamiltonian iff (1) n is a multiple of 6, so we may write n = 6m, () either c = m + or c = m +, and () c is even. Preprint submitted to Elsevier Science 8 September 006
2 The direction ( ) of Theorem 1. is a restatement of part of the Locke-Witte Theorem (1.), so we need only prove the opposite direction. Acknowledgements The work of D.W.M. and J.M. was partially supported by research grants from Canada s National Science and Engineering Research Council. Preliminaries Our goal is to establish Theorem 1.( ). We will prove the contrapositive. Assumption.1 Throughout the paper: (1) We assume the situation of Theorem 1., so n, c Z +, and c 0,, (mod n). () We may assume c 1, 1 (mod n). (Otherwise, Circ(n;,, c) has a hamiltonian cycle consisting entirely of arcs of length c.) () Since the vertices of Circ(n;,, c) are elements of Z n, we may assume < c < n. (4) We assume n is divisible by 6. (Otherwise, Circ(n;,, c) has either a hamiltonian cycle consisting entirely of arcs of length or a hamiltonian cycle consisting entirely of arcs of length.) (5) We write n = 6m. Notation. Let H be a subdigraph of Circ(n;,, c), and let v be a vertex of H. (1) We let d + H(v) and d H(v) denote the number of arcs of H directed out of, and into, vertex v, respectively. () If d + H(v) = 1, and the arc from v to v + a is in H, then we say that v travels by a in H. Notation. Let u, w be integers representing vertices of Circ(n;,, c). If u 1 w < u + n, let I(u, w) = {u, u + 1,..., w} be the interval of vertices from u to w. (Note that I(u, u) = {u} and I(u, u 1) =.) Notation.4 For v 1, v Z n and s {,, c }, we use v s 1 v to denote the arc from v 1 to v 1 + s = v, and v s 1 v to denote a path of the form v 1, v 1 + s, v 1 + s,..., v 1 + ks = v.
3 We now treat two simple cases that do not conform to the more general structures that we deal with in later sections. Lemma.5 The digraph Circ(6m;,, 6m ) has a hamiltonian cycle. PROOF. For 0 i m 1, define the path Q 6i as follows: 6i 6i + 4 6i + 7 6m 6i + 6i + 6. Notice that this path starts at vertex 6i, ends at vertex 6i + 6, and uses one vertex from every other equivalence class modulo 6. It is therefore straightforward to verify that the concatenation of the paths Q 0, Q 6,..., Q 6m 6 is a hamiltonian cycle. Lemma.6 The digraph Circ(6m;,, 6m ) has a hamiltonian cycle. PROOF. The following is a hamiltonian cycle in this digraph: 0 6m 6 6m 4 6m 4 6m 5 1 6m 6m 0. The path from 0 to 6m 6, together with 6m (which immediately follows 6m 5) uses all of the vertices that are 0 (mod ); the path from 6m 4 to, together with 6m 1 (which immediately follows 6m ) uses all of the vertices that are (mod ), and the path from 4 to 6m 5, together with 1 and 6m, uses all of the vertices that are 1 (mod ). Although we do not use it in this paper, we recall the following elegant result that was mentioned in the introduction: Theorem.7 (R. A. Rankin, 1948, [, Thm. 4]) The circulant digraph Circ(n; a, b) of outdegree has a hamiltonian cycle iff there exist s, t Z +, such that s + t = gcd(n, a b), and gcd(n, sa + tb) = 1. Most cases of the proof In this section, we prove the following two results that cover most of the cases of Theorem 1.:
4 Proposition.1 If c > m, then Circ(6m;,, c) has a hamiltonian cycle. Proposition. If c m and c (mod 6), then Circ(6m;,, c) has a hamiltonian cycle. Notation. For convenience, let c = 6m c, so 1 c < 6m, and Circ(6m;,, c) = Circ(6m;,, c ). In fact, since the cases c = 6m, 6m and c 1 (mod n) have already been addressed, we may assume that c >. Remark.4 The use of c is very convenient when c is large (so one should think of c as being small less than m), but it can also be helpful in some other cases. Definition.5 A subdigraph P of Circ(n;,, c ) is a pseudopath from u to w if P is the disjoint union of a path from u to w and some number (perhaps 0) of cycles. In other words, if v is a vertex of P, then d + 0 if v = w; P (v) = 1 otherwise; and d 0 if v = u; P (v) = 1 otherwise. Definition.6 Let u, w be integers representing vertices of Circ(n;,, c). If u + c + w u + c, let P (u, w) be the pseudopath from u + 1 to w 1 whose vertex set is I(u, w), such that v travels by, if v I(u, w c ) I(u + c + 1, w ),, if v I(w c, u + c 1), c, if v {u + c, w}. Notice that the range of values for w makes sense because c >. Lemma.7 P (u, w) is a path if any of the following hold: w u c (mod ); or w u c + 1 (mod ) and w u c (mod ); or w u c + (mod ) and w u c (mod ). PROOF. To simplify the notation slightly, let us assume (without loss of generality) that u = 0. Case 1 Assume w c c (mod ). 4
5 Choose ε {1, }, such that w c ε 1 is even. The path in P (u, w) is 1 w c ε c c 0 c ε + w c w c c + ε w c + ε w 1. This contains both of the c-arcs, so there are no cycles in P (u, w). Case Assume there exists ε {1, }, such that w c ε c (mod ) and w c ε 1 is even. The path in P (u, w) is 1 w c ε c c 0 w c + ε w c w c c + ε c ε + w 1. This contains both of the c-arcs, so there are no cycles in P (u, w). Lemma.8 Let k Z be such that k 6m, c + k c +, and k + c (mod 6). Let u, w be integers representing vertices of Circ(n;,, c). Then for all u, w with u w and w u + 1 = k, the subgraph induced by I(u, w) has a hamiltonian path that starts at u + 1 and ends in {w 1, w}. PROOF. We consider three cases. Case 1 Assume k c + 1 (mod ). We have w u = k 1 c (mod ). Since k 1 {c + 1, c + }, we must have w u = k 1 c ). By Lemma.7, P (u, w) is a hamiltonian path from u + 1 to w 1. Case Assume k c + (mod ). Suppose, first, that k c + (so k c + 4). Letting w = w 1, then w u = w u 1 = k (c + 4) = c + and w u = (w 1) u = k c (mod ). By Lemma.7, P (u, w ) is a hamiltonian path in I(u, w ) from u + 1 to w 1. Adding the -arc from w 1 to w + 1 = w yields a hamiltonian path in I(u, w) from u + 1 to w. 5
6 Suppose instead that k = c +. Then w u = k 1 c + 1 (mod ) and w u = k 1 = (c + ) 1 c (mod ), so by Lemma.7, P (u, w) is a hamiltonian path from u + 1 to w 1. Case Assume k c (mod ). By assumption, we have k + c c + c 0 (mod ). Since k + c (mod 6), we must have k + c 0 (mod 6), so k c (mod ). Then w u = k 1 c + (mod ) and w u k 1 k c (mod ), so by Lemma.7, P (u, w) is a hamiltonian path from u + 1 to w 1. It is now easy to prove Propositions. and.1. PROOF OF PROPOSITION.. As previously mentioned, we may assume c >. Since < c m, we have m c < 6m, so c + < 6m < c +. Furthermore, since c (mod 6), we have 6m + c c (mod 6). Hence, Lemma.8 implies that the interval I(0, 6m 1) has a hamiltonian path from 1 to 6m or to 6m 1. Inserting the -edge from 6m to 1 or the -edge from 6m 1 to 1, yields a hamiltonian cycle. Since I(0, 6m 1) is the entire digraph, this completes the proof. PROOF OF PROPOSITION.1. We have already dealt with the cases c = 6m (in Lemma.5), c = 6m (in Lemma.6), and the cases 6m {c + 4, c + 6} are dealt with by Theorem 1.. Furthermore, we noted earlier that the case c = 6m 1 is clearly hamiltonian, so we may assume in what follows that c < 6m and 6m / {c + 4, c + 6}. Let K be the set of integers k that satisfy the conditions of Lemma.8. Note that c < m. We claim that n can be written as a sum n = k 1 + k + + k s, with each k i K. To see this, begin by noting that c +4 K (and 5 of any 6 consecutive integers between c + and c +, inclusive, belong to K). Thus, we may assume n < (c + 4) = c + 8, for otherwise it is easy to write n as a sum of integers in K. Since n is even, and n / {c + 4, c + 6}, we conclude that n = c + K. So n is obviously a sum of elements of K. This completes the proof of the claim. 6
7 The preceding paragraph implies that we may cover the vertices of Circ(n;,, c) by a disjoint collection of intervals I(u i, w i ), such that the number of vertices in I(u i, w i ) is k i. By listing the intervals in their natural order, we may assume u i+1 = w i + 1. By Proposition.8, the vertices of I(u i, w i ) can be covered by a path P i that starts at u i + 1 and ends in {w i 1, w i }. Since (u i+1 + 1) w i = (w i + ) w i = and (u i+1 + 1) (w i 1) = (w i + ) (w i 1) =, there is an arc from the terminal vertex of P i to the initial vertex of P i+1. Thus, by adding a number of -arcs and/or -arcs, we may join all of the paths P 1, P,..., P s into a single cycle that covers all of the vertices of Circ(n;,, c). Thus, we have constructed a hamiltonian cycle. 4 The remaining cases In this section, we prove the following result. Combining it with Propostions.1 and. (and Theorem 1.) completes the proof of Theorem 1.. Proposition 4.1 If c m and c (mod 6), then Circ(6m;,, c) has a hamiltonian cycle. Definition 4. Let t be any natural number, such that 0 6t c 9. (1) Let l 1 = c 5, l = l (t) = c 1 + 6t, l = c, l 4 = c +. () Define subdigraphs Q 1, Q, Q and Q 4 of Circ(6m;,, c) as follows: The vertex set of Q i is I(0, l i + ) {l i + 5}. c, if v = 0; In Q 1, vertex v travels by, if v = 1 or ;, if v =, 4,..., c 6. c, if v = 1 or 6t + 4; In Q, vertex v travels by, if v = or 6t + 5 v c ;, if v = 0 or v 6t + or c 1 v c + 6t. c, if v = 1 or ; In Q, vertex v travels by, if v = 1, or 4 v c. 7
8 c, if v = or 8; In Q 4, vertex v travels by, if 9 v c 1;, if v = 0, 1 or v 7 or c v c +. Notation 4. For ease of later referral, we also let l i (t) denote l i for i {1,, 4}. Lemma 4.4 (1) Each Q i is the union of four disjoint paths from {0, 1,, 5} to {l i, l i + 1, l i +, l i + 5}. () Indeed, if we let u 1 = 0, u = 1, u =, u 4 = 5, and w i,j = l i + u j, and define permutations σ 1 = (14), σ = (4), σ = (14), and σ 4 = identity, then Q i contains a path from u j to w i,σi (j) for j = 1,,, 4. PROOF. The paths in Q 1 are: 0 c c (= l 1 + 5), 1 c (= l 1 + ), 4 c 5 (= l 1 ), 5 c 4 (= l 1 + 1). The paths in Q are: 0 6t + 6 c 1 c 1 + 6t (= l ), 1 c c + 1 c t (= l + ), 4 6t + 4 c c t (= l + 5), 5 6t + 5 c c + 6t (= l + 1). The paths in Q are: 0 c c (= l + ), 1 c c + (= l + 5), c 1 (= l + 1), 5 c (= l ). 8
9 The paths in Q 4 are: 0 9 c c + (= l4 ), 1 10 c + 1 c + 4 (= l 4 + 1), c c + c + 5 (= l 4 + ), 5 8 c c + 8 (= l 4 + 5). The above lemma yields the following conclusion: Lemma 4.5 If, for some natural number k, there exist sequences I = (i 1, i,..., i k ) with each i j {1,,, 4}, and T = (t 1, t,..., t k ) with 0 6t j c 9, for each j, such that (i) k j=1 l ij (t j ) = 6m, and (ii) the permutation product σ i1 σ i σ ik is a cycle of length 4, then Circ(6m;,, c) has a hamiltonian cycle constructed by concatenating copies of Q 1, Q, Q, and Q 4. PROOF OF PROPOSITION 4.1. Since σ 4 is the identity and l 4 = c +, we see that if Circ(6m;,, c) has a hamiltonian cycle constructed by concatenating copies of Q 1, Q, Q, and Q 4, then Circ(6m + c + ;,, c) also has such a hamiltonian cycle. Thus, by subtracting some multiple of c + from 6m, we may assume c 6 6m c 9. (For this modified c, it is possible that c > m.) Recall that 0 6t c 9, so c 6 + 6t can be any multiple of 6 between c 6 and c 15. Since σ 1 σ = (14) and l 1 + l (t) = c 6 + 6t, it follows that Circ(6m;,, c) has a hamiltonian cycle constructed by concatenating one copy of Q 1 and one copy of Q whenever c 6 6m c 15. The only case that remains is when 6m = c 9. Now σ 1 σ = (14) and l 1 + l = c 9, so Circ(c 9;,, c) has a hamiltonian cycle constructed by concatenating one copy of Q 1 and two copies of Q. 9
10 References [1] Stephen C. Locke and Dave Witte: On non-hamiltonian circulant digraphs of outdegree three, J. Graph Theory 0 (1999), no. 4, MR [] R. A. Rankin: A campanological problem in group theory, Proc. Cambridge Philos. Soc. 44 (1948) MR
On non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More informationHamiltonicity of digraphs for universal cycles of permutations
Hamiltonicity of digraphs for universal cycles of permutations Garth Isaak Abstract The digraphs P (n, k) have vertices corresponding to length k permutations of an n set and arcs corresponding to (k +
More informationLocke and Witte in [9] presented a class of circulant nonhamiltonian oriented graphs of type Cay(Z 2k ; a; b; b + k) Theorem 1 (Locke,Witte [9, Thm 41
Arc Reversal in Nonhamiltonian Circulant Oriented Graphs Jozef Jirasek Department of Computer Science P J Safarik University Kosice, Slovakia jirasek@kosiceupjssk 8 March 2001 Abstract Locke and Witte
More informationHAMILTONIAN PATHS IN PROJECTIVE CHECKERBOARDS Margaret H. Forbush, Elizabeth Hanson, Susan Kim, Andrew Mauer-Oats, Rhian Merris, Jennifer Oats-Sargent
HAMILTONIAN PATHS IN PROJECTIVE CHECKERBOARDS Margaret H. Forbush, Elizabeth Hanson, Susan Kim, Andrew Mauer-Oats, Rhian Merris, Jennifer Oats-Sargent, Seth Oldham, Kate Sharkey, and Dave Witte Abstract.
More informationT -choosability in graphs
T -choosability in graphs Noga Alon 1 Department of Mathematics, Raymond and Beverly Sackler Faculty of Exact Sciences, Tel Aviv University, Tel Aviv, Israel. and Ayal Zaks 2 Department of Statistics and
More informationBichain graphs: geometric model and universal graphs
Bichain graphs: geometric model and universal graphs Robert Brignall a,1, Vadim V. Lozin b,, Juraj Stacho b, a Department of Mathematics and Statistics, The Open University, Milton Keynes MK7 6AA, United
More informationDIRECTED CYCLIC HAMILTONIAN CYCLE SYSTEMS OF THE COMPLETE SYMMETRIC DIGRAPH
DIRECTED CYCLIC HAMILTONIAN CYCLE SYSTEMS OF THE COMPLETE SYMMETRIC DIGRAPH HEATHER JORDON AND JOY MORRIS Abstract. In this paper, we prove that directed cyclic hamiltonian cycle systems of the complete
More informationAutomorphism groups of wreath product digraphs
Automorphism groups of wreath product digraphs Edward Dobson Department of Mathematics and Statistics Mississippi State University PO Drawer MA Mississippi State, MS 39762 USA dobson@math.msstate.edu Joy
More informationOut-colourings of Digraphs
Out-colourings of Digraphs N. Alon J. Bang-Jensen S. Bessy July 13, 2017 Abstract We study vertex colourings of digraphs so that no out-neighbourhood is monochromatic and call such a colouring an out-colouring.
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationNowhere zero flow. Definition: A flow on a graph G = (V, E) is a pair (D, f) such that. 1. D is an orientation of G. 2. f is a function on E.
Nowhere zero flow Definition: A flow on a graph G = (V, E) is a pair (D, f) such that 1. D is an orientation of G. 2. f is a function on E. 3. u N + D (v) f(uv) = w ND f(vw) for every (v) v V. Example:
More informationDefinition: A binary relation R from a set A to a set B is a subset R A B. Example:
Chapter 9 1 Binary Relations Definition: A binary relation R from a set A to a set B is a subset R A B. Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B.
More informationarxiv: v2 [cs.dm] 29 Mar 2013
arxiv:1302.6346v2 [cs.dm] 29 Mar 2013 Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Adrien Richard Laboratoire I3S, CNRS & Université de Nice-Sophia Antipolis, France.
More informationPaths with two blocks in n-chromatic digraphs
Paths with two blocks in n-chromatic digraphs L. Addario-Berry, F. Havet and S. Thomassé September 20, 2005 Abstract We show that every oriented path of order n 4 with two blocks is contained in every
More informationNowhere-zero flows in signed series-parallel graphs arxiv: v1 [math.co] 6 Nov 2014
Nowhere-zero flows in signed series-parallel graphs arxiv:1411.1788v1 [math.co] 6 Nov 2014 Tomáš Kaiser 1,2 Edita Rollová 1,3 Abstract Bouchet conjectured in 1983 that each signed graph that admits a nowhere-zero
More informationChapter 9: Relations Relations
Chapter 9: Relations 9.1 - Relations Definition 1 (Relation). Let A and B be sets. A binary relation from A to B is a subset R A B, i.e., R is a set of ordered pairs where the first element from each pair
More informationCIRCULAR CHROMATIC NUMBER AND GRAPH MINORS. Xuding Zhu 1. INTRODUCTION
TAIWANESE JOURNAL OF MATHEMATICS Vol. 4, No. 4, pp. 643-660, December 2000 CIRCULAR CHROMATIC NUMBER AND GRAPH MINORS Xuding Zhu Abstract. This paper proves that for any integer n 4 and any rational number
More informationAUTOMORPHISM GROUPS OF CIRCULANT DIGRAPHS WITH APPLICATIONS TO SEMIGROUP THEORY
AUTOMORPHISM GROUPS OF CIRCULANT DIGRAPHS WITH APPLICATIONS TO SEMIGROUP THEORY Abstract. We characterize the automorphism groups of circulant digraphs whose connection sets are relatively small, and of
More informationDirected cyclic Hamiltonian cycle systems of the complete symmetric digraph
Discrete Mathematics 309 (2009) 784 796 www.elsevier.com/locate/disc Directed cyclic Hamiltonian cycle systems of the complete symmetric digraph Heather Jordon a,, Joy Morris b a Department of Mathematics,
More informationPartitioning transitive tournaments into isomorphic digraphs
arxiv:86.79v [math.co] Jun 8 Partitioning transitive tournaments into isomorphic digraphs Attila Sali a,b, Gábor Simonyi a,b, Gábor Tardos a, a Alfréd Rényi Institute of Mathematics, Hungarian Academy
More informationarxiv: v3 [math.co] 4 Apr 2011
Also available on http://amc.imfm.si ARS MATHEMATICA CONTEMPORANEA x xxxx) 1 x Hamiltonian cycles in Cayley graphs whose order has few prime factors arxiv:1009.5795v3 [math.co] 4 Apr 2011 K. Kutnar University
More informationPart V. Chapter 19. Congruence of integers
Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277
More informationInduced Cycles of Fixed Length
Induced Cycles of Fixed Length Terry McKee Wright State University Dayton, Ohio USA terry.mckee@wright.edu Cycles in Graphs Vanderbilt University 31 May 2012 Overview 1. Investigating the fine structure
More informationOdd-order Cayley graphs with commutator subgroup of order pq are hamiltonian
Also available at http://amc-journal.eu ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 8 (2015) 1 28 Odd-order Cayley graphs with commutator subgroup of order
More informationColoring Vertices and Edges of a Path by Nonempty Subsets of a Set
Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp April 28, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct nonempty
More informationArc-chromatic number of digraphs in which every vertex has bounded outdegree or bounded indegree
Arc-chromatic number of digraphs in which every vertex has bounded outdegree or bounded indegree S. Bessy and F. Havet, Projet Mascotte, CNRS/INRIA/UNSA, INRIA Sophia-Antipolis, 2004 route des Lucioles
More informationEven Cycles in Hypergraphs.
Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationA DETERMINANT PROPERTY OF CATALAN NUMBERS. 1. Introduction
A DETERMINANT PROPERTY OF CATALAN NUMBERS M E MAYS AND JERZY WOJCIECHOWSKI Abstract Catalan numbers arise in a family of persymmetric arrays with determinant 1 The demonstration involves a counting result
More informationA note on the Isomorphism Problem for Monomial Digraphs
A note on the Isomorphism Problem for Monomial Digraphs Aleksandr Kodess Department of Mathematics University of Rhode Island kodess@uri.edu Felix Lazebnik Department of Mathematical Sciences University
More informationDomination in Cayley Digraphs of Right and Left Groups
Communications in Mathematics and Applications Vol. 8, No. 3, pp. 271 287, 2017 ISSN 0975-8607 (online); 0976-5905 (print) Published by RGN Publications http://www.rgnpublications.com Domination in Cayley
More informationHW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).
Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately
More informationSUPERMAGIC GENERALIZED DOUBLE GRAPHS 1
Discussiones Mathematicae Graph Theory 36 (2016) 211 225 doi:10.7151/dmgt.1849 SUPERMAGIC GENERALIZED DOUBLE GRAPHS 1 Jaroslav Ivančo Institute of Mathematics, P.J. Šafárik University Jesenná 5, 040 01
More informationColourings of cubic graphs inducing isomorphic monochromatic subgraphs
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs arxiv:1705.06928v2 [math.co] 10 Sep 2018 Marién Abreu 1, Jan Goedgebeur 2, Domenico Labbate 1, Giuseppe Mazzuoccolo 3 1 Dipartimento
More informationForcing unbalanced complete bipartite minors
Forcing unbalanced complete bipartite minors Daniela Kühn Deryk Osthus Abstract Myers conjectured that for every integer s there exists a positive constant C such that for all integers t every graph of
More informationSelf-complementary circulant graphs
Self-complementary circulant graphs Brian Alspach Joy Morris Department of Mathematics and Statistics Burnaby, British Columbia Canada V5A 1S6 V. Vilfred Department of Mathematics St. Jude s College Thoothoor
More informationZero forcing propagation time on oriented graphs
Zero forcing propagation time on oriented graphs Adam Berliner a, Chassidy Bozeman b, Steve Butler b,, Minerva Catral c, Leslie Hogben b,d, Brenda Kroschel e, Jephian Chin-Hung Lin b, Nathan Warnberg f,
More informationGeneralized Pigeonhole Properties of Graphs and Oriented Graphs
Europ. J. Combinatorics (2002) 23, 257 274 doi:10.1006/eujc.2002.0574 Available online at http://www.idealibrary.com on Generalized Pigeonhole Properties of Graphs and Oriented Graphs ANTHONY BONATO, PETER
More informationAntoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS
Opuscula Mathematica Vol. 6 No. 1 006 Antoni Marczyk A NOTE ON ARBITRARILY VERTEX DECOMPOSABLE GRAPHS Abstract. A graph G of order n is said to be arbitrarily vertex decomposable if for each sequence (n
More informationGraphs with large maximum degree containing no odd cycles of a given length
Graphs with large maximum degree containing no odd cycles of a given length Paul Balister Béla Bollobás Oliver Riordan Richard H. Schelp October 7, 2002 Abstract Let us write f(n, ; C 2k+1 ) for the maximal
More informationPacking and decomposition of graphs with trees
Packing and decomposition of graphs with trees Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices.
More informationGraphs and digraphs with all 2 factors isomorphic
Graphs and digraphs with all 2 factors isomorphic M. Abreu, Dipartimento di Matematica, Università della Basilicata, I-85100 Potenza, Italy. e-mail: abreu@math.fau.edu R.E.L. Aldred, University of Otago,
More informationChromatic numbers of 6-regular graphs on the Klein bottle
AUSTRALASIAN JOURNAL OF COMBINATORICS Volume 45 (2009), Pages 73 85 Chromatic numbers of 6-regular graphs on the Klein bottle Atsuhiro Nakamoto Norihito Sasanuma Department of Mathematics Faculty of Education
More informationProbabilistic Proofs of Existence of Rare Events. Noga Alon
Probabilistic Proofs of Existence of Rare Events Noga Alon Department of Mathematics Sackler Faculty of Exact Sciences Tel Aviv University Ramat-Aviv, Tel Aviv 69978 ISRAEL 1. The Local Lemma In a typical
More informationHamiltonian Paths in Cartesian Powers of Directed Cycles
Graphs and Combinatorics (2003) 19:459466 Digital Object Identifier (DOI) 10.1007/~00373-002-05 19-3 Graphs and Combinatorics @ Springer-Verlag 2003 Hamiltonian Paths in Cartesian Powers of Directed Cycles
More informationThe super line graph L 2
Discrete Mathematics 206 (1999) 51 61 www.elsevier.com/locate/disc The super line graph L 2 Jay S. Bagga a;, Lowell W. Beineke b, Badri N. Varma c a Department of Computer Science, College of Science and
More information2-GENERATED CAYLEY DIGRAPHS ON NILPOTENT GROUPS HAVE HAMILTONIAN PATHS
Volume 7, Number 1, Pages 41 47 ISSN 1715-0868 2-GENERATED CAYLEY DIGRAPHS ON NILPOTENT GROUPS HAVE HAMILTONIAN PATHS DAVE WITTE MORRIS Abstract. Suppose G is a nilpotent, finite group. We show that if
More informationIsomorphic Cayley Graphs on Nonisomorphic Groups
Isomorphic Cayley raphs on Nonisomorphic roups Joy Morris Department of Mathematics and Statistics, Simon Fraser University, Burnaby, BC. V5A 1S6. CANADA. morris@cs.sfu.ca January 12, 2004 Abstract: The
More informationLaplacian Integral Graphs with Maximum Degree 3
Laplacian Integral Graphs with Maximum Degree Steve Kirkland Department of Mathematics and Statistics University of Regina Regina, Saskatchewan, Canada S4S 0A kirkland@math.uregina.ca Submitted: Nov 5,
More informationPartial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs
Partial characterizations of clique-perfect graphs II: diamond-free and Helly circular-arc graphs Flavia Bonomo a,1, Maria Chudnovsky b,2 and Guillermo Durán c,3 a Departamento de Matemática, Facultad
More informationCentral Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J
Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J Frank Curtis, John Drew, Chi-Kwong Li, and Daniel Pragel September 25, 2003 Abstract We study central groupoids, central
More informationColourings of cubic graphs inducing isomorphic monochromatic subgraphs
Colourings of cubic graphs inducing isomorphic monochromatic subgraphs arxiv:1705.06928v1 [math.co] 19 May 2017 Marién Abreu 1, Jan Goedgebeur 2, Domenico Labbate 1, Giuseppe Mazzuoccolo 3 1 Dipartimento
More informationRao s degree sequence conjecture
Rao s degree sequence conjecture Maria Chudnovsky 1 Columbia University, New York, NY 10027 Paul Seymour 2 Princeton University, Princeton, NJ 08544 July 31, 2009; revised December 10, 2013 1 Supported
More informationReachability relations and the structure of transitive digraphs
Reachability relations and the structure of transitive digraphs Norbert Seifter Montanuniversität Leoben, Leoben, Austria Vladimir I. Trofimov Russian Academy of Sciences, Ekaterinburg, Russia November
More informationParity Versions of 2-Connectedness
Parity Versions of 2-Connectedness C. Little Institute of Fundamental Sciences Massey University Palmerston North, New Zealand c.little@massey.ac.nz A. Vince Department of Mathematics University of Florida
More informationHOMEWORK #2 - MATH 3260
HOMEWORK # - MATH 36 ASSIGNED: JANUARAY 3, 3 DUE: FEBRUARY 1, AT :3PM 1) a) Give by listing the sequence of vertices 4 Hamiltonian cycles in K 9 no two of which have an edge in common. Solution: Here is
More informationColoring Vertices and Edges of a Path by Nonempty Subsets of a Set
Coloring Vertices and Edges of a Path by Nonempty Subsets of a Set P.N. Balister E. Győri R.H. Schelp November 8, 28 Abstract A graph G is strongly set colorable if V (G) E(G) can be assigned distinct
More informationPaths and cycles in extended and decomposable digraphs
Paths and cycles in extended and decomposable digraphs Jørgen Bang-Jensen Gregory Gutin Department of Mathematics and Computer Science Odense University, Denmark Abstract We consider digraphs called extended
More informationPlanar Ramsey Numbers for Small Graphs
Planar Ramsey Numbers for Small Graphs Andrzej Dudek Department of Mathematics and Computer Science Emory University Atlanta, GA 30322, USA Andrzej Ruciński Faculty of Mathematics and Computer Science
More informationApproximation Algorithms for Asymmetric TSP by Decomposing Directed Regular Multigraphs
Approximation Algorithms for Asymmetric TSP by Decomposing Directed Regular Multigraphs Haim Kaplan Tel-Aviv University, Israel haimk@post.tau.ac.il Nira Shafrir Tel-Aviv University, Israel shafrirn@post.tau.ac.il
More informationarxiv: v1 [math.co] 20 Oct 2018
Total mixed domination in graphs 1 Farshad Kazemnejad, 2 Adel P. Kazemi and 3 Somayeh Moradi 1,2 Department of Mathematics, University of Mohaghegh Ardabili, P.O. Box 5619911367, Ardabil, Iran. 1 Email:
More informationDistance between two k-sets and Path-Systems Extendibility
Distance between two k-sets and Path-Systems Extendibility December 2, 2003 Ronald J. Gould (Emory University), Thor C. Whalen (Metron, Inc.) Abstract Given a simple graph G on n vertices, let σ 2 (G)
More informationThe cocycle lattice of binary matroids
Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*
More informationSection 8.4 Closures of Relations
Section 8.4 Closures of Relations Definition: The closure of a relation R with respect to property P is the relation obtained by adding the minimum number of ordered pairs to R to obtain property P. In
More informationRESEARCH ARTICLE. An extension of the polytope of doubly stochastic matrices
Linear and Multilinear Algebra Vol. 00, No. 00, Month 200x, 1 15 RESEARCH ARTICLE An extension of the polytope of doubly stochastic matrices Richard A. Brualdi a and Geir Dahl b a Department of Mathematics,
More informationTHE RAINBOW DOMINATION NUMBER OF A DIGRAPH
Kragujevac Journal of Mathematics Volume 37() (013), Pages 57 68. THE RAINBOW DOMINATION NUMBER OF A DIGRAPH J. AMJADI 1, A. BAHREMANDPOUR 1, S. M. SHEIKHOLESLAMI 1, AND L. VOLKMANN Abstract. Let D = (V,
More informationLongest paths in circular arc graphs. Paul N. Balister Department of Mathematical Sciences, University of Memphis
Longest paths in circular arc graphs (Final version: February, 2003) Paul N Balister Department of Mathematical Sciences, University of Memphis (balistep@mscimemphisedu) Ervin Győri Rényi Institute of
More informationThe Singapore Copyright Act applies to the use of this document.
Title On graphs whose low polynomials have real roots only Author(s) Fengming Dong Source Electronic Journal of Combinatorics, 25(3): P3.26 Published by Electronic Journal of Combinatorics This document
More informationMathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations
Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...
More informationFixed point theorems for Boolean networks expressed in terms of forbidden subnetworks
Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks Adrien Richard To cite this version: Adrien Richard. Fixed point theorems for Boolean networks expressed in terms of
More informationDecomposing dense bipartite graphs into 4-cycles
Decomposing dense bipartite graphs into 4-cycles Nicholas J. Cavenagh Department of Mathematics The University of Waikato Private Bag 3105 Hamilton 3240, New Zealand nickc@waikato.ac.nz Submitted: Jun
More informationA Blossoming Algorithm for Tree Volumes of Composite Digraphs
A Blossoming Algorithm for Tree Volumes of Composite Digraphs Victor J. W. Guo Center for Combinatorics, LPMC, Nankai University, Tianjin 30007, People s Republic of China Email: jwguo@eyou.com Abstract.
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More information10.4 The Kruskal Katona theorem
104 The Krusal Katona theorem 141 Example 1013 (Maximum weight traveling salesman problem We are given a complete directed graph with non-negative weights on edges, and we must find a maximum weight Hamiltonian
More informationFURTHER RESTRICTIONS ON THE STRUCTURE OF FINITE DCI-GROUPS: AN ADDENDUM
FURTHER RESTRICTIONS ON THE STRUCTURE OF FINITE DCI-GROUPS: AN ADDENDUM EDWARD DOBSON, JOY MORRIS, AND PABLO SPIGA Abstract. A finite group R is a DCI-group if, whenever S and T are subsets of R with the
More informationNetwork Augmentation and the Multigraph Conjecture
Network Augmentation and the Multigraph Conjecture Nathan Kahl Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 e-mail: nkahl@stevens-tech.edu Abstract Let Γ(n, m)
More informationDirac s Map-Color Theorem for Choosability
Dirac s Map-Color Theorem for Choosability T. Böhme B. Mohar Technical University of Ilmenau, University of Ljubljana, D-98684 Ilmenau, Germany Jadranska 19, 1111 Ljubljana, Slovenia M. Stiebitz Technical
More informationSpectra of Semidirect Products of Cyclic Groups
Spectra of Semidirect Products of Cyclic Groups Nathan Fox 1 University of Minnesota-Twin Cities Abstract The spectrum of a graph is the set of eigenvalues of its adjacency matrix A group, together with
More informationPARTITIONS OF FINITE VECTOR SPACES INTO SUBSPACES
PARTITIONS OF FINITE VECTOR SPACES INTO SUBSPACES S.I. EL-ZANATI, G.F. SEELINGER, P.A. SISSOKHO, L.E. SPENCE, AND C. VANDEN EYNDEN Abstract. Let V n (q) denote a vector space of dimension n over the field
More information4-Cycle Group-Divisible Designs with Two Associate Classes
Combinatorics Probability and Computing 2001 10 317 343. c 2001 Cambridge University Press DOI 10.1017/S0963548301004734 Printed in the United Kingdom 4-Cycle Group-Divisible Designs with Two Associate
More information5 Flows and cuts in digraphs
5 Flows and cuts in digraphs Recall that a digraph or network is a pair G = (V, E) where V is a set and E is a multiset of ordered pairs of elements of V, which we refer to as arcs. Note that two vertices
More informationMatchings in hypergraphs of large minimum degree
Matchings in hypergraphs of large minimum degree Daniela Kühn Deryk Osthus Abstract It is well known that every bipartite graph with vertex classes of size n whose minimum degree is at least n/2 contains
More informationOn scores in tournaments and oriented graphs. on score sequences in oriented graphs. Also we give a new proof for Avery s
Chapter On scores in tournaments and oriented graphs In this Chapter, we report the results available in literature on score sequences in tournaments and oriented graphs. We obtain many new results on
More informationReachability relations and the structure of transitive digraphs
Reachability relations and the structure of transitive digraphs Norbert Seifter Montanuniversität Leoben, Leoben, Austria seifter@unileoben.ac.at Vladimir I. Trofimov Russian Academy of Sciences, Ekaterinburg,
More informationAcyclic and Oriented Chromatic Numbers of Graphs
Acyclic and Oriented Chromatic Numbers of Graphs A. V. Kostochka Novosibirsk State University 630090, Novosibirsk, Russia X. Zhu Dept. of Applied Mathematics National Sun Yat-Sen University Kaohsiung,
More informationAutomata on linear orderings
Automata on linear orderings Véronique Bruyère Institut d Informatique Université de Mons-Hainaut Olivier Carton LIAFA Université Paris 7 September 25, 2006 Abstract We consider words indexed by linear
More informationGraph Classes and Ramsey Numbers
Graph Classes and Ramsey Numbers Rémy Belmonte, Pinar Heggernes, Pim van t Hof, Arash Rafiey, and Reza Saei Department of Informatics, University of Bergen, Norway Abstract. For a graph class G and any
More informationDiscrete Mathematics. Benny George K. September 22, 2011
Discrete Mathematics Benny George K Department of Computer Science and Engineering Indian Institute of Technology Guwahati ben@iitg.ernet.in September 22, 2011 Set Theory Elementary Concepts Let A and
More informationTopics in Graph Theory
Topics in Graph Theory September 4, 2018 1 Preliminaries A graph is a system G = (V, E) consisting of a set V of vertices and a set E (disjoint from V ) of edges, together with an incidence function End
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationThe Chromatic Number of Ordered Graphs With Constrained Conflict Graphs
The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs Maria Axenovich and Jonathan Rollin and Torsten Ueckerdt September 3, 016 Abstract An ordered graph G is a graph whose vertex set
More informationAn upper bound on the domination number of n-vertex connected cubic graphs
Discrete Mathematics 309 (2009) 1142 1162 www.elsevier.com/locate/disc An upper bound on the domination number of n-vertex connected cubic graphs A.V. Kostochka a,b,, B.Y. Stodolsky a a Department of Mathematics,
More informationDecomposing oriented graphs into transitive tournaments
Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote
More informationOn zero-sum partitions and anti-magic trees
Discrete Mathematics 09 (009) 010 014 Contents lists available at ScienceDirect Discrete Mathematics journal homepage: wwwelseviercom/locate/disc On zero-sum partitions and anti-magic trees Gil Kaplan,
More informationRelations on Hypergraphs
Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation
More informationDiskrete Mathematik und Optimierung
Diskrete Mathematik und Optimierung Winfried Hochstättler: Towards a flow theory for the dichromatic number Technical Report feu-dmo032.14 Contact: winfried.hochstaettler@fernuni-hagen.de FernUniversität
More informationFactors in Graphs With Multiple Degree Constraints
Factors in Graphs With Multiple Degree Constraints Richard C. Brewster, Morten Hegner Nielsen, and Sean McGuinness Thompson Rivers University Kamloops, BC V2C0C8 Canada October 4, 2011 Abstract For a graph
More informationIntrinsic products and factorizations of matrices
Available online at www.sciencedirect.com Linear Algebra and its Applications 428 (2008) 5 3 www.elsevier.com/locate/laa Intrinsic products and factorizations of matrices Miroslav Fiedler Academy of Sciences
More informationMonomial subdigraphs of reachable and controllable positive discrete-time systems
Monomial subdigraphs of reachable and controllable positive discrete-time systems Rafael Bru a, Louis Caccetta b and Ventsi G. Rumchev b a Dept. de Matemàtica Aplicada, Univ. Politècnica de València, Camí
More informationarxiv: v1 [math.co] 13 May 2016
GENERALISED RAMSEY NUMBERS FOR TWO SETS OF CYCLES MIKAEL HANSSON arxiv:1605.04301v1 [math.co] 13 May 2016 Abstract. We determine several generalised Ramsey numbers for two sets Γ 1 and Γ 2 of cycles, in
More information