# SCORE SETS IN ORIENTED GRAPHS

Save this PDF as:

Size: px
Start display at page:

## Transcription

1 Applicable Analysis and Discrete Mathematics, 2 (2008), Available electronically at SCORE SETS IN ORIENTED GRAPHS S. Pirzada, T. A. Naikoo The score of a vertex v in an oriented graph D is a v = n 1+d + v d v, where d + v and d v are the outdegree and indegree respectively of v and n is the number of vertices in D. The set of distinct scores of the vertices in an oriented graph D is called its score set. If a > 0 and d > 1 are positive integers, we show there exists an oriented graph with score set {a, ad,ad 2,..., ad n } except for a = 1, d = 2, n > 0, and for a = 1, d = 3, n > 0. It is also shown that there exists no oriented graph with score set {a, ad, ad 2,..., ad n }, n > 0 when either a = 1, d = 2, or a = 1, d = 3. Also we prove for the non-negative integers a 1, a 2,..., a n with a 1 < a 2 < < a n, there is always an oriented graph with a n + 1 vertices with score set {a 1, a 2,..., a n}, where { a ai 1 + a i + 1, for i > 1, i = a i, for i = INTRODUCTION An oriented graph is a digraph with no symmetric pairs of directed arcs and without loops. Let D be an oriented graph with set V = {v 1, v 2,..., v n }, and let d + v and d v respectively be the outdegree and indegree of vertex v i. Define a vi (or simply a i )= n 1 + d + v d v, as the score of v i. Clearly, 0 a vi 2n 2. The sequence A = [a 1, a 2,..., a n ] in non-decreasing order is the score sequence of an oriented graph D. For any two distinct vertices u and v in an oriented graph D, we have one of the following possibilities. (i). An arc directed from u to v denoted by u v. (ii). An arc directed from v to u denoted by u v. (iii). There is no arc from u to v and there is no arc from v to u. This is denoted by u v. Let D be an oriented graph with vertex set V and let X, Y V. If there is an arc from each vertex of X to every vertex of Y, then it is denoted by X Y Mathematics Subject Classification. 05C20. Keywords and Phrases. Oriented graphs, score, score set, tournament. 107

2 108 S. Pirzada, T. A. Naikoo If d v is the number of those vertices u in D which have v u, then d+ v + d v + d v = n 1. Therefore a v = 2d + v + d v. This implies that each vertex u with v u contributes two to the score of v and each vertex u with v u contributes one to the score of v. Since the number of arcs and non-arcs in an oriented graph ( n of order n is and each v u contributes two (one each at u and v) to scores, 2) ( n the sum total of all the scores is 2 = n(n 1). 2) The following result [1, Theorem 2.1] characterizes score sequences of all oriented graphs. Theorem 1.1. A non-decreasing sequence of non-negative integers A = [a 1, a 2,..., a n ] is the score sequence of an oriented graph if and only if (1.1) k a i k(k 1) for 1 k n with equality when k = n. A tournament is an orientation of a complete simple graph. The score s v of a vertex v in a tournament T is the outdegree of v. The score sequence of a tournament is formed by listing the vertex scores in non-decreasing order. The set S of distinct scores of the vertices in a tournament T is called its score set. Reid [5] conjectured that every finite set S of non-negative integers is a score set of some tournament and verified this conjecture for S = 1, 2, 3 or S is in arithmetic or geometric progression. Hager [2] verified Reid s conjecture for the cases S = 4, 5. In 1986 Yao proved Reid s conjecture by pure arithmetical analysis which appeared in Chinese [6] in 1986 and in English [7] in Recently Pirzada and Naikoo [3] proved by 2 n construction that the set of non-negative integers S = {s 1, s i,..., s i }, with s 1 < s 2 < < s n, is a score set of some tournament. In [4] it has been proved that every set of n non-negative integers, except {0} and {0, 1}, is a score set of some 3-partite tournament. Also it is shown that every set of n non-negative integers is a score set of some k-partite tournament for every n k SCORE SETS IN ORIENTED GRAPHS We start with the following observation: Lemma 2.1. The number of vertices in an oriented graph with at least two distinct scores does not exceed its largest score. Proof. Clearly an oriented graph with at least two distinct scores has more than one vertex. Let D be an oriented graph with n > 1 vertices, say v 1, v 2,..., v n with their respective scores a v1, a v2,..., a vn such that a v1 a v2 a vn. We assume without loss of generality that the scores a vi and a vn are distinct so that a vi < a vn for some i, where 1 i n 1.

5 Score sets in oriented graphs 111 For any two integers m and n with m 0 we denote by m/n to mean that m divides n. As noted in Theorem 2.2, there exists no oriented graph when either a = 1, d = 2, n > 0 or a = 1, d = 3, n > 0, which is now proved in the next Theorem. Theorem 2.3. There exists no oriented graph with score set A = {a, ad, ad 2,...,ad n }, n > 0, when either (i). a = 1, d = 2 or (ii). a = 1, d = 3. Proof. Case(i). Assume A = {1, 2, 2 2,..., 2 n } is a score set of some oriented graph D for n > 0. Then there exist positive integers, say x 1, x 2, x 3,..., x n+1 such that A 1 = [1, 1,..., 1, 2, 2,..., 2, 2 2, 2 2,...,2 2,..., 2 n, 2 n,...,2 n ] } {{ } } {{ } } {{ } } {{ } x 1 x 2 x n+1 is the score sequence of D. Therefore by Theorem 1.1 we have ( n+1 ) (( n+1 ) ) x 1 + 2x x n x n+1 = i x i 1 x which implies that x 1 is even. However, x 1 is a positive integer, therefore x 1 2. Let a 1 = 1, a 2 = 1 and a 3 1. By equation(1.1) a 1 +a 2 +a 3 3(3 1), 2+a 3 6, or a 3 4. This implies that x 2 = 0, a contradiction. Case(ii). Assume A = {1, 3, 3 2,..., 3 n } is a score set of some oriented graph D for n > 0. Then there exist positive integers, say y 1, y 2, y 3,..., y n+1 such that A 2 = [1, 1,..., 1, 3, 3,..., 3, 3 2, 3 2,...,3 2,..., 3 n, 3 n,...,3 n ] } {{ } } {{ } } {{ } } {{ } y 1 y 2 y n+1 is the score sequence of D. Therefore by Theorem 1.1 we have ( n+1 ) (( y 1 + 3y y n n+1 ) ) y n+1 = y i y i 1 so that where q = n+1 x 3 y 3 y 1 + 3y y n y n+1 = q(q 1), y i > 1 as n > 0 and y 1, y 2, y 3,..., y n+1 are positive integers. Firstly suppose y 1 > 1 or y 1 2. Let a 1 = 1, a 2 = 1 and a 3 1. By equation (1.1) a 1 + a 2 + a 3 3(3 1), 2 + a 3 6 or a 3 4. This implies that y 2 = 0, a contradiction. Now suppose y 1 = 1. Therefore 1+3y y n y n+1 = q(q 1), where q > 1, that is, 3(y 2 +3y n 1 y n+1 ) = q 2 q 1. Since the expression in the lefthand side is a multiple of 3, therefore 3/q 2 q 1. For q = 2, we have 3/ , or 3/1, which is absurd. Now suppose q > 2. Since every positive integer q > 2 is one of the forms 3r, 3r + 1, 3r + 2, where r > 0, therefore, 3/(3r) 2 3r 1, or 3/(3r + 1) 2 (3r + 1) 1, or 3/(3r + 2) 2 (3r + 2) 1, respectively, which gives 3/9r 2 3r 1, or 3/9r 2 + 3r 1, or 3/9r 2 + 3r + 1, respectively.

6 112 S. Pirzada, T. A. Naikoo Since 3/9r 2 3r, 3/9r 2 + 3r and 3/9r 2 + 9r, 3/ 1, or 3/1, which is absurd. Theorem 2.4. If a 1, a 2,...,a n are non-negative integers with a 1 < a 2 < < a n, then there exists an oriented graph with a n + 1 vertices and with score set A = {a 1, a 2,..., a n }, where a i = { ai 1 + a i + 1 for i > 1, a i for i = 1. Proof. We use induction on n. For n = 1 let D be an oriented graph on a vertices with no arcs (that is the complement of K a1+1). Then each vertex of D has score a = a 1 = d 1. Therefore the score set of D is A = {a 1 }. This verifies the result for n = 1. If n = 2, then there are two non-negative integers a 1 and a 2 with a 1 < a 2. Clearly a > 0 and a 2 a 1 > 0. Consider an oriented graph D with vertex set V = X Y, where X Y =, X = a 1 + 1, Y = a 2 a 1 and Y X. Therefore D has V = X + Y = a a 2 a 1 = a vertices, and the score of the vertices are a x = V Y = a (a 2 a 1 ) = a 1 = a 1 for all x X and a y = V 1 + X 0 = a a = a 1 + a = a 2 for all y Y. Therefore the score set of D is A = {a 1, a 2} which proves the result for n = 2. Assume that the result is true for n = 1, 2, 3,, p, for some integer p 2. We show that the result is true for p + 1. Let a 1, a 2,..., a p+1 be non-negative integers with a 1 < a 2 < < a p+1. Since a 1 < a 2 < < a p, by the inductive hypothesis there exists an oriented graph D on a p + 1 vertices with score set {a 1, a 2,..., a p} where a i = { ai 1 + a i + 1 for i > 1, a i for i = 1. That is, score set of D is {a 1, a 1 + a 2 + 1, a 2 + a 3 + 1,, a p 1 + a p + 1}. So a 1, a 1 + a 2 + 1, a 2 + a 3 + 1,...,a p 1 + a p + 1 are the distinct scores of the vertices of D. Let V be the vertex set of D so that V = a p + 1. Since a p+1 > a p, a p+1 a p > 0. Consider now a new oriented graph D 1 with vertex set V 1 = V X, where V X =, X = a p+1 a p, and arc set containing all the arcs of D together with X V. Then D 1 has V 1 = V + X = a p +1+a p+1 a p = a p+1 +1 vertices, a 1 + X X = a 1 = a 1, a 1 +a X X = a 1 +a 2 +1 = a 2, a 2+a X X = a 2 +a 3 +1 = a 3,..., a p 1+a p +1+ X X = a p 1 + a p + 1 = a p are the distinct scores of the vertices of V and a x = V V 0 = a p a p + 1 = a p + a p = a p+1 for all x X. Therefore the score set of D 1 is A = {a 1, a 2,...,a p, a p+1 } which proves the result for p + 1. Hence by induction, the result follows.

7 Score sets in oriented graphs 113 From Theorem 2.4 it follows that every singleton set of non-negative integers is a score set of some oriented graph. As we have shown in Theorem 2.3 that the sets {1, 2, 2 2,..., 2 n } and {1, 3, 3 2,...,3 n } cannot be the score sets of an oriented graph, for n > 0. It therefore follows that the above results cannot be generalized to say that any set of non-negative integers forms the score set of some oriented graph. However, there can be other special classes of non-negative integers which can form the score set of an oriented graph, and the problem needs further investigation. Acknowledgements. The authors thank the anonymous referees for their valuable suggestions which improved the presentation of the paper. REFERENCES 1. P. Avery: Score sequences of oriented graphs. J. Graph Theory, 15 (1991), M. Hager: On score sets for tournaments. Discrete Mathematics, 58 (1986), S. Pirzada, T. A. Naikoo: On score sets in tournaments. Vietnam J. Mathematics, 34, No.2 (2006), S. Pirzada, T. A. Naikoo: Score sets in k-partite tournaments. J. Applied Mathematics Computing, 22, No.1 2 (2006), K. B. Reid: Score sets for tournaments. Congressus Numerantium, 21 (1978), T. X. Yao: Reid s conjecture on score sets in tournaments. Kexue Tangbao, 33 (1988), T. X. Yao: On Reid s conjecture of score sets for tournaments. Sci. Bull., 34 (1989), Department of Mathematics, (Received March 30, 2007) University of Kashmir, (Revised September 6, 2007) Srinagar, India E mails:

### Math 55: Discrete Mathematics

Math 55: Discrete Mathematics UC Berkeley, Fall 2011 Homework # 5, due Wednesday, February 22 5.1.4 Let P (n) be the statement that 1 3 + 2 3 + + n 3 = (n(n + 1)/2) 2 for the positive integer n. a) What

### 8.7 Mathematical Induction

8.7. MATHEMATICAL INDUCTION 8-135 8.7 Mathematical Induction Objective Prove a statement by mathematical induction Many mathematical facts are established by first observing a pattern, then making a conjecture

### Chapter 6 Finite sets and infinite sets. Copyright 2013, 2005, 2001 Pearson Education, Inc. Section 3.1, Slide 1

Chapter 6 Finite sets and infinite sets Copyright 013, 005, 001 Pearson Education, Inc. Section 3.1, Slide 1 Section 6. PROPERTIES OF THE NATURE NUMBERS 013 Pearson Education, Inc.1 Slide Recall that denotes

### Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010. Chapter 7: Digraphs

MCS-236: Graph Theory Handout #Ch7 San Skulrattanakulchai Gustavus Adolphus College Dec 6, 2010 Chapter 7: Digraphs Strong Digraphs Definitions. A digraph is an ordered pair (V, E), where V is the set

### A simple criterion on degree sequences of graphs

Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree

Section 5.1 Climbing an Infinite Ladder Suppose we have an infinite ladder and the following capabilities: 1. We can reach the first rung of the ladder. 2. If we can reach a particular rung of the ladder,

### SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS. Nickolay Khadzhiivanov, Nedyalko Nenov

Serdica Math. J. 30 (2004), 95 102 SEQUENCES OF MAXIMAL DEGREE VERTICES IN GRAPHS Nickolay Khadzhiivanov, Nedyalko Nenov Communicated by V. Drensky Abstract. Let Γ(M) where M V (G) be the set of all vertices

### CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

### SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH

31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,

### Solutions for Practice problems on proofs

Solutions for Practice problems on proofs Definition: (even) An integer n Z is even if and only if n = 2m for some number m Z. Definition: (odd) An integer n Z is odd if and only if n = 2m + 1 for some

### Divisor graphs have arbitrary order and size

Divisor graphs have arbitrary order and size arxiv:math/0606483v1 [math.co] 20 Jun 2006 Le Anh Vinh School of Mathematics University of New South Wales Sydney 2052 Australia Abstract A divisor graph G

### 1.3 Induction and Other Proof Techniques

4CHAPTER 1. INTRODUCTORY MATERIAL: SETS, FUNCTIONS AND MATHEMATICAL INDU 1.3 Induction and Other Proof Techniques The purpose of this section is to study the proof technique known as mathematical induction.

### 2.4 Mathematical Induction

2.4 Mathematical Induction What Is (Weak) Induction? The Principle of Mathematical Induction works like this: What Is (Weak) Induction? The Principle of Mathematical Induction works like this: We want

### Solutions to Exercises 8

Discrete Mathematics Lent 2009 MA210 Solutions to Exercises 8 (1) Suppose that G is a graph in which every vertex has degree at least k, where k 1, and in which every cycle contains at least 4 vertices.

### Mathematical Induction

Mathematical Induction MAT30 Discrete Mathematics Fall 016 MAT30 (Discrete Math) Mathematical Induction Fall 016 1 / 19 Outline 1 Mathematical Induction Strong Mathematical Induction MAT30 (Discrete Math)

### Notes: Chapter 2 Section 2.2: Proof by Induction

Notes: Chapter 2 Section 2.2: Proof by Induction Basic Induction. To prove: n, a W, n a, S n. (1) Prove the base case - S a. (2) Let k a and prove that S k S k+1 Example 1. n N, n i = n(n+1) 2. Example

### SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Alessandro Artale UniBZ - http://www.inf.unibz.it/ artale/ SECTION 5.2 Mathematical Induction I Copyright Cengage Learning. All rights reserved.

### A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE. 1. Introduction and Preliminaries

Acta Math. Univ. Comenianae Vol. LXVI, 2(1997), pp. 285 291 285 A REMARK ON ALMOST MOORE DIGRAPHS OF DEGREE THREE E. T. BASKORO, M. MILLER and J. ŠIRÁŇ Abstract. It is well known that Moore digraphs do

### Mathematical Induction. Lecture 10-11

Mathematical Induction Lecture 10-11 Menu Mathematical Induction Strong Induction Recursive Definitions Structural Induction Climbing an Infinite Ladder Suppose we have an infinite ladder: 1. We can reach

### Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs

Discrete Mathematics & Mathematical Reasoning Chapter 10: Graphs Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 13 Overview Graphs and Graph

### HOMEWORK 5 SOLUTIONS. n!f n (1) lim. ln x n! + xn x. 1 = G n 1 (x). (2) k + 1 n. (n 1)!

Math 7 Fall 205 HOMEWORK 5 SOLUTIONS Problem. 2008 B2 Let F 0 x = ln x. For n 0 and x > 0, let F n+ x = 0 F ntdt. Evaluate n!f n lim n ln n. By directly computing F n x for small n s, we obtain the following

### p 2 1 (mod 6) Adding 2 to both sides gives p (mod 6)

.9. Problems P10 Try small prime numbers first. p p + 6 3 11 5 7 7 51 11 13 Among the primes in this table, only the prime 3 has the property that (p + ) is also a prime. We try to prove that no other

### P. Jeyanthi and N. Angel Benseera

Opuscula Math. 34, no. 1 (014), 115 1 http://dx.doi.org/10.7494/opmath.014.34.1.115 Opuscula Mathematica A TOTALLY MAGIC CORDIAL LABELING OF ONE-POINT UNION OF n COPIES OF A GRAPH P. Jeyanthi and N. Angel

### Triangle deletion. Ernie Croot. February 3, 2010

Triangle deletion Ernie Croot February 3, 2010 1 Introduction The purpose of this note is to give an intuitive outline of the triangle deletion theorem of Ruzsa and Szemerédi, which says that if G = (V,

### Introduction. Appendix D Mathematical Induction D1

Appendix D Mathematical Induction D D Mathematical Induction Use mathematical induction to prove a formula. Find a sum of powers of integers. Find a formula for a finite sum. Use finite differences to

### CS 173: Discrete Structures, Fall 2010 Homework 6 Solutions

CS 173: Discrete Structures, Fall 010 Homework 6 Solutions This homework was worth a total of 5 points. 1. Recursive definition [13 points] Give a simple closed-form definition for each of the following

### Degree Hypergroupoids Associated with Hypergraphs

Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

### GROUPS SUBGROUPS. Definition 1: An operation on a set G is a function : G G G.

Definition 1: GROUPS An operation on a set G is a function : G G G. Definition 2: A group is a set G which is equipped with an operation and a special element e G, called the identity, such that (i) the

### Kings in Tournaments. Yu Yibo, Di Junwei, Lin Min

Kings in Tournaments by Yu Yibo, i Junwei, Lin Min ABSTRACT. Landau, a mathematical biologist, showed in 1953 that any tournament T always contains a king. A king, however, may not exist. in the. resulting

### Introduction to Flocking {Stochastic Matrices}

Supelec EECI Graduate School in Control Introduction to Flocking {Stochastic Matrices} A. S. Morse Yale University Gif sur - Yvette May 21, 2012 CRAIG REYNOLDS - 1987 BOIDS The Lion King CRAIG REYNOLDS

### Mathematical induction. Niloufar Shafiei

Mathematical induction Niloufar Shafiei Mathematical induction Mathematical induction is an extremely important proof technique. Mathematical induction can be used to prove results about complexity of

### 6.2 Permutations continued

6.2 Permutations continued Theorem A permutation on a finite set A is either a cycle or can be expressed as a product (composition of disjoint cycles. Proof is by (strong induction on the number, r, of

### Mathematical Induction

Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,

### Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Every Positive Integer is the Sum of Four Squares! (and other exciting problems) Sophex University of Texas at Austin October 18th, 00 Matilde N. Lalín 1. Lagrange s Theorem Theorem 1 Every positive integer

### MIX-DECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3. University of Split, Croatia

GLASNIK MATEMATIČKI Vol. 38(58)(2003), 2 232 MIX-DECOMPOSITON OF THE COMPLETE GRAPH INTO DIRECTED FACTORS OF DIAMETER 2 AND UNDIRECTED FACTORS OF DIAMETER 3 Damir Vukičević University of Split, Croatia

### COMP232 - Mathematics for Computer Science

COMP3 - Mathematics for Computer Science Tutorial 10 Ali Moallemi moa ali@encs.concordia.ca Iraj Hedayati h iraj@encs.concordia.ca Concordia University, Winter 016 Ali Moallemi, Iraj Hedayati COMP3 - Mathematics

### Discrete Mathematics, Chapter 5: Induction and Recursion

Discrete Mathematics, Chapter 5: Induction and Recursion Richard Mayr University of Edinburgh, UK Richard Mayr (University of Edinburgh, UK) Discrete Mathematics. Chapter 5 1 / 20 Outline 1 Well-founded

### The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

### SECTION 10-2 Mathematical Induction

73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

### Partitioning edge-coloured complete graphs into monochromatic cycles and paths

arxiv:1205.5492v1 [math.co] 24 May 2012 Partitioning edge-coloured complete graphs into monochromatic cycles and paths Alexey Pokrovskiy Departement of Mathematics, London School of Economics and Political

### On Integer Additive Set-Indexers of Graphs

On Integer Additive Set-Indexers of Graphs arxiv:1312.7672v4 [math.co] 2 Mar 2014 N K Sudev and K A Germina Abstract A set-indexer of a graph G is an injective set-valued function f : V (G) 2 X such that

### x a x 2 (1 + x 2 ) n.

Limits and continuity Suppose that we have a function f : R R. Let a R. We say that f(x) tends to the limit l as x tends to a; lim f(x) = l ; x a if, given any real number ɛ > 0, there exists a real number

### arxiv:math/ v1 [math.nt] 31 Mar 2002

arxiv:math/0204006v1 [math.nt] 31 Mar 2002 Additive number theory and the ring of quantum integers Melvyn B. Nathanson Department of Mathematics Lehman College (CUNY) Bronx, New York 10468 Email: nathansn@alpha.lehman.cuny.edu

### COMP 250 Fall Mathematical induction Sept. 26, (n 1) + n = n + (n 1)

COMP 50 Fall 016 9 - Mathematical induction Sept 6, 016 You will see many examples in this course and upcoming courses of algorithms for solving various problems It many cases, it will be obvious that

### Suk-Geun Hwang and Jin-Woo Park

Bull. Korean Math. Soc. 43 (2006), No. 3, pp. 471 478 A NOTE ON PARTIAL SIGN-SOLVABILITY Suk-Geun Hwang and Jin-Woo Park Abstract. In this paper we prove that if Ax = b is a partial signsolvable linear

### Connectivity and cuts

Math 104, Graph Theory February 19, 2013 Measure of connectivity How connected are each of these graphs? > increasing connectivity > I G 1 is a tree, so it is a connected graph w/minimum # of edges. Every

### Direct Proofs. CS 19: Discrete Mathematics. Direct Proof: Example. Indirect Proof: Example. Proofs by Contradiction and by Mathematical Induction

Direct Proofs CS 19: Discrete Mathematics Amit Chakrabarti Proofs by Contradiction and by Mathematical Induction At this point, we have seen a few examples of mathematical proofs. These have the following

### Generalizing the Ramsey Problem through Diameter

Generalizing the Ramsey Problem through Diameter Dhruv Mubayi Submitted: January 8, 001; Accepted: November 13, 001. MR Subject Classifications: 05C1, 05C15, 05C35, 05C55 Abstract Given a graph G and positive

### Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS

Homework MA 725 Spring, 2012 C. Huneke SELECTED ANSWERS 1.1.25 Prove that the Petersen graph has no cycle of length 7. Solution: There are 10 vertices in the Petersen graph G. Assume there is a cycle C

### A Hajós type result on factoring finite abelian groups by subsets II

Comment.Math.Univ.Carolin. 51,1(2010) 1 8 1 A Hajós type result on factoring finite abelian groups by subsets II Keresztély Corrádi, Sándor Szabó Abstract. It is proved that if a finite abelian group is

### More Mathematical Induction. October 27, 2016

More Mathematical Induction October 7, 016 In these slides... Review of ordinary induction. Remark about exponential and polynomial growth. Example a second proof that P(A) = A. Strong induction. Least

### k, then n = p2α 1 1 pα k

Powers of Integers An integer n is a perfect square if n = m for some integer m. Taking into account the prime factorization, if m = p α 1 1 pα k k, then n = pα 1 1 p α k k. That is, n is a perfect square

### Proof: A logical argument establishing the truth of the theorem given the truth of the axioms and any previously proven theorems.

Math 232 - Discrete Math 2.1 Direct Proofs and Counterexamples Notes Axiom: Proposition that is assumed to be true. Proof: A logical argument establishing the truth of the theorem given the truth of the

### Course Notes for Math 320: Fundamentals of Mathematics Chapter 3: Induction.

Course Notes for Math 320: Fundamentals of Mathematics Chapter 3: Induction. February 21, 2006 1 Proof by Induction Definition 1.1. A subset S of the natural numbers is said to be inductive if n S we have

### Best Monotone Degree Bounds for Various Graph Parameters

Best Monotone Degree Bounds for Various Graph Parameters D. Bauer Department of Mathematical Sciences Stevens Institute of Technology Hoboken, NJ 07030 S. L. Hakimi Department of Electrical and Computer

### Product irregularity strength of certain graphs

Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 7 (014) 3 9 Product irregularity strength of certain graphs Marcin Anholcer

### Graph Theory. Introduction. Distance in Graphs. Trees. Isabela Drămnesc UVT. Computer Science Department, West University of Timişoara, Romania

Graph Theory Introduction. Distance in Graphs. Trees Isabela Drămnesc UVT Computer Science Department, West University of Timişoara, Romania November 2016 Isabela Drămnesc UVT Graph Theory and Combinatorics

### Math 115 Spring 2011 Written Homework 5 Solutions

. Evaluate each series. a) 4 7 0... 55 Math 5 Spring 0 Written Homework 5 Solutions Solution: We note that the associated sequence, 4, 7, 0,..., 55 appears to be an arithmetic sequence. If the sequence

### A note on properties for a complementary graph and its tree graph

A note on properties for a complementary graph and its tree graph Abulimiti Yiming Department of Mathematics Institute of Mathematics & Informations Xinjiang Normal University China Masami Yasuda Department

### Mathematical induction & Recursion

CS 441 Discrete Mathematics for CS Lecture 15 Mathematical induction & Recursion Milos Hauskrecht milos@cs.pitt.edu 5329 Sennott Square Proofs Basic proof methods: Direct, Indirect, Contradiction, By Cases,

### MODULAR ARITHMETIC. a smallest member. It is equivalent to the Principle of Mathematical Induction.

MODULAR ARITHMETIC 1 Working With Integers The usual arithmetic operations of addition, subtraction and multiplication can be performed on integers, and the result is always another integer Division, on

### 2-partition-transitive tournaments

-partition-transitive tournaments Barry Guiduli András Gyárfás Stéphan Thomassé Peter Weidl Abstract Given a tournament score sequence s 1 s s n, we prove that there exists a tournament T on vertex set

### Cycles in a Graph Whose Lengths Differ by One or Two

Cycles in a Graph Whose Lengths Differ by One or Two J. A. Bondy 1 and A. Vince 2 1 LABORATOIRE DE MATHÉMATIQUES DISCRÉTES UNIVERSITÉ CLAUDE-BERNARD LYON 1 69622 VILLEURBANNE, FRANCE 2 DEPARTMENT OF MATHEMATICS

### GREATEST COMMON DIVISOR

DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

### Odd induced subgraphs in graphs of maximum degree three

Odd induced subgraphs in graphs of maximum degree three David M. Berman, Hong Wang, and Larry Wargo Department of Mathematics University of New Orleans New Orleans, Louisiana, USA 70148 Abstract A long-standing

### Single machine parallel batch scheduling with unbounded capacity

Workshop on Combinatorics and Graph Theory 21th, April, 2006 Nankai University Single machine parallel batch scheduling with unbounded capacity Yuan Jinjiang Department of mathematics, Zhengzhou University

### (3n 2) = (3n 2) = 1(3 1) 2 1 = (3k 2) =

Question 1 Prove using mathematical induction that for all n 1, Solution 1 + + 7 + + (n ) = n(n 1) For any integer n 1, let P n be the statement that 1 + + 7 + + (n ) = n(n 1) Base Case The statement P

### CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction. Linda Shapiro Winter 2015

CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction Linda Shapiro Winter 2015 Background on Induction Type of mathematical proof Typically used to establish a given statement for all natural

### Characterizing the Sum of Two Cubes

1 3 47 6 3 11 Journal of Integer Sequences, Vol. 6 (003), Article 03.4.6 Characterizing the Sum of Two Cubes Kevin A. Broughan University of Waikato Hamilton 001 New Zealand kab@waikato.ac.nz Abstract

### Week 5: Binary Relations

1 Binary Relations Week 5: Binary Relations The concept of relation is common in daily life and seems intuitively clear. For instance, let X be the set of all living human females and Y the set of all

### . 0 1 10 2 100 11 1000 3 20 1 2 3 4 5 6 7 8 9

Introduction The purpose of this note is to find and study a method for determining and counting all the positive integer divisors of a positive integer Let N be a given positive integer We say d is a

### An inequality for the group chromatic number of a graph

Discrete Mathematics 307 (2007) 3076 3080 www.elsevier.com/locate/disc Note An inequality for the group chromatic number of a graph Hong-Jian Lai a, Xiangwen Li b,,1, Gexin Yu c a Department of Mathematics,

### Sets and Cardinality Notes for C. F. Miller

Sets and Cardinality Notes for 620-111 C. F. Miller Semester 1, 2000 Abstract These lecture notes were compiled in the Department of Mathematics and Statistics in the University of Melbourne for the use

### CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

### 4. PRINCIPLE OF MATHEMATICAL INDUCTION

4 PRINCIPLE OF MATHEMATICAL INDUCTION Ex Prove the following by principle of mathematical induction 1 1 + 2 + 3 + + n 2 1 2 + 2 2 + 3 2 + + n 2 3 1 3 + 2 3 + 3 3 + + n 3 + 4 (1) + (1 + 3) + (1 + 3 + 5)

### Mathematical Induction

Chapter 2 Mathematical Induction 2.1 First Examples Suppose we want to find a simple formula for the sum of the first n odd numbers: 1 + 3 + 5 +... + (2n 1) = n (2k 1). How might we proceed? The most natural

### Ri and. i=1. S i N. and. R R i

The subset R of R n is a closed rectangle if there are n non-empty closed intervals {[a 1, b 1 ], [a 2, b 2 ],..., [a n, b n ]} so that R = [a 1, b 1 ] [a 2, b 2 ] [a n, b n ]. The subset R of R n is an

### MATHEMATICAL INDUCTION AND DIFFERENCE EQUATIONS

1 CHAPTER 6. MATHEMATICAL INDUCTION AND DIFFERENCE EQUATIONS 1 INSTITIÚID TEICNEOLAÍOCHTA CHEATHARLACH INSTITUTE OF TECHNOLOGY CARLOW MATHEMATICAL INDUCTION AND DIFFERENCE EQUATIONS 1 Introduction Recurrence

### An inequality for the group chromatic number of a graph

An inequality for the group chromatic number of a graph Hong-Jian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics

### The Pigeonhole Principle

The Pigeonhole Principle 1 Pigeonhole Principle: Simple form Theorem 1.1. If n + 1 objects are put into n boxes, then at least one box contains two or more objects. Proof. Trivial. Example 1.1. Among 13

### Every tree contains a large induced subgraph with all degrees odd

Every tree contains a large induced subgraph with all degrees odd A.J. Radcliffe Carnegie Mellon University, Pittsburgh, PA A.D. Scott Department of Pure Mathematics and Mathematical Statistics University

### Today s Topics. Primes & Greatest Common Divisors

Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

### Note on some explicit formulae for twin prime counting function

Notes on Number Theory and Discrete Mathematics Vol. 9, 03, No., 43 48 Note on some explicit formulae for twin prime counting function Mladen Vassilev-Missana 5 V. Hugo Str., 4 Sofia, Bulgaria e-mail:

### CS 2336 Discrete Mathematics

CS 2336 Discrete Mathematics Lecture 5 Proofs: Mathematical Induction 1 Outline What is a Mathematical Induction? Strong Induction Common Mistakes 2 Introduction What is the formula of the sum of the first

### Mathematical Induction. Mary Barnes Sue Gordon

Mathematics Learning Centre Mathematical Induction Mary Barnes Sue Gordon c 1987 University of Sydney Contents 1 Mathematical Induction 1 1.1 Why do we need proof by induction?.... 1 1. What is proof by

### Sample Induction Proofs

Math 3 Worksheet: Induction Proofs III, Sample Proofs A.J. Hildebrand Sample Induction Proofs Below are model solutions to some of the practice problems on the induction worksheets. The solutions given

### Class One: Degree Sequences

Class One: Degree Sequences For our purposes a graph is a just a bunch of points, called vertices, together with lines or curves, called edges, joining certain pairs of vertices. Three small examples of

### Notes on Matrix Multiplication and the Transitive Closure

ICS 6D Due: Wednesday, February 25, 2015 Instructor: Sandy Irani Notes on Matrix Multiplication and the Transitive Closure An n m matrix over a set S is an array of elements from S with n rows and m columns.

### MATHEMATICAL INDUCTION. Mathematical Induction. This is a powerful method to prove properties of positive integers.

MATHEMATICAL INDUCTION MIGUEL A LERMA (Last updated: February 8, 003) Mathematical Induction This is a powerful method to prove properties of positive integers Principle of Mathematical Induction Let P

### Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

CS 70 Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2 Proofs Intuitively, the concept of proof should already be familiar We all like to assert things, and few of us

### 3. Recurrence Recursive Definitions. To construct a recursively defined function:

3. RECURRENCE 10 3. Recurrence 3.1. Recursive Definitions. To construct a recursively defined function: 1. Initial Condition(s) (or basis): Prescribe initial value(s) of the function.. Recursion: Use a

### Logic & Discrete Math in Software Engineering (CAS 701) Dr. Borzoo Bonakdarpour

Logic & Discrete Math in Software Engineering (CAS 701) Background Dr. Borzoo Bonakdarpour Department of Computing and Software McMaster University Dr. Borzoo Bonakdarpour Logic & Discrete Math in SE (CAS

### Sharing three values with small weights

Hokkaido Mathematical Journal Vol. 36 (2007) p. 129 142 Sharing three values with small weights Indrajit Lahiri (Received September 2, 2005) Abstract. We prove a uniqueness theorem for meromorphic functions

### CMPS 102 Solutions to Homework 1

CMPS 0 Solutions to Homework Lindsay Brown, lbrown@soe.ucsc.edu September 9, 005 Problem..- p. 3 For inputs of size n insertion sort runs in 8n steps, while merge sort runs in 64n lg n steps. For which

### Lecture 3. Mathematical Induction

Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion

### 8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

### 1. What s wrong with the following proofs by induction?

ArsDigita University Month : Discrete Mathematics - Professor Shai Simonson Problem Set 4 Induction and Recurrence Equations Thanks to Jeffrey Radcliffe and Joe Rizzo for many of the solutions. Pasted

### Theorem A graph T is a tree if, and only if, every two distinct vertices of T are joined by a unique path.

Chapter 3 Trees Section 3. Fundamental Properties of Trees Suppose your city is planning to construct a rapid rail system. They want to construct the most economical system possible that will meet the