Design and Analysis of Algorithms - yuchen1024.github.io · Design and Analysis of Algorithm Series Summation and Recurrence Relation 1 Sequences and Series Summation 2 Recurrence
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Sequence: an ordered list of numbers; the numbers in this orderedlist are called the “terms” of the sequence.
Series: the sum all the terms of a sequence; the resulting value, arecalled the “sum” or the “summation”.
Example. 1, 2, 3, 4 is a sequence, with terms “1”, “2”, “3”, “4”;the corresponding series is the sum “1 + 2 + 3 + 4”, and the valueof the series is 10.
Sequence: an ordered list of numbers; the numbers in this orderedlist are called the “terms” of the sequence.
Series: the sum all the terms of a sequence; the resulting value, arecalled the “sum” or the “summation”.
Example. 1, 2, 3, 4 is a sequence, with terms “1”, “2”, “3”, “4”;the corresponding series is the sum “1 + 2 + 3 + 4”, and the valueof the series is 10.
Sequence: an ordered list of numbers; the numbers in this orderedlist are called the “terms” of the sequence.
Series: the sum all the terms of a sequence; the resulting value, arecalled the “sum” or the “summation”.
Example. 1, 2, 3, 4 is a sequence, with terms “1”, “2”, “3”, “4”;the corresponding series is the sum “1 + 2 + 3 + 4”, and the valueof the series is 10.
Geometric Series are among the simplest examples of infinite serieswith finite sums (although not all of them have this property).
Geometric series are used throughout mathematics, have importantapplications in physics, engineering, biology, economics, computerscience, queueing theory, and finance.
Repeating decimals (0.77777 · · · )Fractal geometryZeno’s paradoxesEconomics: the present value of an annuity
1: l← 1, r ← n;2: while l ≤ r do3: m← ⌊(l + r)/2⌋;4: if A[m] = x then return m; //x is the median5: else if A[m] > x then r ← m− 1;6: else l← m+ 1;7: end8: return 0
Definition 1 (Recurrence Relation)Let a0, a1, . . . , an be a sequence, shorthand as an. A recurrencerelation defines each term of a sequence using preceding term(s),and always state the initial term of the sequence.
Recurrence relation captures the dependence of a term to itspreceding terms.
Solution. Given recurrence relation for a sequence an togetherwith some initial values, compute the general term formula of an.
general term formula: a function of n, without involvement ofother terms
When the recurrence relation is simple, i.e., F (n) only relies onF (n− 1), we use direct iteration.
1 Continuously substitute the “right part” of formula with the“right right part”
2 After each substitution, a new term emerged in the series as ndecreases
3 Stop substitution until reaching the initial values4 Calculate the series with the initial values5 Use mathematical induction to check the correctness of the
solutionRemark. When the correctness is evident, mathematical inductionis not necessary. It is useful for testing if your guess is correct.
Origin. When creating the world, Brahma also built threediamond rods and 64 golden disks of different sizes. At thebeginning, the disks place in ascending order of size on onerod, the smallest at the top, thus making a conical shape.Brahmin priests have been moving these disks from one rodto another rod in accordance with the immutable rules ofBrahma since that time. When the last move is completed,the world will end.
Problem Abstract. There are three rods (labeled as A,B,C) withn of disks of different sizes. At the beginning, the disks in a neatstack in ascending order of size on rod A. The objective of figureout the minimum number of moves T (n) required to move theentire stack to rod C, obeying the following rules:
Only one disk can be moved at a time.Each move consists of taking the upper disk from one of thestacks and placing it on top of another stack or on an emptyrod.No larger disk may be placed on top of a smaller disk.
Example. n = 1, T (1) = 1; n = 2, T (2) = 3; n = 3, T (3) = 7;
Problem Abstract. There are three rods (labeled as A,B,C) withn of disks of different sizes. At the beginning, the disks in a neatstack in ascending order of size on rod A. The objective of figureout the minimum number of moves T (n) required to move theentire stack to rod C, obeying the following rules:
Only one disk can be moved at a time.Each move consists of taking the upper disk from one of thestacks and placing it on top of another stack or on an emptyrod.No larger disk may be placed on top of a smaller disk.
Example. n = 1, T (1) = 1; n = 2, T (2) = 3; n = 3, T (3) = 7;
Problem Abstract. There are three rods (labeled as A,B,C) withn of disks of different sizes. At the beginning, the disks in a neatstack in ascending order of size on rod A. The objective of figureout the minimum number of moves T (n) required to move theentire stack to rod C, obeying the following rules:
Only one disk can be moved at a time.Each move consists of taking the upper disk from one of thestacks and placing it on top of another stack or on an emptyrod.No larger disk may be placed on top of a smaller disk.
Example. n = 1, T (1) = 1; n = 2, T (2) = 3; n = 3, T (3) = 7;
Mathematical Induction (date back to 370 BC, Plato’s Parmenides)
Mathematical induction is a mathematical proof technique ⇒prove that a property P (n) holds for every natural number n ∈ N.
Mathematical induction proves that we can climb as high aswe like on a ladder, by proving that we can climb onto thebottom rung (the basis) and that from each rung we can climbup to the next one (the step). — Concrete Mathematics
Comparsion Between Two Types of Mathematics Induction
Induction basis is same: P (0) = 1
Induction step is differentLogic reasoning:
1 Type 1 induction: P (0) = 1⇒ P (1) = 1⇒ P (2) = 1
2 Type 2 induction:P (0) = 1⇒ P (0) = 1 ∧ P (1) = 1⇒ P (0) = 1 ∧ P (1) =1 ∧ P (2) = 1⇒ P (0) = 1 ∧ P (1) = 1 ∧ P (2) = 1 ∧ P (3) = 1
Think. The intutions are same, when to apply which?Type 1 (loose coupling): the property of next number onlydepends on its nearest precedingType 2 (tight coupling): the property of next number dependson all its precedings
These two steps establish the property P (n) = 1 for every naturalnumber n = 0, 1, 2, 3.
The base case does not necessarily begin with n = 0. It canbegin with any natural number n0, establishing the truth ofP (n) = 1 holds for all n ≥ n0.
The method can be extended to structural induction ⇒provestatements about more general well-founded structures, suchas trees (widely used in mathematical logic and computerscience).
These two steps establish the property P (n) = 1 for every naturalnumber n = 0, 1, 2, 3.
The base case does not necessarily begin with n = 0. It canbegin with any natural number n0, establishing the truth ofP (n) = 1 holds for all n ≥ n0.
The method can be extended to structural induction ⇒provestatements about more general well-founded structures, suchas trees (widely used in mathematical logic and computerscience).
These two steps establish the property P (n) = 1 for every naturalnumber n = 0, 1, 2, 3.
The base case does not necessarily begin with n = 0. It canbegin with any natural number n0, establishing the truth ofP (n) = 1 holds for all n ≥ n0.
The method can be extended to structural induction ⇒provestatements about more general well-founded structures, suchas trees (widely used in mathematical logic and computerscience).
When n itself is a function of another variable, say, k, and kdecreases 1 after each iteration, we first substitute n by thefunction of k, then apply the iteration approach over k.
1 Transform the recursive formula about n to recursive formulaabout k
2 Iterate over k
3 Transform the general term formula about k back to generalterm formula about n
Assumption. The first element x finally appears at each positionwith equal probability:
T (n) =2
n
n−1∑i=1
T (i) +O(n), n ≥ 2
T (1) = 0
T (0) = 0
Observation and IdeaThe recurrence relation is complex: n-th term depends on allpreceding terms ; direct iteration would be very complexIdea: Simplify the complex equation, then iterate
Application of Recursion TreeCompute the general term formula of
T (n) = T (n/3) + T (2n/3) + n
n
n
n
O(n)
n
n3
2n3
n9
2n9
2n9
4n9
. . . . . .
1
The rates that different routes reach the initial value are differentthe left route is fastest – estimate the lower boundthe right route is slowest – estimate the upper bound
Master TheoremLet a ≥ 1, b ≥ 1 be constants, T (n) and f(n) be functions, and
T (n) = aT (n/b) + f(n)
1 if ∃ε > 0 s.t. f(n) = O(n(logb a)−ε), then:
T (n) = Θ(nlogb a)
2 if f(n) = Θ(nlogb a), then:
T (n) = Θ(nlogb a logn)
3 if ∃ε > 0 s.t. f(n) = Ω(n(logb a)+ε), and ∃r < 1 s.t. for all n(can be relaxed to for sufficiently large n) the inequalityaf(n/b) ≤ rf(n) holds, then:
a: branching factorb: the size of subproblems decreases by a factor of b with eachlevel of recursionk = logb n: reaches the base case after k levels, the height of therecursion tree
the jth level of the tree is made up of aj subproblems, eachof size n/bj
Compute the general term formula of recurrence relation:
T (n) = 3T (n/4) + n logn
Applying the master theorema = 3, b = 4, h(n) = nlog4 3;f(n) = n logn = Ω(nlog4 3+ε) ≈ Ω(n0.793+ε), choose ε = 0.2
Check addition condition af(n/b) ≤ rf(n) holds for all n.Test f(n) = n logn⇒ af(n/b) = 3(n/4) log(n/4) ≤ rn lognholds for some r < 1.Choose r = 3/4 < 1, this inequality holds for all n.