Asymptotic Notation. Part II: Examples andproblems 1
|
|
- Leona Cameron
- 5 years ago
- Views:
Transcription
1 FORMALIZED MATHEMATICS Volume 9, Number 1, 2001 University of Białystok Asymptotic Notation. Part II: Examples andproblems 1 Richard Krueger University of Alberta Edmonton Piotr Rudnicki University of Alberta Edmonton Paul Shelley University of Alberta Edmonton Summary. The widely used textbook by Brassard and Bratley[2] includes a chapter devoted to asymptotic notation(chapter 3, pp ). We have attempted to test how suitable the current version of Mizar is for recording this typeofmaterialinitsentirety.thisarticleisafollow-upto[11]inwhichwe introduced the basic notions and general theory. This article presents a Mizar formalization of examples and solutions to problems from Chapter 3 of[2](some oftheexamplesandsolvedproblemsarealsoin[11]).notallproblemshavebeen solved as some required solutions not amenable for formalization. MML Identifier: ASYMPT 1. Thearticles[11],[10],[14],[15],[3],[4],[17],[1],[12],[13],[6],[19],[8],[9],[7], [16],[18], and[5] provide the terminology and notation for this paper. 1. Examples from the Text Weadoptthefollowingrules: c, edenoterealnumbers, k, n, m, N, n 1, M denote natural numbers, and x denotes a set. One can prove the following two propositions: 1 ThisworkhasbeensupportedbyNSERCGrantOGP c 2001 University of Białystok ISSN
2 144 richard krueger et al. (1) Let t, t 1 besequencesofrealnumbers.supposethat (i) t(0) = 0, (ii) forevery nsuchthat n > 0holds t(n) = (12 n 3 log 2 n 5 n 2 ) + (log 2 n) , (iii) t 1 (0) = 0,and (iv) forevery nsuchthat n > 0holds t 1 (n) = n 3 log 2 n. Thenthereexisteventually-positivesequences s, s 1 ofrealnumberssuch that s = tand s 1 = t 1 and s O(s 1 ). (2) Let a, bbelogbaserealnumbersand f, gbesequencesofrealnumbers. Suppose a > 1and b > 1and f(0) = 0andforevery nsuchthat n > 0 holds f(n) =log a nand g(0) = 0andforevery nsuchthat n > 0holds g(n) =log b n.thenthereexisteventually-positivesequences s, s 1 ofreal numberssuchthat s = fand s 1 = gand O(s) = O(s 1 ). Let a, b, cberealnumbers.thefunctor{a b n+c) } n N yieldsasequenceof realnumbersandisdefinedby: (Def.1) ({a b n+c) } n N )(n) = a b n+c. Let abeapositiverealnumberandlet b, cberealnumbers.onecanverify that{a b n+c) } n N iseventually-positive. The following proposition is true (3) Forallpositiverealnumbers a, bsuchthat a < bholds{b 1 n+0) } n N / O({a 1 n+0) } n N ). Thesequence{log 2 n} n N ofrealnumbersisdefinedasfollows: (Def.2) {log 2 n} n N (0) = 0 and for every n such that n > 0 holds {log 2 n} n N (n) =log 2 n. Let abearealnumber.thefunctor{n a } n N yieldingasequenceofreal numbers is defined as follows: (Def.3) {n a } n N (0) = 0andforevery nsuchthat n > 0holds{n a } n N (n) = n a. Letusmentionthat{log 2 n} n N iseventually-positive. Let abearealnumber.observethat{n a } n N iseventually-positive. We now state several propositions: (4) Let f, g be eventually-nonnegative sequences of real numbers. Then O(f) O(g)and O(f) O(g)ifandonlyif f O(g)and f / Ω(g). (5) O({log 2 n} n N ) O({n (1 2 ) } n N )and O({log 2 n} n N ) O({n (1 2 ) } n N ). (6) {n (1 2 ) } n N Ω({log 2 n} n N )and{log 2 n} n N / Ω({n (1 2 ) } n N ). (7) For every sequence f of real numbers and for every natural number k such that for every n holds f(n) = n κ=0 ({nk } n N )(κ) holds f Θ({n (k+1) } n N ). (8) Let fbeasequenceofrealnumbers.suppose f(0) = 0andforevery
3 asymptotic notation. part ii: examples nsuchthat n > 0holds f(n) = n log 2 n.thenthereexistsaneventuallypositivesequence sofrealnumberssuchthat s = fand sisnotsmooth. Let bbearealnumber.thefunctor{b} n N yieldsasequenceofrealnumbers and is defined as follows: (Def.4) {b} n N = N b. Letusnotethat{1} n N iseventually-nonnegative. (9) Let f be an eventually-nonnegative sequence of real numbers. Then there existsanonemptyset Foffunctionsfrom Nto Rsuchthat F ={{n 1 } n N } and f F O({1} n N) iffthereexist N, c, ksuchthat c > 0andforevery n suchthat n Nholds 1 f(n)and f(n) c {n k } n N (n). 2. Problem 3.1 (10) Foreverysequence fofrealnumberssuchthatforevery nholds f(n) = ( n) + 27 n 2 holds f O({n 2 } n N ). 3. Problem 3.5 We now state three propositions: (11) {n 2 } n N O({n 3 } n N ). (12) {n 2 } n N / Ω({n 3 } n N ). (13) There exists an eventually-positive sequence s of real numbers such that s ={2 1 n+1) } n N and{2 1 n+0) } n N Θ(s). Let abeanaturalnumber.thefunctor{(n + a)!} n N yieldingasequence ofrealnumbersisdefinedby: (Def.5) {(n + a)!} n N (n) = (n + a)!. Let abeanaturalnumber.observethat{(n+a)!} n N iseventually-positive. We now state the proposition (14) {(n + 0)!} n N / Θ({(n + 1)!} n N ).
4 146 richard krueger et al. 4. Problem 3.6 The following proposition is true (15) Foreverysequence fofrealnumberssuchthat f O({n 1 } n N )holds f f O({n 2 } n N ). 5. Problem 3.7 We now state the proposition (16) There exists an eventually-positive sequence s of real numbers such that s ={2 1 n+0) } n N and 2{n 1 } n N O({n 1 } n N )and{2 2 n+0) } n N / O(s). 6. Problem 3.8 (17) Iflog 2 3 < ,then{n(log 2 3) } n N O({n ( ) } n N )and{n (log 2 3) } n N / Ω({n ( ) } n N )and{n (log 2 3) } n N / Θ({n ( ) } n N ). 7. Problem 3.11 We now state the proposition (18) Let f, gbesequencesofrealnumbers.supposeforevery nholds f(n) = nmod 2andforevery nholds g(n) = (n + 1)mod 2.Thenthereexist eventually-nonnegativesequences s, s 1 ofrealnumberssuchthat s = f and s 1 = gand s / O(s 1 )and s 1 / O(s). 8. Problem 3.19 We now state two propositions: (19) For all eventually-nonnegative sequences f, g of real numbers holds O(f) = O(g)iff f Θ(g). (20) Foralleventually-nonnegativesequences f, gofrealnumbersholds f Θ(g)iff Θ(f) = Θ(g).
5 asymptotic notation. part ii: examples Problem 3.21 The following propositions are true: (21) Let ebearealnumberand fbeasequenceofrealnumbers.suppose 0 < eand f(0) = 0andforevery nsuchthat n > 0holds f(n) = n log 2 n. Then there exists an eventually-positive sequence s of real numbers such that s = fand O(s) O({n (1+e) } n N )and O(s) O({n (1+e) } n N ). (22) Let ebearealnumberand gbeasequenceofrealnumbers.suppose 0 < eand e < 1and g(0) = 0and g(1) = 0andforevery nsuch that n > 1holds g(n) = n2 log 2 n.thenthereexistsaneventually-positive sequence sofrealnumberssuchthat s = gand O({n (1+e) } n N ) O(s) and O({n (1+e) } n N ) O(s). (23) Let fbeasequenceofrealnumbers.suppose f(0) = 0and f(1) = 0 andforevery nsuchthat n > 1holds f(n) = n2 log 2 n.thenthereexists aneventually-positivesequence sofrealnumberssuchthat s = fand O(s) O({n 8 } n N )and O(s) O({n 8 } n N ). (24) Let gbeasequenceofrealnumbers.supposethatforevery nholds g(n) = ((n 2 n) + 1) 4.Thenthereexistsaneventually-positivesequence sofrealnumberssuchthat s = gand O({n 8 } n N ) = O(s). (25) Let ebearealnumber.suppose 0 < eand e < 1.Thenthereexists an eventually-positive sequence s of real numbers such that s = {1 + e 1 n+0) } n N and O({n 8 } n N ) O(s)and O({n 8 } n N ) O(s). 10. Problem 3.22 s: (26) Let f, gbesequencesofrealnumbers.suppose f(0) = 0andforevery n suchthat n > 0holds f(n) = n log 2 n and g(0) = 0andforevery nsuchthat n > 0holds g(n) = n n.thenthereexisteventually-positivesequences s, s 1 ofrealnumberssuchthat s = fand s 1 = gand O(s) O(s 1 )and O(s) O(s 1 ). (27) Let fbeasequenceofrealnumbers.suppose f(0) = 0andforevery n suchthat n > 0holds f(n) = n n.thenthereexisteventually-positive sequences s, s 1 ofrealnumberssuchthat s = fand s 1 ={2 1 n+0) } n N and O(s) O(s 1 )and O(s) O(s 1 ). (28) Thereexisteventually-positivesequences s, s 1 ofrealnumberssuchthat s ={2 1 n+0) } n N and s 1 ={2 1 n+1) } n N and O(s) = O(s 1 ).
6 148 richard krueger et al. (29) Thereexisteventually-positivesequences s, s 1 ofrealnumberssuchthat s ={2 1 n+0) } n N and s 1 ={2 2 n+0) } n N and O(s) O(s 1 )and O(s) O(s 1 ). (30) There exists an eventually-positive sequence s of real numbers such that s ={2 2 n+0) } n N and O(s) O({(n + 0)!} n N )and O(s) O({(n + 0)!} n N ). (31) O({(n + 0)!} n N ) O({(n + 1)!} n N )and O({(n + 0)!} n N ) O({(n + 1)!} n N ). (32) Let gbeasequenceofrealnumbers.suppose g(0) = 0andforevery n suchthat n > 0holds g(n) = n n.thenthereexistsaneventually-positive sequence sofrealnumberssuchthat s = gand O({(n + 1)!} n N ) O(s) and O({(n + 1)!} n N ) O(s). 11. Problem 3.23 (33) Letgiven n.suppose n 1.Let fbeasequenceofrealnumbersand k beanaturalnumber.ifforevery nholds f(n) = n κ=0 ({nk } n N )(κ),then f(n) nk+1 k Problem 3.24 (34) Let f, gbesequencesofrealnumbers.suppose g(0) = 0andforevery nsuchthat n > 0holds g(n) = n log 2 nandforevery nholds f(n) = log 2 (n!).thenthereexistsaneventually-nonnegativesequence sofreal numberssuchthat s = gand f Θ(s). 13. Problem 3.26 The following proposition is true (35) Let f be an eventually-nondecreasing eventually-nonnegative sequence ofrealnumbersand tbeasequenceofrealnumbers.supposethatfor every nholdsif nmod 2 = 0,then t(n) = 1andif nmod 2 = 1,then t(n) = n.then t / Θ(f).
7 asymptotic notation. part ii: examples Problem 3.28 Let fbeafunctionfrom Ninto R andlet nbeanaturalnumber.then f(n)isafinitesequenceofelementsof R. Let nbeanaturalnumberandlet a, bbepositiverealnumbers.thefunctor Prob28(n, a,b)yieldsarealnumberandisdefinedby: (Def.6)(i) Prob28(n,a, b) = 0if n = 0, (ii) thereexistsanaturalnumber landthereexistsafunction p 28 from N into R suchthat l+1 = nandprob28(n,a, b) = π n p 28 (l)and p 28 (0) = a andforeverynaturalnumber nthereexistsanaturalnumber n 1 suchthat n 1 = n and p 28 (n + 1) = p 28 (n) 4 π n1 p 28 (n) + b (n ), otherwise. Let a, bbepositiverealnumbers.thefunctor{prob28(n,a, b)} n N yieldsa sequenceofrealnumbersandisdefinedby: (Def.7) ({Prob28(n,a, b)} n N )(n) =Prob28(n,a, b). The following proposition is true (36) For all positive real numbers a, b holds {Prob28(n,a, b)} n N is eventually-nondecreasing. 15. Problem 3.30 Thenonemptysubset{2 n : n N}of Nisdefinedby: (Def.8) {2 n : n N} ={2 n : nrangesovernaturalnumbers}. Next we state three propositions: (37) Let fbeasequenceofrealnumbers.supposethatforevery nholdsif n {2 n : n N},then f(n) = nandif n / {2 n : n N},then f(n) = 2 n. Then f Θ({n 1 } n N {2 n : n N})and f / Θ({n 1 } n N )and{n 1 } n N is smooth and f is not eventually-nondecreasing. (38) Let f, gbesequencesofrealnumbers.suppose f(0) = 0andforevery nsuchthat n > 0holds f(n) = n 2 log 2 n and g(0) = 0andforevery n suchthat n > 0holds g(n) = n n.thenthereexistsaneventually-positive sequence s of real numbers such that (i) s = g, (ii) f Θ(s {2 n : n N}), (iii) f / Θ(s), (iv) f is eventually-nondecreasing, (v) s is eventually-nondecreasing, and (vi) sisnotsmoothw.r.t.2.
8 150 richard krueger et al. (39) Let gbeasequenceofrealnumbers.supposethatforevery nholdsif n {2 n : n N},then g(n) = nandif n / {2 n : n N},then g(n) = n 2. Then there exists an eventually-positive sequence s of real numbers such that s = gand{n 1 } n N Θ(s {2 n : n N})and{n 1 } n N / Θ(s)and s 2 O(s)and{n 1 } n N iseventually-nondecreasingand sisnoteventuallynondecreasing. 16. Problem 3.31 Let xbeanaturalnumber.thefunctor x yieldinganaturalnumberis defined as follows: (Def.9)(i) Thereexists nsuchthat n! xand x < (n+1)!and x = n!if x 0, (ii) x = 0, otherwise. Next we state the proposition (40) Let fbeasequenceofrealnumbers.supposethatforevery nholds f(n) = n.thenthereexistsaneventually-positivesequence sofreal numberssuchthat s = fand fiseventually-nondecreasingandforevery nholds f(n) {n 1 } n N (n)and sisnotsmooth. 17. Problem 3.34 Letusmentionthat{n 1 } n N {1} n N iseventually-positive. (41) Θ({n 1 } n N {1} n N ) + Θ({n 1 } n N ) = Θ({n 1 } n N ). 18. Problem 3.35 (42) Thereexistsanonemptyset F offunctionsfrom Nto Rsuchthat F ={{n 1 } n N }andforevery nholds{n ( 1) } n N (n) {n 1 } n N (n)and {n ( 1) } n N / F O({1} n N).
9 asymptotic notation. part ii: examples Addition The following proposition is true (43) Let cbeanonnegativerealnumberand x, fbeeventually-nonnegative sequencesofrealnumbers.given e, Nsuchthat e > 0andforevery n suchthat n Nholds f(n) e.if x O(c + f),then x O(f). 20. Potentatially Useful The following propositions are true: (44) 2 2 = 4. (45) 2 3 = 8. (46) 2 4 = 16. (47) 2 5 = 32. (48) 2 6 = 64. (49) 2 12 = (50) Forevery nsuchthat n 3holds n 2 > 2 n+1. (51) Forevery nsuchthat n 10holds 2 n 1 > (2 n) 2. (52) Forevery nsuchthat n 9holds (n + 1) 6 < 2 n 6. (53) Forevery nsuchthat n 30holds 2 n > n 6. (54) Foreveryrealnumber xsuchthat x > 9holds 2 x > (2 x) 2. (55) Thereexists Nsuchthatforevery nsuchthat n Nholds n log 2 n > 1. (56) Forallrealnumbers a, b, csuchthat a > 0and c > 0and c 1holds a b = c b log c a. (57) (4 + 1)! = 120. (58) 5 5 = (59) 4 4 = 256. (60) Forevery nholds (n 2 n) + 1 > 0. (61) Forevery nsuchthat n 2holds n! > 1. (62) Forall n 1, nsuchthat n n 1 holds n! n 1!. (63) Forevery ksuchthat k 1thereexists nsuchthat n! kand k < (n + 1)!andforevery msuchthat m! kand k < (m + 1)!holds m = n. (64) Forevery nsuchthat n 2holds n 2 < n. (65) Forevery nsuchthat n 3holds n! > n.
10 152 richard krueger et al. (66) Forallnaturalnumbers m, nsuchthat m > 0holds m n isanatural number. (67) Forevery nsuchthat n 2holds 2 n > n + 1. (68) Let abealogbaserealnumberand fbeasequenceofrealnumbers. Suppose a > 1and f(0) = 0andforevery nsuchthat n > 0holds f(n) =log a n.then fiseventually-positive. (69) Foralleventually-nonnegativesequences f, gofrealnumbersholds f O(g)and g O(f)iff O(f) = O(g). (70) Forallrealnumbers a, b, csuchthat 0 < aand a band c 0holds a c b c. (71) Forevery nsuchthat n 4holds 2 n+3 < 2 n. (72) Forevery nsuchthat n 6holds (n + 1) 2 < 2 n. (73) Foreveryrealnumber csuchthat c > 6holds c 2 < 2 c. (74) Let ebeapositiverealnumberand fbeasequenceofrealnumbers. Suppose f(0) = 0andforevery nsuchthat n > 0holds f(n) =log 2 (n e ). Then f/{n e } n N isconvergentandlim(f/{n e } n N ) = 0. (75) Foreveryrealnumber esuchthat e > 0holds{log 2 n} n N /{n e } n N is convergentandlim({log 2 n} n N /{n e } n N ) = 0. (76) Foreverysequence fofrealnumbersandforevery Nsuchthatforevery nsuchthat n Nholds f(n) 0holds N κ=0 f(κ) 0. (77) Forallsequences f, gofrealnumbersandforevery Nsuchthatforevery nsuchthat n Nholds f(n) g(n)holds N κ=0 f(κ) N κ=0 g(κ). (78) Let fbeasequenceofrealnumbersand bbearealnumber.suppose f(0) = 0andforevery nsuchthat n > 0holds f(n) = b.let Nbea naturalnumber.then N κ=0 f(κ) = b N. (79) Forallsequences f, gofrealnumbersandforallnaturalnumbers N, Mholds M κ=n+1 f(κ) + f(n + 1) = M κ=n+1+1 f(κ). (80) Let f, gbesequencesofrealnumbers, Mbeanaturalnumber,and given N.Suppose N M + 1.Ifforevery nsuchthat M + 1 nand n Nholds f(n) g(n),then M κ=n+1 f(κ) M κ=n+1 g(κ). (81) Forevery nholds n 2 n. (82) Let fbeasequenceofrealnumbers, bbearealnumber,and Nbea naturalnumber.suppose f(0) = 0andforevery nsuchthat n > 0holds f(n) = b.let Mbeanaturalnumber.Then M κ=n+1 f(κ) = b (N M). (83) Let f, gbesequencesofrealnumbers, Nbeanaturalnumber,and c bearealnumber.suppose fisconvergentandlimf = candforevery n suchthat n Nholds f(n) = g(n).then gisconvergentandlimg = c. (84) Forevery nsuchthat n 1holds (n 2 n) + 1 n 2. (85) Forevery nsuchthat n 1holds n 2 2 ((n 2 n) + 1).
11 asymptotic notation. part ii: examples (86) Foreveryrealnumber esuchthat 0 < eand e < 1thereexists Nsuch thatforevery nsuchthat n Nholds n log 2 (1 + e) 8 log 2 n > 8 log 2 n. (87) Forevery nsuchthat n 10holds 22 n n! < 1. 2 n 9 (88) Forevery nsuchthat n 3holds 2 (n 2) n 1. (89) Foreveryrealnumber csuchthat c 0holds c 1 2 = c. (90) Thereexists Nsuchthatforevery nsuchthat n Nholds n n log 2 n > n 2. (91) Foreverysequence sofrealnumberssuchthatforevery nholds s(n) = (1 + 1 n+1 )n+1 holds sisnon-decreasing. (92) Forevery nsuchthat n 1holds ( n+1 n )n ( n+2 n+1 )n+1. ) ( n+1 (93) Forall k, nsuchthat k nholds ( n k n+1. (94) Foreverysequence fofrealnumberssuchthatforevery nholds f(n) = log 2 (n!)andforevery nholds f(n) = n κ=0 ({log 2 n} n N )(κ). (95) Forevery nsuchthat n 4holds n log 2 n 2 n. (96) Let a, b be positive real numbers. Then Prob28(0,a, b) = 0 and Prob28(1,a, b) = aandforevery nsuchthat n 2thereexists n 1 such that n 1 = n 2 andprob28(n,a, b) = 4 Prob28(n 1,a, b) + b n. k ) (97) Forevery nsuchthat n 2holds n 2 > n + 1. (98) Forevery nsuchthat n 1holds 2 n+1 2 n > 1. (99) Forevery nsuchthat n 2holds 2 n 1 / {2 n : n N}. (100) Forall n, ksuchthat k 1and n! kand k < (n + 1)!holds k = n!. (101) Forallrealnumbers a, b, csuchthat a > 1and b aand c 1holds log a c log b c. References [1] Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41 46, [2] Gilles Brassard and Paul Bratley. Fundamentals of Algorithmics. Prentice Hall, [3] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55 65, [4] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1): , [5] Czesław Byliński. Some basic properties of sets. Formalized Mathematics, 1(1):47 53, [6] Krzysztof Hryniewiecki. Basic properties of real numbers. Formalized Mathematics, 1(1):35 40, [7] Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2): , [8] Jarosław Kotowicz. Monotone real sequences. Subsequences. Formalized Mathematics, 1(3): , [9] Jarosław Kotowicz. Real sequences and basic operations on them. Formalized Mathematics, 1(2): , [10] Elżbieta Kraszewska and Jan Popiołek. Series in Banach and Hilbert Spaces. Formalized Mathematics, 2(5): , 1991.
12 154 richard krueger et al. [11] Richard Krueger, Piotr Rudnicki, and Paul Shelley. Asymptotic notation. Part I: Theory. Formalized Mathematics, 9(1): , [12] Rafał Kwiatek. Factorial and Newton coefficients. Formalized Mathematics, 1(5): , [13] Konrad Raczkowski and Andrzej Nędzusiak. Real exponents and logarithms. Formalized Mathematics, 2(2): , [14] Andrzej Trybulec. Domains and their Cartesian products. Formalized Mathematics, 1(1): , [15] Andrzej Trybulec. Function domains and Frænkel operator. Formalized Mathematics, 1(3): , [16] Andrzej Trybulec and Czesław Byliński. Some properties of real numbers. Formalized Mathematics, 1(3): , [17] Michał J. Trybulec. Integers. Formalized Mathematics, 1(3): , [18] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67 71, [19] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1): , Received November 4, 1999
The Chinese Remainder Theorem
FORMALIZED MATHEMATICS Volume 6, Number 4, 1997 University of Białystok The Chinese Remainder Theorem Andrzej Kondracki AMS Management Systems Poland Warsaw Summary.ThearticleisatranslationofthefirstchaptersofabookWstęp
More informationThe Complex Numbers. Czesław Byliński Warsaw University Białystok
JOURNAL OF FORMALIZED MATHEMATICS Volume 2, Released 1990, Published 2003 Inst. of Computer Science, Univ. of Białystok The Complex Numbers Czesław Byliński Warsaw University Białystok Summary. We define
More informationDefinition of Convex Function and Jensen s Inequality
FORMALIZED MATHEMATICS Volume 11, Number 4, 2003 University of Białystok Definition of Convex Function and Jensen s Inequality Grigory E. Ivanov Moscow Institute for Physics and Technology Summary.Convexityofafunctioninareallinearspaceisdefinedas
More informationAffine Independence in Vector Spaces
FORMALIZED MATHEMATICS Vol. 18, No. 1, Pages 87 93, 2010 Affine Independence in Vector Spaces Karol Pąk Institute of Informatics University of Białystok Poland Summary. In this article we describe the
More informationConnectedness Conditions Using Polygonal Arcs
JOURNAL OF FORMALIZED MATHEMATICS Volume 4, Released 199, Published 003 Inst. of Computer Science, Univ. of Białystok Connectedness Conditions Using Polygonal Arcs Yatsuka Nakamura Shinshu University Nagano
More informationATreeofExecutionofaMacroinstruction 1
FORMALIZED MATHEMATICS Volume 12, Number 1, 2004 University of Białystok ATreeofExecutionofaMacroinstruction 1 Artur Korniłowicz University of Białystok Summary.Atreeofexecutionofamacroinstructionisdefined.Itisatree
More informationThe Differentiable Functions from R into R n
FORMALIZED MATHEMATICS Vol. 20, No. 1, Pages 65 71, 2012 DOI: 10.2478/v10037-012-0009-x versita.com/fm/ The Differentiable Functions from R into R n Keiko Narita Hirosaki-city Aomori, Japan Artur Korniłowicz
More informationEquivalence of Deterministic and Nondeterministic Epsilon Automata
FORMALIZED MATHEMATICS Vol. 17, No. 2, Pages 193 199, 2009 Equivalence of Deterministic and Nondeterministic Epsilon Automata Michał Trybulec YAC Software Warsaw, Poland Summary. Based on concepts introduced
More informationThe Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation
FORMALIZED MATHEMATICS Volume 9, Number 2, 2001 University of Białystok The Concept of Fuzzy Set and Membership Function and Basic Properties of Fuzzy Set Operation Takashi Mitsuishi Shinshu University
More informationMore on Multivariate Polynomials: Monomials and Constant Polynomials
JOURNAL OF FORMALIZED MATHEMATICS Volume 13, Released 2001, Published 2003 Inst. of Computer Science, Univ. of Białystok More on Multivariate Polynomials: Monomials and Constant Polynomials Christoph Schwarzweller
More informationArmstrong s Axioms 1
JOURNAL OF FORMALIZED MATHEMATICS Volume 14, Released 2002, Published 2003 Inst. of Computer Science, Univ. of Białystok Armstrong s Axioms 1 William W. Armstrong Dendronic Decisions Ltd Edmonton Yatsuka
More informationLower Tolerance. Preliminaries to Wroclaw Taxonomy 1
JOURNAL OF FORMALIZED MATHEMATICS Volume 12, Released 2000, Published 2003 Inst. of Computer Science, Univ. of Białystok Lower Tolerance. Preliminaries to Wroclaw Taxonomy 1 Mariusz Giero University of
More informationHiroyuki Okazaki Shinshu University Nagano, Japan
FORMALIZED MATHEMATICS Vol. 20, No. 4, Pages 275 280, 2012 DOI: 10.2478/v10037-012-0033-x versita.com/fm/ Free Z-module 1 Yuichi Futa Shinshu University Nagano, Japan Hiroyuki Okazaki Shinshu University
More informationCyclic Groups and Some of Their Properties - Part I
FORMALIZED MATHEMATICS Vol2,No5, November December 1991 Université Catholique de Louvain Cyclic Groups and Some of Their Properties - Part I Dariusz Surowik Warsaw University Bia lystok Summary Some properties
More informationA First-Order Predicate Calculus
FORMALIZED MATHEMATICS Vol.1, No.4, September October 1990 Université Catholique de Louvain A First-Order Predicate Calculus Agata Darmochwa l 1 Warsaw Uniwersity Bia lystok Summary. A continuation of
More informationOn the Category of Posets
FORMALIZED MATHEMATICS Volume 5, Number 4, 1996 Warsaw University - Bia lystok On the Category of Posets Adam Grabowski Warsaw University Bia lystok Summary. In the paper the construction of a category
More informationEuler s Polyhedron Formula
FORMALIZED MATHEMATICS Volume 16, Number 1, Pages 9 19 University of Białystok, 2008 Euler s Polyhedron Formula Jesse Alama Department of Philosophy Stanford University USA Summary. Euler s polyhedron
More informationEuler s Polyhedron Formula
FORMALIZED MATHEMATICS Volume 16, Number 1, Pages 9 19 University of Białystok, 2008 Euler s Polyhedron Formula Jesse Alama Department of Philosophy Stanford University USA Summary. Euler s polyhedron
More informationFormal Topological Spaces
FORMALIZED MATHEMATICS Volume 9, Number 3, 2001 University of Białystok Formal Topological Spaces Gang Liu Tokyo University of Mercantile Marine Yasushi Fuwa Shinshu University Nagano Masayoshi Eguchi
More informationThe Rotation Group. Karol Pąk Institute of Informatics University of Białystok Poland
FORMALIZED MATHEMATICS Vol. 20, No. 1, Pages 23 29, 2012 DOI: 10.2478/v10037-012-0004-2 versita.com/fm/ The Rotation Group Karol Pąk Institute of Informatics University of Białystok Poland Summary. We
More informationString Rewriting Systems
FORMALIZED MATHEMATICS 2007, Vol. 15, No. 3, Pages 121 126 String Rewriting Systems Micha l Trybulec Motorola Software Group Cracow, Poland Summary. Basing on the definitions from [15], semi-thue systems,
More informationFormulas and Identities of Inverse Hyperbolic Functions
FORMALIZED MATHEMATICS Volume 13, Number 3, Pages 383 387 Universit of Bia lstok, 005 Formulas and Identities of Inverse Hperbolic Functions Fuguo Ge Qingdao Universit of Science and Technolog Xiquan Liang
More informationEigenvalues of a Linear Transformation
FORMALIZED MATHEMATICS Vol. 16, No. 4, Pages 289 295, 2008 Eigenvalues of a Linear Transformation Karol Pąk Institute of Computer Science University of Białystok Poland Summary. The article presents well
More informationJordan Matrix Decomposition
FORMALIZED MATHEMATICS Vol. 16, No. 4, Pages 297 303, 2008 Jordan Matrix Decomposition Karol Pąk Institute of Computer Science University of Białystok Poland Summary. In this paper I present the Jordan
More informationOrthomodular Lattices
FORMALIZED MATHEMATICS Volume 16, Number 3, Pages 283 288 University of Białystok, 2008 Orthomodular Lattices Elżbieta Mądra Institute of Mathematics University of Białystok Akademicka 2, 15-267 Białystok
More informationordinal arithmetics 2 Let f be a sequence of ordinal numbers and let a be an ordinal number. Observe that f(a) is ordinal-like. Let us consider A, B.
JOURNAL OF FORMALIZED MATHEMATICS Volume 2, Released 1990, Published 2000 Inst. of Computer Science, University of Bia lystok Ordinal Arithmetics Grzegorz Bancerek Warsaw University Bia lystok Summary.
More informationMultiplication of Polynomials using Discrete Fourier Transformation
FORMALIZED MATHEMATICS Volume 14, Number 4, Pages 121 128 University of Bia lystok, 2006 Multiplication of Polynomials using Discrete Fourier Transformation Krzysztof Treyderowski Department of Computer
More informationThe Inner Product and Conjugate of Finite Sequences of Complex Numbers
FORMALIZED MATHEMATICS Volume 13, Number 3, Pages 367 373 University of Bia lystok, 2005 The Inner Product and Conjugate of Finite Sequences of Complex Numbers Wenpai Chang Shinshu University Nagano, Japan
More informationMinimization of Finite State Machines 1
FORMALIZED MATHEMATICS Volume 5, Number 2, 1996 Warsa University - Bia lystok Minimization of Finite State Machines 1 Miroslava Kaloper University of Alberta Department of Computing Science Piotr Rudnicki
More informationThe Steinitz Theorem and the Dimension of a Vector Space
FORMALIZED MATHEMATICS Volume 5, Number 3, 1996 Warsaw University - Bia lystok The Steinitz Theorem and the Dimension of a Vector Space Mariusz Żynel Warsaw University Bia lystok Summary. The main purpose
More informationVeblen Hierarchy. Grzegorz Bancerek Białystok Technical University Poland
FORMALIZED MATHEMATICS Vol. 19, No. 2, Pages 83 92, 2011 Veblen Hierarchy Grzegorz Bancerek Białystok Technical University Poland Summary. The Veblen hierarchy is an extension of the construction of epsilon
More informationDecomposing a Go-Board into Cells
FORMALIZED MATHEMATICS Volume 5, Number 3, 1996 Warsaw University - Bia lystok Decomposing a Go-Board into Cells Yatsuka Nakamura Shinshu University Nagano Andrzej Trybulec Warsaw University Bia lystok
More informationCommutator and Center of a Group
FORMALIZED MATHEMATICS Vol.2, No.4, September October 1991 Université Catholique de Louvain Commutator and Center of a Group Wojciech A. Trybulec Warsaw University Summary. We introduce the notions of
More informationSegments of Natural Numbers and Finite Sequences 1
JOURNAL OF FORMALIZED MATHEMATICS Volume 1, Released 1989, Published 2003 Inst. of Computer Science, Univ. of Białystok Segments of Natural Numbers and Finite Sequences 1 Grzegorz Bancerek Warsaw University
More informationThe Inner Product and Conjugate of Matrix of Complex Numbers
FORMALIZED MATHEMATICS Volume 13, Number 4, Pages 493 499 University of Bia lystok, 2005 The Inner Product and Conjugate of Matrix of Complex Numbers Wenpai Chang Shinshu University Nagano, Japan Hiroshi
More informationRings and Modules Part II
JOURNAL OF FORMALIZED MATHEMATICS Volume 3, Released 1991, Published 2003 Inst. of Computer Science, Univ. of Białystok Rings and Modules Part II Michał Muzalewski Warsaw University Białystok Summary.
More informationProperties of Real Functions
FORMALIZED MATHEMATICS Vol.1, No.4, September October 1990 Université Catholique de Louvain Properties of Real Functions Jaros law Kotowicz 1 Warsaw University Bia lystok Summary. The list of theorems
More informationBasic Properties of the Rank of Matrices over a Field
FORMALIZED MATHEMATICS 2007, Vol 15, No 4, Pages 199 211 Basic Properties of the Rank of Matrices over a Field Karol P ak Institute of Computer Science University of Bia lystok Poland Summary In this paper
More informationCartesian Product of Functions
FORMALIZED MATHEMATICS Vol.2, No.4, September October 1991 Université Catholique de Louvain Cartesian Product of Functions Grzegorz Bancerek Warsaw University Bia lystok Summary. A supplement of [3] and
More informationOrthomodular Lattices
FORMALIZED MATHEMATICS Vol. 16, No. 3, Pages 277 282, 2008 Orthomodular Lattices Elżbieta Mądra Institute of Mathematics University of Białystok Akademicka 2, 15-267 Białystok Poland Adam Grabowski Institute
More informationEpsilon Numbers and Cantor Normal Form
FORMALIZED MATHEMATICS Vol. 17, No. 4, Pages 249 256, 2009 Epsilon Numbers and Cantor Normal Form Grzegorz Bancerek Białystok Technical University Poland Summary. An epsilon number is a transfinite number
More informationCoincidence Lemma and Substitution Lemma 1
FORMALIZED MATHEMATICS Volume 13, Number 1, 2005 University of Bia lystok Coincidence Lemma and Substitution Lemma 1 Patrick Braselmann University of Bonn Peter Koepke University of Bonn Summary. This
More informationAssociated Matrix of Linear Map
FORMALIZED MATHEMATICS Volume 5, Number 3, 1996 Warsaw University - Bia lystok Associated Matrix of Linear Map Robert Milewski Warsaw University Bia lystok MML Identifier: MATRLIN. The notation and terminology
More informationIntroduction to Trees
FORMALIZED MATHEMATICS Vol.1, No.2, March April 1990 Université Catholique de Louvain Introduction to Trees Grzegorz Bancerek 1 Warsaw University Bia lystok Summary. The article consists of two parts:
More informationSequences of Ordinal Numbers
JOURNAL OF FORMALIZED MATHEMATICS Volume 1, Released 1989, Published 2003 Inst. of Computer Science, Univ. of Białystok Sequences of Ordinal Numbers Grzegorz Bancerek Warsaw University Białystok Summary.
More informationTranspose Matrices and Groups of Permutations
FORMALIZED MATHEMATICS Vol2,No5, November December 1991 Université Catholique de Louvain Transpose Matrices and Groups of Permutations Katarzyna Jankowska Warsaw University Bia lystok Summary Some facts
More informationSubmodules and Cosets of Submodules in Left Module over Associative Ring 1
FORMALIZED MATHEMATICS Vol.2, No.2, March April 1991 Université Catholique de Louvain Submodules and Cosets of Submodules in Left Module over Associative Ring 1 Micha l Muzalewski Warsaw University Bia
More informationCSE 421: Intro Algorithms. 2: Analysis. Winter 2012 Larry Ruzzo
CSE 421: Intro Algorithms 2: Analysis Winter 2012 Larry Ruzzo 1 Efficiency Our correct TSP algorithm was incredibly slow Basically slow no matter what computer you have We want a general theory of efficiency
More informationExtended Riemann Integral of Functions of Real Variable and One-sided Laplace Transform 1
FORMALIZED MATHEMATICS Vol. 16, No. 4, Pges 311 317, 2008 Etended Riemnn Integrl of Functions of Rel Vrible nd One-sided Lplce Trnsform 1 Mshiko Ymzki Shinshu University Ngno, Jpn Hiroshi Ymzki Shinshu
More informationRiemann Integral of Functions from R into R n
FORMLIZED MTHEMTICS Vol. 17, No. 2, Pges 175 181, 2009 DOI: 10.2478/v10037-009-0021-y Riemnn Integrl of Functions from R into R n Keiichi Miyjim Ibrki University Hitchi, Jpn Ysunri Shidm Shinshu University
More informationIntroduction to Algorithms
Introduction to Algorithms (2 nd edition) by Cormen, Leiserson, Rivest & Stein Chapter 3: Growth of Functions (slides enhanced by N. Adlai A. DePano) Overview Order of growth of functions provides a simple
More informationMatrices. Abelian Group of Matrices
FORMALIZED MATHEMATICS Vol2, No4, September October 1991 Université Catholique de Louvain Matrices Abelian Group of Matrices atarzyna Jankowska Warsaw University Bia lystok Summary The basic conceptions
More informationAnnouncements. CompSci 230 Discrete Math for Computer Science. The Growth of Functions. Section 3.2
CompSci 230 Discrete Math for Computer Science Announcements Read Chap. 3.1-3.3 No recitation Friday, Oct 11 or Mon Oct 14 October 8, 2013 Prof. Rodger Section 3.2 Big-O Notation Big-O Estimates for Important
More informationThe Lattice of Domains of an Extremally Disconnected Space 1
FORMALIZED MATHEMATICS Volume 3, Number 2, 1992 Université Catholique de Louvain The Lattice of Domains of an Extremally Disconnected Space 1 Zbigniew Karno Warsaw University Bia lystok Summary. Let X
More informationCOMP 382: Reasoning about algorithms
Fall 2014 Unit 4: Basics of complexity analysis Correctness and efficiency So far, we have talked about correctness and termination of algorithms What about efficiency? Running time of an algorithm For
More informationAlgorithms and Theory of Computation. Lecture 2: Big-O Notation Graph Algorithms
Algorithms and Theory of Computation Lecture 2: Big-O Notation Graph Algorithms Xiaohui Bei MAS 714 August 14, 2018 Nanyang Technological University MAS 714 August 14, 2018 1 / 20 O, Ω, and Θ Nanyang Technological
More informationGrowth of Functions (CLRS 2.3,3)
Growth of Functions (CLRS 2.3,3) 1 Review Last time we discussed running time of algorithms and introduced the RAM model of computation. Best-case running time: the shortest running time for any input
More informationProperties of Binary Relations
FORMALIZED MATHEMATICS Number 1, January 1990 Université Catholique de Louvain Properties of Binary Relations Edmund Woronowicz 1 Warsaw University Bia lystok Anna Zalewska 2 Warsaw University Bia lystok
More informationBig O Notation. P. Danziger
1 Comparing Algorithms We have seen that in many cases we would like to compare two algorithms. Generally, the efficiency of an algorithm can be guaged by how long it takes to run as a function of the
More informationCopyright 2000, Kevin Wayne 1
Chapter 2 2.1 Computational Tractability Basics of Algorithm Analysis "For me, great algorithms are the poetry of computation. Just like verse, they can be terse, allusive, dense, and even mysterious.
More informationBig O Notation. P. Danziger
1 Comparing Algorithms We have seen that in many cases we would like to compare two algorithms. Generally, the efficiency of an algorithm can be guaged by how long it takes to run as a function of the
More informationBinary Operations Applied to Functions
FORMALIZED MATHEMATICS Vol.1, No.2, March April 1990 Université Catholique de Louvain Binary Operations Applied to Functions Andrzej Trybulec 1 Warsaw University Bia lystok Summary. In the article we introduce
More information2.2 Asymptotic Order of Growth. definitions and notation (2.2) examples (2.4) properties (2.2)
2.2 Asymptotic Order of Growth definitions and notation (2.2) examples (2.4) properties (2.2) Asymptotic Order of Growth Upper bounds. T(n) is O(f(n)) if there exist constants c > 0 and n 0 0 such that
More informationAnalysis of Algorithms I: Asymptotic Notation, Induction, and MergeSort
Analysis of Algorithms I: Asymptotic Notation, Induction, and MergeSort Xi Chen Columbia University We continue with two more asymptotic notation: o( ) and ω( ). Let f (n) and g(n) are functions that map
More informationComparison of functions. Comparison of functions. Proof for reflexivity. Proof for transitivity. Reflexivity:
Comparison of functions Comparison of functions Reading: Cormen et al, Section 3. (for slide 7 and later slides) Transitivity f (n) = (g(n)) and g(n) = (h(n)) imply f (n) = (h(n)) Reflexivity: f (n) =
More informationDefine Efficiency. 2: Analysis. Efficiency. Measuring efficiency. CSE 417: Algorithms and Computational Complexity. Winter 2007 Larry Ruzzo
CSE 417: Algorithms and Computational 2: Analysis Winter 2007 Larry Ruzzo Define Efficiency Runs fast on typical real problem instances Pro: sensible, bottom-line-oriented Con: moving target (diff computers,
More informationRiemann Integral of Functions R into C
FORMLIZED MTHEMTICS Vol. 18, No. 4, Pges 201 206, 2010 Riemnn Integrl of Functions R into C Keiichi Miyjim Ibrki University Fculty of Engineering Hitchi, Jpn Tkhiro Kto Grdute School of Ibrki University
More informationDefining Efficiency. 2: Analysis. Efficiency. Measuring efficiency. CSE 421: Intro Algorithms. Summer 2007 Larry Ruzzo
CSE 421: Intro Algorithms 2: Analysis Summer 2007 Larry Ruzzo Defining Efficiency Runs fast on typical real problem instances Pro: sensible, bottom-line-oriented Con: moving target (diff computers, compilers,
More informationTaking Stock. IE170: Algorithms in Systems Engineering: Lecture 3. Θ Notation. Comparing Algorithms
Taking Stock IE170: Algorithms in Systems Engineering: Lecture 3 Jeff Linderoth Department of Industrial and Systems Engineering Lehigh University January 19, 2007 Last Time Lots of funky math Playing
More informationAsymptotic Analysis. Slides by Carl Kingsford. Jan. 27, AD Chapter 2
Asymptotic Analysis Slides by Carl Kingsford Jan. 27, 2014 AD Chapter 2 Independent Set Definition (Independent Set). Given a graph G = (V, E) an independent set is a set S V if no two nodes in S are joined
More informationThe Growth of Functions (2A) Young Won Lim 4/6/18
Copyright (c) 2015-2018 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published
More informationFormalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar
J Autom Reasoning (2013) 50:161 172 DOI 10.1007/s10817-012-9265-2 Formalization of Definitions and Theorems Related to an Elliptic Curve Over a Finite Prime Field by Using Mizar Yuichi Futa Hiroyuki Okazaki
More information5 + 9(10) + 3(100) + 0(1000) + 2(10000) =
Chapter 5 Analyzing Algorithms So far we have been proving statements about databases, mathematics and arithmetic, or sequences of numbers. Though these types of statements are common in computer science,
More informationCMSC Discrete Mathematics FINAL EXAM Tuesday, December 5, 2017, 10:30-12:30
CMSC-37110 Discrete Mathematics FINAL EXAM Tuesday, December 5, 2017, 10:30-12:30 Name (print): Email: This exam contributes 40% to your course grade. Do not use book, notes, scrap paper. NO ELECTRONIC
More informationCSE 417: Algorithms and Computational Complexity
CSE 417: Algorithms and Computational Complexity Lecture 2: Analysis Larry Ruzzo 1 Why big-o: measuring algorithm efficiency outline What s big-o: definition and related concepts Reasoning with big-o:
More informationEECS 477: Introduction to algorithms. Lecture 5
EECS 477: Introduction to algorithms. Lecture 5 Prof. Igor Guskov guskov@eecs.umich.edu September 19, 2002 1 Lecture outline Asymptotic notation: applies to worst, best, average case performance, amortized
More informationData Structures and Algorithms. Asymptotic notation
Data Structures and Algorithms Asymptotic notation Estimating Running Time Algorithm arraymax executes 7n 1 primitive operations in the worst case. Define: a = Time taken by the fastest primitive operation
More informationReview Asympto&c Bounds
Objec&ves Review: Asympto&c running &mes Classes of running &mes Implemen&ng Gale-Shapley algorithm Office hours: Today, 2:35-2:55, 5-5:50 p.m. Thursday: 1 5 p.m. Faculty Candidate Talk - Today at 4 p.m.
More information3.1 Asymptotic notation
3.1 Asymptotic notation The notations we use to describe the asymptotic running time of an algorithm are defined in terms of functions whose domains are the set of natural numbers N = {0, 1, 2,... Such
More informationReading 10 : Asymptotic Analysis
CS/Math 240: Introduction to Discrete Mathematics Fall 201 Instructor: Beck Hasti and Gautam Prakriya Reading 10 : Asymptotic Analysis In the last reading, we analyzed the running times of various algorithms.
More informationOrder Notation and the Mathematics for Analysis of Algorithms
Elementary Data Structures and Algorithms Order Notation and the Mathematics for Analysis of Algorithms Name: Email: Code: 19704 Always choose the best or most general answer, unless otherwise instructed.
More informationBinary Operations. Czes law Byliński 1 Warsaw University Bia lystok
FORMALIZED MATHEMATICS Number 1, January 1990 Université Catholique de Louvain Binary Operations Czes law Byliński 1 Warsaw University Bia lystok Summary. In this paper we define binary and unary operations
More informationDimension and ε-translations
Comment.Math.Univ.Carolin. 37,4(1996)803 808 803 Dimension and ε-translations Tatsuo Goto Dedicated to Professor Akihiro Okuyama on his 60th birthday Abstract. Some theorems characterizing the metric and
More informationA Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem
MECHANIZED MATHEMATICS AND ITS APPLICATIONS, VOL. 6, NO. 1, NOVEMBER 2007, 33:40 A Proof of the Jordan Curve Theorem via the Brouwer Fixed Point Theorem Artur Korniłowicz Institute of Computer Science
More information282 Math Preview. Chris Brown. September 8, Why This? 2. 2 Logarithms Basic Identities Basic Consequences...
282 Math Preview Chris Brown September 8, 2005 Contents Why This? 2 2 Logarithms 2 2. Basic Identities.................................... 2 2.2 Basic Consequences.................................. 3 3
More informationModule 1: Analyzing the Efficiency of Algorithms
Module 1: Analyzing the Efficiency of Algorithms Dr. Natarajan Meghanathan Associate Professor of Computer Science Jackson State University Jackson, MS 39217 E-mail: natarajan.meghanathan@jsums.edu Based
More informationCS 344 Design and Analysis of Algorithms. Tarek El-Gaaly Course website:
CS 344 Design and Analysis of Algorithms Tarek El-Gaaly tgaaly@cs.rutgers.edu Course website: www.cs.rutgers.edu/~tgaaly/cs344.html Course Outline Textbook: Algorithms by S. Dasgupta, C.H. Papadimitriou,
More informationLecture 3: Big-O and Big-Θ
Lecture 3: Big-O and Big-Θ COSC4: Algorithms and Data Structures Brendan McCane Department of Computer Science, University of Otago Landmark functions We saw that the amount of work done by Insertion Sort,
More informationAlgorithms and Their Complexity
CSCE 222 Discrete Structures for Computing David Kebo Houngninou Algorithms and Their Complexity Chapter 3 Algorithm An algorithm is a finite sequence of steps that solves a problem. Computational complexity
More informationCS 577 Introduction to Algorithms: Strassen s Algorithm and the Master Theorem
CS 577 Introduction to Algorithms: Jin-Yi Cai University of Wisconsin Madison In the last class, we described InsertionSort and showed that its worst-case running time is Θ(n 2 ). Check Figure 2.2 for
More information2. ALGORITHM ANALYSIS
2. ALGORITHM ANALYSIS computational tractability asymptotic order of growth survey of common running times Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley http://www.cs.princeton.edu/~wayne/kleinberg-tardos
More informationAsymptotic Notation. such that t(n) cf(n) for all n n 0. for some positive real constant c and integer threshold n 0
Asymptotic Notation Asymptotic notation deals with the behaviour of a function in the limit, that is, for sufficiently large values of its parameter. Often, when analysing the run time of an algorithm,
More informationLecture 2: Asymptotic Notation CSCI Algorithms I
Lecture 2: Asymptotic Notation CSCI 700 - Algorithms I Andrew Rosenberg September 2, 2010 Last Time Review Insertion Sort Analysis of Runtime Proof of Correctness Today Asymptotic Notation Its use in analyzing
More informationCopyright 2000, Kevin Wayne 1
Algorithm runtime analysis and computational tractability Time Complexity of an Algorithm How do we measure the complexity (time, space requirements) of an algorithm. 1 microsecond? Units of time As soon
More informationThe Product and the Determinant of Matrices with Entries in a Field. Katarzyna Zawadzka Warsaw University Bialystok
FORMALIZED MATHEMATICS volume 4, Number 1, 1993 Universite Catholique dc Louvain The Product and the Determinant of Matrices with Entries in a Field Katarzyna Zawadzka Warsaw University Bialystok Summary.
More informationAlgorithms Design & Analysis. Analysis of Algorithm
Algorithms Design & Analysis Analysis of Algorithm Review Internship Stable Matching Algorithm 2 Outline Time complexity Computation model Asymptotic notions Recurrence Master theorem 3 The problem of
More informationCS Data Structures and Algorithm Analysis
CS 483 - Data Structures and Algorithm Analysis Lecture II: Chapter 2 R. Paul Wiegand George Mason University, Department of Computer Science February 1, 2006 Outline 1 Analysis Framework 2 Asymptotic
More informationModule 1: Analyzing the Efficiency of Algorithms
Module 1: Analyzing the Efficiency of Algorithms Dr. Natarajan Meghanathan Professor of Computer Science Jackson State University Jackson, MS 39217 E-mail: natarajan.meghanathan@jsums.edu What is an Algorithm?
More informationAsymptotic Analysis 1
Asymptotic Analysis 1 Last week, we discussed how to present algorithms using pseudocode. For example, we looked at an algorithm for singing the annoying song 99 Bottles of Beer on the Wall for arbitrary
More informationwith the size of the input in the limit, as the size of the misused.
Chapter 3. Growth of Functions Outline Study the asymptotic efficiency of algorithms Give several standard methods for simplifying the asymptotic analysis of algorithms Present several notational conventions
More information