The.Algorithm.Design.Manual.Springer-Verlag.1998
The.Algorithm.Design.Manual.Springer-Verlag.1998 The.Algorithm.Design.Manual.Springer-Verlag.1998
Lecture 21 - vertex cover Every vertex cover must contain n first stage vertices and 2C second stage vertices. Let the first stage vertices define the truth assignment. To give the cover, at least one cross-edge must be covered, so the truth assignment satisfies. For a cover to have N+2C vertices, all the cross edges must be incident on a selected vertex. Let the N selected vertices from the first stage coorespond to TRUE literals. If there is a satisfying truth assignment, that means at least one of the three cross edges from each triangle is incident on a TRUE vertex. By adding the other two vertices to the cover, we cover all edges associated with the clause. Every SAT defines a cover and Every Cover Truth values for the SAT! Example: , . Listen To Part 25-1 Starting from the Right Problem As you can see, the reductions can be very clever and very complicated. While theoretically any NPcomplete problem can be reduced to any other one, choosing the correct one makes finding a reduction much easier. As you can see, the reductions can be very clever and complicated. While theoretically any NP-complete problem will do, choosing the correct one can make it much easier. Instance: A graph G=(V,E) and integer . file:///E|/LEC/LECTUR16/NODE21.HTM (3 of 7) [19/1/2003 1:35:28] Maximum Clique
Lecture 21 - vertex cover Question: Does the graph contain a clique of j vertices, ie. is there a subset of v of size j such that every pair of vertices in the subset defines an edge of G? Example: this graph contains a clique of size 5. Listen To Part 25-2 When talking about graph problems, it is most natural to work from a graph problem - the only NPcomplete one we have is vertex cover! Theorem: Clique is NP-complete Proof: If you take a graph and find its vertex cover, the remaining vertices form an independent set, meaning there are no edges between any two vertices in the independent set, for if there were such an edge the rest of the vertices could not be a vertex cover. Clearly the smallest vertex cover gives the biggest independent set, and so the problems are equivallent - Delete the subset of vertices in one from the total set of vertices to get the order! Thus finding the maximum independent set must be NP-complete! Listen To Part 25-3 In an independent set, there are no edges between two vertices. In a clique, there are always between two vertices. Thus if we complement a graph (have an edge iff there was no edge in the original graph), a clique becomes an independent set and an independent set becomes a Clique! file:///E|/LEC/LECTUR16/NODE21.HTM (4 of 7) [19/1/2003 1:35:28]
- Page 971 and 972: Lecture 14 - data structures for gr
- Page 973 and 974: Lecture 14 - data structures for gr
- Page 975 and 976: Lecture 15 - DFS and BFS Next: Lect
- Page 977 and 978: Lecture 15 - DFS and BFS In a DFS o
- Page 979 and 980: Lecture 15 - DFS and BFS It could u
- Page 981 and 982: Lecture 15 - DFS and BFS Algorithm
- Page 983 and 984: Lecture 16 - applications of DFS an
- Page 985 and 986: Lecture 16 - applications of DFS an
- Page 987 and 988: Lecture 16 - applications of DFS an
- Page 989 and 990: Lecture 17 - minimum spanning trees
- Page 991 and 992: Lecture 17 - minimum spanning trees
- Page 993 and 994: Lecture 17 - minimum spanning trees
- Page 995 and 996: Lecture 17 - minimum spanning trees
- Page 997 and 998: Lecture 17 - minimum spanning trees
- Page 999 and 1000: Lecture 18 - shortest path algorthm
- Page 1001 and 1002: Lecture 18 - shortest path algorthm
- Page 1003 and 1004: Lecture 18 - shortest path algorthm
- Page 1005 and 1006: Lecture 18 - shortest path algorthm
- Page 1007 and 1008: Lecture 18 - shortest path algorthm
- Page 1009 and 1010: Lecture 19 - satisfiability Next: L
- Page 1011 and 1012: Lecture 19 - satisfiability Why? Th
- Page 1013 and 1014: Lecture 19 - satisfiability between
- Page 1015 and 1016: Lecture 19 - satisfiability Note th
- Page 1017 and 1018: Lecture 20 - integer programming Ex
- Page 1019 and 1020: Lecture 20 - integer programming Ne
- Page 1021: Lecture 21 - vertex cover Proof: VC
- Page 1025 and 1026: Lecture 21 - vertex cover seen to d
- Page 1027 and 1028: Lecture 22 - techniques for proving
- Page 1029 and 1030: Lecture 22 - techniques for proving
- Page 1031 and 1032: Lecture 22 - techniques for proving
- Page 1033 and 1034: Lecture 22 - techniques for proving
- Page 1035 and 1036: Lecture 23 - approximation algorith
- Page 1037 and 1038: Lecture 23 - approximation algorith
- Page 1039 and 1040: Lecture 23 - approximation algorith
- Page 1041 and 1042: Lecture 23 - approximation algorith
- Page 1043 and 1044: Lecture 23 - approximation algorith
- Page 1045 and 1046: About this document ... Up: No Titl
- Page 1047 and 1048: 1.1.6 Kd-Trees ● Point Location
- Page 1049 and 1050: 1.1.3 Suffix Trees and Arrays Send
- Page 1051 and 1052: 1.5.1 Clique ● Vertex Cover Go to
- Page 1053 and 1054: 1.6.2 Convex Hull Related Problems
- Page 1055 and 1056: Visual Links Index file:///E|/WEBSI
- Page 1057 and 1058: Visual Links Index file:///E|/WEBSI
- Page 1059 and 1060: Visual Links Index file:///E|/WEBSI
- Page 1061 and 1062: Visual Links Index file:///E|/WEBSI
- Page 1063 and 1064: Visual Links Index file:///E|/WEBSI
- Page 1065 and 1066: Visual Links Index file:///E|/WEBSI
- Page 1067 and 1068: Visual Links Index file:///E|/WEBSI
- Page 1069 and 1070: Visual Links Index file:///E|/WEBSI
- Page 1071 and 1072: Visual Links Index file:///E|/WEBSI
Lecture 21 - vertex cover<br />
Question: Does the graph contain a clique of j vertices, ie. is there a subset of v of size j such that every<br />
pair of vertices in the subset defines an edge of G?<br />
Example: this graph contains a clique of size 5.<br />
Listen To Part 25-2<br />
When talking about graph problems, it is most natural to work from a graph problem - the only NPcomplete<br />
one we have is vertex cover!<br />
<strong>The</strong>orem: Clique is NP-complete<br />
Proof: If you take a graph and find its vertex cover, the remaining vertices form an independent set,<br />
meaning there are no edges between any two vertices in the independent set, for if there were such an<br />
edge the rest of the vertices could not be a vertex cover.<br />
Clearly the smallest vertex cover gives the biggest independent set, and so the problems are equivallent -<br />
Delete the subset of vertices in one from the total set of vertices to get the order!<br />
Thus finding the maximum independent set must be NP-complete!<br />
Listen To Part 25-3<br />
In an independent set, there are no edges between two vertices. In a clique, there are always between two<br />
vertices. Thus if we complement a graph (have an edge iff there was no edge in the original graph), a<br />
clique becomes an independent set and an independent set becomes a Clique!<br />
file:///E|/LEC/LECTUR16/NODE21.HTM (4 of 7) [19/1/2003 1:35:28]