MATH 580, midterm exam SOLUTIONS
|
|
- April Doyle
- 5 years ago
- Views:
Transcription
1 MATH 580, midterm exam SOLUTIONS Solve the problems in the spaces provided on the question sheets. If you run out of room for an answer, continue on the back of the page or use the Extra space empty page at the end. Answers without proofs or incomplete proofs will not receive full credit. NO notes, books, or any electronic devices are allowed. Name: Penn ID number: Run L A TEX again to produce the table
2 1. (10 points) For any positive integer n, let f(n) be the number of integer partitions λ of n, such that each part size appears exactly 0, 2, 3 or 5 times. E.g. λ (9, 9, 6, 6, 6, 6, 6, 2, 2, 2, 1, 1) is such a partition. Set f(0) 1. Let F (q) f(n)q n be the generating function for these numbers. (a) Find a product type formula for F (q). n0 Solution: Let λ (1 m1 2 m2...), i.e. the number of parts of λ equal to i is m i. In this case we have that m i can only take the values 0, 2, 3, 5. Then i1 F (q) λ m i {0,2,3,5} q λ q mii (m 1,m 2,...) m i {0,2,3,5} q i imi ( 1 + q 2i + q 3i + q 5i) i1 (1 + q 2i )(1 + q 3i ) (b) Prove that f(n) is equal to the number of partitions µ (µ 1, µ 2,...) of n, such that µ i 2 (mod 4) or µ i 3 (mod 6) for each i. Solution: Using the formula from part (a), we have f(n)q n + q n i1(1 2i )(1 + q 3i ) i i i1 (1 + q 2i ) (1 q2i ) (1 q 2i ) (1 + q3i ) (1 q3i ) (1 q 3i ) (1 q 4i )(1 q 6i ) 1 q 2i )(1 q 3i ) i(1 q4i )(1 q 6i ) j (1 q2j )(1 q 3j ) 1 j:odd (1 q2j )(1 q 3j ), where the last equality comes from the cancelation of the numerator with all terms (1 q 2j )(1 q 3j ) with j even. The last line is the generating function for partitions whose parts are of the form 2j or 3j for j 2r +1 odd, i.e. 2(2r +1) 4r +2 2 (mod 4), or 3(2r +1) 6r +3 3 (mod 6). Page 2
3 2. (10 points) Let A n (x) be the Eulerian polynomial, i.e. A n (x) w S n x des(w)+1. Prove that A n (2)/2 is equal to the number of ordered set partitions of [n] (i.e. sequences (S 1, S 2,...), s.t. S i [n], S i, i S i [n] and S i S j for i j). Solution: This is HW problem 1.133a. We have that A n (2)/2 w S n 2 des(w). Let T {(w, D) w S n, D D(w)}, i.e. pairs of permutations w and a subset S of its descents. Then #T A n (2)/2. Construct the following bijection φ between T and the set O of ordered set partitions: Let A [n 1] \ D(w), i.e. the set of ascents of w and let A D {i 1,..., i r } ordered in increasing order (i.e. i 1 < i 2 <... are the indices where w has an ascent or a descent from D). Let i 0 1. Then let φ(w, D) : (S 1, S 2,...), where S p+1 {w ip+1, w ip+2,..., w ip+1 } for p 0, 1,.... In other words, S p+1 is the set of elements of w between positions i p and i p+1. Note that since none of i p + j that appear between i p and i p+1 is an ascent, so we necessarily have w ip+1 > w ip+2 > > w ip+1. We show that φ is a bijection by constructing its inverse: Let (S 1,..., S k ) be a set partition of [n] and let S i {a i 1,..., a i r i }, writing its elements in a decreasing order, i.e. a i 1 > a i 2 >. Let w a 1 1,..., a 1 r 1, a 2 1,..., a 2 r 2, a 3 1,... be the permutation obtained by concatenating the sequences a i in this order. Finally, having constructed w, let D be the set of indices from R {r 1, r 1 + r 2, r 1 + r 2 + r 3,...}, where w has a descent, i.e. w r1+r 2+ +r i a i r i > a i+1 1 w r1+r 2+ +r i+1. To verify that φ(w, D) S, we note that clearly D D(w) and A R \ D, since there are no ascents between elements a i j, ai j+1, as each sequence ai is decreasing. Page 3
4 3. (10 points) Let k 1 be fixed. Let f k (n) be the number of permutations of [n], which have NO cycle of length k. (E.g. if k 3 and n 6, then (1, 5)(2, 4, 3, 6) has no cycle of length 3, whereas (1, 5, 3)(4, 2, 6) has two such cycles and should not be considered.) Prove that f k (n) n/k i0 ( 1) i n! i!k i. Solution: This is HW problem For every c (c 1,..., c k ) cycle of length k in S n, let A c be the set of permutations whose cycle decomposition contains c. Then f k (n) #S n \ ( c A c ) n! # ( c A c ). By the inclusion-exclusion formula we have # ( c A c ) A c A c 1 A c 2 + c {c 1,c 2 } If c 1 c 2, then A c 1 A c 2 since any element of a permutation is part of a unique cycle (in the unique cycle factorization), there can be no element part of two different cycles. Thus for any i cycles c 1,..., c i, we have that A c 1 A c i if c r c p for some r p i. Else, when they are all pairwise disjoint, we have that A c 1 A c i {w c 1 c 2 c i u}, where u is any permutation of the elements in [n] \ (c 1 c 2...) (i.e. the remaining n ki elements). Thus A c 1 A c i (n ki)! The number of i-tuples of disjoint cycles (c 1, c 2,..., c i ) is determined by choosing k disjoint elements for each cycle in a total of ( n k,k,...,k,n ki) ways and then arranging those elements in each cycle in k!/k (k 1)! ways. This gives a total number of ( ) n ((k 1)!) i n! k, k,..., k, n ki k i (n ki)! ways. However, we need the unordered i-tuples, so we divide by i!, as each tuple can be arranged in i! ways. Finally, putting all this together in the inclusion-exclusion formula, we get # ( c A c ) A c A c 1 A c 2 + c {c 1,c 2 } n/k ( 1) i n! 1 k i (n ki)! i! A c 1 A c i ( 1) i n! 1 k i (n ki)! (n ki)! i! i i i0 ( 1) i n! i!k i Page 4
5 4. (15 points) (Bonus problem**) Let T (n) be the set of permutations w S n, which, when written in line notation w w 1 w 2... w n, satisfy: ( ) there are NO indices 1 i < j < n, s.t. w i < w j < w j+1. Show that #T (n) B(n), where B(n) are the Bell numbers the number of unordered set partitions of [n]. Solution: Bijective proof: Let the set of such permutations be A n, we construct the following bijection ψ from A into the set B of set partitions of [n]: Let w A and let i be the position of 1 in w, i.e. w i 1. Since w i < w j for all j i + 1,..., n, we must have that w j > w j+1 for all j > i, as otherwise 1 w i < w j < w j+1, contradicting condition ( ) for w. Let S 1 {1, w i+1,..., w n } be the set of the elements of w with indices i, i + 1,..., n. Next, let w 2 w 1... w i 1 be the remaining permutation from w, let i 1 < i be the index of its smallest element, i.e. w i1 w j for all j {1,..., i 1}. Since w 2 also satisfies ( ), we have that w i1+1 > w i1+2 >... > w i 1 > w i1. Let S 2 {w i1, w i1+1,..., w i 1 } be the set of these elements. Then construct w 3 w 1..., w i1 1, and get S 3 similarly as before and so on. Let ψ(w) {S 1, S 2,...}. It is clear by construction that this is a set partition. To show that ψ is a bijection, we construct its inverse: Given a set partition {S 1,...}, arrange the sets in order of their minimal elements to get (S 1, S 2,...), so necessarily we have 1 S 1. Let S 1 \ {1} {a 1 > a 2 >... > a r } (i.e. arrange its elements in decreasing order), then we let the last r + 1 elements of the permutation w be 1a 1... a r. Take then S 2, let a 2 0 be its minimal element, arrange the remaining elements in decreasing order a 2 1 > a 2 2 > and glue a 2 0a at the beginning of w. Continue the same way with S 3 etc. It remains to show that the resulting permutation w indeed satisfies ( ). Suppose not, then there exist i < j, s.t. w i < w j < w j+1. The only places where w has ascents is between a r 0 and a r 1 for some r. (Since a r 0 is minimal in S r and also smaller than any a p 0 with p > r by the order we chose for the sets S, we cannot have a r 0 > a r+1 j for any r and j.) But then w j a r 0, and w i < a r 0 with w i S p for some p > r, which contradicts the minimality of a r 0 among S r, S r+1,.... Recursive proof: We have that the numbers B(n) satisfy the following easy recurrence: B(n + 1) n k0 ( ) n B(k). k The same recursion holds for A(n) #A n by establishing a bijection between A n+1 and k {(u, S) u A n k, S [n], #S k}. Let w A n+1, let w i 1, and S {w i+1,..., w n }. Let u w 1... w i 1, i.e. u is the permutation of [i 1] whose elements are arranged in the same relative order as the ones in w 1... w i 1. Clearly u also satisfies ( ). Conversely, given such u and S, construct w ũ1s >, where S > is the elements of S + 1 arranged in decreasing order and ũ is the permutation of [n + 1] \ {1} S in the same order as u. Then w satisfies ( ): otherwise, if w j < w j+1, we must have either w j 1, in which case there is no i with w i < w j 1, or else j + 1 < i, in which case all these entries are in ũ, so u doesn t satisfy ( ). Putting all this together, we have Page 5
6 A(n + 1) k #{(u, S) u A n k, S [n], #S k} k ( ) n A(n k) k and with B(1) A(1) 1 we get that both satisfy the same recursion and initial conditions, soa(n) B(n). Page 6
7 Extra space Page 7
MATH 580, exam II SOLUTIONS
MATH 580, exam II SOLUTIONS Solve the problems in the spaces provided on the question sheets. If you run out of room for an answer, continue on the back of the page or use the Extra space empty page at
More informationABOUT THE CLASS AND NOTES ON SET THEORY
ABOUT THE CLASS AND NOTES ON SET THEORY About the Class Evaluation. Final grade will be based 25%, 25%, 25%, 25%, on homework, midterm 1, midterm 2, final exam. Exam dates. Midterm 1: Oct 4. Midterm 2:
More informationMathematical Structures Combinations and Permutations
Definitions: Suppose S is a (finite) set and n, k 0 are integers The set C(S, k) of k - combinations consists of all subsets of S that have exactly k elements The set P (S, k) of k - permutations consists
More information(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)
MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence
More informationHomework 7 Solutions, Math 55
Homework 7 Solutions, Math 55 5..36. (a) Since a is a positive integer, a = a 1 + b 0 is a positive integer of the form as + bt for some integers s and t, so a S. Thus S is nonempty. (b) Since S is nonempty,
More informationWhat you learned in Math 28. Rosa C. Orellana
What you learned in Math 28 Rosa C. Orellana Chapter 1 - Basic Counting Techniques Sum Principle If we have a partition of a finite set S, then the size of S is the sum of the sizes of the blocks of the
More information1 Take-home exam and final exam study guide
Math 215 - Introduction to Advanced Mathematics Fall 2013 1 Take-home exam and final exam study guide 1.1 Problems The following are some problems, some of which will appear on the final exam. 1.1.1 Number
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 informationLecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya
BBM 205 Discrete Mathematics Hacettepe University http://web.cs.hacettepe.edu.tr/ bbm205 Lecture 4: Counting, Pigeonhole Principle, Permutations, Combinations Lecturer: Lale Özkahya Resources: Kenneth
More informationDiscrete Mathematics & Mathematical Reasoning Chapter 6: Counting
Discrete Mathematics & Mathematical Reasoning Chapter 6: Counting Kousha Etessami U. of Edinburgh, UK Kousha Etessami (U. of Edinburgh, UK) Discrete Mathematics (Chapter 6) 1 / 39 Chapter Summary The Basics
More informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More informationLecture 8: Equivalence Relations
Lecture 8: Equivalence Relations 1 Equivalence Relations Next interesting relation we will study is equivalence relation. Definition 1.1 (Equivalence Relation). Let A be a set and let be a relation on
More informationChapter 5: Integer Compositions and Partitions and Set Partitions
Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Winter 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Winter 2017 1 / 32 5.1. Compositions A strict
More informationMATH 802: ENUMERATIVE COMBINATORICS ASSIGNMENT 2
MATH 80: ENUMERATIVE COMBINATORICS ASSIGNMENT KANNAPPAN SAMPATH Facts Recall that, the Stirling number S(, n of the second ind is defined as the number of partitions of a [] into n non-empty blocs. We
More informationJuggling card sequences
Juggling card sequences Steve Butler Fan Chung Jay Cummings Ron Graham Abstract Juggling patterns can be described by a sequence of cards which keep track of the relative order of the balls at each step.
More informationCS1800 Discrete Structures Spring 2018 February CS1800 Discrete Structures Midterm Version A
CS1800 Discrete Structures Spring 2018 February 2018 CS1800 Discrete Structures Midterm Version A Instructions: 1. The exam is closed book and closed notes. You may not use a calculator or any other electronic
More informationMath 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours
Math 120. Groups and Rings Midterm Exam (November 8, 2017) 2 Hours Name: Please read the questions carefully. You will not be given partial credit on the basis of having misunderstood a question, and please
More informationChapter 5: Integer Compositions and Partitions and Set Partitions
Chapter 5: Integer Compositions and Partitions and Set Partitions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 5: Compositions and Partitions Math 184A / Fall 2017 1 / 46 5.1. Compositions A strict
More informationThe Inclusion Exclusion Principle
The Inclusion Exclusion Principle 1 / 29 Outline Basic Instances of The Inclusion Exclusion Principle The General Inclusion Exclusion Principle Counting Derangements Counting Functions Stirling Numbers
More informationPartition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example
Partition of Integers into Even Summands We ask for the number of partitions of m Z + into positive even integers The desired number is the coefficient of x m in + x + x 4 + ) + x 4 + x 8 + ) + x 6 + x
More informationMATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.
MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X. Notation 2 A set can be described using set-builder notation. That is, a set can be described
More informationAny Wizard of Oz fans? Discrete Math Basics. Outline. Sets. Set Operations. Sets. Dorothy: How does one get to the Emerald City?
Any Wizard of Oz fans? Discrete Math Basics Dorothy: How does one get to the Emerald City? Glynda: It is always best to start at the beginning Outline Sets Relations Proofs Sets A set is a collection of
More informationMidterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5
Department of Mathematical Sciences Instructor: Daiva Pucinskaite Modern Algebra June 22, 2017 Midterm Exam There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of
More informationName (please print) Mathematics Final Examination December 14, 2005 I. (4)
Mathematics 513-00 Final Examination December 14, 005 I Use a direct argument to prove the following implication: The product of two odd integers is odd Let m and n be two odd integers Since they are odd,
More informationChapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula
Chapter 7. Inclusion-Exclusion a.k.a. The Sieve Formula Prof. Tesler Math 184A Fall 2019 Prof. Tesler Ch. 7. Inclusion-Exclusion Math 184A / Fall 2019 1 / 25 Venn diagram and set sizes A = {1, 2, 3, 4,
More informationUNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 2011
UNIVERSITY OF MICHIGAN UNDERGRADUATE MATH COMPETITION 28 APRIL 7, 20 Instructions. Write on the front of your blue book your student ID number. Do not write your name anywhere on your blue book. Each question
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 informationRED. Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam
RED Name: Instructor: Pace Nielsen Math 290 Section 1: Winter 2014 Final Exam Note that the first 10 questions are true-false. Mark A for true, B for false. Questions 11 through 20 are multiple choice
More informationare the q-versions of n, n! and . The falling factorial is (x) k = x(x 1)(x 2)... (x k + 1).
Lecture A jacques@ucsd.edu Notation: N, R, Z, F, C naturals, reals, integers, a field, complex numbers. p(n), S n,, b(n), s n, partition numbers, Stirling of the second ind, Bell numbers, Stirling of the
More informationMajor Index for 01-Fillings of Moon Polyominoes
Major Index for 0-Fillings of Moon Polyominoes William Y.C. Chen a,, Svetlana Poznanović b, Catherine H. Yan a,b,2 and Arthur L.B. Yang a, a Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin
More information1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1
KOÇ UNIVERSITY FALL 011 MATH 554 MANIFOLDS MIDTERM 1 OCTOBER 7 INSTRUCTOR: BURAK OZBAGCI 180 Minutes Solutions by Fatih Çelik PROBLEM 1 (0 points): Let N = (0 0 1) be the north pole in the sphere S R 3
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 informationAll numbered readings are from Beck and Geoghegan s The art of proof.
MATH 301. Assigned readings and homework All numbered readings are from Beck and Geoghegan s The art of proof. Reading Jan 30, Feb 1: Chapters 1.1 1.2 Feb 6, 8: Chapters 1.3 2.1 Feb 13, 15: Chapters 2.2
More informationApplications of Chromatic Polynomials Involving Stirling Numbers
Applications of Chromatic Polynomials Involving Stirling Numbers A. Mohr and T.D. Porter Department of Mathematics Southern Illinois University Carbondale, IL 6290 tporter@math.siu.edu June 23, 2008 The
More informationMath 109 September 1, 2016
Math 109 September 1, 2016 Question 1 Given that the proposition P Q is true. Which of the following must also be true? A. (not P ) or Q. B. (not Q) implies (not P ). C. Q implies P. D. A and B E. A, B,
More informationPutnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson.
1 Introduction Greedy Algorithms May 0, 2016 Cody Johnson ctj@math.cmu.edu A greedy algorithm is an algorithm that chooses the optimal choice in the short run. 2 Examples 1. Prove that every nonnegative
More informationNotes on counting. James Aspnes. December 13, 2010
Notes on counting James Aspnes December 13, 2010 1 What counting is Recall that in set theory we formally defined each natural number as the set of all smaller natural numbers, so that n = {0, 1, 2,...,
More informationMathematical Fundamentals
Mathematical Fundamentals Sets Factorials, Logarithms Recursion Summations, Recurrences Proof Techniques: By Contradiction, Induction Estimation Techniques Data Structures 1 Mathematical Fundamentals Sets
More informationNotes. Combinatorics. Combinatorics II. Notes. Notes. Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry. Spring 2006
Combinatorics Slides by Christopher M. Bourke Instructor: Berthe Y. Choueiry Spring 2006 Computer Science & Engineering 235 Introduction to Discrete Mathematics Sections 4.1-4.6 & 6.5-6.6 of Rosen cse235@cse.unl.edu
More informationA BIJECTION BETWEEN WELL-LABELLED POSITIVE PATHS AND MATCHINGS
Séminaire Lotharingien de Combinatoire 63 (0), Article B63e A BJECTON BETWEEN WELL-LABELLED POSTVE PATHS AND MATCHNGS OLVER BERNARD, BERTRAND DUPLANTER, AND PHLPPE NADEAU Abstract. A well-labelled positive
More informationMCS 256 Discrete Calculus and Probability Exam 5: Final Examination 22 May 2007
MCS 256 Discrete Calculus and Probability SOLUTIONS Exam 5: Final Examination 22 May 2007 Instructions: This is a closed-book examination. You may, however, use one 8.5 -by-11 page of notes, your note
More information1. How many labeled trees are there on n vertices such that all odd numbered vertices are leaves?
1. How many labeled trees are there on n vertices such that all odd numbered vertices are leaves? This is most easily done by Prüfer codes. The number of times a vertex appears is the degree of the vertex.
More informationMath 105A HW 1 Solutions
Sect. 1.1.3: # 2, 3 (Page 7-8 Math 105A HW 1 Solutions 2(a ( Statement: Each positive integers has a unique prime factorization. n N: n = 1 or ( R N, p 1,..., p R P such that n = p 1 p R and ( n, R, S
More informationPart IA. Numbers and Sets. Year
Part IA Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2017 19 Paper 4, Section I 1D (a) Show that for all positive integers z and n, either z 2n 0 (mod 3) or
More informationPROBABILITY VITTORIA SILVESTRI
PROBABILITY VITTORIA SILVESTRI Contents Preface. Introduction 2 2. Combinatorial analysis 5 3. Stirling s formula 8 4. Properties of Probability measures Preface These lecture notes are for the course
More informationFINAL EXAM Math 25 Temple-F06
FINAL EXAM Math 25 Temple-F06 Write solutions on the paper provided. Put your name on this exam sheet, and staple it to the front of your finished exam. Do Not Write On This Exam Sheet. Problem 1. (Short
More informationCSE548, AMS542: Analysis of Algorithms, Fall 2017 Date: October 11. In-Class Midterm. ( 7:05 PM 8:20 PM : 75 Minutes )
CSE548, AMS542: Analysis of Algorithms, Fall 2017 Date: October 11 In-Class Midterm ( 7:05 PM 8:20 PM : 75 Minutes ) This exam will account for either 15% or 30% of your overall grade depending on your
More informationABSTRACT. Department of Mathematics. interesting results. A graph on n vertices is represented by a polynomial in n
ABSTRACT Title of Thesis: GRÖBNER BASES WITH APPLICATIONS IN GRAPH THEORY Degree candidate: Angela M. Hennessy Degree and year: Master of Arts, 2006 Thesis directed by: Professor Lawrence C. Washington
More informationFibonacci Number of the Tadpole Graph
Kennesaw State University DigitalCommons@Kennesaw State University Faculty Publications 9-1-2014 Fibonacci Number of the Tadpole Graph Joe DeMaio Kennesaw State University, jdemaio@kennesaw.edu John Jacobson
More information2. A vertex in G is central if its greatest distance from any other vertex is as small as possible. This distance is the radius of G.
CME 305: Discrete Mathematics and Algorithms Instructor: Reza Zadeh (rezab@stanford.edu) HW#1 Due at the beginning of class Thursday 01/21/16 1. Prove that at least one of G and G is connected. Here, G
More informationProbability & Combinatorics Test and Solutions February 18, 2012
1. A standard 12-hour clock has hour, minute, and second hands. How many times do two hands cross between 1:00 and 2:00 (not including 1:00 and 2:00 themselves)? Answer: 119 Solution: We know that the
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationDate: October 24, 2008, Friday Time: 10:40-12:30. Math 123 Abstract Mathematics I Midterm Exam I Solutions TOTAL
Date: October 24, 2008, Friday Time: 10:40-12:30 Ali Sinan Sertöz Math 123 Abstract Mathematics I Midterm Exam I Solutions 1 2 3 4 5 TOTAL 20 20 20 20 20 100 Please do not write anything inside the above
More informationMATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017
MATH 220 (all sections) Homework #12 not to be turned in posted Friday, November 24, 2017 Definition: A set A is finite if there exists a nonnegative integer c such that there exists a bijection from A
More informationThe Gaussian coefficient revisited
The Gaussian coefficient revisited Richard EHRENBORG and Margaret A. READDY Abstract We give new -(1+)-analogue of the Gaussian coefficient, also now as the -binomial which, lie the original -binomial
More information6 CARDINALITY OF SETS
6 CARDINALITY OF SETS MATH10111 - Foundations of Pure Mathematics We all have an idea of what it means to count a finite collection of objects, but we must be careful to define rigorously what it means
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationMath 430 Exam 1, Fall 2006
c IIT Dept. Applied Mathematics, October 21, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 1, Fall 2006 These theorems may be cited at any time during the test by stating By
More informationDiscrete Mathematics, Spring 2004 Homework 4 Sample Solutions
Discrete Mathematics, Spring 2004 Homework 4 Sample Solutions 4.2 #77. Let s n,k denote the number of ways to seat n persons at k round tables, with at least one person at each table. (The numbers s n,k
More informationSets are one of the basic building blocks for the types of objects considered in discrete mathematics.
Section 2.1 Introduction Sets are one of the basic building blocks for the types of objects considered in discrete mathematics. Important for counting. Programming languages have set operations. Set theory
More informationSolutions to Homework Problems
Solutions to Homework Problems November 11, 2017 1 Problems II: Sets and Functions (Page 117-118) 11. Give a proof or a counterexample of the following statements: (vi) x R, y R, xy 0; (x) ( x R, y R,
More informationCSE 20 DISCRETE MATH. Fall
CSE 20 DISCRETE MATH Fall 2017 http://cseweb.ucsd.edu/classes/fa17/cse20-ab/ Today's learning goals Define and compute the cardinality of a set. Use functions to compare the sizes of sets. Classify sets
More informationInvertible Matrices over Idempotent Semirings
Chamchuri Journal of Mathematics Volume 1(2009) Number 2, 55 61 http://www.math.sc.chula.ac.th/cjm Invertible Matrices over Idempotent Semirings W. Mora, A. Wasanawichit and Y. Kemprasit Received 28 Sep
More informationSUMS PROBLEM COMPETITION, 2000
SUMS ROBLEM COMETITION, 2000 SOLUTIONS 1 The result is well known, and called Morley s Theorem Many proofs are known See for example HSM Coxeter, Introduction to Geometry, page 23 2 If the number of vertices,
More informationMath 110 (Fall 2018) Midterm II (Monday October 29, 12:10-1:00)
Math 110 (Fall 2018) Midterm II (Monday October 29, 12:10-1:00) Name: SID: Please write clearly and legibly. Justify your answers. Partial credits may be given to Problems 2, 3, 4, and 5. The last sheet
More information2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.
2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is
More informationMATH Midterm Exam 2 Solutions
MATH 290-001 Midterm Exam 2 Solutions Professor Goldin April 1, 2013 Please write your work carefully in the space provided. You are welcome to rewrite your proofs, but if you do so please circle the part
More informationPUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes
PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES Notes. x n+ = ax n has the general solution x n = x a n. 2. x n+ = x n + b has the general solution x n = x + (n )b. 3. x n+ = ax n + b (with a ) can be
More informationMATH 10B METHODS OF MATHEMATICS: CALCULUS, STATISTICS AND COMBINATORICS
MATH 10B METHODS OF MATHEMATICS: CALCULUS, STATISTICS AND COMBINATORICS Lior Pachter and Lawrence C. Evans Department of Mathematics University of California Berkeley, CA 94720 January 21, 2013 Lior Pachter
More informationPLEASE DO ANY 6 of the following 8 problems. Work carefully
Ma2201/CS2022 Discrete Mathematics D Term, 2016 FINAL EXAM PRINT NAME NEATLY: SIGN : PLEASE DO ANY 6 of the following 8 problems. Work carefully and neatly. 1. (5 pts) A tech company currently has 5 programmers,
More informationSolution. 1 Solutions of Homework 1. 2 Homework 2. Sangchul Lee. February 19, Problem 1.2
Solution Sangchul Lee February 19, 2018 1 Solutions of Homework 1 Problem 1.2 Let A and B be nonempty subsets of R + :: {x R : x > 0} which are bounded above. Let us define C = {xy : x A and y B} Show
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
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 informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +
More informationDO NOT OPEN THIS QUESTION BOOKLET UNTIL YOU ARE TOLD TO DO SO
QUESTION BOOKLET EECS 227A Fall 2009 Midterm Tuesday, Ocotober 20, 11:10-12:30pm DO NOT OPEN THIS QUESTION BOOKLET UNTIL YOU ARE TOLD TO DO SO You have 80 minutes to complete the midterm. The midterm consists
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
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 information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationMATH475 SAMPLE EXAMS.
MATH75 SAMPLE EXAMS Exam How many ways are there to distribute 8 different toys and 8 identical candy to children a without restrictions; b if first child should get exactly toys; c if the first child
More informationMULTI-RESTRAINED STIRLING NUMBERS
MULTI-RESTRAINED STIRLING NUMBERS JI YOUNG CHOI DEPARTMENT OF MATHEMATICS SHIPPENSBURG UNIVERSITY SHIPPENSBURG, PA 17257, U.S.A. Abstract. Given positive integers n, k, and m, the (n, k)-th m- restrained
More informationMath Fall 2014 Final Exam Solutions
Math 2001-003 Fall 2014 Final Exam Solutions Wednesday, December 17, 2014 Definition 1. The union of two sets X and Y is the set X Y consisting of all objects that are elements of X or of Y. The intersection
More informationName: Solutions Final Exam
Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Put your name on each page of your paper. 1. [10 Points] For
More informationDiscrete Math I Exam II (2/9/12) Page 1
Discrete Math I Exam II (/9/1) Page 1 Name: Instructions: Provide all steps necessary to solve the problem. Simplify your answer as much as possible. Additionally, clearly indicate the value or expression
More informationMatrix compositions. Emanuele Munarini. Dipartimento di Matematica Politecnico di Milano
Matrix compositions Emanuele Munarini Dipartimento di Matematica Politecnico di Milano emanuelemunarini@polimiit Joint work with Maddalena Poneti and Simone Rinaldi FPSAC 26 San Diego Motivation: L-convex
More informationOn the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras
On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras Peter Freyd pjf@upenn.edu July 17, 2017 The theory of Heyting Semi-Lattices, hsls for short, is obtained by adding to the theory
More informationChapter Generating Functions
Chapter 8.1.1-8.1.2. Generating Functions Prof. Tesler Math 184A Fall 2017 Prof. Tesler Ch. 8. Generating Functions Math 184A / Fall 2017 1 / 63 Ordinary Generating Functions (OGF) Let a n (n = 0, 1,...)
More informationCarleton University. Final Examination Fall DURATION: 2 HOURS No. of students: 223
Carleton University Final Examination Fall 2016 DURATION: 2 HOURS No. of students: 223 Department Name & Course Number: Computer Science COMP 2804A Course Instructor: Michiel Smid Authorized memoranda:
More informationQuestion: Total. Points:
MATH 200, Lec 2 November 20, 2006 Second Midterm Name: ID: Question: 1 2 3 4 5 6 Total Points: 10 10 10 5 10 10 55 Score: There are 6 problems in this exam. The pages are printed on both sides. Make sure
More informationFoundations of Mathematics
Foundations of Mathematics L. Pedro Poitevin 1. Preliminaries 1.1. Sets We will naively think of a set as a collection of mathematical objects, called its elements or members. To indicate that an object
More informationMAT246H1S - Concepts In Abstract Mathematics. Solutions to Term Test 1 - February 1, 2018
MAT246H1S - Concepts In Abstract Mathematics Solutions to Term Test 1 - February 1, 2018 Time allotted: 110 minutes. Aids permitted: None. Comments: Statements of Definitions, Principles or Theorems should
More informationName: Student ID: Instructions:
Instructions: Name: CSE 322 Autumn 2001: Midterm Exam (closed book, closed notes except for 1-page summary) Total: 100 points, 5 questions, 20 points each. Time: 50 minutes 1. Write your name and student
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationProblem #1 #2 #3 #4 Extra Total Points /3 /13 /7 /10 /4 /33
STAT/MATH 394 A - Autumn Quarter 206 - Midterm - October 2, 206 Name: Student ID Number: Problem # #2 #3 #4 Extra Total Points /3 /3 /7 /0 /4 /33 Read directions carefully and show all your work. Particularly,
More informationOne side of each sheet is blank and may be used as scratch paper.
Math 301 Fall 2017 (Practice) Midterm Exam 1 10/3/2017 Time Limit: 1 hour and 15 minutes Name: One side of each sheet is blank and may be used as scratch paper. Show your work clearly. Grade Table (for
More informationMidterm Exam 2 Solutions
Algorithm Design and Analysis November 12, 2010 Pennsylvania State University CSE 565, Fall 2010 Professor Adam Smith Exam 2 Solutions Problem 1 (Miscellaneous). Midterm Exam 2 Solutions (a) Your friend
More informationMATH 556: PROBABILITY PRIMER
MATH 6: PROBABILITY PRIMER 1 DEFINITIONS, TERMINOLOGY, NOTATION 1.1 EVENTS AND THE SAMPLE SPACE Definition 1.1 An experiment is a one-off or repeatable process or procedure for which (a there is a well-defined
More informationSets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).
Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any
More informationLecture Notes on Discrete Mathematics. October 15, 2018 DRAFT
Lecture Notes on Discrete Mathematics October 15, 2018 2 Contents 1 Basic Set Theory 5 1.1 Basic Set Theory....................................... 5 1.1.1 Union and Intersection of Sets...........................
More informationBasic counting techniques. Periklis A. Papakonstantinou Rutgers Business School
Basic counting techniques Periklis A. Papakonstantinou Rutgers Business School i LECTURE NOTES IN Elementary counting methods Periklis A. Papakonstantinou MSIS, Rutgers Business School ALL RIGHTS RESERVED
More informationMath 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction
Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If
More information