Universal Subsets of Z n, Linear Integer Optimization, and Integer Factorization

Size: px
Start display at page:

Download "Universal Subsets of Z n, Linear Integer Optimization, and Integer Factorization"

Transcription

1 DIMACS Techical Report Jauary 006 Uiversal Subsets of Z, Liear Iteger Optimizatio, ad Iteger Factorizatio by Zhivko Nedev 1 1 Uiv. of Victoria, zedev@math.uvic.ca. Part of the work was doe while visitig DIMACS. DIMACS is a collaborative project of Rutgers Uiversity, Priceto Uiversity, AT&T Labs Research, Bell Labs, NEC Laboratories America ad Telcordia Techologies, as well as affiliate members Avaya Labs, HP Labs, IBM Research, Microsoft Research, Steves Istitute of Techology, Georgia Istitute of Techology ad Resselaer Polytechic Istitute. DIMACS was fouded as a NSF Sciece ad Techology Ceter.

2 ABSTRACT We cosider two classes of sets i Z. A o-empty subset U of Z is uiversal (the first class) if for all x U, ad for all 0 < l / at least oe of x ± l (mod ) lies i U. For each uiversal U its complemet, Z \U, is from the secod class ad vice versa. We defie β() to be the miimum cardiality of a uiversal set modulo. Completely characterizig all sets i the secod class we derive a formula for β(). We demostrate that uiversal sets arise i the cotext of a two-player game that was aalyzed for the first time i [3] ad has iterestig coectios to the prime factorizatio of. Fially we model our optimizatio problem, fid β(), as a iteger liear program.

3 1 Itroductio I this paper we prove equivalece betwee a well kow problem iteger factorizatio ad two ew optimizatio problems. Oe of them has as a domai subsets of Z with special properties. The other oe is a liear iteger optimizatio problem. We also show a coectio betwee these problems ad a two-player game for the first time aalyzed i [3]. For a stadard expositio of the properties of Z ad the iteger factorizatio problem see [5]. For classical algorithms for iteger factorizatio see [1] ad []. The success of RSA cryptographic algorithm [6] is based o the assumptio that it is hard to factor a arbitrary iteger. For a more recet approach towards factorig large itegers see [8]. A stadard text o Liear Iteger Optimizatio is [7]. The iput parameter to all problems cosidered i this paper is a positive iteger > 1. As usual we deote by Z the set {0, 1,,..., 1} with its two operatios: additio ad subtractio modulo. We will be iterested i two special classes of subsets i Z. Defiitio. A oempty subset of {0,..., 1} will be called uiversal modulo if for each elemet x ad for each (iteger) magitude l, with 0 < l /, there is a directio d { 1, +1} such that x + d l (mod ) is also from the set. Trivial examples of uiversal subsets of Z are: Z for every, ad Z \{i} for i Z whe is odd. Notice that ay uiversal set has at least 1 + elemets. Problem 1. For a iteger > 1, what is the size of a smallest uiversal set modulo? How ca such a set be costructed? We defie β() to be the miimal size of a uiversal set modulo. Defiitio. A proper subset of {0,..., 1} will be called middle-iclusive modulo if it is closed uder takig midpoits. That is M Z is middle-iclusive if for all (ot ecessarily distict) a, b M, each solutio to the equatio x = a + b (mod ) is also from M. Notice that whe a = b, the above equatio x = a + b (mod ) has a o-trivial solutio (exactly oe ) oly whe is eve. I this case the o-trivial solutio is a + /. Whe a, b are distict the equatio x = a + b (mod ) has zero, oe or two solutios: if is odd exactly oe solutio; whe is eve, either zero, or two solutios. Trivial examples of middle-iclusive sets are:, ad {i} for i, if is odd. Lemma 1.1. For ay iteger > 1, S is uiversal set modulo if ad oly if Z \S is middle-iclusive set modulo. Proof. ( ) Let S be ay uiversal subset of Z. Let S = Z \S. Obviously S <. Suppose a, b S, x / S ad x = a + b mod. Take the smaller of x a (mod ) ad x + a (mod ), say x a (mod ) /. From the defiitio of uiversal set (it follows that) at least oe of x (x a) (mod ) = a or x + (x a) = x a (mod ) = b is i S, which is a cotradictio. Therefore S is a middle-iclusive subset of Z. ( ) Now let S be ay middle-iclusive subset of Z. Let S = Z \S. Obviously S 1. Let x ad l be such that x S, 0 < l /, ad both x ± l (mod ) S. The

4 x = (x + l) + (x l) (mod ). From the defiitio of middle-iclusive subset it follows that x should be i S, which is a cotradictio. Therefore S is uiversal. Corollary 1. For ay > 1, β(), the miimal size of a uiversal set modulo, equals mius the maximal size of a middle-iclusive set modulo, i.e. β() = max M, where M rus over all middle-iclusive sets modulo. Formula for β() Theorem.1. For all Z + if = k for some k. β() = p 1 p where p is the smallest odd prime factor of. We will prove the above theorem by completely characterizig for ay Z + all middleiclusive subsets of Z with at least oe elemet. Defiitio. Let d ad r be itegers, with d, d > 0, ad 0 r < d. We will deote by C (r, d) the subset of Z that is the arithmetic progressio startig at r ad havig a commo differece d. That is C (r, d) = { r + i d 0 i < d }. It is coveiet to have the followig descriptio. Suppose we have a roud table with positios labeled as 0, 1,..., 1 i a clockwise maer. If i, j Z are two such positios, the we deote with d + (i, j) the umber of positios that have to be passed if we travel aroud the table clockwise from positio i to positio j. Obviously if i < j the d + (i, j) = j i, ad d + (j, i) = j + i. The followig lemma characterizes all middle-iclusive subsets of Z. Lemma.. Let > 1. If d > 1 is a odd divisor of, the C (r, d) is a middle-iclusive subset of Z for ay r. Coversely if M is a o-empty middle-iclusive subset of Z, the there are itegers r ad d with: d odd, d > 1, d, ad 0 r < d such that M = C (r, d). Proof. ( ) Let d be odd, d > 1, ad d. Let also r satisfy 0 r < d. Let S = C (r, d). Sice d > 1 we have that S <. Let a ad b be (ot ecessarily distict) from S ad let x be ay solutio to the equatio x = a + b (mod ). The a = r + i d, b = r + j d, ad x = r + (i + j)d (mod ). Therefore x is either r + i+j d (mod ) or r + +i+j d (mod ). I either case x S ad it follows that S is middle-iclusive. ( ) Let M be ay o-empty middle-iclusive subset of Z. We cosider two cases: M = 1 ad M. Case 1: M = 1. Let M = {r}. The must be odd, otherwise M would have at least two elemets: r ad r + /. So the coditios of the lemma hold. 3

5 Case : M. Let the elemets of M be sorted i icreasig order: M = {0 i 1 < i < i 3 <... < i l 1}. By defiitio M <, so l <. Take ay three cosecutive elemets of M, for example: i j 1, i j, i j+1. Here the idex arithmetic is doe modulo l, which for example meas that i l 1, i l, i 1 are three cosecutive elemets of M. If d + (i j 1, i j ) is eve the i j 1 + d +(i j 1,i j ) (mod ) Z, but it is ot i M. This is a cotradictio because M is middle-iclusive. It follows that d + (i j 1, i j ) must be odd for all j. But the d + (i j 1, i j+1 ) = d + (i j 1, i j )+d + (i j, i j+1 ) must be eve. If d + (i j 1, i j ) d + (i j, i j+1 ), the the middle poit from i j 1 to i j+1 is from Z ad is differet from i j. It should be the i M but it is ot, a cotradictio. Therefore d + (i j 1, i j ) = d + (i j, i j+1 ) for all j. It follows that d + (i j 1, i j ) = d + (i k 1, i k ) all j, k. Let d be the commo value (which is odd as oted above) for d + (i j 1, i j ). It follows that M = {i 1, i,..., i l } = {i 1, i 1 + d, i 1 + d,..., i 1 + ( 1) d}. d Proof of Theorem.1 Case 1: = k for some k > 0. Suppose there exists a o-empty middle-iclusive subset M of Z. From the characterizatio lemma there exists a odd d, with d > 1 ad d, which is a cotradictio. Therefore the oly possible middle-ilcusive subset of Z is the empty oe. It follows the that the oly possible uiversal subset is S = Z. Thus β( = k ) =. Case : = d 1 f, where d 1 is odd ad d 1 3. Sice from the characterizatio lemma all o-empty middle-iclusive subsets M are of the form C (r, d), where d is odd ad d > 1 we wat to fid the largest such subset. Obviously C (r, p) where p is the smallest odd prime factor of has the biggest cardiality. Notice that C (r, p) = p irrespective of r, 0 r < p. Therefore β() = C (r, p) or β() = p = p 1 p, whe k. Observatio Obviously, if we agree that fidig the smallest odd prime factor of a iteger ad iteger factorizatio are equivalet problems, the we wat to compute β(). This is because kowig p, the smallest prime odd factor of, we ca fid β() = p 1 ad vice versa. p 3 Coectio with the Nagger-Mover game Here we establish a coectio betwee the uiversal subsets of Z ad the followig twoplayer game that was first aalyzed i [3] (where it was called The Nagger-Mover game). The game is played at a circular table with seats cosecutively labelled 0 to 1. The two 4

6 players are called the Nagger ad the Mover. If the curret positio is i, a roud cosists of the Nagger callig a magitude l with 0 < l /, after which the Mover calls a directio (+ or ). The positio is the updated to i + l mod or i l mod accordig to whether the Mover called + or. Nagger s aim i the game is to maximize the cardiality of the set of all positios occupied i the course of the game (while Mover s is to miimize it). I [3], a simple formula was give (i terms of the prime factorizatio of ) for the size of such a set (the fuctio f () was used for the size) if both players play optimally. Here we give a simpler proof tha the oe give i [3], for the formula for the fuctio f () (we will prove f () = β()). We claim that β() is precisely the evetual size of the occupied set if both players play optimally. To see this, first let U be ay uiversal set that cotais the curret positio. Cosider the followig strategy for the Mover. At each tur whe preseted with a pair (x, l) cosistig of the curret positio x ad the magitude l selected by the Nagger, the Mover chooses a directio so that the ext positio is also from U. This is always possible, because U is uiversal ad at least oe of x ± l (mod ) is i U. Sice ay uiversal set may be traslated to cotai the iitial positio, the Mover has a strategy to esure that o more tha β() positios are occupied, irrespective of Nagger s strategy. Coversely, cosider the followig strategy for the Nagger. At each tur he is preseted oly with the curret positio x. The strategy for the Nagger is to choose (if possible) such a l that both x±l (mod ) have ot bee visited yet. If such a l does ot exist the he chooses l sequetially to be 1,,...,, 1,,...,,.... We cosider the set S of positios that arise ifiitely ofte i the sequece of plays. Sice there are fiitely may positios, the set S is o-empty. We claim that S is uiversal. To see this, ote that for ay x S, the Nagger will choose ay of the magitudes 0 < l / ifiitely may times. Cosequetly the Mover will be preseted with the pair (x, l) where x S ad l is a magitude from 1 to ifiitely may times. Therefore at least oe of x ± l (mod ) will be visited ifiitely may times ad as such it belogs to S. We see the that S must be uiversal. So the set of positios visited ifiitely ofte has cardiality at least β(). 4 Liear Iteger Optimizatio problem Now we will show equivalece betwee a liear iteger optimizatio problem ad our problem 1: fid mi S, where S is ay uiversal subset of Z. Let S Z be ay optimal solutio for the above optimizatio problem. Let x i, for i = 0, 1,..., 1 be biary variables such that: 1 if i S x i = 0 if i / S 5

7 The S = x 0 + x x 1 ad the optimizatio goal, mi S, i (problem 1) becomes: mi x 0 + x x 1 Now we have to model that S is uiversal, i.e. for all x S, ad for all iteger l, with 0 < l /, at least oe of x ± l (mod ) lies i S. It is equivalet to: if x i = 1 the for each j = 1... at least oe of the two variables x i+j ad x i j must be 1. Here the additio ad the subtractio operatios i the idices are by modulo arithmetic. Oe way to model this costrait is by x i (x i+j + x i j ) x i. If x i = 0 this iequality is trivially satisfied: there is o costrait o x i+j ad x i j comig from idex i. Ad if x i = 1 the this costrait ( ad 1 more) becomes x i+j + x i j 1 at least oe of x i+j, x i j is 1. Sice this is a oliear costrait we would like to replace it by a liear oe if possible (see [4]). Because x i, x i+j ad x i j are boolea variables it ca be achieved i several ways. The simplest possible maybe is x i+j + x i j x i. Here is the equivalet to Problem 1 liear iteger optimizatio problem with a iput parameter Z +. Problem. mi x 0 + x 1 + x x 1 subject to: x x 1 x 0 x 0+ + x x 0... x 0+ + x x 0 x x 1 1 x 1 x 1+ + x 1 x 1... x 1+ + x +1 x 1... x x 1 1 x 1 x 1+ + x 1 x 1... x 1+ + x 1 x 1 x 0 + x 1 + x x 1 1 group of costraits for x 0 group of costraits for x 1 group of costraits for x 1 The last iequality is equivalet to the o-emptiess coditio i the defiitio for uiversal subsets of Z : S 1. There is a trivial observatio: the umber of variables that are 6

8 1 i ay feasible solutio must be at least 1 +. So the last costrait ca be replaced with: x 0 + x 1 + x x This follows directly from the last costrait: at least oe variable x i = 1 for some i ad from the group of iequalities for that x i. For example for = 3 the liear iteger optimizatio problem becomes: mi x 0 + x 1 + x subject to: } x 1 + x x 0 group of costraits for x0 } x + x 0 x 1 group of costraits for x1 } x 0 + x 1 x group of costraits for x x 0 + x 1 + x 1 There are boolea variables ad groups of costraits. Each group has iequalities. Oe ca easily see that the problem is completely symmetric for all the variables: x 0, x 1,..., x 1. We have proved the followig: Theorem 4.1. The above 0,1 miimizatio problem has a optimal value for the fuctio 1 i=0 x i as follows: a) if = k the the optimal value is mi = k = b) if = α 1 p α p α 3 3 p α l l, where p is the smallest prime factor of bigger tha, the the optimal value is mi = p 1 p c) (corollary of b) if is a prime the mi = 1 Solvig efficietly the above optimizatio problem leads to a factorizatio algorithm: if p is the smallest factor (of ) ad mi is the miimal value for the goal fuctio the p = mi Corollary. Primality testig: takig oly the costraits from the above optimizatio problem, ad addig oe more costrait: x 0 + x 1 + x x 1 we ca ask: is there a feasible solutio for this set of costraits? Obviously this is equivalet to aswerig if is prime. 5 Ope Problems Oe of the reasos we ca ot solve efficietly Problem is that the umber of variables ad the umber of costraits is expoetial i the umber of bits eeded to store. Therefore we state the followig ope problems. 7

9 Q1: For ay Z + what is the liear iteger optimizatio problem with miimal complexity such that the miimal value of its optimizatio fuctio gives the smallest prime factor of? Q: Is there a polyomial algorithm(of log ruig time) to solve the above {0, 1} liear optimizatio problem for certai types of, or ca we prove a lower boud of o-polyomial type? 6 Ackowledgmets We are very grateful to the followig people ad places for their advice, discussios ad support: Gary MacGillivray, Athoy Quas, Valerie Kig ad Uiversity of Victoria; Uriel Feige; S. Muthu Muthukrisha ad the DIMACS Ceter; Jeffrey O. Shallit ad the School of Computer Sciece at Uiversity of Waterloo. Refereces [1] Eric Bach ad Jeffrey Shallit, Algorithmic Number Theory, The MIT Press, [] Thomas H. Corme, Charles E. Leiserso, Roald L. Rivest, Clifford Stei, Itroductio to Algorithms, The MIT Press, 001. [3] Zhivko Nedev ad S. Muthukrisha, The Nagger-Mover Game, submitted to SIAM Joural o Discrete Mathematics, 005. [4] Nikola S. Nikolov, persoal commuicatio, Uiversity of Limerick, Irelad [5] Iva Nive, Herbert Zuckerma ad Hugh Motgomery, A Itroductio to the Theory of Numbers, Joh Wiley ad Sos Ic, [6] R. L. Rivest, A. Shamir ad L. Adlema, A Method for Obtaiig Digital Sigatures ad Public-key Cryptosystems, Commuicatios of the ACM 1, (Feb. 1978), [7] Alexader Schrijver, Theory of Liear ad Iteger Programmig, Joh Wiley ad Sos Ic, [8] A. Shamir, E. Tromer: Factorig Large Number with the TWIRL Device. I: Cripto 003. Volume 79 of LNCS, Spriger (003)

IP Reference guide for integer programming formulations.

IP 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 information

w (1) ˆx w (1) x (1) /ρ and w (2) ˆx w (2) x (2) /ρ.

w (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

Solutions for the Exam 9 January 2012

Solutions for the Exam 9 January 2012 Mastermath ad LNMB Course: Discrete Optimizatio Solutios for the Exam 9 Jauary 2012 Utrecht Uiversity, Educatorium, 15:15 18:15 The examiatio lasts 3 hours. Gradig will be doe before Jauary 23, 2012. Studets

More information

Find a formula for the exponential function whose graph is given , 1 2,16 1, 6

Find a formula for the exponential function whose graph is given , 1 2,16 1, 6 Math 4 Activity (Due by EOC Apr. ) Graph the followig epoetial fuctios by modifyig the graph of f. Fid the rage of each fuctio.. g. g. g 4. g. g 6. g Fid a formula for the epoetial fuctio whose graph is

More information

Recursive Algorithm for Generating Partitions of an Integer. 1 Preliminary

Recursive 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 information

Chapter 6 Infinite Series

Chapter 6 Infinite Series Chapter 6 Ifiite Series I the previous chapter we cosidered itegrals which were improper i the sese that the iterval of itegratio was ubouded. I this chapter we are goig to discuss a topic which is somewhat

More information

6.3 Testing Series With Positive Terms

6.3 Testing Series With Positive Terms 6.3. TESTING SERIES WITH POSITIVE TERMS 307 6.3 Testig Series With Positive Terms 6.3. Review of what is kow up to ow I theory, testig a series a i for covergece amouts to fidig the i= sequece of partial

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

(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 information

Lecture 2 Clustering Part II

Lecture 2 Clustering Part II COMS 4995: Usupervised Learig (Summer 8) May 24, 208 Lecture 2 Clusterig Part II Istructor: Nakul Verma Scribes: Jie Li, Yadi Rozov Today, we will be talkig about the hardess results for k-meas. More specifically,

More information

Commutativity in Permutation Groups

Commutativity 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 information

SOME TRIBONACCI IDENTITIES

SOME 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 information

TEACHER CERTIFICATION STUDY GUIDE

TEACHER CERTIFICATION STUDY GUIDE COMPETENCY 1. ALGEBRA SKILL 1.1 1.1a. ALGEBRAIC STRUCTURES Kow why the real ad complex umbers are each a field, ad that particular rigs are ot fields (e.g., itegers, polyomial rigs, matrix rigs) Algebra

More information

Infinite Sequences and Series

Infinite 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 information

Square-Congruence Modulo n

Square-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

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs

CSE 1400 Applied Discrete Mathematics Number Theory and Proofs CSE 1400 Applied Discrete Mathematics Number Theory ad Proofs Departmet of Computer Scieces College of Egieerig Florida Tech Sprig 01 Problems for Number Theory Backgroud Number theory is the brach of

More information

Math 61CM - Solutions to homework 3

Math 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 information

ACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory

ACO Comprehensive Exam 9 October 2007 Student code A. 1. Graph Theory 1. Graph Theory Prove that there exist o simple plaar triagulatio T ad two distict adjacet vertices x, y V (T ) such that x ad y are the oly vertices of T of odd degree. Do ot use the Four-Color Theorem.

More information

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play.

In number theory we will generally be working with integers, though occasionally fractions and irrationals will come into play. Number Theory Math 5840 otes. Sectio 1: Axioms. I umber theory we will geerally be workig with itegers, though occasioally fractios ad irratioals will come ito play. Notatio: Z deotes the set of all itegers

More information

Induction: Solutions

Induction: 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 information

62. 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 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 information

Optimally Sparse SVMs

Optimally Sparse SVMs A. Proof of Lemma 3. We here prove a lower boud o the umber of support vectors to achieve geeralizatio bouds of the form which we cosider. Importatly, this result holds ot oly for liear classifiers, but

More information

MA131 - Analysis 1. Workbook 3 Sequences II

MA131 - Analysis 1. Workbook 3 Sequences II MA3 - Aalysis Workbook 3 Sequeces II Autum 2004 Cotets 2.8 Coverget Sequeces........................ 2.9 Algebra of Limits......................... 2 2.0 Further Useful Results........................

More information

A 2nTH ORDER LINEAR DIFFERENCE EQUATION

A 2nTH ORDER LINEAR DIFFERENCE EQUATION A 2TH ORDER LINEAR DIFFERENCE EQUATION Doug Aderso Departmet of Mathematics ad Computer Sciece, Cocordia College Moorhead, MN 56562, USA ABSTRACT: We give a formulatio of geeralized zeros ad (, )-discojugacy

More information

Definitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients.

Definitions and Theorems. where x are the decision variables. c, b, and a are constant coefficients. Defiitios ad Theorems Remember the scalar form of the liear programmig problem, Miimize, Subject to, f(x) = c i x i a 1i x i = b 1 a mi x i = b m x i 0 i = 1,2,, where x are the decisio variables. c, b,

More information

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS

ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS ON THE LEHMER CONSTANT OF FINITE CYCLIC GROUPS NORBERT KAIBLINGER Abstract. Results of Lid o Lehmer s problem iclude the value of the Lehmer costat of the fiite cyclic group Z/Z, for 5 ad all odd. By complemetary

More information

Solutions to Math 347 Practice Problems for the final

Solutions 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 information

Exercises 1 Sets and functions

Exercises 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 information

The Growth of Functions. Theoretical Supplement

The Growth of Functions. Theoretical Supplement The Growth of Fuctios Theoretical Supplemet The Triagle Iequality The triagle iequality is a algebraic tool that is ofte useful i maipulatig absolute values of fuctios. The triagle iequality says that

More information

SEQUENCE AND SERIES NCERT

SEQUENCE AND SERIES NCERT 9. Overview By a sequece, we mea a arragemet of umbers i a defiite order accordig to some rule. We deote the terms of a sequece by a, a,..., etc., the subscript deotes the positio of the term. I view of

More information

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction

Chapter 2. Periodic points of toral. automorphisms. 2.1 General introduction Chapter 2 Periodic poits of toral automorphisms 2.1 Geeral itroductio The automorphisms of the two-dimesioal torus are rich mathematical objects possessig iterestig geometric, algebraic, topological ad

More information

A Simple Derivation for the Frobenius Pseudoprime Test

A Simple Derivation for the Frobenius Pseudoprime Test A Simple Derivatio for the Frobeius Pseudoprime Test Daiel Loebeberger Bo-Aache Iteratioal Ceter for Iformatio Techology March 17, 2008 Abstract Probabilistic compositeess tests are of great practical

More information

Week 5-6: The Binomial Coefficients

Week 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 information

2.4 - Sequences and Series

2.4 - Sequences and Series 2.4 - Sequeces ad Series Sequeces A sequece is a ordered list of elemets. Defiitio 1 A sequece is a fuctio from a subset of the set of itegers (usually either the set 80, 1, 2, 3,... < or the set 81, 2,

More information

Sequences. Notation. Convergence of a Sequence

Sequences. Notation. Convergence of a Sequence Sequeces A sequece is essetially just a list. Defiitio (Sequece of Real Numbers). A sequece of real umbers is a fuctio Z (, ) R for some real umber. Do t let the descriptio of the domai cofuse you; it

More information

Chapter 0. Review of set theory. 0.1 Sets

Chapter 0. Review of set theory. 0.1 Sets Chapter 0 Review of set theory Set theory plays a cetral role i the theory of probability. Thus, we will ope this course with a quick review of those otios of set theory which will be used repeatedly.

More information

Optimization Methods MIT 2.098/6.255/ Final exam

Optimization Methods MIT 2.098/6.255/ Final exam Optimizatio Methods MIT 2.098/6.255/15.093 Fial exam Date Give: December 19th, 2006 P1. [30 pts] Classify the followig statemets as true or false. All aswers must be well-justified, either through a short

More information

Recursive Algorithms. Recurrences. Recursive Algorithms Analysis

Recursive Algorithms. Recurrences. Recursive Algorithms Analysis Recursive Algorithms Recurreces Computer Sciece & Egieerig 35: Discrete Mathematics Christopher M Bourke cbourke@cseuledu A recursive algorithm is oe i which objects are defied i terms of other objects

More information

Differentiable Convex Functions

Differentiable Convex Functions Differetiable Covex Fuctios The followig picture motivates Theorem 11. f ( x) f ( x) f '( x)( x x) ˆx x 1 Theorem 11 : Let f : R R be differetiable. The, f is covex o the covex set C R if, ad oly if for

More information

Dirichlet s Theorem on Arithmetic Progressions

Dirichlet s Theorem on Arithmetic Progressions Dirichlet s Theorem o Arithmetic Progressios Athoy Várilly Harvard Uiversity, Cambridge, MA 0238 Itroductio Dirichlet s theorem o arithmetic progressios is a gem of umber theory. A great part of its beauty

More information

Beurling Integers: Part 2

Beurling 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 information

Oblivious Transfer using Elliptic Curves

Oblivious Transfer using Elliptic Curves Oblivious Trasfer usig Elliptic Curves bhishek Parakh Louisiaa State Uiversity, ato Rouge, L May 4, 006 bstract: This paper proposes a algorithm for oblivious trasfer usig elliptic curves lso, we preset

More information

Lecture Notes for Analysis Class

Lecture Notes for Analysis Class Lecture Notes for Aalysis Class Topological Spaces A topology for a set X is a collectio T of subsets of X such that: (a) X ad the empty set are i T (b) Uios of elemets of T are i T (c) Fiite itersectios

More information

Linear Programming and the Simplex Method

Linear Programming and the Simplex Method Liear Programmig ad the Simplex ethod Abstract This article is a itroductio to Liear Programmig ad usig Simplex method for solvig LP problems i primal form. What is Liear Programmig? Liear Programmig is

More information

Polynomials with Rational Roots that Differ by a Non-zero Constant. Generalities

Polynomials with Rational Roots that Differ by a Non-zero Constant. Generalities Polyomials with Ratioal Roots that Differ by a No-zero Costat Philip Gibbs The problem of fidig two polyomials P(x) ad Q(x) of a give degree i a sigle variable x that have all ratioal roots ad differ by

More information

Langford s Problem. Moti Ben-Ari. Department of Science Teaching. Weizmann Institute of Science.

Langford 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 information

(I.C) THE DISTRIBUTION OF PRIMES

(I.C) THE DISTRIBUTION OF PRIMES I.C) THE DISTRIBUTION OF PRIMES I the last sectio we showed via a Euclid-ispired, algebraic argumet that there are ifiitely may primes of the form p = 4 i.e. 4 + 3). I fact, this is true for primes of

More information

THE ASYMPTOTIC COMPLEXITY OF MATRIX REDUCTION OVER FINITE FIELDS

THE 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 information

Axioms of Measure Theory

Axioms of Measure Theory MATH 532 Axioms of Measure Theory Dr. Neal, WKU I. The Space Throughout the course, we shall let X deote a geeric o-empty set. I geeral, we shall ot assume that ay algebraic structure exists o X so that

More information

Sequences A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

Sequences 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 information

Feedback in Iterative Algorithms

Feedback in Iterative Algorithms Feedback i Iterative Algorithms Charles Byre (Charles Byre@uml.edu), Departmet of Mathematical Scieces, Uiversity of Massachusetts Lowell, Lowell, MA 01854 October 17, 2005 Abstract Whe the oegative system

More information

Bertrand s Postulate

Bertrand s Postulate Bertrad s Postulate Lola Thompso Ross Program July 3, 2009 Lola Thompso (Ross Program Bertrad s Postulate July 3, 2009 1 / 33 Bertrad s Postulate I ve said it oce ad I ll say it agai: There s always a

More information

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F.

2.1. The Algebraic and Order Properties of R Definition. A binary operation on a set F is a function B : F F! F. CHAPTER 2 The Real Numbers 2.. The Algebraic ad Order Properties of R Defiitio. A biary operatio o a set F is a fuctio B : F F! F. For the biary operatios of + ad, we replace B(a, b) by a + b ad a b, respectively.

More information

MAT1026 Calculus II Basic Convergence Tests for Series

MAT1026 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 information

Weakly Connected Closed Geodetic Numbers of Graphs

Weakly 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 information

Summary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function

Summary: Congruences. j=1. 1 Here we use the Mathematica syntax for the function. In Maple worksheets, the function Summary: Cogrueces j whe divided by, ad determiig the additive order of a iteger mod. As described i the Prelab sectio, cogrueces ca be thought of i terms of coutig with rows, ad for some questios this

More information

Seed and Sieve of Odd Composite Numbers with Applications in Factorization of Integers

Seed and Sieve of Odd Composite Numbers with Applications in Factorization of Integers IOSR Joural of Mathematics (IOSR-JM) e-issn: 78-578, p-issn: 319-75X. Volume 1, Issue 5 Ver. VIII (Sep. - Oct.01), PP 01-07 www.iosrjourals.org Seed ad Sieve of Odd Composite Numbers with Applicatios i

More information

Injections, Surjections, and the Pigeonhole Principle

Injections, Surjections, and the Pigeonhole Principle Ijectios, Surjectios, ad the Pigeohole Priciple 1 (10 poits Here we will come up with a sloppy boud o the umber of parethesisestigs (a (5 poits Describe a ijectio from the set of possible ways to est pairs

More information

Chain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1

Chain conditions. 1. Artinian and noetherian modules. ALGBOOK CHAINS 1.1 CHAINS 1.1 Chai coditios 1. Artiia ad oetheria modules. (1.1) Defiitio. Let A be a rig ad M a A-module. The module M is oetheria if every ascedig chai!!m 1 M 2 of submodules M of M is stable, that is,

More information

arxiv: v1 [math.co] 3 Feb 2013

arxiv: v1 [math.co] 3 Feb 2013 Cotiued Fractios of Quadratic Numbers L ubomíra Balková Araka Hrušková arxiv:0.05v [math.co] Feb 0 February 5 0 Abstract I this paper we will first summarize kow results cocerig cotiued fractios. The we

More information

An Introduction to Randomized Algorithms

An 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 information

Complex Numbers Solutions

Complex Numbers Solutions Complex Numbers Solutios Joseph Zoller February 7, 06 Solutios. (009 AIME I Problem ) There is a complex umber with imagiary part 64 ad a positive iteger such that Fid. [Solutio: 697] 4i + + 4i. 4i 4i

More information

Quantum Computing Lecture 7. Quantum Factoring

Quantum Computing Lecture 7. Quantum Factoring Quatum Computig Lecture 7 Quatum Factorig Maris Ozols Quatum factorig A polyomial time quatum algorithm for factorig umbers was published by Peter Shor i 1994. Polyomial time meas that the umber of gates

More information

MATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x)

MATH 205 HOMEWORK #2 OFFICIAL SOLUTION. (f + g)(x) = f(x) + g(x) = f( x) g( x) = (f + g)( x) MATH 205 HOMEWORK #2 OFFICIAL SOLUTION Problem 2: Do problems 7-9 o page 40 of Hoffma & Kuze. (7) We will prove this by cotradictio. Suppose that W 1 is ot cotaied i W 2 ad W 2 is ot cotaied i W 1. The

More information

Pairs of disjoint q-element subsets far from each other

Pairs 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 information

On Algorithm for the Minimum Spanning Trees Problem with Diameter Bounded Below

On Algorithm for the Minimum Spanning Trees Problem with Diameter Bounded Below O Algorithm for the Miimum Spaig Trees Problem with Diameter Bouded Below Edward Kh. Gimadi 1,2, Alexey M. Istomi 1, ad Ekateria Yu. Shi 2 1 Sobolev Istitute of Mathematics, 4 Acad. Koptyug aveue, 630090

More information

1 Introduction. 1.1 Notation and Terminology

1 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 information

Random Models. Tusheng Zhang. February 14, 2013

Random Models. Tusheng Zhang. February 14, 2013 Radom Models Tusheg Zhag February 14, 013 1 Radom Walks Let me describe the model. Radom walks are used to describe the motio of a movig particle (object). Suppose that a particle (object) moves alog the

More information

Different kinds of Mathematical Induction

Different 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 information

The Boolean Ring of Intervals

The 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 information

A New Solution Method for the Finite-Horizon Discrete-Time EOQ Problem

A New Solution Method for the Finite-Horizon Discrete-Time EOQ Problem This is the Pre-Published Versio. A New Solutio Method for the Fiite-Horizo Discrete-Time EOQ Problem Chug-Lu Li Departmet of Logistics The Hog Kog Polytechic Uiversity Hug Hom, Kowloo, Hog Kog Phoe: +852-2766-7410

More information

Hashing and Amortization

Hashing and Amortization Lecture Hashig ad Amortizatio Supplemetal readig i CLRS: Chapter ; Chapter 7 itro; Sectio 7.. Arrays ad Hashig Arrays are very useful. The items i a array are statically addressed, so that isertig, deletig,

More information

Math 220A Fall 2007 Homework #2. Will Garner A

Math 220A Fall 2007 Homework #2. Will Garner A Math 0A Fall 007 Homewor # Will Garer Pg 3 #: Show that {cis : a o-egative iteger} is dese i T = {z œ : z = }. For which values of q is {cis(q): a o-egative iteger} dese i T? To show that {cis : a o-egative

More information

Large holes in quasi-random graphs

Large 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 information

CHAPTER 2 NEIGHBORHOOD CONNECTED PERFECT DOMINATION IN GRAPHS

CHAPTER 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 information

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11

Machine Learning Theory Tübingen University, WS 2016/2017 Lecture 11 Machie Learig Theory Tübige Uiversity, WS 06/07 Lecture Tolstikhi Ilya Abstract We will itroduce the otio of reproducig kerels ad associated Reproducig Kerel Hilbert Spaces (RKHS). We will cosider couple

More information

Congruence Modulo a. Since,

Congruence Modulo a. Since, Cogruece Modulo - 03 The [ ] equivalece classes refer to the Differece of quares relatio ab if a -b o defied as Theorem 3 - Phi is Periodic, a, [ a ] [ a] The period is Let ad a We must show ( a ) a ice,

More information

On Nonsingularity of Saddle Point Matrices. with Vectors of Ones

On Nonsingularity of Saddle Point Matrices. with Vectors of Ones Iteratioal Joural of Algebra, Vol. 2, 2008, o. 4, 197-204 O Nosigularity of Saddle Poit Matrices with Vectors of Oes Tadeusz Ostrowski Istitute of Maagemet The State Vocatioal Uiversity -400 Gorzów, Polad

More information

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS

ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS ABOUT CHAOS AND SENSITIVITY IN TOPOLOGICAL DYNAMICS EDUARD KONTOROVICH Abstract. I this work we uify ad geeralize some results about chaos ad sesitivity. Date: March 1, 005. 1 1. Symbolic Dyamics Defiitio

More information

Sets. Sets. Operations on Sets Laws of Algebra of Sets Cardinal Number of a Finite and Infinite Set. Representation of Sets Power Set Venn Diagram

Sets. Sets. Operations on Sets Laws of Algebra of Sets Cardinal Number of a Finite and Infinite Set. Representation of Sets Power Set Venn Diagram Sets MILESTONE Sets Represetatio of Sets Power Set Ve Diagram Operatios o Sets Laws of lgebra of Sets ardial Number of a Fiite ad Ifiite Set I Mathematical laguage all livig ad o-livig thigs i uiverse

More information

Math 609/597: Cryptography 1

Math 609/597: Cryptography 1 Math 609/597: Cryptography 1 The Solovay-Strasse Primality Test 12 October, 1993 Burt Roseberg Revised: 6 October, 2000 1 Itroductio We describe the Solovay-Strasse primality test. There is quite a bit

More information

Linear Programming! References! Introduction to Algorithms.! Dasgupta, Papadimitriou, Vazirani. Algorithms.! Cormen, Leiserson, Rivest, and Stein.

Linear Programming! References! Introduction to Algorithms.! Dasgupta, Papadimitriou, Vazirani. Algorithms.! Cormen, Leiserson, Rivest, and Stein. Liear Programmig! Refereces! Dasgupta, Papadimitriou, Vazirai. Algorithms.! Corme, Leiserso, Rivest, ad Stei. Itroductio to Algorithms.! Slack form! For each costrait i, defie a oegative slack variable

More information

Analytic Continuation

Analytic Continuation Aalytic Cotiuatio The stadard example of this is give by Example Let h (z) = 1 + z + z 2 + z 3 +... kow to coverge oly for z < 1. I fact h (z) = 1/ (1 z) for such z. Yet H (z) = 1/ (1 z) is defied for

More information

Math 104: Homework 2 solutions

Math 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 information

1 Hash tables. 1.1 Implementation

1 Hash tables. 1.1 Implementation Lecture 8 Hash Tables, Uiversal Hash Fuctios, Balls ad Bis Scribes: Luke Johsto, Moses Charikar, G. Valiat Date: Oct 18, 2017 Adapted From Virgiia Williams lecture otes 1 Hash tables A hash table is a

More information

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled

The picture in figure 1.1 helps us to see that the area represents the distance traveled. Figure 1: Area represents distance travelled 1 Lecture : Area Area ad distace traveled Approximatig area by rectagles Summatio The area uder a parabola 1.1 Area ad distace Suppose we have the followig iformatio about the velocity of a particle, how

More information

CALCULATION OF FIBONACCI VECTORS

CALCULATION 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 information

Convergence of random variables. (telegram style notes) P.J.C. Spreij

Convergence of random variables. (telegram style notes) P.J.C. Spreij Covergece of radom variables (telegram style otes).j.c. Spreij this versio: September 6, 2005 Itroductio As we kow, radom variables are by defiitio measurable fuctios o some uderlyig measurable space

More information

Integer Linear Programming

Integer Linear Programming Iteger Liear Programmig Itroductio Iteger L P problem (P) Mi = s. t. a = b i =,, m = i i 0, iteger =,, c Eemple Mi z = 5 s. t. + 0 0, 0, iteger F(P) = feasible domai of P Itroductio Iteger L P problem

More information

A sequence of numbers is a function whose domain is the positive integers. We can see that the sequence

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,, 2, 2, 3, 3,... is a fuctio from the positive itegers whe we write the first sequece elemet as

More information

If 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?

If 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 information

Measure and Measurable Functions

Measure and Measurable Functions 3 Measure ad Measurable Fuctios 3.1 Measure o a Arbitrary σ-algebra Recall from Chapter 2 that the set M of all Lebesgue measurable sets has the followig properties: R M, E M implies E c M, E M for N implies

More information

CSE 191, Class Note 05: Counting Methods Computer Sci & Eng Dept SUNY Buffalo

CSE 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 information

Math 2784 (or 2794W) University of Connecticut

Math 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 information

Lecture 7: October 18, 2017

Lecture 7: October 18, 2017 Iformatio ad Codig Theory Autum 207 Lecturer: Madhur Tulsiai Lecture 7: October 8, 207 Biary hypothesis testig I this lecture, we apply the tools developed i the past few lectures to uderstad the problem

More information

The normal subgroup structure of ZM-groups

The normal subgroup structure of ZM-groups arxiv:1502.04776v1 [math.gr] 17 Feb 2015 The ormal subgroup structure of ZM-groups Marius Tărăuceau February 17, 2015 Abstract The mai goal of this ote is to determie ad to cout the ormal subgroups of

More information

7 Sequences of real numbers

7 Sequences of real numbers 40 7 Sequeces of real umbers 7. Defiitios ad examples Defiitio 7... A sequece of real umbers is a real fuctio whose domai is the set N of atural umbers. Let s : N R be a sequece. The the values of s are

More information

15.081J/6.251J Introduction to Mathematical Programming. Lecture 21: Primal Barrier Interior Point Algorithm

15.081J/6.251J Introduction to Mathematical Programming. Lecture 21: Primal Barrier Interior Point Algorithm 508J/65J Itroductio to Mathematical Programmig Lecture : Primal Barrier Iterior Poit Algorithm Outlie Barrier Methods Slide The Cetral Path 3 Approximatig the Cetral Path 4 The Primal Barrier Algorithm

More information

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4.

11. FINITE FIELDS. Example 1: The following tables define addition and multiplication for a field of order 4. 11. FINITE FIELDS 11.1. A Field With 4 Elemets Probably the oly fiite fields which you ll kow about at this stage are the fields of itegers modulo a prime p, deoted by Z p. But there are others. Now although

More information

Putnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers)

Putnam Training Exercise Counting, Probability, Pigeonhole Principle (Answers) Putam Traiig Exercise Coutig, Probability, Pigeohole Pricile (Aswers) November 24th, 2015 1. Fid the umber of iteger o-egative solutios to the followig Diohatie equatio: x 1 + x 2 + x 3 + x 4 + x 5 = 17.

More information

Analysis of Algorithms. Introduction. Contents

Analysis of Algorithms. Introduction. Contents Itroductio The focus of this module is mathematical aspects of algorithms. Our mai focus is aalysis of algorithms, which meas evaluatig efficiecy of algorithms by aalytical ad mathematical methods. We

More information