Presentation is loading. Please wait.

Presentation is loading. Please wait.

Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm.

Similar presentations


Presentation on theme: "Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm."— Presentation transcript:

1 Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm that is guaranteed to solve the problem in all cases. However, it's rare that we actually want the capability of solving a problem in all possible cases. We can: Specialize for particular applications. Try heuristics. For example, we know compressing a string is not solvable (we proved it), not even approximate compression. But everybody is doing it anyways and some people are making money out of it. Theory and practice are usually very far apart!

2 When a problem is NP-hard … Similarly, when we prove a problem is NP-complete, that means that no one currently has a polynomial- time algorithm for the problem. But that's absolutely not a reason to give up. Theoretical proofs are often deceiving. For optimization problems, we are often willing to settle for solutions that are not best possible, but come pretty close to being best possible. For example, for the travelling salesman problem, finding the tour of least cost is nice, but in real life we would often be content with finding a tour that is close to optimal. This leads to the idea of approximation algorithms.

3 Exhaustive search Although exhaustive search is too slow for large instances of NP-complete problems, as the solution space can grow exponentially, there are tricks that can speed up the computation in many cases. For example, although the travelling salesman problem is NP-complete, we can find optimal travelling salesman tours for real- world instances with hundreds or even thousands of cities, by using some search techniques.

4 Backtracking Backtracking and exhaustive search is something we have “avoided” at all cost in this course. But is it really that bad?.

5 Example. This often works. For input (x 1 OR ~x 2 ) AND (~x 2 OR x 4 ) AND (x 1 OR x 2 OR x 3 ). By setting x 1 = 0 and x 1 = 1, we reduce to simpler formulas: (x 1 OR ~x 2 ) AND (~x 2 OR x 4 ) AND (x 1 OR x 2 OR x 3 ) / \ x 1 = 0 / \ x 1 = 1 / \ (~x 2 ) AND (~x 2 OR x 4 ) AND (x 2 OR x 3 ) (~x 2 OR x 4 )

6 Branch and Bound Branch-and-bound is a natural idea applied to optimization problems. The idea is that we keep track of the cost of the best solution or partial solution found so far, and reject partial solutions if they exceed some quantity, as sometimes we can estimate the cost from the partial solutions.

7 Example. travelling salesman Suppose we have a partial solution given by a simple path from a to b, passing through vertices S and denote it by [a, S, b]. Extend this to a full tour by finding a path [b, V-(S ∪ {a,b}), a]. We do this extension edge by edge, so if there is an edge (b, c) in the graph then [a, S, b] gets replaced by [a, S ∪ {b}, c]. How to estimate the cost of a partial solution? Given a partial tour [a, S, b], the remainder of the tour is a path through V-S-{a,b}, plus edges from a and b to this part. Therefore the cost is at least the sum of the least-weight edge from a to V-S-{a,b}, the least- weight edge from b to V-S-{a,b}, and the minimum spanning tree of V-S-{a,b}, which can be estimated.

8 Approximation Algorithms. If we cannot solve it exactly, we can find approximate solutions. For example, for the travelling salesman problem, we might settle for a tour that is within some constant factor of the best. For minimization algorithms, the approximation ratio of an optimization algorithm A is defined to be A’s Solution / Optimal Solution

9 Vertex Cover: approx. ratio 2 A matching in a graph is a subset of the edges such that no vertex appears in two or more edges. A matching is maximal if one cannot add any new edges to it and still preserve the matching property. Maximal matching Alg.: Examine edges consecutively and add them to our matching if they are disjoint from edges already chosen, all in polynomial time.

10 Ratio-2 Vertex Cover continues … Clearly (1) The number of vertices in any vertex cover of G is at least as large as the number of edges in any maximal matching. (2) The set of all endpoints of a maximal matching is a vertex cover. So, letting M be the set of edges in a maximal matching, and C be the number of vertices in the smallest vertex cover, we have |C| ≥ |M| by (1) and 2|M| ≥ |C|. It follows that our algorithm for constructing a vertex cover has an approximation ratio bounded by 2. Dinur and Safra proved you can’t do better than unless P=NP.

11 Shortest Common Superstring Approximation algorithms are usually simple, but the proof of approximation guarantees are usually hard. Here is one example. Given n strings s 1, s 2, …, s n, find the shortest common superstring s. (I,e, each s i is a substring of s, and s is the shortest such string.) The problem is NP-complete. Greedy Algorithm: keep on merging max overlapped strings, until one left. Theorem: This Greedy algorithm is 4 x optimal.

12 Widely used in DNA sequencing It is widely used in DNA shotgun Sequencing (especially with the new generation of sequencers which promises to sequence a fragment of 40k BP long): Make many copies (single strand) Cut them into fragments of lengths ~500. Sequence each of the fragments. Then assemble all fragments into the shortest common superstring by GREEDY: repeatedly merge the pair with max overlap until finish. Dec release of mouse genome: 33 million reads, covering 2.5G bases (x10 coverage)

13 Many have worked on this: Many people (well known scientists, including one author of our textbook) have worked on this and improved the constant from 4 to

14 Theorem. GREEDY achieves 4n, n=opt. Proof by Picture: Given S={s 1, …,s m }, construct G: Nodes are s 1, …,s m Edges: if then add edge: where pref is the pref length. I.e. |s i |=pref+overlap length with s j |SCS(S)| = length shortest Hamiltonian cycle in G Greedy Modified: find all cycles with minimum weights in G, then open cycle, concatenate to obtain the final superstring. (Note: regular greedy has no cycles.) sisi sjsj pref sisi sjsj

15 Assuming initial Hamiltonian cycle has w(C) = n Then merging s i with s j is equivalent to breaking into two cycles. We have: w(C 1 )+ w(C 2 ) ≤ n Proof: We merged (s i, s j ) because they have max overlap. Picture shows: Reasoning: s’ and s” at least overlap that much so that the sum of red is no more than sum of green: d(s i,s j )+d(s’’,s’)≤d(s i,s’)+d(s’’,s j ) Continue this process,end with self-cycles: C 1, C 2, C 3, C 4, …  w(C i ) ≤ n. sisi sjsj … sisi sjsj s’’ s’ s’’ C C1C1 C2C2 This minimum cycle exists sjsj S” sisi S’

16 Then we open cycles & concatenate Let w i =w(C i ) L i =| longest string in C i | |open C i | ≤ w i + L i We know n ≥  w i Lemma. S 1 and S 2 overlap ≤ w 1 +w 2  (L i -2w i ) ≤ n, by Lemma, since L i ’s must be in the final SCS. |Greedy’(S)|<  (L i +w i ) =  (L i -2w i )+  3w i ≤ n + 3n =4n. QED s1s1 s2s2 w1w1 w2w2 w2w2 w2w2 w1w1 w1w1 w1w1

17 Open Question Show Greedy achieves approximation ratio 2.


Download ppt "Lecture 24 Coping with NPC and Unsolvable problems. When a problem is unsolvable, that's generally very bad news: it means there is no general algorithm."

Similar presentations


Ads by Google