University of Twente The Netherlands
|
|
- Dinah Baldwin
- 5 years ago
- Views:
Transcription
1 Faculty of Mathematical Scieces t Uiversity of Twete The Netherlads P.O. Box AE Eschede The Netherlads Phoe: Fax: memo@math.utwete.l Memoradum No. 59 Hoede-sequeces F. Göbel November 00 ISSN
2 Hoede-sequeces F. Göbel Faculity of Mathematical Scieces Uiversity of Twete P.O. Box AE Eschede The Netherlads October 5, 00 Abstract I a attempt to prove the double-cycle-cojecture for cubic graphs, C. Hoede formulated the followig combiatorial problem. Give a partitio of {,,...,3} ito equal classes, is it possible to choose from each class a umber such that these umbers form a icreasig sequece of alteratig parity? Let a Hoede-sequece be defied as a icreasig sequece of atural umbers of alteratig parity. We determie the average umber of Hoede-sequeces w.r.t. arbitrary partitios, ad obtai bouds for the maximum ad miimum umber of Hoede-sequeces w.r.t. partitios ito equal classes. Key words: Icreasig sequeces, alteratig parity. AMS Subject Classificatios: 05A5, 05A6, 05A8. Itroductio ad summary A Hoede-sequece is a icreasig sequece of atural umbers of alteratig parity. Let P be a partitio of N,whereN = {,,...,}. A Hoede-sequece w.r.t. P is a Hoede-sequece for which a bijectio exists betwee its terms ad the parts of P such that the image of each term t cotais t.
3 Example. Let P be the followig partitio of N 8 : {, }, {3, 5, 8}, {4, 6, 7}. The,3,4 is a Hoede-sequece w.r.t. P as well as,4,5 ad three more. Cojecture. (Hoede []. Each partitio P of N 3 ito sets of cardiality 3 admits a Hoede-sequece w.r.t. P. The cojecture arose i a attempt to prove the double-cycle-cojecture for cubic graphs. To each partitio P of N, a partitio of the umber correspods, the parts of which are the cardialities of the parts P. We call this partitio of the iduced partitio of P. A partitio Q of a umber is admissible if each partitio P of N for which Q is the iduced partitio, admits a Hoede-sequece w.r.t. P ;otherwiseit is forbidde. Hoede s cojecture ca ow be reformulated as: the partitio 3 is admissible for all. Obviously, a admissible partitio cotiues to be admissible if parts are deleted. Coversely, a forbidde partitio cotiues to be forbidde if parts are supplied. So forbidde partitios are i fact forbidde subpartitios, aalogous to the cocept of forbidde subgraphs i graph theory. I Sectio ad 3 we preset some examples of forbidde ad admissible partitios, respectively. Sectio 4 is dedicated to a auxiliary result, viz. the umber of Hoede-sequeces of legth with terms i N m. This result is applied i Sectio 5 to determie the average umber of Hoede-sequeces w.r.t. arbitrary partitios, i particular partitios ito equal parts. I the fial Sectio 6 we cosider partitio ito equal parts for which the umber of Hoede-sequeces is maximum or miimum, respectively. We cojecture that the umber of Hoede-sequeces w.r.t. partitios of N 3 ito equal classes is at least the Fiboacci umber F +3. Forbidde partitios Propositio. The followig partitios are forbidde. (a k,, (k, (b k,,, (k, (c p, q,, (p, q,
4 (d p, q,r,, (p, q, r. Proof. (a Take {}, {, 3,...,k +}, {k +}. (b Take {}, {3}, {5}, {the rest}. (c Take {},P = {, 3,...,p +},Q = {p +, p +q +3},R = {p + 3,...,p +q +}. Now is forced, as well as a eve umber from P. Whether the third (odd umber is chose from Q or from R, cotiuatio is ot possible. (d Take A = {, p+}, B = {,...,p+}, C = {p+3,...,(p+q+}, D = {(p+q+3, (p+q+r+4}, E = {(p+q+4,...,(p+q+r+3}. ThefirsttwoumbersmustcomefromA B. Also,thefirstumber must be odd. The third umber must come from C ad it has to be odd. Now it is clear that a cotiuatio is ot possible. Example for case (d. Take p = q = r =. The A = {, 6}, B = {, 3, 4, 5}, C= {7, 8, 9, 0}, D= {, 6}, E= {, 3, 4, 5}. Propositio. Let k be a iteger. If P is a partitio of ito k + parts i which k parts occur with sum [ ],thep is forbidde. Proof. Let P be a partitio of N for which P of above is the iduced partitio, ad let V,...,V k be subsets i P with k V i [ ]. Now put all eve umbers i k V i. Example. Let k =, = 40. The the followig partitio of 40 is forbidde accordig to the above result:,9,6,5,5,4. 3 Admissible partitios Propositio 3. Each partitio of ito 3 parts, ot of the form k,,, is admissible. Proof. Let A, B, C be the three parts, ad let A. Letk be the largest umber for which,,...,k A, adletk + B. We distiguish two cases: k =adk. 3
5 k =.IfCcotais a odd umber we are through. So let all odd umbers (of N beia B. SiceC is ot empty, we ca assume that the largest umber i C is q. If ay of the umbers 3, 5,...,q isia, weare through. So assume 3, 5,...,q B. If C cotais a eve umber x < q, the,x,q is admissible. If ot, the C cotais oly the umber k. Hece all eve umbers 4, 6,...,q areia B (as well as all larger eve umbers if q +. If A cotais a eve umber q, we are through. So suppose these umbers too are i B. Up to ow we kow that A,, 3, 4,...,q B, q C. If there are o more umbers, we have a forbidde partitio. I the remaiig cases, q + A or q + B, ad a Hoede-sequece exists. k. It is coveiet to use the followig otatio: k 0 idicates a atural umber of the same parity as k; k a umber of the opposite parity. If k 0 C, we are through. So assume all k 0 N are i A B. Letk be the largest elemet i C. IfA cotais a k 0 with k<k 0 <k,theweare through: take k +, k 0, k. So suppose all these k 0 are i B. Iparticular k + B. Hece or, k +,k is a Hoede-sequece. 4 The umber of Hoede-sequeces Let H m, be the umber of Hoede-sequeces of legth with terms i N m. ( m+ ( m+ Propositio 4. If m + is eve, H m, = +,ad ( m+ if m + is odd, H m, =. Proof. Let m + be odd. Cosider a Hoede-sequece of which the first term is odd. If m is odd ad eve, the the last term is eve, so all terms ca be icreased by ad we obtai a Hoede-seuqce i N m with first term eve. Coversely, i a Hoedesequece with first term eve, all terms ca be decreased by, etc. Similarly, if m is eve ad is odd, the too, the umbers of Hoede-sequeces with eve ad odd first terms are equal. So it suffices to prove (i ( the case m + m+ odd that the umber of sequeces with first term odd is. Let (i,i,...,i be a combiatio of from N m+ (with i <i <...< i. The (i, i,...,i is a Hoede-sequece i N m (i fact 4
6 i N m with odd first term. It is clear that this map is a bijectio. This proves the formula for H m, whe m + is odd. Let m + be eve ad let (i,i,...,i be a combiatio of from N m+ with i <i <... < i. The (i, i,...,i is a Hoedesequece of legth from N m with odd first term. The combiatios of from N m+ correspod to the Hoede-sequeces with eve first term: (i, i,...,i +. I Table we give H m, for m Table Propositio 5. (a H m, = H m, +H m, (m,m. (b If m + is eve, the H m, = m ( m+. m + Proof. These results follow easily from Propositio 4. Propositio 6. The umber of Hoede-sequeces with terms i N m is give by m H m, = F m+3, where F m is the m-th Fiboacci-umber, defied = by F = F =,F m = F m + F m (m 3. Proof. Defie S m =+ m H m,. = 5
7 The S =+H, =3,S =+(+=5. Itissufficiettoprove S m = S m + S m for m 3. We prove this by iductio, usig the recursio of Propositio 5. m m S m + S m =4+ H m, + H m, = m 3 = m = = H m, + H m,m + H m, H m, + H m, = = m (H m, + H m, +H m,m + H m,m + H m,, = ad this reduces to S m. Remark. Both Table ad the formula for m H m, practically force us to defie H m,0 as. This is quite uusual: the umber of empty sets is, the empty product is, to metio two examples. It seems that the parity of the first term is iherited from the ature of the empty Hoede-sequece. = 5 The average umber of Hoede-sequeces w.r.t. partitios ito equal parts Let N k be partitioed ito classes of cardiality k. The umber of such partitios is A,k = (k!!(k!. From Propositios 4 ad 5 we kow that the total umber of differet Hoedesequeces that occur i these partitios is give by ( k+ H k, = ( k k+ k + 6 if k eve, odd, otherwise.
8 The umber of times a fixed Hoede-sequece occurs i the above partitios is B,k = (k!!((k!! So the avarage umber of Hoede-sequeces per partitio is H k,b,k A,k which reduces to H k,k. Substitutig the formulas for H ( k,k, we obtai the followig result. Propositio 7. If N k is partitioed ito classes of cardiality k, the the average umber Q,k of Hoede-sequeces w.r.t. a partitio is give by Q,k = ( k+ ( k ( k+ k k + (k+( k if k eve, odd, otherwise. Example Take =3,k =. The umber of partitios of N 6 ito equal classes of cardiality is A 3, = 5. The umber of Hoede-sequeces is H 6,3 = 8. See Table below. Obvioulsy, for a give Hoede-sequece there are 3! partitios i which it occurs. So i this simple case B 3, =6. The total umbers of ticks i Table is 8 6, so the average per partitio is 48/5 = 3.. 7
9 /34/56 /35/46 /36/45 3/4/56 3/5/46 3/6/45 4/3/56 4/5/36 4/6/35 5/3/46 5/4/36 5/6/34 6/3/45 6/4/35 6/5/34 Table Remark. The average ca be calculated also for arbitrary partitios of N m, followig the above method. Propositio 8. Q, Q,3 ( Proof. Apply Stirlig s formula. ( ( =s +, ( ( =s 4 (. 6 Extreme values Let M,k be the maximum umber of Hoede-sequeces over all partitios of N k ito classes of cardiality k. Propositio 9. If is eve, the ( k + M,k + ( k. 8
10 Proof. First we partitio N k ito classes of k successive umbers each: A = {,...,k}, A = {k +,...,4k}, etcetera. The take A i = B i C i where B i ad C i cosist of the odd ad the eve umbers, respectively, from A i. It is easily see that the umber of Hoede-sequeces is ( k+ or ( k, depedig o whether the first term of the sequece is odd or eve. Cojecture. If is eve, the M,k = ( k+ + ( k. We do ot have a upper boud for M,k which is substatially better tha the trivial k. Let m,k be the miimum umber of Hoede-sequeces over all partitios of N k ito classes of cardiality k. From Propositio, case d, we kow that m m, =0for 5. It is a easy puzzle to show that m, =for 4. This deals with the case k =. Hoede s cojecture is equivalet with m,3 > 0. Propositio 0. m,3 F +3. Proof. Trivially m,3 =3,m,3 = 5. For the geeral case, cosider the series of partitios suggested by the followig list. =: 3, =: 6/3 45, =3: 9/3 78/4 56, =4: /3 0/4 59/6 78, =5: 5/3 34/4 5/6 0/7 89. Fix. Cosider the Hoede-sequece t i (i =,..., w.r.t. to a partitio as above with t =ort =. From the partitio delete the set {,, 3} ad replace the other umbers t i N 3 by 3 t. This gives the partitio for ad we have a bijectio to Hoede-sequeces w.r.t. our partitio for. Now cosider a Hoede-sequece t i (i =,...,witht 3. Note that oly odd umbers for t are possible ad that t =3. From the partitio of N 3 delete the sets {,, 3} ad {3, 3, 3 }, ad replace the other umbers t i N 3 by t 3. This gives the partitio for. If the reduced 9
11 Hoede-sequece starts with 0, the delete 0 ad the fial term 3 3. If it starts with a umber greater tha 0, the delete the two fial terms (which must be 3 4ad3 3. Agai we have a bijectio ad the well-kow recursio for the Fiboacci-sequece holds. Cojecture 3. m,3 = F +3. Remark. Note that Cojuecture 3 is substatially stroger tha Hoede s Cojecture. The explicite form of our cojectured lower boud may provide a idicatio for a method of proof. Refereces [] C. Hoede, Private commuicatio. 0
Homework 3. = k 1. Let S be a set of n elements, and let a, b, c be distinct elements of S. The number of k-subsets of S is
Homewor 3 Chapter 5 pp53: 3 40 45 Chapter 6 p85: 4 6 4 30 Use combiatorial reasoig to prove the idetity 3 3 Proof Let S be a set of elemets ad let a b c be distict elemets of S The umber of -subsets of
More informationP. Z. Chinn Department of Mathematics, Humboldt State University, Arcata, CA
RISES, LEVELS, DROPS AND + SIGNS IN COMPOSITIONS: EXTENSIONS OF A PAPER BY ALLADI AND HOGGATT S. Heubach Departmet of Mathematics, Califoria State Uiversity Los Ageles 55 State Uiversity Drive, Los Ageles,
More informationTHE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS
THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS DEMETRES CHRISTOFIDES Abstract. Cosider a ivertible matrix over some field. The Gauss-Jorda elimiatio reduces this matrix to the idetity
More informationMath 155 (Lecture 3)
Math 55 (Lecture 3) September 8, I this lecture, we ll cosider the aswer to oe of the most basic coutig problems i combiatorics Questio How may ways are there to choose a -elemet subset of the set {,,,
More informationCommutativity in Permutation Groups
Commutativity i Permutatio Groups Richard Wito, PhD Abstract I the group Sym(S) of permutatios o a oempty set S, fixed poits ad trasiet poits are defied Prelimiary results o fixed ad trasiet poits are
More informationHoggatt and King [lo] defined a complete sequence of natural numbers
REPRESENTATIONS OF N AS A SUM OF DISTINCT ELEMENTS FROM SPECIAL SEQUENCES DAVID A. KLARNER, Uiversity of Alberta, Edmoto, Caada 1. INTRODUCTION Let a, I deote a sequece of atural umbers which satisfies
More informationLONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES
J Lodo Math Soc (2 50, (1994, 465 476 LONG SNAKES IN POWERS OF THE COMPLETE GRAPH WITH AN ODD NUMBER OF VERTICES Jerzy Wojciechowski Abstract I [5] Abbott ad Katchalski ask if there exists a costat c >
More informationIntegrable Functions. { f n } is called a determining sequence for f. If f is integrable with respect to, then f d does exist as a finite real number
MATH 532 Itegrable Fuctios Dr. Neal, WKU We ow shall defie what it meas for a measurable fuctio to be itegrable, show that all itegral properties of simple fuctios still hold, ad the give some coditios
More informationMAT1026 Calculus II Basic Convergence Tests for Series
MAT026 Calculus II Basic Covergece Tests for Series Egi MERMUT 202.03.08 Dokuz Eylül Uiversity Faculty of Sciece Departmet of Mathematics İzmir/TURKEY Cotets Mootoe Covergece Theorem 2 2 Series of Real
More informationMath 2112 Solutions Assignment 5
Math 2112 Solutios Assigmet 5 5.1.1 Idicate which of the followig relatioships are true ad which are false: a. Z Q b. R Q c. Q Z d. Z Z Z e. Q R Q f. Q Z Q g. Z R Z h. Z Q Z a. True. Every positive iteger
More informationWeek 5-6: The Binomial Coefficients
Wee 5-6: The Biomial Coefficiets March 6, 2018 1 Pascal Formula Theorem 11 (Pascal s Formula For itegers ad such that 1, ( ( ( 1 1 + 1 The umbers ( 2 ( 1 2 ( 2 are triagle umbers, that is, The petago umbers
More informationPairs of disjoint q-element subsets far from each other
Pairs of disjoit q-elemet subsets far from each other Hikoe Eomoto Departmet of Mathematics, Keio Uiversity 3-14-1 Hiyoshi, Kohoku-Ku, Yokohama, 223 Japa, eomoto@math.keio.ac.jp Gyula O.H. Katoa Alfréd
More informationCALCULATION OF FIBONACCI VECTORS
CALCULATION OF FIBONACCI VECTORS Stuart D. Aderso Departmet of Physics, Ithaca College 953 Daby Road, Ithaca NY 14850, USA email: saderso@ithaca.edu ad Dai Novak Departmet of Mathematics, Ithaca College
More informationLinear chord diagrams with long chords
Liear chord diagrams with log chords Everett Sulliva Departmet of Mathematics Dartmouth College Haover New Hampshire, U.S.A. everett..sulliva@dartmouth.edu Submitted: Feb 7, 2017; Accepted: Oct 7, 2017;
More informationON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS
Joural of Algebra, Number Theory: Advaces ad Applicatios Volume, Number, 00, Pages 7-89 ON SOME DIOPHANTINE EQUATIONS RELATED TO SQUARE TRIANGULAR AND BALANCING NUMBERS OLCAY KARAATLI ad REFİK KESKİN Departmet
More informationIt is always the case that unions, intersections, complements, and set differences are preserved by the inverse image of a function.
MATH 532 Measurable Fuctios Dr. Neal, WKU Throughout, let ( X, F, µ) be a measure space ad let (!, F, P ) deote the special case of a probability space. We shall ow begi to study real-valued fuctios defied
More information62. Power series Definition 16. (Power series) Given a sequence {c n }, the series. c n x n = c 0 + c 1 x + c 2 x 2 + c 3 x 3 +
62. Power series Defiitio 16. (Power series) Give a sequece {c }, the series c x = c 0 + c 1 x + c 2 x 2 + c 3 x 3 + is called a power series i the variable x. The umbers c are called the coefficiets of
More informationBeurling Integers: Part 2
Beurlig Itegers: Part 2 Isomorphisms Devi Platt July 11, 2015 1 Prime Factorizatio Sequeces I the last article we itroduced the Beurlig geeralized itegers, which ca be represeted as a sequece of real umbers
More informationRiemann Sums y = f (x)
Riema Sums Recall that we have previously discussed the area problem I its simplest form we ca state it this way: The Area Problem Let f be a cotiuous, o-egative fuctio o the closed iterval [a, b] Fid
More informationRecursive Algorithm for Generating Partitions of an Integer. 1 Preliminary
Recursive Algorithm for Geeratig Partitios of a Iteger Sug-Hyuk Cha Computer Sciece Departmet, Pace Uiversity 1 Pace Plaza, New York, NY 10038 USA scha@pace.edu Abstract. This article first reviews the
More informationDifferent kinds of Mathematical Induction
Differet ids of Mathematical Iductio () Mathematical Iductio Give A N, [ A (a A a A)] A N () (First) Priciple of Mathematical Iductio Let P() be a propositio (ope setece), if we put A { : N p() is true}
More informationDIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS
DIVISIBILITY PROPERTIES OF GENERALIZED FIBONACCI POLYNOMIALS VERNER E. HOGGATT, JR. Sa Jose State Uiversity, Sa Jose, Califoria 95192 ad CALVIN T. LONG Washigto State Uiversity, Pullma, Washigto 99163
More informationWeakly Connected Closed Geodetic Numbers of Graphs
Iteratioal Joural of Mathematical Aalysis Vol 10, 016, o 6, 57-70 HIKARI Ltd, wwwm-hikaricom http://dxdoiorg/101988/ijma01651193 Weakly Coected Closed Geodetic Numbers of Graphs Rachel M Pataga 1, Imelda
More informationIP Reference guide for integer programming formulations.
IP Referece guide for iteger programmig formulatios. by James B. Orli for 15.053 ad 15.058 This documet is iteded as a compact (or relatively compact) guide to the formulatio of iteger programs. For more
More informationDominating Sets and Domination Polynomials of Square Of Cycles
IOSR Joural of Mathematics IOSR-JM) ISSN: 78-78. Volume 3, Issue 4 Sep-Oct. 01), PP 04-14 www.iosrjourals.org Domiatig Sets ad Domiatio Polyomials of Square Of Cycles A. Vijaya 1, K. Lal Gipso 1 Assistat
More informationNICK DUFRESNE. 1 1 p(x). To determine some formulas for the generating function of the Schröder numbers, r(x) = a(x) =
AN INTRODUCTION TO SCHRÖDER AND UNKNOWN NUMBERS NICK DUFRESNE Abstract. I this article we will itroduce two types of lattice paths, Schröder paths ad Ukow paths. We will examie differet properties of each,
More informationsubcaptionfont+=small,labelformat=parens,labelsep=space,skip=6pt,list=0,hypcap=0 subcaption ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, 2/16/2016
subcaptiofot+=small,labelformat=pares,labelsep=space,skip=6pt,list=0,hypcap=0 subcaptio ALGEBRAIC COMBINATORICS LECTURE 8 TUESDAY, /6/06. Self-cojugate Partitios Recall that, give a partitio λ, we may
More informationFall 2013 MTH431/531 Real analysis Section Notes
Fall 013 MTH431/531 Real aalysis Sectio 8.1-8. Notes Yi Su 013.11.1 1. Defiitio of uiform covergece. We look at a sequece of fuctios f (x) ad study the coverget property. Notice we have two parameters
More informationSequences of Definite Integrals, Factorials and Double Factorials
47 6 Joural of Iteger Sequeces, Vol. 8 (5), Article 5.4.6 Sequeces of Defiite Itegrals, Factorials ad Double Factorials Thierry Daa-Picard Departmet of Applied Mathematics Jerusalem College of Techology
More informationThe minimum value and the L 1 norm of the Dirichlet kernel
The miimum value ad the L orm of the Dirichlet kerel For each positive iteger, defie the fuctio D (θ + ( cos θ + cos θ + + cos θ e iθ + + e iθ + e iθ + e + e iθ + e iθ + + e iθ which we call the (th Dirichlet
More informationAlliance Partition Number in Graphs
Alliace Partitio Number i Graphs Lida Eroh Departmet of Mathematics Uiversity of Wiscosi Oshkosh, Oshkosh, WI email: eroh@uwoshedu, phoe: (90)44-7343 ad Ralucca Gera Departmet of Applied Mathematics Naval
More informationMath 2784 (or 2794W) University of Connecticut
ORDERS OF GROWTH PAT SMITH Math 2784 (or 2794W) Uiversity of Coecticut Date: Mar. 2, 22. ORDERS OF GROWTH. Itroductio Gaiig a ituitive feel for the relative growth of fuctios is importat if you really
More informationChapter 7 COMBINATIONS AND PERMUTATIONS. where we have the specific formula for the binomial coefficients:
Chapter 7 COMBINATIONS AND PERMUTATIONS We have see i the previous chapter that (a + b) ca be writte as 0 a % a & b%þ% a & b %þ% b where we have the specific formula for the biomial coefficiets: '!!(&)!
More informationLargest families without an r-fork
Largest families without a r-for Aalisa De Bois Uiversity of Salero Salero, Italy debois@math.it Gyula O.H. Katoa Réyi Istitute Budapest, Hugary ohatoa@reyi.hu Itroductio Let [] = {,,..., } be a fiite
More information4 The Sperner property.
4 The Sperer property. I this sectio we cosider a surprisig applicatio of certai adjacecy matrices to some problems i extremal set theory. A importat role will also be played by fiite groups. I geeral,
More informationarxiv: v1 [math.nt] 10 Dec 2014
A DIGITAL BINOMIAL THEOREM HIEU D. NGUYEN arxiv:42.38v [math.nt] 0 Dec 204 Abstract. We preset a triagle of coectios betwee the Sierpisi triagle, the sum-of-digits fuctio, ad the Biomial Theorem via a
More informationCHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS
22 CHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS 2.1 INTRODUCTION Various types of domiatio have bee studied by several authors ad more tha 75 models of domiatio are listed i the appedix
More informationInfinite Sequences and Series
Chapter 6 Ifiite Sequeces ad Series 6.1 Ifiite Sequeces 6.1.1 Elemetary Cocepts Simply speakig, a sequece is a ordered list of umbers writte: {a 1, a 2, a 3,...a, a +1,...} where the elemets a i represet
More informationLecture Overview. 2 Permutations and Combinations. n(n 1) (n (k 1)) = n(n 1) (n k + 1) =
COMPSCI 230: Discrete Mathematics for Computer Sciece April 8, 2019 Lecturer: Debmalya Paigrahi Lecture 22 Scribe: Kevi Su 1 Overview I this lecture, we begi studyig the fudametals of coutig discrete objects.
More informationSequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece 1, 1, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet
More informationInduction: Solutions
Writig Proofs Misha Lavrov Iductio: Solutios Wester PA ARML Practice March 6, 206. Prove that a 2 2 chessboard with ay oe square removed ca always be covered by shaped tiles. Solutio : We iduct o. For
More informationIntermediate Math Circles November 4, 2009 Counting II
Uiversity of Waterloo Faculty of Mathematics Cetre for Educatio i Mathematics ad Computig Itermediate Math Circles November 4, 009 Coutig II Last time, after lookig at the product rule ad sum rule, we
More information3 Gauss map and continued fractions
ICTP, Trieste, July 08 Gauss map ad cotiued fractios I this lecture we will itroduce the Gauss map, which is very importat for its coectio with cotiued fractios i umber theory. The Gauss map G : [0, ]
More informationSolutions to Math 347 Practice Problems for the final
Solutios to Math 347 Practice Problems for the fial 1) True or False: a) There exist itegers x,y such that 50x + 76y = 6. True: the gcd of 50 ad 76 is, ad 6 is a multiple of. b) The ifiimum of a set is
More informationAMS Mathematics Subject Classification : 40A05, 40A99, 42A10. Key words and phrases : Harmonic series, Fourier series. 1.
J. Appl. Math. & Computig Vol. x 00y), No. z, pp. A RECURSION FOR ALERNAING HARMONIC SERIES ÁRPÁD BÉNYI Abstract. We preset a coveiet recursive formula for the sums of alteratig harmoic series of odd order.
More informationn=1 a n is the sequence (s n ) n 1 n=1 a n converges to s. We write a n = s, n=1 n=1 a n
Series. Defiitios ad first properties A series is a ifiite sum a + a + a +..., deoted i short by a. The sequece of partial sums of the series a is the sequece s ) defied by s = a k = a +... + a,. k= Defiitio
More informationAn Introduction to Randomized Algorithms
A Itroductio to Radomized Algorithms The focus of this lecture is to study a radomized algorithm for quick sort, aalyze it usig probabilistic recurrece relatios, ad also provide more geeral tools for aalysis
More informationw (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.
2 5. Weighted umber of late jobs 5.1. Release dates ad due dates: maximimizig the weight of o-time jobs Oce we add release dates, miimizig the umber of late jobs becomes a sigificatly harder problem. For
More information~W I F
A FIBONACCI PROPERTY OF WYTHOFF PAIRS ROBERT SILBER North Carolia State Uiversity, Raleigh, North Carolia 27607 I this paper we poit out aother of those fasciatig "coicideces" which are so characteristically
More informationarxiv: v1 [math.co] 23 Mar 2016
The umber of direct-sum decompositios of a fiite vector space arxiv:603.0769v [math.co] 23 Mar 206 David Ellerma Uiversity of Califoria at Riverside August 3, 208 Abstract The theory of q-aalogs develops
More informationk-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c 1. Introduction
Acta Math. Uiv. Comeiaae Vol. LXXXVI, 2 (2017), pp. 279 286 279 k-generalized FIBONACCI NUMBERS CLOSE TO THE FORM 2 a + 3 b + 5 c N. IRMAK ad M. ALP Abstract. The k-geeralized Fiboacci sequece { F (k)
More informationCOM BIN A TOR I A L TOURNAMENTS THAT ADMIT EXACTLY ONE HAMILTONIAN CIRCUIT
a 7 8 9 l 3 5 2 4 6 6 7 8 9 2 4 3 5 a 5 a 2 7 8 9 3 4 6 1 4 6 1 3 7 8 9 5 a 2 a 6 5 4 9 8 7 1 2 3 8 6 1 3 1 7 1 0 6 5 9 8 2 3 4 6 1 3 5 7 0 9 3 4 0 7 8 9 9 8 7 3 2 0 4 5 6 1 9 7 8 1 9 8 7 4 3 2 5 6 0 YEA
More informationQ-BINOMIALS AND THE GREATEST COMMON DIVISOR. Keith R. Slavin 8474 SW Chevy Place, Beaverton, Oregon 97008, USA.
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 2008, #A05 Q-BINOMIALS AND THE GREATEST COMMON DIVISOR Keith R. Slavi 8474 SW Chevy Place, Beaverto, Orego 97008, USA slavi@dsl-oly.et Received:
More informationOn size multipartite Ramsey numbers for stars versus paths and cycles
Electroic Joural of Graph Theory ad Applicatios 5 (1) (2017), 4 50 O size multipartite Ramsey umbers for stars versus paths ad cycles Aie Lusiai 1, Edy Tri Baskoro, Suhadi Wido Saputro Combiatorial Mathematics
More information2.4 Sequences, Sequences of Sets
72 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.4 Sequeces, Sequeces of Sets 2.4.1 Sequeces Defiitio 2.4.1 (sequece Let S R. 1. A sequece i S is a fuctio f : K S where K = { N : 0 for some 0 N}. 2. For each
More informationMath 61CM - Solutions to homework 3
Math 6CM - Solutios to homework 3 Cédric De Groote October 2 th, 208 Problem : Let F be a field, m 0 a fixed oegative iteger ad let V = {a 0 + a x + + a m x m a 0,, a m F} be the vector space cosistig
More informationOn Random Line Segments in the Unit Square
O Radom Lie Segmets i the Uit Square Thomas A. Courtade Departmet of Electrical Egieerig Uiversity of Califoria Los Ageles, Califoria 90095 Email: tacourta@ee.ucla.edu I. INTRODUCTION Let Q = [0, 1] [0,
More informationSOME TRIBONACCI IDENTITIES
Mathematics Today Vol.7(Dec-011) 1-9 ISSN 0976-38 Abstract: SOME TRIBONACCI IDENTITIES Shah Devbhadra V. Sir P.T.Sarvajaik College of Sciece, Athwalies, Surat 395001. e-mail : drdvshah@yahoo.com The sequece
More informationPUTNAM TRAINING PROBABILITY
PUTNAM TRAINING PROBABILITY (Last udated: December, 207) Remark. This is a list of exercises o robability. Miguel A. Lerma Exercises. Prove that the umber of subsets of {, 2,..., } with odd cardiality
More informationThe Boolean Ring of Intervals
MATH 532 Lebesgue Measure Dr. Neal, WKU We ow shall apply the results obtaied about outer measure to the legth measure o the real lie. Throughout, our space X will be the set of real umbers R. Whe ecessary,
More information1 Introduction. 1.1 Notation and Terminology
1 Itroductio You have already leared some cocepts of calculus such as limit of a sequece, limit, cotiuity, derivative, ad itegral of a fuctio etc. Real Aalysis studies them more rigorously usig a laguage
More informationMathematical Induction
Mathematical Iductio Itroductio Mathematical iductio, or just iductio, is a proof techique. Suppose that for every atural umber, P() is a statemet. We wish to show that all statemets P() are true. I a
More informationA sequence of numbers is a function whose domain is the positive integers. We can see that the sequence
Sequeces A sequece of umbers is a fuctio whose domai is the positive itegers. We ca see that the sequece,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as
More informationMath F215: Induction April 7, 2013
Math F25: Iductio April 7, 203 Iductio is used to prove that a collectio of statemets P(k) depedig o k N are all true. A statemet is simply a mathematical phrase that must be either true or false. Here
More informationExpected Norms of Zero-One Polynomials
DRAFT: Caad. Math. Bull. July 4, 08 :5 File: borwei80 pp. Page Sheet of Caad. Math. Bull. Vol. XX (Y, ZZZZ pp. 0 0 Expected Norms of Zero-Oe Polyomials Peter Borwei, Kwok-Kwog Stephe Choi, ad Idris Mercer
More informationDavid Vella, Skidmore College.
David Vella, Skidmore College dvella@skidmore.edu Geeratig Fuctios ad Expoetial Geeratig Fuctios Give a sequece {a } we ca associate to it two fuctios determied by power series: Its (ordiary) geeratig
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT3400/4400, autumn 2014 Nadia S. Larsen. Version of 13 October 2014.
Product measures, Toelli s ad Fubii s theorems For use i MAT3400/4400, autum 2014 Nadia S. Larse Versio of 13 October 2014. 1. Costructio of the product measure The purpose of these otes is to preset the
More informationSome remarks on the paper Some elementary inequalities of G. Bennett
Soe rears o the paper Soe eleetary iequalities of G. Beett Dag Ah Tua ad Luu Quag Bay Vieta Natioal Uiversity - Haoi Uiversity of Sciece Abstract We give soe couterexaples ad soe rears of soe of the corollaries
More informationLarge holes in quasi-random graphs
Large holes i quasi-radom graphs Joaa Polcy Departmet of Discrete Mathematics Adam Mickiewicz Uiversity Pozań, Polad joaska@amuedupl Submitted: Nov 23, 2006; Accepted: Apr 10, 2008; Published: Apr 18,
More informationThe multiplicative structure of finite field and a construction of LRC
IERG6120 Codig for Distributed Storage Systems Lecture 8-06/10/2016 The multiplicative structure of fiite field ad a costructio of LRC Lecturer: Keeth Shum Scribe: Zhouyi Hu Notatios: We use the otatio
More informationA Recurrence Formula for Packing Hyper-Spheres
A Recurrece Formula for Packig Hyper-Spheres DokeyFt. Itroductio We cosider packig of -D hyper-spheres of uit diameter aroud a similar sphere. The kissig spheres ad the kerel sphere form cells of equilateral
More information(A sequence also can be thought of as the list of function values attained for a function f :ℵ X, where f (n) = x n for n 1.) x 1 x N +k x N +4 x 3
MATH 337 Sequeces Dr. Neal, WKU Let X be a metric space with distace fuctio d. We shall defie the geeral cocept of sequece ad limit i a metric space, the apply the results i particular to some special
More informationGENERALIZATIONS OF ZECKENDORFS THEOREM. TilVIOTHY J. KELLER Student, Harvey Mudd College, Claremont, California
GENERALIZATIONS OF ZECKENDORFS THEOREM TilVIOTHY J. KELLER Studet, Harvey Mudd College, Claremot, Califoria 91711 The Fiboacci umbers F are defied by the recurrece relatio Fi = F 2 = 1, F = F - + F 0 (
More informationExercises 1 Sets and functions
Exercises 1 Sets ad fuctios HU Wei September 6, 018 1 Basics Set theory ca be made much more rigorous ad built upo a set of Axioms. But we will cover oly some heuristic ideas. For those iterested studets,
More informationSEQUENCES AND SERIES
Sequeces ad 6 Sequeces Ad SEQUENCES AND SERIES Successio of umbers of which oe umber is desigated as the first, other as the secod, aother as the third ad so o gives rise to what is called a sequece. Sequeces
More informationAppendix to Quicksort Asymptotics
Appedix to Quicksort Asymptotics James Alle Fill Departmet of Mathematical Scieces The Johs Hopkis Uiversity jimfill@jhu.edu ad http://www.mts.jhu.edu/~fill/ ad Svate Jaso Departmet of Mathematics Uppsala
More informationUNIVERSITY OF NORTHERN COLORADO MATHEMATICS CONTEST. First Round For all Colorado Students Grades 7-12 November 3, 2007
UNIVERSITY OF NORTHERN COLORADO MATHEMATICS CONTEST First Roud For all Colorado Studets Grades 7- November, 7 The positive itegers are,,, 4, 5, 6, 7, 8, 9,,,,. The Pythagorea Theorem says that a + b =
More informationSeunghee Ye Ma 8: Week 5 Oct 28
Week 5 Summary I Sectio, we go over the Mea Value Theorem ad its applicatios. I Sectio 2, we will recap what we have covered so far this term. Topics Page Mea Value Theorem. Applicatios of the Mea Value
More information10.6 ALTERNATING SERIES
0.6 Alteratig Series Cotemporary Calculus 0.6 ALTERNATING SERIES I the last two sectios we cosidered tests for the covergece of series whose terms were all positive. I this sectio we examie series whose
More informationIf a subset E of R contains no open interval, is it of zero measure? For instance, is the set of irrationals in [0, 1] is of measure zero?
2 Lebesgue Measure I Chapter 1 we defied the cocept of a set of measure zero, ad we have observed that every coutable set is of measure zero. Here are some atural questios: If a subset E of R cotais a
More informationsin(n) + 2 cos(2n) n 3/2 3 sin(n) 2cos(2n) n 3/2 a n =
60. Ratio ad root tests 60.1. Absolutely coverget series. Defiitio 13. (Absolute covergece) A series a is called absolutely coverget if the series of absolute values a is coverget. The absolute covergece
More informationMath 104: Homework 2 solutions
Math 04: Homework solutios. A (0, ): Sice this is a ope iterval, the miimum is udefied, ad sice the set is ot bouded above, the maximum is also udefied. if A 0 ad sup A. B { m + : m, N}: This set does
More informationOn Divisibility concerning Binomial Coefficients
A talk give at the Natioal Chiao Tug Uiversity (Hsichu, Taiwa; August 5, 2010 O Divisibility cocerig Biomial Coefficiets Zhi-Wei Su Najig Uiversity Najig 210093, P. R. Chia zwsu@ju.edu.c http://math.ju.edu.c/
More informationCSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo
Coutig Methods CSE 191, Class Note 05: Coutig Methods Computer Sci & Eg Dept SUNY Buffalo c Xi He (Uiversity at Buffalo CSE 191 Discrete Structures 1 / 48 Need for Coutig The problem of coutig the umber
More information1. By using truth tables prove that, for all statements P and Q, the statement
Author: Satiago Salazar Problems I: Mathematical Statemets ad Proofs. By usig truth tables prove that, for all statemets P ad Q, the statemet P Q ad its cotrapositive ot Q (ot P) are equivalet. I example.2.3
More information3.1 Counting Principles
3.1 Coutig Priciples Goal: Cout the umber of objects i a set. Notatio: Whe S is a set, S deotes the umber of objects i the set. This is also called S s cardiality. Additio Priciple: Whe you wat to cout
More informationA GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS. Mircea Merca
Idia J Pure Appl Math 45): 75-89 February 204 c Idia Natioal Sciece Academy A GENERALIZATION OF THE SYMMETRY BETWEEN COMPLETE AND ELEMENTARY SYMMETRIC FUNCTIONS Mircea Merca Departmet of Mathematics Uiversity
More informationdistinct distinct n k n k n! n n k k n 1 if k n, identical identical p j (k) p 0 if k > n n (k)
THE TWELVEFOLD WAY FOLLOWING GIAN-CARLO ROTA How ay ways ca we distribute objects to recipiets? Equivaletly, we wat to euerate equivalece classes of fuctios f : X Y where X = ad Y = The fuctios are subject
More informationMA541 : Real Analysis. Tutorial and Practice Problems - 1 Hints and Solutions
MA54 : Real Aalysis Tutorial ad Practice Problems - Hits ad Solutios. Suppose that S is a oempty subset of real umbers that is bouded (i.e. bouded above as well as below). Prove that if S sup S. What ca
More informationIJITE Vol.2 Issue-11, (November 2014) ISSN: Impact Factor
IJITE Vol Issue-, (November 4) ISSN: 3-776 ATTRACTIVITY OF A HIGHER ORDER NONLINEAR DIFFERENCE EQUATION Guagfeg Liu School of Zhagjiagag Jiagsu Uiversit of Sciece ad Techolog, Zhagjiagag, Jiagsu 56,PR
More informationγ-max Labelings of Graphs
γ-max Labeligs of Graphs Supapor Saduakdee 1 & Varaoot Khemmai 1 Departmet of Mathematics, Sriakhariwirot Uiversity, Bagkok, Thailad Joural of Mathematics Research; Vol. 9, No. 1; February 017 ISSN 1916-9795
More informationRandomized Algorithms I, Spring 2018, Department of Computer Science, University of Helsinki Homework 1: Solutions (Discussed January 25, 2018)
Radomized Algorithms I, Sprig 08, Departmet of Computer Sciece, Uiversity of Helsiki Homework : Solutios Discussed Jauary 5, 08). Exercise.: Cosider the followig balls-ad-bi game. We start with oe black
More informationThe Möbius function of partitions with restricted block sizes
The Möbius fuctio of partitios with restricted block sizes Richard EHRENBORG ad Margaret A. READDY Departmet of Mathematics, Uiversity of Ketucky, Lexigto, KY 40506 USA Received 3 February 2006; accepted
More informationFINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES. Communicated by Ali Reza Ashrafi. 1. Introduction
Bulleti of the Iraia Mathematical Society Vol. 39 No. 2 203), pp 27-280. FINITE GROUPS WITH THREE RELATIVE COMMUTATIVITY DEGREES R. BARZGAR, A. ERFANIAN AND M. FARROKHI D. G. Commuicated by Ali Reza Ashrafi
More informationLangford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.
Lagford s Problem Moti Be-Ari Departmet of Sciece Teachig Weizma Istitute of Sciece http://www.weizma.ac.il/sci-tea/beari/ c 017 by Moti Be-Ari. This work is licesed uder the Creative Commos Attributio-ShareAlike
More information1 of 7 7/16/2009 6:06 AM Virtual Laboratories > 6. Radom Samples > 1 2 3 4 5 6 7 6. Order Statistics Defiitios Suppose agai that we have a basic radom experimet, ad that X is a real-valued radom variable
More informationFLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS. H. W. Gould Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 7 (2007), #A58 FLOOR AND ROOF FUNCTION ANALOGS OF THE BELL NUMBERS H. W. Gould Departmet of Mathematics, West Virgiia Uiversity, Morgatow, WV
More informationHomework Set #3 - Solutions
EE 15 - Applicatios of Covex Optimizatio i Sigal Processig ad Commuicatios Dr. Adre Tkaceko JPL Third Term 11-1 Homework Set #3 - Solutios 1. a) Note that x is closer to x tha to x l i the Euclidea orm
More informationANOTHER GENERALIZED FIBONACCI SEQUENCE 1. INTRODUCTION
ANOTHER GENERALIZED FIBONACCI SEQUENCE MARCELLUS E. WADDILL A N D LOUIS SACKS Wake Forest College, Wisto Salem, N. C., ad Uiversity of ittsburgh, ittsburgh, a. 1. INTRODUCTION Recet issues of umerous periodicals
More informationSquare-Congruence Modulo n
Square-Cogruece Modulo Abstract This paper is a ivestigatio of a equivalece relatio o the itegers that was itroduced as a exercise i our Discrete Math class. Part I - Itro Defiitio Two itegers are Square-Cogruet
More information