Contents. Typical techniques. Proving hardness. Constructing efficient algorithms

Size: px
Start display at page:

Download "Contents. Typical techniques. Proving hardness. Constructing efficient algorithms"

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. 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 information

On the Complexity of Some Enumeration Problems for Matroids

On 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 information

On the Generation of Circuits and Minimal Forbidden Sets

On 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 information

15.1 Matching, Components, and Edge cover (Collaborate with Xin Yu)

15.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 information

Generating k-vertex Connected Spanning Subgraphs and k-edge Connected Spanning Subgraphs

Generating 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 information

CMPSCI611: The Matroid Theorem Lecture 5

CMPSCI611: 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 information

IE418 Integer Programming

IE418 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 information

Generating Partial and Multiple Transversals of a Hypergraph

Generating 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 information

1. Introduction Recap

1. 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 information

Hardness of Approximation

Hardness 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 information

Theory 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 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 information

The Complexity of Maximum. Matroid-Greedoid Intersection and. Weighted Greedoid Maximization

The 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 information

Induced subgraphs of prescribed size

Induced 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 information

Discrete Optimization 2010 Lecture 2 Matroids & Shortest Paths

Discrete 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 information

NP-completeness. Chapter 34. Sergey Bereg

NP-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 information

Algorithms for Enumerating Circuits in Matroids

Algorithms 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 information

1 Matroid intersection

1 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 information

Generating Maximal Independent Sets for Hypergraphs with Bounded Edge-Intersections

Generating 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 information

DUAL-BOUNDED GENERATING PROBLEMS: PARTIAL AND MULTIPLE TRANSVERSALS OF A HYPERGRAPH

DUAL-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 information

Solving 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: 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 information

ENUMERATING SPANNING AND CONNECTED SUBSETS IN GRAPHS AND MATROIDS y

ENUMERATING 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 information

Lecture 13, Fall 04/05

Lecture 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 information

NP-Complete Reductions 1

NP-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 information

The Reduction of Graph Families Closed under Contraction

The 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 information

Generating p-extremal graphs

Generating 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 information

Complexity Theory VU , SS The Polynomial Hierarchy. Reinhard Pichler

Complexity 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 information

Outline. Complexity Theory EXACT TSP. The Class DP. Definition. Problem EXACT TSP. Complexity of EXACT TSP. Proposition VU 181.

Outline. 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 information

Essential facts about NP-completeness:

Essential 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 information

An inequality for polymatroid functions and its applications

An 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 information

Paths and cycles in extended and decomposable digraphs

Paths 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 information

Lecture 18: More NP-Complete Problems

Lecture 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 information

Approximation Preserving Reductions

Approximation 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 information

Generating vertices of polyhedra and related monotone generation problems

Generating 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 information

Trees. 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). 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 information

Theory of Computation Chapter 9

Theory 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 information

Endre Boros a Ondřej Čepekb Alexander Kogan c Petr Kučera d

Endre 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 information

NP Complete Problems. COMP 215 Lecture 20

NP 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 information

A 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 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 information

Dynamic 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. 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 information

Dual-Bounded Generating Problems: Weighted Transversals of a Hypergraph

Dual-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 information

Non-Deterministic Time

Non-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 information

Graph. Supply Vertices and Demand Vertices. Supply Vertices. Demand Vertices

Graph. 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 information

More on NP and Reductions

More 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 information

On the number of edge-disjoint triangles in K 4 -free graphs

On 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 information

CSCI 1590 Intro to Computational Complexity

CSCI 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 information

Polynomial-time Reductions

Polynomial-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 information

Correctness of Dijkstra s algorithm

Correctness 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 information

NP-Completeness. NP-Completeness 1

NP-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 information

Lecture #14: NP-Completeness (Chapter 34 Old Edition Chapter 36) Discussion here is from the old edition.

Lecture #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 information

Stat 451: Solutions to Assignment #1

Stat 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 information

arxiv: v1 [math.co] 5 May 2016

arxiv: 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 information

ACO Comprehensive Exam March 20 and 21, Computability, Complexity and Algorithms

ACO 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 information

Representations of All Solutions of Boolean Programming Problems

Representations 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 information

Approximation Algorithms for the k-set Packing Problem

Approximation 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 information

MINIMUM DIAMETER COVERING PROBLEMS. May 20, 1997

MINIMUM 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 information

Increasing the Span of Stars

Increasing 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 information

CSC 373: Algorithm Design and Analysis Lecture 15

CSC 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 information

Kernelization by matroids: Odd Cycle Transversal

Kernelization 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 information

The Monte Carlo Method

The 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 information

Endre Boros a Vladimir Gurvich c ; b Max-Planck-Institut für Informatik, Saarbrücken, Germany;

Endre 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

/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 information

Preliminaries. 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. 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 information

Computational Complexity and Intractability: An Introduction to the Theory of NP. Chapter 9

Computational 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 information

The Turán number of sparse spanning graphs

The 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 information

1.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. 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 information

Limitations of Algorithm Power

Limitations 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 information

Parameterised Subgraph Counting Problems

Parameterised 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 information

NP Completeness and Approximation Algorithms

NP 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 information

Tree Decomposition of Graphs

Tree 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 information

NP-complete Problems

NP-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 information

Branching. 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 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 information

The Complexity of Computing the Sign of the Tutte Polynomial

The 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 information

Computational Complexity. IE 496 Lecture 6. Dr. Ted Ralphs

Computational 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 information

Chapter 3: Proving NP-completeness Results

Chapter 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 information

Minimization of Symmetric Submodular Functions under Hereditary Constraints

Minimization 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 information

Discrete Wiskunde II. Lecture 5: Shortest Paths & Spanning Trees

Discrete 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 information

A Collection of Problems in Propositional Logic

A 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 information

Packing of Rigid Spanning Subgraphs and Spanning Trees

Packing 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 information

An approximation algorithm for the minimum latency set cover problem

An 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 information

Multi-criteria approximation schemes for the resource constrained shortest path problem

Multi-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 information

Alternating paths revisited II: restricted b-matchings in bipartite graphs

Alternating 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 information

Efficient Approximation for Restricted Biclique Cover Problems

Efficient 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 information

CS21 Decidability and Tractability

CS21 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 information

Revenue maximization in Stackelberg Pricing Games: Beyond the combinatorial setting

Revenue 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 information

Ma/CS 117c Handout # 5 P vs. NP

Ma/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 information

Perfect matchings in highly cyclically connected regular graphs

Perfect 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 information

Iterative Rounding and Relaxation

Iterative 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 information

5 Flows and cuts in digraphs

5 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 information

CS/COE

CS/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 information

CS 5114: Theory of Algorithms

CS 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 information

Reachability-based matroid-restricted packing of arborescences

Reachability-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 information

Enumeration: logical and algebraic approach

Enumeration: 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 information

Applications of the Lopsided Lovász Local Lemma Regarding Hypergraphs

Applications 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 information

Self-duality of bounded monotone boolean functions and related problems

Self-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 information

Lecture Notes 4. Issued 8 March 2018

Lecture 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 information

NP-problems continued

NP-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 information

CS 583: Algorithms. NP Completeness Ch 34. Intractability

CS 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 information

Almost Cross-Intersecting and Almost Cross-Sperner Pairs offamilies of Sets

Almost 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 information

CS 301: Complexity of Algorithms (Term I 2008) Alex Tiskin Harald Räcke. Hamiltonian Cycle. 8.5 Sequencing Problems. Directed Hamiltonian Cycle

CS 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