Contents. Typical techniques. Proving hardness. Constructing efficient algorithms
|
|
- Lucas Flowers
- 5 years ago
- Views:
Transcription
1 Contents Typical techniques Proving hardness Constructing efficient algorithms
2 Generating Maximal Independent Sets Consider the generation of all maximal sets of an independence system.
3 Generating Maximal Independent Sets Consider the generation of all maximal sets of an independence system. I 2 V is an independence system if X I, Y X implies Y I. max I = {X I Y X Y I}
4 Generating Maximal Independent Sets Consider the generation of all maximal sets of an independence system. I 2 V is an independence system if X I, Y X implies Y I. max I = {X I Y X Y I} THEOREM: If there exists an algorithm which can generate, in total polynomial time, all the maximal independent sets of an arbitrary independence system I 2 V, represented by a membership oracle, then P=NP. (Lawler, Lenstra and Rinnooy Kan, 1980)
5 Generating Maximal Independent Sets Given a CNF Φ = (X 1 X 3 X 7 ) (X 2 X 3 X 5 ), on n variables, let V = {X 1, X 1, X 2, X 2,, X n, X n }, and let us define a subset I V to be independent if either there is an index j such that I {X j, X j } =, or I has a literal from all clauses of Φ and I {X j, X j } 1 for all j = 1, 2,..., n. Then, the only maximal independent sets are the sets of the form V \ {X j, X j } for j = 1, 2,..., n, and the sets formed by the true literals in the satisfying assignments of Φ. Clearly, Φ serves as a membership oracle for this independence system, and the generation should terminate in O(n) time, whenever Φ 0.
6 Contents Typical techniques Proving hardness Constructing efficient algorithms Closure operation Flashlight principle Supergraph approach Projection approach
7 Strategies for Generation Closure operation Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω, and let [, ] : H H H
8 Strategies for Generation Closure operation Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω, and let [, ] : H H H Call a subfamily C H closed if [A, B] C for all A, B C. Clearly, the intersection of any two closed subfamilies is also closed. Let C denote the smallest closed subfamily of H containing C (called the closure of C).
9 Strategies for Generation Closure operation Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω, and let [, ] : H H H Call a subfamily C H closed if [A, B] C for all A, B C. Clearly, the intersection of any two closed subfamilies is also closed. Let C denote the smallest closed subfamily of H containing C (called the closure of C). Theorem. If, by using the oracle Ω, a subfamily C H can be generated in polynomial time, for which C = H, and [A, B] can be computed in polynomial time for any A, B H, then H can be generated in incremental polynomial time.
10 Strategies for Generation Closure operation Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω, and let [, ] : H H H Call a subfamily C H closed if [A, B] C for all A, B C. Clearly, the intersection of any two closed subfamilies is also closed. Let C denote the smallest closed subfamily of H containing C (called the closure of C). Theorem. If, by using the oracle Ω, a subfamily C H can be generated in polynomial time, for which C = H, and [A, B] can be computed in polynomial time for any A, B H, then H can be generated in incremental polynomial time. Examples include: cycles of a graph (Dr. Folklore, Late-Pleistocene) prime implicants/implicates of a DNF/CNF (Blake, 1937; Quine, 1952; Robinson, 1965)
11 An Example for Applying a Closure Operation Consider a graph G = (V, E) and call a subset F E of the edges independent, if E \ F contains a cycle. This defines an independence system I for which the graph G serves as an oracle. The family H of maximal independent sets are the complements of simple cycles of G.
12 An Example for Applying a Closure Operation Consider a graph G = (V, E) and call a subset F E of the edges independent, if E \ F contains a cycle. This defines an independence system I for which the graph G serves as an oracle. The family H of maximal independent sets are the complements of simple cycles of G. Given cycles C, C E, for every edge e C C there exists a cycle C (C C ) \ {e}. Let [C, C ] = C.
13 An Example for Applying a Closure Operation Consider a graph G = (V, E) and call a subset F E of the edges independent, if E \ F contains a cycle. This defines an independence system I for which the graph G serves as an oracle. The family H of maximal independent sets are the complements of simple cycles of G. Given cycles C, C E, for every edge e C C there exists a cycle C (C C ) \ {e}. Let [C, C ] = C. Let F E be a spanning tree, and let C e denote the unique cycle contained in F {e} for e F. Let C = {C e e E \ F }.
14 An Example for Applying a Closure Operation Consider a graph G = (V, E) and call a subset F E of the edges independent, if E \ F contains a cycle. This defines an independence system I for which the graph G serves as an oracle. The family H of maximal independent sets are the complements of simple cycles of G. Given cycles C, C E, for every edge e C C there exists a cycle C (C C ) \ {e}. Let [C, C ] = C. Let F E be a spanning tree, and let C e denote the unique cycle contained in F {e} for e F. Let C = {C e e E \ F }. Then C = H.
15 An Example for Applying a Closure Operation Consider a graph G = (V, E) and call a subset F E of the edges independent, if E \ F contains a cycle. This defines an independence system I for which the graph G serves as an oracle. The family H of maximal independent sets are the complements of simple cycles of G. Given cycles C, C E, for every edge e C C there exists a cycle C (C C ) \ {e}. Let [C, C ] = C. Let F E be a spanning tree, and let C e denote the unique cycle contained in F {e} for e F. Let C = {C e e E \ F }. Then C = H. Therefore, H can be generated in incremental polynomial time.
16 Contents Typical techniques Proving hardness Constructing efficient algorithms Closure operation Flashlight principle Supergraph approach Projection approach
17 Strategies for Generation Flashlight Principle Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω. PeekingAhead(I, O) Given subsets I, O V, decide if there exists a maximal independent set H H for which H I and H O =.
18 Strategies for Generation Flashlight Principle Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω. PeekingAhead(I, O) Given subsets I, O V, decide if there exists a maximal independent set H H for which H I and H O =. Theorem. If, by using the oracle Ω, problem PeekingAhead(I, O) can be solved in polynomial time for all subsets I, O V, then H can be generated with polynomial delay (by depth-firstsearch).
19 Strategies for Generation Flashlight Principle Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω. PeekingAhead(I, O) Given subsets I, O V, decide if there exists a maximal independent set H H for which H I and H O =. Theorem. If, by using the oracle Ω, problem PeekingAhead(I, O) can be solved in polynomial time for all subsets I, O V, then H can be generated with polynomial delay (by depth-firstsearch). Examples include: maximal independent sets of a matroid, (Dr. Folklore, Late-Pleistocene) spanning trees, s t paths, s t cuts, simple cycles, etc., in graphs. (Reed and Tarjan, 1975)
20 An Example for Applying the Flashlight Principle Consider a graph G = (V, E) and call a subset F E of the edges independent, if F is a subset of the edge set of a complete bipartite subgraph (not necessarily induced) of G. This defines an independence system for which the graph G serves as an oracle.
21 An Example for Applying the Flashlight Principle Consider a graph G = (V, E) and call a subset F E of the edges independent, if F is a subset of the edge set of a complete bipartite subgraph (not necessarily induced) of G. This defines an independence system for which the graph G serves as an oracle. Problem PeekingAhead(I, O) can be solved in O( V 2 ) time for all subsets I, O E. (In fact, it would be enough to show this for subsets I which form a connected subgraph.) This yields an O( V 4 )-delay generation of all maximal bipartite subgraphs of G.
22 An Example for Applying the Flashlight Principle Consider a graph G = (V, E) and call a subset F E of the edges independent, if F is a subset of the edge set of a complete bipartite subgraph (not necessarily induced) of G. This defines an independence system for which the graph G serves as an oracle. Problem PeekingAhead(I, O) can be solved in O( V 2 ) time for all subsets I, O E. (In fact, it would be enough to show this for subsets I which form a connected subgraph.) This yields an O( V 4 )-delay generation of all maximal bipartite subgraphs of G. For other approaches see (Epstein, 1994) (Alexe, Alexe, Crama, Foldes, Hammer, and Simeone, 2002)
23 An Example for Applying the Flashlight Principle Consider a graph G = (V, E) and call a subset F E of the edges independent, if F is a subset of the edge set of a complete bipartite subgraph (not necessarily induced) of G. This defines an independence system for which the graph G serves as an oracle. Problem PeekingAhead(I, O) can be solved in O( V 2 ) time for all subsets I, O E. (In fact, it would be enough to show this for subsets I which form a connected subgraph.) This yields an O( V 4 )-delay generation of all maximal bipartite subgraphs of G. For other approaches see (Epstein, 1994) (Alexe, Alexe, Crama, Foldes, Hammer, and Simeone, 2002) Counting maximal bipartite subgraphs of a graph is a #P -hard problem. (Kuznetsov, 1989)
24 Contents Typical techniques Proving hardness Constructing efficient algorithms Closure operation Flashlight principle Supergraph approach Projection approach
25 Strategies for Generation Supergraph Approach Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω. Let us define a super-graph Ĝ with V (Ĝ) = H such that (i) for every H H the neighborhood N(H) in Ĝ can be generated, by using the oracle Ω, in incremental polynomial time, and (ii) the graph Ĝ is (strongly) connected.
26 Strategies for Generation Supergraph Approach Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω. Let us define a super-graph Ĝ with V (Ĝ) = H such that (i) for every H H the neighborhood N(H) in Ĝ can be generated, by using the oracle Ω, in incremental polynomial time, and (ii) the graph Ĝ is (strongly) connected. Theorem. If Ĝ satisfies the above conditions, then H can be generated in incremental polynomial time (by breadth-first-search). Furthermore, if N(H) can be generated in polynomial time for all H H, then H can be generated with polynomial delay.
27 Strategies for Generation Supergraph Approach Let H be the family of maximal independent sets of an independence system H = max I 2 V represented by an independence oracle Ω. Let us define a super-graph Ĝ with V (Ĝ) = H such that (i) for every H H the neighborhood N(H) in Ĝ can be generated, by using the oracle Ω, in incremental polynomial time, and (ii) the graph Ĝ is (strongly) connected. Theorem. If Ĝ satisfies the above conditions, then H can be generated in incremental polynomial time (by breadth-first-search). Furthermore, if N(H) can be generated in polynomial time for all H H, then H can be generated with polynomial delay. Examples include feedback arc and vertex sets in graphs and directed graphs (Schwikowski and Speckenmeyer, 1997)
28 An Example for Applying the Supergraph Approach Consider a directed graph G = (V, E) and call a subset F E of the arcs independent, if G F = (V, F ) is an acyclic graph. This defines an independence system for which the graph G serves as an oracle. Let H denote the family of all maximal independent sets.
29 An Example for Applying the Supergraph Approach Consider a directed graph G = (V, E) and call a subset F E of the arcs independent, if G F = (V, F ) is an acyclic graph. This defines an independence system for which the graph G serves as an oracle. Let H denote the family of all maximal independent sets. Let us define a directed graph Ĝ on vertex set H, in which ( F, F ) is an arc if F can be obtained from F by (i) adding an arc ( u, v) E \ F, (ii) deleting all arcs of F leaving vertex v, and (iii) adding additional arcs from E \ F in an arbitrary way until a maximal acyclic arc set F is obtained.
30 An Example for Applying the Supergraph Approach Consider a directed graph G = (V, E) and call a subset F E of the arcs independent, if G F = (V, F ) is an acyclic graph. This defines an independence system for which the graph G serves as an oracle. Let H denote the family of all maximal independent sets. Let us define a directed graph Ĝ on vertex set H, in which ( F, F ) is an arc if F can be obtained from F by (i) adding an arc ( u, v) E \ F, (ii) deleting all arcs of F leaving vertex v, and (iii) adding additional arcs from E \ F in an arbitrary way until a maximal acyclic arc set F is obtained. The directed supergraph Ĝ is strongly connected, N(F ) E for all F H, and N(F ) can be generated in polynomial time, yielding an O( V E ( V + E ))-delay generation of H.
31 Contents Typical techniques Proving hardness Constructing efficient algorithms Closure operation Flashlight principle Supergraph approach Projection approach
32 Strategies for Generation Projection Approach Let H = max I be the family of maximal independent sets of an independence system I 2 V represented by an independence oracle Ω. Let V = {1, 2,..., n}, and for each j V let H j denote the family of independent sets which are maximal within {1, 2,..., j}.
33 Strategies for Generation Projection Approach Let H = max I be the family of maximal independent sets of an independence system I 2 V represented by an independence oracle Ω. Let V = {1, 2,..., n}, and for each j V let H j denote the family of independent sets which are maximal within {1, 2,..., j}. Lemma. H 1 H 2 H n 1 H n and H n = H. Proof. For all I H j 1 we have either I H j or I {j} H j.
34 Strategies for Generation Projection Approach Let H = max I be the family of maximal independent sets of an independence system I 2 V represented by an independence oracle Ω. Let V = {1, 2,..., n}, and for each j V let H j denote the family of independent sets which are maximal within {1, 2,..., j}. Lemma. H 1 H 2 H n 1 H n and H n = H. Proof. For all I H j 1 we have either I H j or I {j} H j. Theorem. H can be generated in incremental polynomial time, if all independent sets, which are maximal within I {j}, can be generated in polynomial time, for all j V and I H j 1.
35 Strategies for Generation Projection Approach Let H = max I be the family of maximal independent sets of an independence system I 2 V represented by an independence oracle Ω. Let V = {1, 2,..., n}, and for each j V let H j denote the family of independent sets which are maximal within {1, 2,..., j}. Lemma. H 1 H 2 H n 1 H n and H n = H. Proof. For all I H j 1 we have either I H j or I {j} H j. Theorem. H can be generated in incremental polynomial time, if all independent sets, which are maximal within I {j}, can be generated in polynomial time, for all j V and I H j 1. Examples include maximal cliques and stable sets of graphs, maximal set packings, maximal feasible solutions to a knapsack inequality, etc. (Lawler,Lenstra and Rinnooy Kan, 1980)
36 An Example for Applying the Projection Approach Consider a directed graph G = (V, E) and a constant t. Let us call a subset I V of the vertices t-independent, if the subgraph induced by I contains no more than t edges. This defines an independence system for which the graph G serves as an oracle. Let H denote the family of all maximal t-independent sets.
37 An Example for Applying the Projection Approach Consider a directed graph G = (V, E) and a constant t. Let us call a subset I V of the vertices t-independent, if the subgraph induced by I contains no more than t edges. This defines an independence system for which the graph G serves as an oracle. Let H denote the family of all maximal t-independent sets. Let V = {1, 2,..., n} and let H j for j V denote the family of all t- independent sets which are maximal within {1, 2,..., j}.
38 An Example for Applying the Projection Approach Consider a directed graph G = (V, E) and a constant t. Let us call a subset I V of the vertices t-independent, if the subgraph induced by I contains no more than t edges. This defines an independence system for which the graph G serves as an oracle. Let H denote the family of all maximal t-independent sets. Let V = {1, 2,..., n} and let H j for j V denote the family of all t- independent sets which are maximal within {1, 2,..., j}. Given I H j 1, all t-independent sets which are maximal within I {j} can be generated in O(n t ) time, yielding an incremental polynomial algorithm to generate H (as long as t is a constant).
Notations. For any hypergraph H 2 V we have. H + H = and H + H = 2 V.
Notations For any hypergraph H 2 V we have H + H = and H + H = 2 V. Notations For any hypergraph H 2 V we have H + H = and H + H = 2 V. Given a Sperner hypergraph H, we can view it as the family of minimal
More informationOn the Complexity of Some Enumeration Problems for Matroids
On the Complexity of Some Enumeration Problems for Matroids Endre Boros Khaled Elbassioni Vladimir Gurvich Leonid Khachiyan Abstract We present an incremental polynomial-time algorithm for enumerating
More informationOn the Generation of Circuits and Minimal Forbidden Sets
Mathematical Programming manuscript No. (will be inserted by the editor) Frederik Stork Marc Uetz On the Generation of Circuits and Minimal Forbidden Sets January 31, 2004 Abstract We present several complexity
More information15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu)
15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu) First show l = c by proving l c and c l. For a maximum matching M in G, let V be the set of vertices covered by M. Since any vertex in
More informationGenerating k-vertex Connected Spanning Subgraphs and k-edge Connected Spanning Subgraphs
Generating k-vertex Connected Spanning Subgraphs and k-edge Connected Spanning Subgraphs Endre Boros Konrad Borys Khaled Elbassioni Vladimir Gurvich Kazuhisa Makino Gabor Rudolf Abstract We show that k-vertex
More informationCMPSCI611: The Matroid Theorem Lecture 5
CMPSCI611: The Matroid Theorem Lecture 5 We first review our definitions: A subset system is a set E together with a set of subsets of E, called I, such that I is closed under inclusion. This means that
More informationIE418 Integer Programming
IE418: Integer Programming Department of Industrial and Systems Engineering Lehigh University 23rd February 2005 The Ingredients Some Easy Problems The Hard Problems Computational Complexity The ingredients
More informationGenerating Partial and Multiple Transversals of a Hypergraph
Generating Partial and Multiple Transversals of a Hypergraph Endre Boros 1, Vladimir Gurvich 2, Leonid Khachiyan 3, and Kazuhisa Makino 4 1 RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway
More information1. Introduction Recap
1. Introduction Recap 1. Tractable and intractable problems polynomial-boundness: O(n k ) 2. NP-complete problems informal definition 3. Examples of P vs. NP difference may appear only slightly 4. Optimization
More informationHardness of Approximation
Hardness of Approximation We have seen several methods to find approximation algorithms for NP-hard problems We have also seen a couple of examples where we could show lower bounds on the achievable approxmation
More informationTheory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death
Theory of Computation CS3102 Spring 2014 A tale of computers, math, problem solving, life, love and tragic death Nathan Brunelle Department of Computer Science University of Virginia www.cs.virginia.edu/~njb2b/theory
More informationThe Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization
Department of Computer Science Series of Publications C Report C-2004-2 The Complexity of Maximum Matroid-Greedoid Intersection and Weighted Greedoid Maximization Taneli Mielikäinen Esko Ukkonen University
More informationInduced subgraphs of prescribed size
Induced subgraphs of prescribed size Noga Alon Michael Krivelevich Benny Sudakov Abstract A subgraph of a graph G is called trivial if it is either a clique or an independent set. Let q(g denote the maximum
More informationDiscrete Optimization 2010 Lecture 2 Matroids & Shortest Paths
Matroids Shortest Paths Discrete Optimization 2010 Lecture 2 Matroids & Shortest Paths Marc Uetz University of Twente m.uetz@utwente.nl Lecture 2: sheet 1 / 25 Marc Uetz Discrete Optimization Matroids
More informationNP-completeness. Chapter 34. Sergey Bereg
NP-completeness Chapter 34 Sergey Bereg Oct 2017 Examples Some problems admit polynomial time algorithms, i.e. O(n k ) running time where n is the input size. We will study a class of NP-complete problems
More informationAlgorithms for Enumerating Circuits in Matroids
Algorithms for Enumerating Circuits in Matroids Endre Boros 1, Khaled Elbassioni 1, Vladimir Gurvich 1, and Leonid Khachiyan 2 1 RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway NJ 08854-8003;
More information1 Matroid intersection
CS 369P: Polyhedral techniques in combinatorial optimization Instructor: Jan Vondrák Lecture date: October 21st, 2010 Scribe: Bernd Bandemer 1 Matroid intersection Given two matroids M 1 = (E, I 1 ) and
More informationGenerating Maximal Independent Sets for Hypergraphs with Bounded Edge-Intersections
Generating Maximal Independent Sets for Hypergraphs with Bounded Edge-Intersections Endre Boros 1, Khaled Elbassioni 1, Vladimir Gurvich 1, and Leonid Khachiyan 2 1 RUTCOR, Rutgers University, 640 Bartholomew
More informationDUAL-BOUNDED GENERATING PROBLEMS: PARTIAL AND MULTIPLE TRANSVERSALS OF A HYPERGRAPH
DUAL-BOUNDED GENERATING PROBLEMS: PARTIAL AND MULTIPLE TRANSVERSALS OF A HYPERGRAPH ENDRE BOROS, VLADIMIR GURVICH, LEONID KHACHIYAN, AND KAZUHISA MAKINO Abstract. We consider two natural generalizations
More informationSolving the MWT. Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP:
Solving the MWT Recall the ILP for the MWT. We can obtain a solution to the MWT problem by solving the following ILP: max subject to e i E ω i x i e i C E x i {0, 1} x i C E 1 for all critical mixed cycles
More informationENUMERATING SPANNING AND CONNECTED SUBSETS IN GRAPHS AND MATROIDS y
Journal of the Operations Research Society of Japan 2007, Vol. 50, No. 4, 325-338 ENUMERATING SPANNING AND CONNECTED SUBSETS IN GRAPHS AND MATROIDS y Leonid Khachiyan Endre Boros Konrad Borys Khaled Elbassioni
More informationLecture 13, Fall 04/05
Lecture 13, Fall 04/05 Short review of last class NP hardness conp and conp completeness Additional reductions and NP complete problems Decision, search, and optimization problems Coping with NP completeness
More informationNP-Complete Reductions 1
x x x 2 x 2 x 3 x 3 x 4 x 4 CS 4407 2 22 32 Algorithms 3 2 23 3 33 NP-Complete Reductions Prof. Gregory Provan Department of Computer Science University College Cork Lecture Outline x x x 2 x 2 x 3 x 3
More informationThe Reduction of Graph Families Closed under Contraction
The Reduction of Graph Families Closed under Contraction Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 November 24, 2004 Abstract Let S be a family of graphs. Suppose
More informationGenerating p-extremal graphs
Generating p-extremal graphs Derrick Stolee Department of Mathematics Department of Computer Science University of Nebraska Lincoln s-dstolee1@math.unl.edu August 2, 2011 Abstract Let f(n, p be the maximum
More informationComplexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler
Complexity Theory Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien 15 May, 2018 Reinhard
More informationOutline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.
Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 6. The Polynomial Hierarchy Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität
More informationEssential facts about NP-completeness:
CMPSCI611: NP Completeness Lecture 17 Essential facts about NP-completeness: Any NP-complete problem can be solved by a simple, but exponentially slow algorithm. We don t have polynomial-time solutions
More informationAn inequality for polymatroid functions and its applications
An inequality for polymatroid functions and its applications E. Boros a K. Elbassioni b V. Gurvich a L. Khachiyan b a RUTCOR, Rutgers University, 640 Bartholomew Road, Piscataway NJ 08854-8003; ({boros,
More informationPaths and cycles in extended and decomposable digraphs
Paths and cycles in extended and decomposable digraphs Jørgen Bang-Jensen Gregory Gutin Department of Mathematics and Computer Science Odense University, Denmark Abstract We consider digraphs called extended
More informationLecture 18: More NP-Complete Problems
6.045 Lecture 18: More NP-Complete Problems 1 The Clique Problem a d f c b e g Given a graph G and positive k, does G contain a complete subgraph on k nodes? CLIQUE = { (G,k) G is an undirected graph with
More informationApproximation Preserving Reductions
Approximation Preserving Reductions - Memo Summary - AP-reducibility - L-reduction technique - Complete problems - Examples: MAXIMUM CLIQUE, MAXIMUM INDEPENDENT SET, MAXIMUM 2-SAT, MAXIMUM NAE 3-SAT, MAXIMUM
More informationGenerating vertices of polyhedra and related monotone generation problems
DIMACS Technical Report 2007-03 March 2007 Generating vertices of polyhedra and related monotone generation problems by Endre Boros RUTCOR, Rutgers University 640 Bartholomew Road Piscataway, NJ 08854-8003
More informationTrees. A tree is a graph which is. (a) Connected and. (b) has no cycles (acyclic).
Trees A tree is a graph which is (a) Connected and (b) has no cycles (acyclic). 1 Lemma 1 Let the components of G be C 1, C 2,..., C r, Suppose e = (u, v) / E, u C i, v C j. (a) i = j ω(g + e) = ω(g).
More informationTheory of Computation Chapter 9
0-0 Theory of Computation Chapter 9 Guan-Shieng Huang May 12, 2003 NP-completeness Problems NP: the class of languages decided by nondeterministic Turing machine in polynomial time NP-completeness: Cook
More informationEndre Boros a Ondřej Čepekb Alexander Kogan c Petr Kučera d
R u t c o r Research R e p o r t A subclass of Horn CNFs optimally compressible in polynomial time. Endre Boros a Ondřej Čepekb Alexander Kogan c Petr Kučera d RRR 11-2009, June 2009 RUTCOR Rutgers Center
More informationNP Complete Problems. COMP 215 Lecture 20
NP Complete Problems COMP 215 Lecture 20 Complexity Theory Complexity theory is a research area unto itself. The central project is classifying problems as either tractable or intractable. Tractable Worst
More informationA necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees
A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees Yoshimi Egawa Department of Mathematical Information Science, Tokyo University of
More informationDynamic Programming on Trees. Example: Independent Set on T = (V, E) rooted at r V.
Dynamic Programming on Trees Example: Independent Set on T = (V, E) rooted at r V. For v V let T v denote the subtree rooted at v. Let f + (v) be the size of a maximum independent set for T v that contains
More informationDual-Bounded Generating Problems: Weighted Transversals of a Hypergraph
Dual-Bounded Generating Problems: Weighted Transversals of a Hypergraph E. Boros V. Gurvich L. Khachiyan K. Makino January 15, 2003 Abstract We consider a generalization of the notion of transversal to
More informationNon-Deterministic Time
Non-Deterministic Time Master Informatique 2016 1 Non-Deterministic Time Complexity Classes Reminder on DTM vs NDTM [Turing 1936] (q 0, x 0 ) (q 1, x 1 ) Deterministic (q n, x n ) Non-Deterministic (q
More informationGraph. Supply Vertices and Demand Vertices. Supply Vertices. Demand Vertices
Partitioning Graphs of Supply and Demand Generalization of Knapsack Problem Takao Nishizeki Tohoku University Graph Supply Vertices and Demand Vertices Supply Vertices Demand Vertices Graph Each Supply
More informationMore on NP and Reductions
Indian Institute of Information Technology Design and Manufacturing, Kancheepuram Chennai 600 127, India An Autonomous Institute under MHRD, Govt of India http://www.iiitdm.ac.in COM 501 Advanced Data
More informationOn the number of edge-disjoint triangles in K 4 -free graphs
On the number of edge-disjoint triangles in K 4 -free graphs arxiv:1506.03306v1 [math.co] 10 Jun 2015 Ervin Győri Rényi Institute Hungarian Academy of Sciences Budapest, Hungary gyori.ervin@renyi.mta.hu
More informationCSCI 1590 Intro to Computational Complexity
CSCI 1590 Intro to Computational Complexity NP-Complete Languages John E. Savage Brown University February 2, 2009 John E. Savage (Brown University) CSCI 1590 Intro to Computational Complexity February
More informationPolynomial-time Reductions
Polynomial-time Reductions Disclaimer: Many denitions in these slides should be taken as the intuitive meaning, as the precise meaning of some of the terms are hard to pin down without introducing the
More informationCorrectness of Dijkstra s algorithm
Correctness of Dijkstra s algorithm Invariant: When vertex u is deleted from the priority queue, d[u] is the correct length of the shortest path from the source s to vertex u. Additionally, the value d[u]
More informationNP-Completeness. NP-Completeness 1
NP-Completeness Reference: Computers and Intractability: A Guide to the Theory of NP-Completeness by Garey and Johnson, W.H. Freeman and Company, 1979. NP-Completeness 1 General Problems, Input Size and
More informationLecture #14: NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition.
Lecture #14: 0.0.1 NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition. 0.0.2 Preliminaries: Definition 1 n abstract problem Q is a binary relations on a set I of
More informationStat 451: Solutions to Assignment #1
Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are
More informationarxiv: v1 [math.co] 5 May 2016
Uniform hypergraphs and dominating sets of graphs arxiv:60.078v [math.co] May 06 Jaume Martí-Farré Mercè Mora José Luis Ruiz Departament de Matemàtiques Universitat Politècnica de Catalunya Spain {jaume.marti,merce.mora,jose.luis.ruiz}@upc.edu
More informationACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms
1. Computability, Complexity and Algorithms Part a: You are given a graph G = (V,E) with edge weights w(e) > 0 for e E. You are also given a minimum cost spanning tree (MST) T. For one particular edge
More informationRepresentations of All Solutions of Boolean Programming Problems
Representations of All Solutions of Boolean Programming Problems Utz-Uwe Haus and Carla Michini Institute for Operations Research Department of Mathematics ETH Zurich Rämistr. 101, 8092 Zürich, Switzerland
More informationApproximation Algorithms for the k-set Packing Problem
Approximation Algorithms for the k-set Packing Problem Marek Cygan Institute of Informatics University of Warsaw 20th October 2016, Warszawa Marek Cygan Approximation Algorithms for the k-set Packing Problem
More informationMINIMUM DIAMETER COVERING PROBLEMS. May 20, 1997
MINIMUM DIAMETER COVERING PROBLEMS Esther M. Arkin y and Refael Hassin z May 20, 1997 Abstract A set V and a collection of (possibly non-disjoint) subsets are given. Also given is a real matrix describing
More informationIncreasing the Span of Stars
Increasing the Span of Stars Ning Chen Roee Engelberg C. Thach Nguyen Prasad Raghavendra Atri Rudra Gynanit Singh Department of Computer Science and Engineering, University of Washington, Seattle, WA.
More informationCSC 373: Algorithm Design and Analysis Lecture 15
CSC 373: Algorithm Design and Analysis Lecture 15 Allan Borodin February 13, 2013 Some materials are from Stephen Cook s IIT talk and Keven Wayne s slides. 1 / 21 Announcements and Outline Announcements
More informationKernelization by matroids: Odd Cycle Transversal
Lecture 8 (10.05.2013) Scribe: Tomasz Kociumaka Lecturer: Marek Cygan Kernelization by matroids: Odd Cycle Transversal 1 Introduction The main aim of this lecture is to give a polynomial kernel for the
More informationThe Monte Carlo Method
The Monte Carlo Method Example: estimate the value of π. Choose X and Y independently and uniformly at random in [0, 1]. Let Pr(Z = 1) = π 4. 4E[Z] = π. { 1 if X Z = 2 + Y 2 1, 0 otherwise, Let Z 1,...,
More informationEndre Boros a Vladimir Gurvich c ; b Max-Planck-Institut für Informatik, Saarbrücken, Germany;
R u t c o r Research R e p o r t Generating vertices of polyhedra and related problems of monotone generation Endre Boros a Vladimir Gurvich c Khaled Elbassioni b Kazuhisa Makino d RRR 12-2007, March 2007
More information/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 10/31/16
60.433/633 Introduction to Algorithms Lecturer: Michael Dinitz Topic: Matroids and Greedy Algorithms Date: 0/3/6 6. Introduction We talked a lot the last lecture about greedy algorithms. While both Prim
More informationPreliminaries. Graphs. E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)}
Preliminaries Graphs G = (V, E), V : set of vertices E : set of edges (arcs) (Undirected) Graph : (i, j) = (j, i) (edges) 1 2 3 5 4 V = {1, 2, 3, 4, 5}, E = {(1, 3), (3, 2), (2, 4)} 1 Directed Graph (Digraph)
More informationComputational Complexity and Intractability: An Introduction to the Theory of NP. Chapter 9
1 Computational Complexity and Intractability: An Introduction to the Theory of NP Chapter 9 2 Objectives Classify problems as tractable or intractable Define decision problems Define the class P Define
More informationThe Turán number of sparse spanning graphs
The Turán number of sparse spanning graphs Noga Alon Raphael Yuster Abstract For a graph H, the extremal number ex(n, H) is the maximum number of edges in a graph of order n not containing a subgraph isomorphic
More information1.3 Vertex Degrees. Vertex Degree for Undirected Graphs: Let G be an undirected. Vertex Degree for Digraphs: Let D be a digraph and y V (D).
1.3. VERTEX DEGREES 11 1.3 Vertex Degrees Vertex Degree for Undirected Graphs: Let G be an undirected graph and x V (G). The degree d G (x) of x in G: the number of edges incident with x, each loop counting
More informationLimitations of Algorithm Power
Limitations of Algorithm Power Objectives We now move into the third and final major theme for this course. 1. Tools for analyzing algorithms. 2. Design strategies for designing algorithms. 3. Identifying
More informationParameterised Subgraph Counting Problems
Parameterised Subgraph Counting Problems Kitty Meeks University of Glasgow University of Strathclyde, 27th May 2015 Joint work with Mark Jerrum (QMUL) What is a counting problem? Decision problems Given
More informationNP Completeness and Approximation Algorithms
Winter School on Optimization Techniques December 15-20, 2016 Organized by ACMU, ISI and IEEE CEDA NP Completeness and Approximation Algorithms Susmita Sur-Kolay Advanced Computing and Microelectronic
More informationTree Decomposition of Graphs
Tree Decomposition of Graphs Raphael Yuster Department of Mathematics University of Haifa-ORANIM Tivon 36006, Israel. e-mail: raphy@math.tau.ac.il Abstract Let H be a tree on h 2 vertices. It is shown
More informationNP-complete Problems
NP-complete Problems HP, TSP, 3COL, 0/1IP Dimitris Diamantis µπλ November 6, 2014 Dimitris Diamantis (µπλ ) NP-complete Problems November 6, 2014 1 / 34 HAMILTON PATH is NP-Complete Definition Given an
More informationBranching. Teppo Niinimäki. Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science
Branching Teppo Niinimäki Helsinki October 14, 2011 Seminar: Exact Exponential Algorithms UNIVERSITY OF HELSINKI Department of Computer Science 1 For a large number of important computational problems
More informationThe Complexity of Computing the Sign of the Tutte Polynomial
The Complexity of Computing the Sign of the Tutte Polynomial Leslie Ann Goldberg (based on joint work with Mark Jerrum) Oxford Algorithms Workshop, October 2012 The Tutte polynomial of a graph G = (V,
More informationComputational Complexity. IE 496 Lecture 6. Dr. Ted Ralphs
Computational Complexity IE 496 Lecture 6 Dr. Ted Ralphs IE496 Lecture 6 1 Reading for This Lecture N&W Sections I.5.1 and I.5.2 Wolsey Chapter 6 Kozen Lectures 21-25 IE496 Lecture 6 2 Introduction to
More informationChapter 3: Proving NP-completeness Results
Chapter 3: Proving NP-completeness Results Six Basic NP-Complete Problems Some Techniques for Proving NP-Completeness Some Suggested Exercises 1.1 Six Basic NP-Complete Problems 3-SATISFIABILITY (3SAT)
More informationMinimization of Symmetric Submodular Functions under Hereditary Constraints
Minimization of Symmetric Submodular Functions under Hereditary Constraints J.A. Soto (joint work with M. Goemans) DIM, Univ. de Chile April 4th, 2012 1 of 21 Outline Background Minimal Minimizers and
More informationDiscrete Wiskunde II. Lecture 5: Shortest Paths & Spanning Trees
, 2009 Lecture 5: Shortest Paths & Spanning Trees University of Twente m.uetz@utwente.nl wwwhome.math.utwente.nl/~uetzm/dw/ Shortest Path Problem "#$%&'%()*%"()$#+,&- Given directed "#$%&'()*+,%+('-*.#/'01234564'.*,'7+"-%/8',&'5"4'84%#3
More informationA Collection of Problems in Propositional Logic
A Collection of Problems in Propositional Logic Hans Kleine Büning SS 2016 Problem 1: SAT (respectively SAT) Instance: A propositional formula α (for SAT in CNF). Question: Is α satisfiable? The problems
More informationPacking of Rigid Spanning Subgraphs and Spanning Trees
Packing of Rigid Spanning Subgraphs and Spanning Trees Joseph Cheriyan Olivier Durand de Gevigney Zoltán Szigeti December 14, 2011 Abstract We prove that every 6k + 2l, 2k-connected simple graph contains
More informationAn approximation algorithm for the minimum latency set cover problem
An approximation algorithm for the minimum latency set cover problem Refael Hassin 1 and Asaf Levin 2 1 Department of Statistics and Operations Research, Tel-Aviv University, Tel-Aviv, Israel. hassin@post.tau.ac.il
More informationMulti-criteria approximation schemes for the resource constrained shortest path problem
Noname manuscript No. (will be inserted by the editor) Multi-criteria approximation schemes for the resource constrained shortest path problem Markó Horváth Tamás Kis Received: date / Accepted: date Abstract
More informationAlternating paths revisited II: restricted b-matchings in bipartite graphs
Egerváry Research Group on Combinatorial Optimization Technical reports TR-2005-13. Published by the Egerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationEfficient Approximation for Restricted Biclique Cover Problems
algorithms Article Efficient Approximation for Restricted Biclique Cover Problems Alessandro Epasto 1, *, and Eli Upfal 2 ID 1 Google Research, New York, NY 10011, USA 2 Department of Computer Science,
More informationCS21 Decidability and Tractability
CS21 Decidability and Tractability Lecture 18 February 16, 2018 February 16, 2018 CS21 Lecture 18 1 Outline the complexity class NP 3-SAT is NP-complete NP-complete problems: independent set, vertex cover,
More informationRevenue maximization in Stackelberg Pricing Games: Beyond the combinatorial setting
Revenue maximization in Stackelberg Pricing Games: Beyond the combinatorial setting Toni Böhnlein, Stefan Kratsch, and Oliver Schaudt February 0, 206 Abstract In a Stackelberg pricing game a distinguished
More informationMa/CS 117c Handout # 5 P vs. NP
Ma/CS 117c Handout # 5 P vs. NP We consider the possible relationships among the classes P, NP, and co-np. First we consider properties of the class of NP-complete problems, as opposed to those which are
More informationPerfect matchings in highly cyclically connected regular graphs
Perfect matchings in highly cyclically connected regular graphs arxiv:1709.08891v1 [math.co] 6 Sep 017 Robert Lukot ka Comenius University, Bratislava lukotka@dcs.fmph.uniba.sk Edita Rollová University
More informationIterative Rounding and Relaxation
Iterative Rounding and Relaxation James Davis Department of Computer Science Rutgers University Camden jamesdav@camden.rutgers.edu March 11, 2010 James Davis (Rutgers Camden) Iterative Rounding 1 / 58
More information5 Flows and cuts in digraphs
5 Flows and cuts in digraphs Recall that a digraph or network is a pair G = (V, E) where V is a set and E is a multiset of ordered pairs of elements of V, which we refer to as arcs. Note that two vertices
More informationCS/COE
CS/COE 1501 www.cs.pitt.edu/~nlf4/cs1501/ P vs NP But first, something completely different... Some computational problems are unsolvable No algorithm can be written that will always produce the correct
More informationCS 5114: Theory of Algorithms
CS 5114: Theory of Algorithms Clifford A. Shaffer Department of Computer Science Virginia Tech Blacksburg, Virginia Spring 2014 Copyright c 2014 by Clifford A. Shaffer CS 5114: Theory of Algorithms Spring
More informationReachability-based matroid-restricted packing of arborescences
Egerváry Research Group on Combinatorial Optimization Technical reports TR-2016-19. Published by the Egerváry Research Group, Pázmány P. sétány 1/C, H 1117, Budapest, Hungary. Web site: www.cs.elte.hu/egres.
More informationEnumeration: logical and algebraic approach
Enumeration: logical and algebraic approach Yann Strozecki Université Paris Sud - Paris 11 Novembre 2011, séminaire ALGO/LIX Introduction to Enumeration Enumeration and logic Enumeration and polynomials
More informationApplications of the Lopsided Lovász Local Lemma Regarding Hypergraphs
Regarding Hypergraphs Ph.D. Dissertation Defense April 15, 2013 Overview The Local Lemmata 2-Coloring Hypergraphs with the Original Local Lemma Counting Derangements with the Lopsided Local Lemma Lopsided
More informationSelf-duality of bounded monotone boolean functions and related problems
Discrete Applied Mathematics 156 (2008) 1598 1605 www.elsevier.com/locate/dam Self-duality of bounded monotone boolean functions and related problems Daya Ram Gaur a, Ramesh Krishnamurti b a Department
More informationLecture Notes 4. Issued 8 March 2018
CM30073 Advanced Algorithms and Complexity 1. Structure of the class NP Lecture Notes 4 Issued 8 March 2018 Recall that it is not known whether or not P = NP, the widely accepted hypothesis being that
More informationNP-problems continued
NP-problems continued Page 1 Since SAT and INDEPENDENT SET can be reduced to each other we might think that there would be some similarities between the two problems. In fact, there is one such similarity.
More informationCS 583: Algorithms. NP Completeness Ch 34. Intractability
CS 583: Algorithms NP Completeness Ch 34 Intractability Some problems are intractable: as they grow large, we are unable to solve them in reasonable time What constitutes reasonable time? Standard working
More informationAlmost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets
Almost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets Dániel Gerbner a Nathan Lemons b Cory Palmer a Balázs Patkós a, Vajk Szécsi b a Hungarian Academy of Sciences, Alfréd Rényi Institute
More informationCS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle
8.5 Sequencing Problems Basic genres. Packing problems: SET-PACKING, INDEPENDENT SET. Covering problems: SET-COVER, VERTEX-COVER. Constraint satisfaction problems: SAT, 3-SAT. Sequencing problems: HAMILTONIAN-CYCLE,
More information