Hardness Results for Intersection Non-Emptiness
|
|
- Walter Barton
- 6 years ago
- Views:
Transcription
1 Hardess Results for Itersectio No-Emptiess Michael Wehar Uiversity at Buffalo Jauary 16, 2015 Abstract We carefully reexamie a costructio of Karakostas, Lipto, ad Viglas (2003) to show that the itersectio o-emptiess problem for DFA s (determiistic fiite automata) characterizes the complexity class NL. I particular, if restricted to a biary work tape alphabet, the there exist costats c 1 ad c 2 such that for every k itersectio o-emptiess for k DFA s is solvable i c 1 k log() space, but is ot solvable i c 2 k log() space. We optimize the costructio to show that for a arbitrary umber of DFA s itersectio o-emptiess is ot solvable i o( log() log(log()) ) space. Furthermore, if there exists a fuctio f(k) = o(k) such that for every k itersectio o-emptiess for k DFA s is solvable i f(k) time, the P NL. If there does ot exist a costat c such that for every k itersectio o-emptiess for k DFA s is solvable i c time, the P does ot cotai ay space complexity class larger tha NL. 1 Itroductio Let A deote a class of machies. The itersectio o-emptiess problem for A, deoted by IE A, cosists of all fiite lists of machies i A whose uderlyig laguages have a o-empty itersectio. By fixig the umber of machies i the iput to k, oe obtais itersectio o-emptiess for k machies which we deote by k-ie A. Itersectio o-emptiess problems ca be motivated by the followig sceario. Cosider that you are tryig to costruct a object x for a particular applicatio. You propose a fiite list of coditios for x to satisfy such that each 1
2 2 Michael Wehar coditio ca be decided by a machie i A. A algorithm that solves itersectio o-emptiess for A provides a method for checkig if there exists a object x satisfyig the proposed coditios. Let IE D deote the itersectio o-emptiess problem for DFA s. Oe ca solve IE D by checkig reachability i a product machie. Give a iput cosistig of k machies each of size at most m, the product machie has size at most m k. Therefore, checkig reachability takes at most m O(k) time. Is it possible to solve IE D more efficietly? I [5], it was show that IE D is PSPACE-complete. Cosider restrictig the umber of machies i the iput of IE D by a fuctio g() where is the total iput legth. I [6], it was show that if g() is subliear ad log-space-costructible, the such a restrictio yields a complete problem for NSPACE(g() log()). I [4], it was show that the existece of a more efficiet algorithm for IE D would imply a separatio result. I particular, if there exists a fuctio f(k) = o(k) such that IE D is solvable i m 1 m f(k) 2 time where m 1 is the size of a desigated largest machie ad all other machies have size at most m 2, the NL P. I this paper, we carefully reexamie ad optimize the costructio from [4] i order to prove ew results. We show that if restricted to a biary work tape alphabet, the there exist costats c 1 ad c 2 such that for every k, k-ie D NSPACE(c 1 k log()) ad k-ie D / NSPACE(c 2 k log()). The, we itroduce a optimized costructio to show that IE D / NSPACE(o( )). Fially, log() log(log()) we combie these results with a diagoalizatio argumet to show that if there exists a fuctio f(k) = o(k) such that for every k, k-ie D DTIME( f(k) ), the P NL. If there does ot exist a costat c such that for every k, k-ie D DTIME( c ), the NSPACE(f()) P for all f() = ω(log()) such that f is space-costructible. 2 Notatio ad Covetios The iput for IE D is a ecodig of a fiite list of DFA s. For each ecodig, will deote the legth ad k will deote the umber of machies that are represeted. For each atural umber k, k-ie D deotes a restrictio of the IE D problem such that we oly accept iputs that ecode at most k machies. Wheever we use the term Turig machie, we refer to a determiistic or o-determiistic machie with a two-way read oly iput tape ad a two-way
3 Hardess Results for Itersectio No-Emptiess 3 read/write work tape. For our purposes, we will oly cosider Turig machies where the work tape alphabet is biary. A work tape over a biary alphabet will be referred to as a biary work tape. A cell o a biary work tape will be referred to as a bit cell. For each k, there are acceptace problems for space ad time bouded Turig machies deoted by Nk S log ad DT, respectively. N S k k log refers to the problem where we are give a ecodig of a o-determiistic Turig machie M with a biary work tape ad a iput s. We accept (M, s) if ad oly if M accepts s usig at most k log() work tape bit cells where deotes the legth of s. D T is defied similarly k for k determiistic time. We deote by NSPACE 2 (h()) the set of problems solvable by a o-determiistic Turig machie usig at most h() work tape bit cells. Such classes are used to measure the biary space complexity of problems [2]. We associate Nk S log with NSPACE2 (k log()) ad D T with DTIME( k ). k 3 Biary Space Complexity We itroduce a fuctio S NL (k) that measures the actual space complexities of the Nk S log problems. I particular, S NL(k) is defied as follows: S NL (k) := mi{ d N Nk S log NSPACE 2 (d log()) }. (1) I this sectio, we sketch how oe could apply stadard techiques from the space hierarchy theorem to prove that there exist costats c 1 ad c 2 such that for every k sufficietly large, N S k log NSPACE2 (c 1 k log()) ad N S k log / NSPACE2 (c 2 k log()). Usig the fuctio S NL (k), we express this result as S NL (k) = Θ(k). Propositio 1. S NL (k) = O(k). Sketch of proof. Usig the simulatio foud i ay commo proof of the space hierarchy theorem, oe shows that Nlog S NL. Further, oe shows S NL(k) = O(k) by usig paddig to reduce Nk S log to N log S for every k. Propositio 2. S NL (k) = Ω(k). Sketch of proof. Usig the stadard diagoalizatio argumet foud i ay commo proof of the o-determiistic space hierarchy theorem, oe shows S NL (k) = Ω(k). Notice that i order to carry out the diagoalizatio oe eeds to show
4 4 Michael Wehar there exists c such that for all k, NSPACE 2 (k log()) co -NSPACE 2 (ck log()). (2) First, oe applies the result NL = co -NL to show that there exists c such that Nlog S co -NSPACE2 (c log()). Further, oe shows (2) by usig paddig to reduce Nk S log to N log S for every k. Corollary 3. S NL (k) = Θ(k). 4 Reductios We itroduce a fuctio S IE (k) that measures the actual space complexities of the k-ie D problems. I particular, S IE (k) is defied as follows: S IE (k) := mi{ d N k-ie D NSPACE 2 (d log()) }. (3) I this sectio, we carefully reexamie the costructio from [4] to show that there exist costats c 1 ad c 2 such that for every k sufficietly large, k-ie D NSPACE 2 (c 1 k log()) ad k-ie D / NSPACE 2 (c 2 k log()). Usig the fuctio S IE (k), we ca express this result as S IE (k) = Θ(S NL (k)) = Θ(k). Propositio 4. S IE (k) = O(k). Sketch of proof. As was previously discussed, oe ca solve IE D by checkig reachability i a product machie. A state of the product machie ca be stored as a strig of k log() bits. Give such a state, we ca o-determiistically guess which state comes ext. There exists a path from a iitial state to a fial state if ad oly if there exists a path from a iitial state to a fial state of legth at most k. costat c. Therefore, k-ie D is solvable usig at most ck log() bits for some Theorem 5. S IE (k) = Ω(S NL (k)). Proof. We will describe a reductio from N S k log to k-ie D. The, we will discuss ecodig details to show that this is a log-space reductio. Let a k log() space bouded o-determiistic Turig machie M of size M ad a iput strig s of legth s be give. Together, a ecodig of M ad s
5 Hardess Results for Itersectio No-Emptiess 5 represet a arbitrary iput for Nk S log. Let deote the total size of M ad s combied i.e. := M + s. Our first task is to costruct k DFA s, deoted by < D i > i [k], each of size at most p() for some fixed polyomial p such that M accepts s if ad oly if i [k] L(D i) is o-empty. The DFA s will read i a strig that represets a computatio of M o s ad verify that the computatio is valid ad acceptig. The work tape of M will be split ito k sectios each cosistig of log( s ) sequetial bits of memory. The ith DFA, D i, will keep track of the ith sectio ad verify that it is maaged correctly. I additio, all of the DFA s will keep track of the iput ad work tape head positios. We will achieve a better simulatio i Theorem 7 where we split up the maagemet of the tape head positios to separate DFA s. The followig two cocepts are essetial to our costructio. A sectio i cofiguratio of M is a tuple of the form (state, iput positio, work positio, ith sectio of work tape). A forgetful cofiguratio of M is a tuple of the form (state, iput positio, work positio, write bit). The states of D i are idetified with sectio i cofiguratios. The alphabet characters are idetified with forgetful cofiguratios. Ituitively, D i reads i forgetful cofiguratios that represet where to move the tape heads ext ad how the curret bit cell should be maipulated. Formally, the trasitios for the DFA D i are defied as follows. Let a forgetful cofiguratio a ad sectio i cofiguratios r 1 ad r 2 be give. It s possible that either the work tape positio of r 1 is i the ith sectio, or the work tape positio is i aother sectio. I the first case, there is a trasitio from state r 1 with alphabet character a to state r 2 if (1a) goig from r 1 to r 2 represets a valid trasitio of M o iput s, (1b) the ith sectio of r 2 appropriately chages accordig to the write bit of a, ad (1c) a ad r 2 agree o state, iput positio, ad work positio. I the secod case, there is a trasitio from state r 1 with alphabet character a to state r 2 if (2a) r 1 ad r 2 agree o the ith sectio of the work tape, ad (2b) a ad r 2 agree o state, iput positio, ad work positio. We assert without proof that for every strig x, x represets a valid acceptig computatio of M o s if ad oly if x i [k] L(D i). Therefore, M accepts s if
6 6 Michael Wehar ad oly if i [k] L(D i) is o-empty. We show that the D i s have size at most p() for some fixed polyomial p. Each D i cosists of a start state, a list of fial states, ad a list of trasitios where each trasitio cosists of two states ad a alphabet character. Each state is represeted by a sectio i cofiguratio ad each alphabet character is represeted by a forgetful cofiguratio. Therefore, i total there are M s k log( s ) 2 log(s) sectio i cofiguratios ad M s k log( s ) forgetful cofiguratios. Hece, there exists a fixed two variable polyomial q such that each D i has size at most q(, k). Sice k is fixed, oe ca blow up the degree of q to get a polyomial p such that p does t deped o k ad each D i has size at most p(). It should be clear from the precedig that there is a fixed polyomial t() such that for every k, N S k log is t()-time reducible to k-ie D. However, we wat to show that there is a costat c such that for every k, Nk S log is c log()-space reducible to k-ie D. We accomplish this by describig how to prit the strig ecodig of the D i s to a auxiliary write oly output tape usig at most c log() space for some costat c. We will describe how to prit the trasitios for each D i ad leave the remaiig ecodig details to the reader. We use a bit strig i to represet the curret DFA ad two bit strigs j 1 ad j 2 to represet sectio i cofiguratios. We iterate through every combiatio of i, j 1, ad j 2. If D i has a trasitio from j 1 to j 2, the we prit (i, j 1, a, j 2 ) where a is the forgetful cofiguratio that agrees with j 2. We assert that checkig whether to prit (i, j 1, a, j 2 ) requires o more tha d log(k) + d log() bits for some costat d. Therefore, i pritig the ecodig of the D i s, we use o more tha c log(k) + c log() bits for some costat c. For each k, whe is sufficietly large, the log(k) term goes away. It follows that for every k, N S k log is c log()-space reducible to k-ie D. Corollary 6. S IE (k) = Θ(S NL (k)) = Θ(k). Proof. By Corollary 3, we have S NL (k) = Θ(k). Applyig Propositio 4 ad Theorem 5, we get that S IE (k) = Θ(S NL (k)) = Θ(k). Theorem 7. IE D / NSPACE(o( log() log(log()) )). Proof. By the o-determiistic space hierarchy theorem, we may choose a problem Q such that Q NSPACE(), but Q / NSPACE(o()). Choose c N ad a o-determiistic Turig machie M that solves Q usig at most c bit cells.
7 Hardess Results for Itersectio No-Emptiess 7 We optimize the costructio from the proof of Theorem 5 to show that if IE D NSPACE(o( )), the Q NSPACE(o()). Sice we kow that Q / log() log(log()) NSPACE(o()), it follows that IE D / NSPACE(o( log() log(log()) )). Let a iput strig s for M of legth be give. Our task is to costruct (c+1) DFA s each with at most d log() states for some costat d such that M accepts s if ad oly if the DFA s have a o-empty itersectio. The DFA s will read i a bit strig that represets a computatio of M o s ad verify that the computatio is valid ad acceptig. I this costructio, we split up the maagemet of the tape head positios to separate DFA s. There are DFA s, deoted by < I i > i [], that maage the iput tape ad there are c DFA s, deoted by < W i > i [c], that maage the work tape. The followig cocept is essetial to our costructio. A iformative cofiguratio of M is a tuple of the form (state, iput positio, curret iput bit, work positio, curret work bit). The DFA s will read i a sequece of iformative cofiguratios that are ecoded as bit strigs. I cotrast to the previous costructio, the DFA s will have a biary iput alphabet. Each DFA is assiged to maage a bit positio of either the iput tape or work tape. Each I i stores the ith iput tape bit ad operates as follows. It reads each iformative cofiguratio ad checks if it represets the iput positio i. If it does ot, the it igores the iformative cofiguratio ad moves o to the ext oe. However, if it does represet the iput positio i, the it checks that the stored bit matches the curret iput bit ad uses the curret work bit to check that the iput positio ad state validly trasitio to the ext iformative cofiguratio. Each W i stores the ith work tape bit ad operates as follows. It reads each iformative cofiguratio ad checks if it represets the work positio i. If it does ot, the it igores the iformative cofiguratio ad moves o to the ext oe. However, if it does represet positio i, the it checks that the stored bit matches the curret work bit ad uses the curret iput bit to both modify the stored bit ad check that the work positio ad state validly trasitio to the ext iformative cofiguratio. It s importat to remark that DFA s for boudary positios such as I 1, I, W 1, ad W c caot allow the iput positio or work positio to go outside [] or [c], respectively. We assert without proof that for every bit strig x, x represets a valid acceptig computatio of M o s if ad oly if x i [] L(I i) ad x i [c] L(W i).
8 8 Michael Wehar Therefore, M accepts s if ad oly if there exists a strig x such that x i [] L(I i) ad x i [c] L(W i). A DFA with log(c) states ca be costructed to recogize a fixed biary umber i [c]. Sice a tape positio i could oly trasitio to i 1, i, or i + 1 i oe step, it follows that a DFA with d log() states for some costat d ca be costructed to check the validity of trasitioig to the ext iformative cofiguratio. Therefore, we ca costruct each DFA with at most d log() states for some costat d. We described how to costruct (c + 1) DFA s each with at most d log() states for some costat d whose itersectio is o-empty if ad oly if M accepts s. Sice the total legth of the strig ecodig of < I i > i [] combied with < W i > i [c] is at most log() log(log()), it follows that IE D NSPACE(o( log() log(log()) result because Q / NSPACE(o()). )) implies Q NSPACE(o()). We obtai the desired 5 Space vs Time We itroduce fuctios R NL (k) ad R IE (k) that measure the actual time complexities of Nk S log ad k-ie D, respectively. I particular, R NL (k) ad R IE (k) are defied as follows: R NL (k) := mi{ d N Nk S log DTIME( d ) } (4) R IE (k) := mi{ d N k-ie D DTIME( d ) }. (5) I this sectio, we show that if there exists a fuctio f(k) = o(k) such that for every k, Nk S log DTIME(f(k) ), the P NL. Usig the fuctio R NL (k) we ca express this result as if R NL (k) = o(k), the P NL. Notice that by usig the reductio from Theorem 5, we also have R IE (k) = Θ(R NL (k)). It follows that if R IE (k) = o(k), the P NL. Propositio 8. R IE (k) = Θ(R NL (k)). Theorem 9. If R NL (k) = o(k), the NL P. Proof. Suppose that NL = P. Sice D T P, we have D T NL. Choose d N such that D T NSPACE 2 (d log()). Further, by usig paddig to reduce D T k to D T for every k, oe ca show that there exists d such that for all k, D T k
9 Hardess Results for Itersectio No-Emptiess 9 NSPACE 2 (d k log()). Choose such a costat d satisfyig for all k, D T k NSPACE 2 (d k log()). Suppose for sake of cotradictio that R NL (k) = o(k). By Propositio 2, we may choose c such that for all k sufficietly large Sice R NL (k) = o(k), for all k sufficietly large k Nk S log / NSPACE 2 ( log()). (6) c R NL (k) < k. (7) cd Choose m satisfyig Nm S log / NSPACE2 ( m c log()) ad RNL (m) < m cd. Therefore, N S m log DTIME(o( m cd )). (8) Sice D T k NSPACE 2 (d k log()) for all k, m m D T m NSPACE2 (d log()) NSPACE 2 ( log()). (9) cd cd c Sice we ca trivially reduce every problem i DTIME(o( m cd )) to D T m cd, Nm S log DTIME(o( m m cd )) NSPACE 2 ( log()) (10) c which is a cotradictio because Nm S log / NSPACE2 ( m c log()). Corollary 10. If R IE (k) = o(k), the NL P. Next, we show that if R NL (k) is ubouded, the P does ot cotai ay space complexity class larger tha NL. Sice R IE (k) = Θ(R NL (k)), it follows that if R IE (k) is ubouded, the P does ot cotai ay space complexity class larger tha NL. For every fuctio f, let N S f bouded o-determiistic Turig machies. Nf S is o-determiistically solvable i f() space. deote the acceptace problem for f()-space is of particular iterest to us if it Theorem 11. If R NL (k) is ubouded, the N S f / P for all fuctios f() = ω(log()).
10 10 Michael Wehar Proof. We will prove the cotrapositive. Suppose that Nf S P for some fuctio f() = ω(log()). By assumptio, we may choose c N ad a determiistic Turig machie T such that T solves Nf S i at most O(c ) time. Let k N be give. Choose a o-determiistic Turig machie M that solves Nk S log usig at most O(log()) bit cells. We ca determiistically solve Nk S log i at most O(c ) time by feedig T a ecodig of M ad the iput strig. Sice k is arbitrary, Nk S log is solvable i O(c ) time for every k. It follows that R NL (k) is bouded. Corollary 12. If R NL (k) is ubouded, the NSPACE(f()) P for all f() = ω(log()) such that f is space-costructible. Proof. Suppose R NL (k) is ubouded. Let a fuctio f() = ω(log()) such that f is space-costructible be give. Apply the precedig theorem to get that N S f / P. Sice f is space-costructible, oe ca use the simulatio foud i ay commo proof of the space hierarchy theorem to show that Nf S NSPACE(f()). Sice Nf S / P ad Nf S NSPACE(f()), it follows that NSPACE(f()) P. Corollary 13. If R IE (k) is ubouded, the NSPACE(f()) P for all f() = ω(log()) such that f is space-costructible. 6 Coclusio I Sectio 4, we showed that S NL (k) = S IE (k) = Θ(k). Therefore, we thik of itersectio o-emptiess for DFA s as characterizig the complexity class NL. Further, we showed that IE D / NSPACE(o( log() log(log()) )). I Sectio 5, we showed that if R IE (k) = o(k), the NL P ad if R IE (k) is ubouded, the NSPACE(f()) P for all f() = ω(log()) such that f is space-costructible. Therefore, the asymptotic complexity of R IE (k) determies the relatioship betwee space ad time complexity classes. There are several related problems that appear to be harder tha k-ie D, but easier tha Nk S log. For example, cosider itersectio o-emptiess for k NFA s, o-emptiess for k-tur 2DFA s, ad itersectio o-emptiess for k DFA s ad a oe-couter automato. We ca use S IE (k) = Θ(S NL (k)) ad R IE (k) = Θ(R NL (k)) as squeeze theorems to show that all of these problems are of equivalet difficulty. Also, oe could defie a fuctio that maps the k-ie D problems to their actual circuit complexities. The asymptotic complexity of such a fuctio could determie the relatioship betwee NL vs NP ad P/poly vs space complexity classes [4].
11 Hardess Results for Itersectio No-Emptiess 11 Several related itersectio o-emptiess problems have bee studied. There are two such problems that we would like to metio. I [10], itersectio oemptiess for acyclic DFA s, which are DFA s without directed cycles, was show to be NP-complete. We assert that oe could modify the costructio from the proof of Theorem 5 to reduce the acceptace problem for -time ad k log()- space bouded o-determiistic Turig machies to itersectio o-emptiess for k acyclic DFA s. Also, i [11], itersectio o-emptiess for tree automata was show to be EXPTIME-complete. I a upcomig paper, the author ad Joseph Swerofsky itroduce time complexity lower bouds for itersectio oemptiess for tree automata. Ackowledgmets I greatly appreciate all of the help ad suggestios that I received. I particular, I would like to thak Christos Kapoutsis for suggestios related to the costructios, Joseph Swerofsky for proof readig ad may discussios, Richard Lipto ad Keeth Rega for callig attetio to my results i a article o their blog [8], ad the may aoymous referees. I would especially like to thak all those at Caregie Mello Uiversity who offered their help ad support for my hoors thesis o the same topic. I particular, I would like to thak my thesis advisor, Klaus Suter, ad my thesis committee members, Mauel Blum ad Richard Statma. Refereces [1] Michael Blodi, Adreas Krebs, ad Pierre McKezie. The complexity of itersectig fiite automata havig few fial states. Computatioal Complexity (CC), 2014 (to appear). [2] Oded Goldreich. Computatioal Complexity: A Coceptual Perspective. Cambridge Uiversity Press, New York, [3] Neil D. Joes, Y. Edmud Lie, ad William T. Laaser. New problems complete for odetermiistic log space. Mathematical Systems Theory 10, [4] G. Karakostas, R. J. Lipto, ad A. Viglas. O the complexity of itersectig fiite state automata ad NL versus NP. Theoretical Computer Sciece, 302: , 2003.
12 12 Michael Wehar [5] Dexter Koze. Lower bouds for atural proof systems. Proc. 18th Symp. o the Foudatios of Computer Sciece, pages , [6] Klaus-Jör Lage ad Peter Rossmaith. The emptiess problem for itersectios of regular laguages. Lecture Notes i Computer Sciece, 629: , [7] R. J. Lipto. O the itersectio of fiite automata. Gödel s Lost Letter ad P=NP, August [8] R. J. Lipto ad K. W. Rega. The power of guessig. Gödel s Lost Letter ad P=NP, November [9] M. O. Rabi ad D. Scott. Fiite automata ad their decisio problems. IBM Joural, [10] Narad Rampersad ad Jeffrey Shallit. Detectig patters i fiite regular ad cotext-free laguages. Iformatio Processig Letters, 110, [11] Margus Veaes. O computatioal complexity of basic decisio problems of fiite tree automata. UPMAIL Techical Report 133, [12] Michael Wehar. Itersectio emptiess for fiite automata. Hoors thesis, Caregie Mello Uiversity, 2012.
Lecture 9: Hierarchy Theorems
IAS/PCMI Summer Sessio 2000 Clay Mathematics Udergraduate Program Basic Course o Computatioal Complexity Lecture 9: Hierarchy Theorems David Mix Barrigto ad Alexis Maciel July 27, 2000 Most of this lecture
More informationCS151 Complexity Theory
Time ad Space CS151 Complexity Theory Lecture 2 April 1, 2004 A motivatig questio: Boolea formula with odes evaluate usig O(log ) space? depth-first traversal requires storig itermediate values idea: short-circuit
More informationComputability and computational complexity
Computability ad computatioal complexity Lecture 4: Uiversal Turig machies. Udecidability Io Petre Computer Sciece, Åbo Akademi Uiversity Fall 2015 http://users.abo.fi/ipetre/computability/ 21. toukokuu
More informationIntroduction to Automata Theory. Reading: Chapter 1
Itroductio to Automata Theory Readig: Chapter 1 1 What is Automata Theory? Study of abstract computig devices, or machies Automato = a abstract computig device Note: A device eed ot eve be a physical hardware!
More informationComputability and computational complexity
Computability ad computatioal complexity Lecture 6: Relatios betwee complexity classes Io Petre Computer Sciece, Åbo Akademi Uiversity Fall 2015 http://users.abo.fi/ipetre/computability/ 21 May 2018 http://users.abo.fi/ipetre/computability/
More informationFinite Automata. Reading: Chapter 2
Fiite Automata Readig: Chapter 2 Fiite Automato (FA) Iformally, a state diagram that comprehesively captures all possible states ad trasitios that a machie ca take while respodig to a stream or sequece
More informationLecture 11: Pseudorandom functions
COM S 6830 Cryptography Oct 1, 2009 Istructor: Rafael Pass 1 Recap Lecture 11: Pseudoradom fuctios Scribe: Stefao Ermo Defiitio 1 (Ge, Ec, Dec) is a sigle message secure ecryptio scheme if for all uppt
More informationLecture 2: Uncomputability and the Haling Problem
CSE 200 Computability ad Complexity Wedesday, April 3, 2013 Lecture 2: Ucomputability ad the Halig Problem Istructor: Professor Shachar Lovett Scribe: Dogcai She 1 The Uiversal Turig Machie I the last
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 informationProperties of Regular Languages. Reading: Chapter 4
Properties of Regular Laguages Readig: Chapter 4 Topics ) How to prove whether a give laguage is regular or ot? 2) Closure properties of regular laguages 3) Miimizatio of DFAs 2 Some laguages are ot regular
More information7. Modern Techniques. Data Encryption Standard (DES)
7. Moder Techiques. Data Ecryptio Stadard (DES) The objective of this chapter is to illustrate the priciples of moder covetioal ecryptio. For this purpose, we focus o the most widely used covetioal ecryptio
More informationResolution Proofs of Generalized Pigeonhole Principles
Resolutio Proofs of Geeralized Pigeohole Priciples Samuel R. Buss Departmet of Mathematics Uiversity of Califoria, Berkeley Győrgy Turá Departmet of Mathematics, Statistics, ad Computer Sciece Uiversity
More informationCourse 8 Properties of Regular Languages
Course 8 Properties of Regular Laguages The structure ad the cotet of the lecture is based o http://www.eecs.wsu.edu/~aath/cpts37/lectures/idex.htm Topics ) How to prove whether a give laguage is ot regular?
More informationOn the Linear Complexity of Feedback Registers
O the Liear Complexity of Feedback Registers A. H. Cha M. Goresky A. Klapper Northeaster Uiversity Abstract I this paper, we study sequeces geerated by arbitrary feedback registers (ot ecessarily feedback
More information4.3 Growth Rates of Solutions to Recurrences
4.3. GROWTH RATES OF SOLUTIONS TO RECURRENCES 81 4.3 Growth Rates of Solutios to Recurreces 4.3.1 Divide ad Coquer Algorithms Oe of the most basic ad powerful algorithmic techiques is divide ad coquer.
More informationA 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 informationSection 5.1 The Basics of Counting
1 Sectio 5.1 The Basics of Coutig Combiatorics, the study of arragemets of objects, is a importat part of discrete mathematics. I this chapter, we will lear basic techiques of coutig which has a lot of
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 informationOblivious 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 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 informationLecture 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 informationThe Borel hierarchy classifies subsets of the reals by their topological complexity. Another approach is to classify them by size.
Lecture 7: Measure ad Category The Borel hierarchy classifies subsets of the reals by their topological complexity. Aother approach is to classify them by size. Filters ad Ideals The most commo measure
More informationInformation-based Feature Selection
Iformatio-based Feature Selectio Farza Faria, Abbas Kazeroui, Afshi Babveyh Email: {faria,abbask,afshib}@staford.edu 1 Itroductio Feature selectio is a topic of great iterest i applicatios dealig with
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 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 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 informationContext-free grammars and. Basics of string generation methods
Cotext-free grammars ad laguages Basics of strig geeratio methods What s so great about regular expressios? A regular expressio is a strig represetatio of a regular laguage This allows the storig a whole
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 informationBinary codes from graphs on triples and permutation decoding
Biary codes from graphs o triples ad permutatio decodig J. D. Key Departmet of Mathematical Scieces Clemso Uiversity Clemso SC 29634 U.S.A. J. Moori ad B. G. Rodrigues School of Mathematics Statistics
More information6.895 Essential Coding Theory October 20, Lecture 11. This lecture is focused in comparisons of the following properties/parameters of a code:
6.895 Essetial Codig Theory October 0, 004 Lecture 11 Lecturer: Madhu Suda Scribe: Aastasios Sidiropoulos 1 Overview This lecture is focused i comparisos of the followig properties/parameters of a code:
More informationChapter 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 informationA Note on the Symmetric Powers of the Standard Representation of S n
A Note o the Symmetric Powers of the Stadard Represetatio of S David Savitt 1 Departmet of Mathematics, Harvard Uiversity Cambridge, MA 0138, USA dsavitt@mathharvardedu Richard P Staley Departmet of Mathematics,
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 informationPRACTICE FINAL SOLUTIONS
CSE 303 PRACTICE FINAL SOLUTIONS FOR FINAL stud Practice Fial (mius PUMPING LEMMA ad Turig Machies) ad Problems from Q1 Q4, Practice Q1 Q4, ad Midterm ad Practice midterm. I will choose some of these problems
More informationCS284A: Representations and Algorithms in Molecular Biology
CS284A: Represetatios ad Algorithms i Molecular Biology Scribe Notes o Lectures 3 & 4: Motif Discovery via Eumeratio & Motif Represetatio Usig Positio Weight Matrix Joshua Gervi Based o presetatios by
More informationDisjoint Systems. Abstract
Disjoit Systems Noga Alo ad Bey Sudaov Departmet of Mathematics Raymod ad Beverly Sacler Faculty of Exact Scieces Tel Aviv Uiversity, Tel Aviv, Israel Abstract A disjoit system of type (,,, ) is a collectio
More informationA Turing Machine. The Tape. Languages accepted by Turing Machines. Tape... Read-Write head. Context-Free n Languages. Control Unit.
CS 30 - ecture 9 Turig Machies Fall 2008 eview aguages ad Grammars Alphaets, strigs, laguages egular aguages Determiistic Fiite ad Nodetermiistic Automata Equivalece of NFA ad DFA ad Miimizig a DFA egular
More informationOPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES
OPTIMAL ALGORITHMS -- SUPPLEMENTAL NOTES Peter M. Maurer Why Hashig is θ(). As i biary search, hashig assumes that keys are stored i a array which is idexed by a iteger. However, hashig attempts to bypass
More information1 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 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 informationFortgeschrittene Datenstrukturen Vorlesung 11
Fortgeschrittee Datestruture Vorlesug 11 Schriftführer: Marti Weider 19.01.2012 1 Succict Data Structures (ctd.) 1.1 Select-Queries A slightly differet approach, compared to ra, is used for select. B represets
More informationNotes for Lecture 11
U.C. Berkeley CS78: Computatioal Complexity Hadout N Professor Luca Trevisa 3/4/008 Notes for Lecture Eigevalues, Expasio, ad Radom Walks As usual by ow, let G = (V, E) be a udirected d-regular graph with
More informationUC Berkeley CS 170: Efficient Algorithms and Intractable Problems Handout 17 Lecturer: David Wagner April 3, Notes 17 for CS 170
UC Berkeley CS 170: Efficiet Algorithms ad Itractable Problems Hadout 17 Lecturer: David Wager April 3, 2003 Notes 17 for CS 170 1 The Lempel-Ziv algorithm There is a sese i which the Huffma codig was
More informationComputability and computational complexity
Computability ad computatioal complexity Lecture 12: O P vs NP Io Petre Computer Sciece, Åbo Akademi Uiversity Fall 2015 http://users.abo.fi/ipetre/computability/ December 9, 2015 http://users.abo.fi/ipetre/computability/
More informationDiscrete Mathematics for CS Spring 2007 Luca Trevisan Lecture 22
CS 70 Discrete Mathematics for CS Sprig 2007 Luca Trevisa Lecture 22 Aother Importat Distributio The Geometric Distributio Questio: A biased coi with Heads probability p is tossed repeatedly util the first
More informationDe Bruijn Sequences for the Binary Strings with Maximum Specified Density
De Bruij Sequeces for the Biary Strigs with Maximum Specified Desity Joe Sawada 1, Brett Steves 2, ad Aaro Williams 2 1 jsawada@uoguelph.ca School of Computer Sciece, Uiversity of Guelph, CANADA 2 brett@math.carleto.ca
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 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 informationInformation Theory and Statistics Lecture 4: Lempel-Ziv code
Iformatio Theory ad Statistics Lecture 4: Lempel-Ziv code Łukasz Dębowski ldebowsk@ipipa.waw.pl Ph. D. Programme 203/204 Etropy rate is the limitig compressio rate Theorem For a statioary process (X i)
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 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 informationLecture 3 The Lebesgue Integral
Lecture 3: The Lebesgue Itegral 1 of 14 Course: Theory of Probability I Term: Fall 2013 Istructor: Gorda Zitkovic Lecture 3 The Lebesgue Itegral The costructio of the itegral Uless expressly specified
More informationConvergence 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 information2 High-level Complexity vs. Concrete Complexity
COMS 6998: Advaced Complexity Sprig 2017 Lecture 1: Course Itroductio ad Boolea Formulas Lecturer: Rocco Servedio Scribes: Jiahui Liu, Kailash Karthik Meiyappa 1 Overview of Topics 1. Boolea formulas (examples,
More informationThe Choquet Integral with Respect to Fuzzy-Valued Set Functions
The Choquet Itegral with Respect to Fuzzy-Valued Set Fuctios Weiwei Zhag Abstract The Choquet itegral with respect to real-valued oadditive set fuctios, such as siged efficiecy measures, has bee used i
More informationn k <. If an even palindrome subsequence consists 2
Fidig all Palidrome Subsequeces o a Strig K.R. Chuag 1, R.C.T. Lee 2 ad C.H. Huag 3* 1, 2 Departmet of Computer Sciece, Natioal Chi-Na Uiversity, Puli, Natou Hsieh, Taiwa 545 3 Departmet of Computer Sciece
More informationA statistical method to determine sample size to estimate characteristic value of soil parameters
A statistical method to determie sample size to estimate characteristic value of soil parameters Y. Hojo, B. Setiawa 2 ad M. Suzuki 3 Abstract Sample size is a importat factor to be cosidered i determiig
More informationInformation Theory Tutorial Communication over Channels with memory. Chi Zhang Department of Electrical Engineering University of Notre Dame
Iformatio Theory Tutorial Commuicatio over Chaels with memory Chi Zhag Departmet of Electrical Egieerig Uiversity of Notre Dame Abstract A geeral capacity formula C = sup I(; Y ), which is correct for
More informationLecture 2. The Lovász Local Lemma
Staford Uiversity Sprig 208 Math 233A: No-costructive methods i combiatorics Istructor: Ja Vodrák Lecture date: Jauary 0, 208 Origial scribe: Apoorva Khare Lecture 2. The Lovász Local Lemma 2. Itroductio
More informationOptimal Proof Systems and Sparse Sets
DIMACS Techical Report 99-48 September 1999 Optimal Proof Systems ad Sparse Sets by Harry Buhrma CWI buhrma@cwi.l Steve Feer 1 Uiversity of South Carolia feer@cs.sc.edu Lace Fortow 2,3 Uiversity of Chicago
More informationLecture 2: April 3, 2013
TTIC/CMSC 350 Mathematical Toolkit Sprig 203 Madhur Tulsiai Lecture 2: April 3, 203 Scribe: Shubhedu Trivedi Coi tosses cotiued We retur to the coi tossig example from the last lecture agai: Example. Give,
More informationLecture 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 informationMachine 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 informationLecture 1: Basic problems of coding theory
Lecture 1: Basic problems of codig theory Error-Correctig Codes (Sprig 016) Rutgers Uiversity Swastik Kopparty Scribes: Abhishek Bhrushudi & Aditya Potukuchi Admiistrivia was discussed at the begiig of
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 informationEntropy and Ergodic Theory Lecture 5: Joint typicality and conditional AEP
Etropy ad Ergodic Theory Lecture 5: Joit typicality ad coditioal AEP 1 Notatio: from RVs back to distributios Let (Ω, F, P) be a probability space, ad let X ad Y be A- ad B-valued discrete RVs, respectively.
More informationThis is an introductory course in Analysis of Variance and Design of Experiments.
1 Notes for M 384E, Wedesday, Jauary 21, 2009 (Please ote: I will ot pass out hard-copy class otes i future classes. If there are writte class otes, they will be posted o the web by the ight before class
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 information1 Review and Overview
DRAFT a fial versio will be posted shortly CS229T/STATS231: Statistical Learig Theory Lecturer: Tegyu Ma Lecture #3 Scribe: Migda Qiao October 1, 2013 1 Review ad Overview I the first half of this course,
More informationModel of Computation and Runtime Analysis
Model of Computatio ad Rutime Aalysis Model of Computatio Model of Computatio Specifies Set of operatios Cost of operatios (ot ecessarily time) Examples Turig Machie Radom Access Machie (RAM) PRAM Map
More informationHOMEWORK 2 SOLUTIONS
HOMEWORK SOLUTIONS CSE 55 RANDOMIZED AND APPROXIMATION ALGORITHMS 1. Questio 1. a) The larger the value of k is, the smaller the expected umber of days util we get all the coupos we eed. I fact if = k
More informationThe Random Walk For Dummies
The Radom Walk For Dummies Richard A Mote Abstract We look at the priciples goverig the oe-dimesioal discrete radom walk First we review five basic cocepts of probability theory The we cosider the Beroulli
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 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 informationMa 530 Introduction to Power Series
Ma 530 Itroductio to Power Series Please ote that there is material o power series at Visual Calculus. Some of this material was used as part of the presetatio of the topics that follow. What is a Power
More informationChapter IV Integration Theory
Chapter IV Itegratio Theory Lectures 32-33 1. Costructio of the itegral I this sectio we costruct the abstract itegral. As a matter of termiology, we defie a measure space as beig a triple (, A, µ), where
More informationLecture 10: Mathematical Preliminaries
Lecture : Mathematical Prelimiaries Obective: Reviewig mathematical cocepts ad tools that are frequetly used i the aalysis of algorithms. Lecture # Slide # I this
More informationECE-S352 Introduction to Digital Signal Processing Lecture 3A Direct Solution of Difference Equations
ECE-S352 Itroductio to Digital Sigal Processig Lecture 3A Direct Solutio of Differece Equatios Discrete Time Systems Described by Differece Equatios Uit impulse (sample) respose h() of a DT system allows
More informationThe 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 informationt distribution [34] : used to test a mean against an hypothesized value (H 0 : µ = µ 0 ) or the difference
EXST30 Backgroud material Page From the textbook The Statistical Sleuth Mea [0]: I your text the word mea deotes a populatio mea (µ) while the work average deotes a sample average ( ). Variace [0]: The
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 informationDesign and Analysis of Algorithms
Desig ad Aalysis of Algorithms Probabilistic aalysis ad Radomized algorithms Referece: CLRS Chapter 5 Topics: Hirig problem Idicatio radom variables Radomized algorithms Huo Hogwei 1 The hirig problem
More informationChapter 3. Strong convergence. 3.1 Definition of almost sure convergence
Chapter 3 Strog covergece As poited out i the Chapter 2, there are multiple ways to defie the otio of covergece of a sequece of radom variables. That chapter defied covergece i probability, covergece i
More informationTHE SOLUTION OF NONLINEAR EQUATIONS f( x ) = 0.
THE SOLUTION OF NONLINEAR EQUATIONS f( ) = 0. Noliear Equatio Solvers Bracketig. Graphical. Aalytical Ope Methods Bisectio False Positio (Regula-Falsi) Fied poit iteratio Newto Raphso Secat The root of
More informationDefinitions 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 informationCurve Sketching Handout #5 Topic Interpretation Rational Functions
Curve Sketchig Hadout #5 Topic Iterpretatio Ratioal Fuctios A ratioal fuctio is a fuctio f that is a quotiet of two polyomials. I other words, p ( ) ( ) f is a ratioal fuctio if p ( ) ad q ( ) are polyomials
More informationLecture 10: Universal coding and prediction
0-704: Iformatio Processig ad Learig Sprig 0 Lecture 0: Uiversal codig ad predictio Lecturer: Aarti Sigh Scribes: Georg M. Goerg Disclaimer: These otes have ot bee subjected to the usual scrutiy reserved
More informationUniversal Subsets of Z n, Linear Integer Optimization, and Integer Factorization
DIMACS Techical Report 005-9 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
More information6.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 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 informationSequences, Mathematical Induction, and Recursion. CSE 2353 Discrete Computational Structures Spring 2018
CSE 353 Discrete Computatioal Structures Sprig 08 Sequeces, Mathematical Iductio, ad Recursio (Chapter 5, Epp) Note: some course slides adopted from publisher-provided material Overview May mathematical
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 information# fixed points of g. Tree to string. Repeatedly select the leaf with the smallest label, write down the label of its neighbour and remove the leaf.
Combiatorics Graph Theory Coutig labelled ad ulabelled graphs There are 2 ( 2) labelled graphs of order. The ulabelled graphs of order correspod to orbits of the actio of S o the set of labelled graphs.
More informationFundamental Theorem of Algebra. Yvonne Lai March 2010
Fudametal Theorem of Algebra Yvoe Lai March 010 We prove the Fudametal Theorem of Algebra: Fudametal Theorem of Algebra. Let f be a o-costat polyomial with real coefficiets. The f has at least oe complex
More informationAn analog of the arithmetic triangle obtained by replacing the products by the least common multiples
arxiv:10021383v2 [mathnt] 9 Feb 2010 A aalog of the arithmetic triagle obtaied by replacig the products by the least commo multiples Bair FARHI bairfarhi@gmailcom MSC: 11A05 Keywords: Al-Karaji s triagle;
More informationMATH 1910 Workshop Solution
MATH 90 Workshop Solutio Fractals Itroductio: Fractals are atural pheomea or mathematical sets which exhibit (amog other properties) self similarity: o matter how much we zoom i, the structure remais the
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 informationThe 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 informationReal Variables II Homework Set #5
Real Variables II Homework Set #5 Name: Due Friday /0 by 4pm (at GOS-4) Istructios: () Attach this page to the frot of your homework assigmet you tur i (or write each problem before your solutio). () Please
More informationSingular Continuous Measures by Michael Pejic 5/14/10
Sigular Cotiuous Measures by Michael Peic 5/4/0 Prelimiaries Give a set X, a σ-algebra o X is a collectio of subsets of X that cotais X ad ad is closed uder complemetatio ad coutable uios hece, coutable
More information