next up previous
Next: About this document Up: My Home Page

lec13-1.au Give an tex2html_wrap_inline103 algorithm to find the longest montonically increasing sequence in a sequence of n numbers.    Build an example first: (5, 2, 8, 7, 1, 6, 4)

Ask yourself what would you like to know about the first n-1 elements to tell you the answer for the entire sequence?

  1. The length of the longest sequence in tex2html_wrap_inline111 . (seems obvious)
  2. The length of the longest sequence tex2html_wrap_inline113 will extend! (not as obvious - this is the idea!)

Let tex2html_wrap_inline115 be the length of the longest sequence ending with the ith character:

tabular14

How do we compute si?

tex2html_wrap_inline123

tex2html_wrap_inline125

To find the longest sequence - we know it ends somewhere, so Length = tex2html_wrap_inline127

lec14-5.au

The Principle of Optimality

To use dynamic programming, the problem must observe the principle of optimality, that whatever the initial state is, remaining decisions must be optimal with regard the state following from the first decision.  

Combinatorial problems may have this property but may use too much memory/time to be efficient.

Example: The Traveling Salesman Problem

Let tex2html_wrap_inline129 be the cost of the optimal tour for i to 1 that goes thru each of the other cities once  

Here there can be any subset of tex2html_wrap_inline133 instead of any subinterval - hence exponential.

Still, with other ideas (some type of pruning or best-first search) it can be effective for combinatorial search.

lec14-6.au When can you use Dynamic Programming?

Dynamic programming computes recurrences efficiently by storing partial results. Thus dynamic programming can only be efficient when there are not too many partial results to compute!  

There are n! permutations of an n-element set - we cannot use dynamic programming to store the best solution for each subpermutation. There are tex2html_wrap_inline139 subsets of an n-element set - we cannot use dynamic programming to store the best solution for each.

However, there are only n(n-1)/2 continguous substrings of a string, each described by a starting and ending point, so we can use it for string problems.

There are only n(n-1)/2 possible subtrees of a binary search tree, each described by a maximum and minimum key, so we can use it for optimizing binary search trees.

Dynamic programming works best on objects which are linearly ordered and cannot be rearranged - characters in a string, matrices in a chain, points around the boundary of a polygon, the left-to-right order of leaves in a search tree.

Whenever your objects are ordered in a left-to-right way, you should smell dynamic programming! lec14-7.au

Minimum Length Triangulation

A triangulation of a polygon is a set of non-intersecting diagonals which partiions the polygon into diagonals.  

f624in

The length of a triangulation is the sum of the diagonal lengths.

We seek to find the minimum length triangulation. For a convex polygon, or part thereof:

f633in

Once we identify the correct connecting vertex, the polygon is partitioned into two smaller pieces, both of which must be triangulated optimally!

Evaluation proceeds as in the matrix multiplication example - tex2html_wrap_inline147 values of t, each of which takes O(j-i) time if we evaluate the sections in order of increasing size.

f643in

What if there are points in the interior of the polygon?

lec14-8.au Dynamic Programming and High Density Bar Codes

Symbol Technology has developed a new design for bar codes, PDF-417 that has a capacity of several hundred bytes. What is the best way to encode text for this design?  

rei200

They developed a complicated mode-switching data compression scheme.

symbol2.0in

Latch commands permanently put you in a different mode. Shift commands temporarily put you in a different mode.

lec14-9.au Originally, Symbol used a greedy algorithm to encode a string, making local decisions only. We realized that for any prefix, you want an optimal encoding which might leave you in every possible mode.

f664in

tex2html_wrap_inline153 the cost of encoding the ith character and ending up in node j).

Our simple dynamic programming algorithm improved to capacity of PDF-417 by an average of tex2html_wrap_inline159 ! lec14-10.au

Dynamic Programming and Morphing

Morphing is the problem of creating a smooth series of intermediate images given a starting and ending image.   

The key problem is establishing a correspondence between features in the two images. You want to morph an eye to an eye, not an ear to an ear.

We can do this matching on a line-by-line basis:

intervals

This should sound like string matching, but with a different set of operations:

This algorithm was incorported into a morphing system, with the following results:

headlobster4.0in




next up previous
Next: About this document Up: My Home Page

Steve Skiena
Tue Sep 15 16:36:45 EDT 1998