Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| courses:cs211:winter2018:journals:boyese:chapter4 [2018/02/27 00:35] – [Section 4.4: Shortest Paths in a Graph] boyese | courses:cs211:winter2018:journals:boyese:chapter4 [2018/03/12 18:25] (current) – [Section 4.8: Huffman Codes and Data Compression] boyese | ||
|---|---|---|---|
| Line 115: | Line 115: | ||
| A more difficult version of this problem would contain requests i that, in addition to the deadline d< | A more difficult version of this problem would contain requests i that, in addition to the deadline d< | ||
| + | It is still somewhat unclear to me what the difference, advantages, and disadvantages this method has over the greedy stays ahead method described in section 4.1. I think this section was difficult to digest, at a 5/10, so I will probably have to review it alongside section 4.1 again, as wells as my notes. I think it would have been helpful for me to read these sections before the lectures in this particular case because I was also pretty lost during the lectures and I think I could have gotten some further clarification after reading the sections. | ||
| ====Section 4.3: Optimal Caching: A More Complex Exchange Argument==== | ====Section 4.3: Optimal Caching: A More Complex Exchange Argument==== | ||
| Line 126: | Line 126: | ||
| ===Designing the Algorithm=== | ===Designing the Algorithm=== | ||
| + | The outline for Dijkstra' | ||
| < | < | ||
| Line 141: | Line 141: | ||
| ===Analyzing the Algorithm=== | ===Analyzing the Algorithm=== | ||
| + | Is it always true that when Dijkstra’s Algorithm adds a node v, we get the true shortest-path distance to v? We now answer this by proving the correctness of the algorithm, showing that the paths P< | ||
| **Theorem 4.14** //Consider the set S at any point in the algorithm’s execution. For each u ∈ S, the path P< | **Theorem 4.14** //Consider the set S at any point in the algorithm’s execution. For each u ∈ S, the path P< | ||
| + | |||
| + | Note that this fact immediately establishes the correctness of Dijkstra’s Algorithm, since we can apply it when the algorithm terminates, at which point S includes all nodes. | ||
| + | |||
| + | Dijkstra' | ||
| + | Another observation is that Dijkstra’s Algorithm is, in a sense, even simpler than it has been described here. Dijkstra’s Algorithm is really just a " | ||
| **// | **// | ||
| + | There are n - 1 iterations of the while loop for a graph with n nodes, as each iteration adds a new node v to S. Selecting the correct node v efficiently is a more subtle issue. | ||
| + | We can further improve the efficiency by keeping the nodes V - S in a priority queue with d’(u) as their key. Recall that a priority queue can efficiently insert elements, delete elements, change an element’s key, and extract the element with the minimum key. | ||
| **Theorem 4.15** //Using a priority queue, Dijkstra’s Algorithm can be implemented on a graph with n nodes and m edges to run in O(m) time, plus the time for n ExtractMin and m ChangeKey operations.// | **Theorem 4.15** //Using a priority queue, Dijkstra’s Algorithm can be implemented on a graph with n nodes and m edges to run in O(m) time, plus the time for n ExtractMin and m ChangeKey operations.// | ||
| + | |||
| + | Using the heap-based priority queue implementation (discussed in Chapter 2), each priority queue operation can be made to run in O(log n) time. Thus the overall time for the implementation is O(m log n). | ||
| + | |||
| + | The biggest question I have after reading this section is how is Dijkstra' | ||
| ====Section 4.5: The Minimum Spanning Tree Problem==== | ====Section 4.5: The Minimum Spanning Tree Problem==== | ||
| + | ===Minimum Spanning Tree (MST)=== | ||
| + | * Spanning Tree: spans all nodes in a graph | ||
| + | * Given a connected graph G = (V, E) with positive edge weights ce, an MST is a subset of the edges T ⊆ E such that T is a spanning tree whose sum of edge weights is minimized | ||
| + | |||
| + | **MST Applications** | ||
| + | * Network design | ||
| + | * Telephone, electrical, hydraulic, TV cable, computer, road | ||
| + | * Approximation algorithms for NP-hard problems | ||
| + | * Traveling salesperson problem, Striner tree | ||
| + | * Indirect applications | ||
| + | * Max bottleneck paths | ||
| + | * Reducing data storage in sequencing amino acids in a protein | ||
| + | * Cluster analysis | ||
| + | |||
| + | // | ||
| + | |||
| + | **Possible algorithms to find MST:** | ||
| + | * // | ||
| + | * //Prim’s Algorithm:// | ||
| + | * //Reverse Delete Algorithm:// | ||
| + | |||
| + | **Properties of the MST** | ||
| + | * //Cut property:// Let S be any subset of nodes, and let e be the min cost edge with exactly one endpoint in S. Then MST contains e. | ||
| + | * //Cutset:// A cut is a subset of nodes S. The corresponding cutset D is the subset of edges with exactly one endpoint in S. | ||
| + | * //Cycle property:// Let C be a cycle, and let f be the max cost edge belonging to C. Then MST does not contain f. (All edge costs ce are distinct) | ||
| + | * //Cycle:// Set of edges in the form a-b, b-c, c-d, …, y-z, z-a | ||
| + | * //Cycle-Cut Intersection:// | ||
| ====Section 4.6: Implementing Kruskal' | ====Section 4.6: Implementing Kruskal' | ||
| + | ===Union-Find Data Structure: | ||
| + | * Keeps track of a graph as edges are added | ||
| + | * Cannot handle when edges are deleted | ||
| + | * Maintains disjoint sets | ||
| + | * E.g., graph’s connected components | ||
| + | **Operations: | ||
| + | * Find(u): returns name of set containing u | ||
| + | * How is this utilized to see if two nodes are in the same set? | ||
| + | * Goal implementation: | ||
| + | * Union(A, B): merge sets A and B into one set | ||
| + | * Goal implementation: | ||
| + | |||
| + | ===Implementing Kruskal’s Algorithm=== | ||
| + | * Using the union-find data structure | ||
| + | * Build set of T edges in the MST | ||
| + | * Maintain set for each connected component | ||
| + | * Using best implementation of union-find | ||
| + | * Sorting: O(m log n) | ||
| + | * Union-find: O(m α (m, n)) | ||
| + | * O(m log n) | ||
| + | |||
| + | **The Algorithm: | ||
| + | < | ||
| + | Sort edge weights so that c< | ||
| + | T = {} | ||
| + | foreach (u ∈ V) make a set containing singleton u | ||
| + | for i = 1 to m | ||
| + | (u,v) = e< | ||
| + | if (u and v are in different sets) | ||
| + | T = T ∪ {e< | ||
| + | merge the sets containing u and v | ||
| + | return T | ||
| + | </ | ||
| ====Section 4.7: Clustering==== | ====Section 4.7: Clustering==== | ||
| + | ===Clustering=== | ||
| + | Given a set U of n objects (or points) labeled p< | ||
| + | * **Problem: | ||
| + | * Requires quantification of distance | ||
| + | * Applications | ||
| + | * Routing in mobile ad-hoc networks | ||
| + | * Identify patterns in gene expression | ||
| + | * Identifying patterns in web application use cases | ||
| + | * Sets of URLs | ||
| + | * Similarity searching in medical image databases | ||
| + | |||
| + | **Distance Function** | ||
| + | The numeric value specifying “closeness” of two objects | ||
| + | Assume distance function satisfies several natural properties: | ||
| + | * d(p< | ||
| + | * d(p< | ||
| + | * d(p< | ||
| + | |||
| + | |||
| + | **Problem: k-Clustering of Maximum Spacing** | ||
| + | * // | ||
| + | * // | ||
| + | * // | ||
| + | |||
| + | **Greedy Clustering Algorithm** | ||
| + | * Single-link k-clustering algorithm | ||
| + | * Form a graph on the vertex set U, corresponding to n clusters | ||
| + | * Find the closest pair of objects such that each object is in a different cluster and add an edge between them | ||
| + | * Repeat n-k times until there are exactly k clusters | ||
| + | * This is the same as Kruskal’s algorithm, except we stop when there are k connected components | ||
| + | * Equivalent to finding MST and deleting the k-1 most expensive edges | ||
| + | |||
| + | **// | ||
| ====Section 4.8: Huffman Codes and Data Compression==== | ====Section 4.8: Huffman Codes and Data Compression==== | ||
| + | ===Huffman Codes=== | ||
| + | **Problem: Encoding** | ||
| + | * Computers use bits: 0s and 1s | ||
| + | * Need to represent what humans know to what computers know | ||
| + | * Map symbol → unique sequence of 0s and 1s | ||
| + | * Process is called encoding | ||
| + | * The least number of bits needed to encode 26 letters, space, and 5 punctuation marks (, . ? ! ‘) (32 characters = 25), so 5 bits | ||
| + | * For a longer string of characters, we can use shorter encodings for frequently used characters like ETAOINSHRDLU | ||
| + | * Goal: optimal encoding that takes advantage of non-uniformity of letter frequencies | ||
| + | * Looking to represent data as compactly as possible | ||
| + | * Example: Morse code, which is an example of variable-length encoding | ||
| + | * We run into a problem when doing this: ambiguity caused by the encoding of one character being a prefix of encoding another | ||
| + | **Optimal Prefix Codes** | ||
| + | * Solution to ambiguity: Prefix codes, which are a map of letters to bit strings such that no encoding is a prefix of any other | ||
| + | * Goal: minimize the average number of bits per letter (ABL): | ||
| + | * Σ< | ||
| + | * fx : frequency that the letter x occurs | ||
| + | * |ϒ(x)|: length of encoding of x | ||
| + | * Minimize ABL = Σ< | ||
| + | * Binary tree to represent prefix codes | ||
| + | * Exposes structure netter than list of mappings | ||
| + | * Each leaf node is a letter | ||
| + | * Follow path to the letter | ||
| + | * Going left: 0, Going right: 1 | ||
| + | * Recursively generate tree | ||
| + | * All letters are in root node | ||
| + | * For all letters in node: | ||
| + | * If encoding begins with 0, letter belongs in left subtree | ||
| + | * Otherwise (encoding begins with 1), letter belongs in right subtree | ||
| + | * If last bit of encoding, make the letter a leaf node of that subtree | ||
| + | * Shift encoding one bit | ||
| + | * Process left and right children | ||
| + | * Tree Properties | ||
| + | * The length of the path from root to leaf is the depth | ||
| + | * The binary tree T corresponding to the optimal prefix code is full, i.e., each internal node has two children | ||
| + | * Conclusions | ||
| + | * The binary tree corresponding to the optimal prefix code is full, i.e., each internal node has two children | ||
| + | * We want to label the leaf nodes of the binary tree corresponding to the optimal prefix code such that nodes with greatest depth have least frequency | ||
| + | * The two letters with least frequency are definitely going to be siblings | ||
| + | |||
| + | **Huffman’s Algorithm** | ||
| + | * Data structures needed: | ||
| + | * Binary tree for the prefix codes | ||
| + | * Priority queue for choosing the node with lowest frequency | ||
| + | * Costs | ||
| + | * Inserting and extracting node into PQ: O(log n) | ||
| + | * Number of insertions and extractions: | ||
| + | * O(n log n) | ||
| + | |||
| + | < | ||
| + | To construct a prefix code for an alphabet S, with given frequencies: | ||
| + | If S has two letters then | ||
| + | Encode one letter using 0 and the other letter using 1 | ||
| + | Else | ||
| + | Let y* and z* be the two lowest-frequency letters | ||
| + | Form a new alphabet S’ by deleting y* and z* and replacing them with a new letter ω of frequency f< | ||
| + | Recursively construct a prefix code γ’ for S’, with tree T’ | ||
| + | Define a prefix code for S as follows: | ||
| + | Start with T’ | ||
| + | Take the leaf labeled ω and add two children below it labeled y* and z* | ||
| + | Endif | ||
| + | </ | ||
| ====Section 4.9: Minimum-Cost Arborescences: | ====Section 4.9: Minimum-Cost Arborescences: | ||
