On Variable-Weighted 2-SAT and Dual Problems
|
|
- Tabitha Fleming
- 5 years ago
- Views:
Transcription
1 SAT 2007, Lissabon, Portugal, May 28-31, 2007 On Variable-Weighted 2-SAT and Dual Problems Stefan Porschen joint work with Ewald Speckenmeyer Institut für Informatik Universität zu Köln Germany
2 Introduction Aim and Focus of this Talk Variable-Weighted Satisfiability Optimization Problems: 1. Exact algorithm for SAT on weighted 2-CNF via identification as special mixed Horn formulas Recall: Unweighted 2-SAT case: Linear time solvable via digraph approach (Aspvall et al., 79) 2. Providing poly-time algorithms for SAT, XSAT, NAESAT on weighted monotone CNF + ( 2) (each variable occurs at most twice) Method: Reduction to appropriate graph problems
3 Introduction Recall: Relevant Variants of SAT XSAT: Input: CNF formula C Question/Searched: Truth assignment setting exactly one literal in each clause of C to true, or output: not existing NAESAT: Input: CNF formula C Question/Searched: Truth assignment setting in each clause one literal to false and one literal to true, or output: not existing Schäfer (1978): XSAT, NAESAT NP-complete for the unrestricted CNF case
4 Introduction Precise Problem Definition: Optimum weight SAT Input: C CNF, w : V (C) R Output: model t of smallest/largest weight among all models of C, or nil if C is not satisfiable Weight of model t is defined as w(t) = x t 1 (1) w(x) = x V (C) w(x)t(x) i.e.: Sum of the weights of all variables set to 1 by t MINW-SAT: minimization, MAXW-SAT: maximization case Similarly, define MINW/MAXW-XSAT and MINW/MAXW- NAESAT on basis of XSAT models, resp., NAESAT models.
5 Introduction Optimum weight model spaces For Π {SAT, XSAT, NAESAT}, (C, w) let T Π (C,w): set of all models of (C, w) T Π min (C,w) TΠ (C, w): all minimum weight models of (C,w) Tmax Π (C, w): analogously
6 Reduction Tools for Variable-Weighted Formulas Reducing Maximization Case to Minimization Case Lemma (MAX-MIN-Lemma) Let Π denote a fixed problem of {SAT, XSAT, NAESAT}. Let A be an algorithm for solving MINW-Π on R-variableweighted instances C CNF in O(f( C )) time then A can easily be modified to A solving MAXW-Π for R-weighted members of CNF in O(f( C )) time. Sketch of Proof: One can show: Thus: Perform A on (C, w). T Π min (C,w) = TΠ max(c, w)
7 Reduction Tools for Variable-Weighted Formulas Bijection-Lemma Proposition: For R-variable-weighted formulas (C,w),(C, w ) assume that there is a model space bijection s.t. F : T Π (C) t t := F(t) T Π (C ) w(t) = w (t ) + α with constant α R independent of t and t. Then: Restriction F µ := F T Π µ (C, w) is a bijection between T Π µ (C,w) and TΠ µ (C, w ), We have T Π µ (C, w) = TΠ µ (C, w ), for µ {min,max}.
8 Optimum Weight 2-SAT Variable weighted 2-SAT: NP-hard minimum weight SAT for variable weighted 2-CNF formulas is NP-hard: Because: Reduction from minimum weight vertex cover special class: monotone formulas; each clause forms an edge of a vertex weighted graph (variables = vertices) For example: Let formula P = (a b) (b c) (a c), Then G P : c a b Obvious: each (minimum weight) vertex cover is a (minimum weight) model
9 Optimum Weight 2-SAT Weighted Horn Formulas Horn formula: at most one positive literal in each clause: Well known: SAT for Horn formulas can be solved in linear time. In contrast to 2-CNF case: Lemma: Minimum weight satisfiability for a Horn formula H and positive weight function w : V (H) R +, can be solved in linear time. Observe: Maximization case cannot be reduced to above minimization case as only non-negative weights are allowed.
10 Optimum Weight 2-SAT Special Case of Mixed Horn Formulas Mixed Horn Formula (MHF): Union of a Horn Formula and a 2-CNF formula: M = C H; class: MHF Observe: Minimization problem for variable-weighted MHF NP-hard Known: Can be solved in time O( n ): n variables of non-negative weights [P., S., 2004] Thus Minimization case for 2-SAT can also be solved in time O( n ) time, for R + -weights. Reason: 2-CNF MHF. Wanted: Exact bound for 2-SAT minimization case on arbitrarily R-weighted variables
11 Optimum Weight 2-SAT Helpful Tool: Selected Complementation For formula C, variable set X V (C) let C X be formula obtained from C by complementing variables in X: For example: yields C = {{x, ȳ, z}, { x, y, z}, {x, y, z}, X := {x, z}} C X = {{ x, ȳ, z}, {x, y, z}, { x, y, z}} Lemma For fixed problem in {SAT,XSAT,NAESAT}, let (C, w) with C CNF, w : V (C) R and X V (C) be arbitrary. Then (C X, w X ) with w X defined as w(x) on V (C) \ X, and w X (x) := w(x) for each x X, satisfies: (i) T Π (C) = T Π (C X ), given by t t X, (ii) T Π min (C,w) = TΠ min (CX, w X ). Sketch of Proof: Use the Bijection-Lemma...
12 Optimum Weight 2-SAT Result Use above Lemma to turn variables of negative weights into positive Then perform MHF-algorithm on resulting instance of nonnegative variable weights only. Possible as 2-CNF is invariant w.r.t. complementation. Thus we obtain: Theorem Minimum (resp. maximum) weight 2-SAT can be solved in time O( n ), for n R-weighted variables. Sketch of Proof: The maximization case follows due to the MAX-MIN-Lemma, because there are no restrictions on variable weights.
13 Optimum Weight 2-SAT Variants: XSAT, NAESAT for weighted 2-CNF Observe: XSAT and NAESAT are essentially the same on 2-CNF (except for unit clauses) Known: Minimization and maximization versions of XSAT, NAESAT can be solved in linear time on 2-CNF with variable weights in R [P., 2005].
14 Algorithmic Strategy Let Π {SAT, XSAT, NAESAT} Aim: Solution of MINW-Π, resp., MAXW-Π on R-variable-weighted monotone formulas (C, w), where each variable occurs at most twice (CNF + ( 2)) Algorithmic strategy: (1) Treat minimization case via reduction to appropriate edge-weighted graph problem (2) Deduce maximization case via MAX-MIN-Lemma
15 Intersection Graph for Monotone Formulas Intersection graph of monotone formula C CNF + : vertices: clauses in C edges: c c iff c and c have a variable in common (non-empty intersection) Observe: Unique variables in C are not represented via graph edges
16 Slide modification: Clause Graph Formula C = {c 1, c 2, c 3 } CNF + ( 2), with c 1 = {t, u,x, y, z}, c 2 = {r,u, v,w, x}, c 3 = {r,v, y} t, z, w are unique, all variable weights have value 1 (omitted in the figure) y c x,u c 1 2 v,r c 3 t,z w c 1 x,u c 2 v,r c 3 y Clause graph corresponding to C.
17 Clause Graph Properties Clause graph has at most 2 C vertices and V (C) edges As each variable occurs in at most two clauses: C x V (C) C(x): all clauses containing x. C(x) 2 V (C)
18 XSAT on monotone weighted Note: minimum weight perfect matching in the clause graph is equivalent to minimum weight XSAT-model of (C,w): set exactly the variables to true labeling matching edges: Lemma: A minimum, resp. maximum, XSAT-model of (C, w) with C CNF + ( 2), w : V (C) R, can be computed, respectively, it can be reported that none exists in time O( V (C) 3 ).
19 We even have : Theorem: Above result also valid for non-monotone class CNF( 2): A minimum, respectively, maximum weight XSAT-model of (C,w), with C CNF( 2), w : V (C) R, can be computed, respectively, it can be reported that none exists in O( V (C) 3 ) time. Proof-Sketch: Perform appropriate weighted-xsatequivalent transformations for monotonizing weighted input formula.
20 1. Eliminating pure literals Given pure literal x we are done by Selected Complementation Lemma setting X = {x}, more precisely: Corollary: For (C,w), with C CNF, w : V (C) R, let x V (C) be a variable only occuring negated in C. Then: for (C x, w x ), where w x : V (C) R is defined as w except for w x (x) := w(x), we have Tmin XSAT (C, w) = Tmin XSAT (C x, w x ). Notice: valid also for SAT, NAESAT
21 2. Treating complemented pairs x, x If there is a clause containing more than one complemented pairs: no XSAT model possible: T XSAT = Lemma: Let c C contain exactly one complemented pair x, x. Let C c be formula obtained from C by removing c and assigning all literals to 0 that occur in c := c {x, x} (which can be empty), and by finally removing all duplicate clauses. Let w c be the restriction of w to V (C c ) = V (C) V (c ). Then: There is a bijection providing T XSAT min (C, w) = T XSAT min (C c, w c ), Notice: Can also be adapted to SAT, NAESAT
22 Transformations for Simplification 3. Weighted Simple Resolution Lemma Let C CNF be cp-free formula and w : V (C) R. Assume c i = {x} u, c j = {x} v C Let C ij be obtained from C as follows: (1) c C(x) : c c {x} v, c C(x) : c c {x} u, (2) set all literals in u v to 0, (3) remove all duplicate clauses from the current clause set. Let w ij := V (C ij ) R be defined as follows: for each y V (C ij ) V (u v), set w ij (y) := w(y), and (1 ) if V + (u v) V (u v) = {z}, then y V (u v) {z} set w ij (y) := w(y) and { w(z) + w(x), if z u, z v w ij (z) := w(z) w(x), else (2 ) if V + (u v) V (u v) =, then set y V (v u) : w ij (y) := w(y) and y V + (u v) : w ij (y) := w(y) w(x) and y V (u v) : w ij (y) := w(y) + w(x). Then: V (C ij ) = V (C) {x} V (u v), C ij C 1 and: Tmin XSAT (C, w) = Tmin XSAT (C ij, w ij ).
23 Next Case: Weighted SAT First recall: edge cover in a graph G = (V, E) of no isolated vertices is a subset F E s.t.: each vertex x V is incident to at least one edge in F. (Edges in edge cover need not to be independent (matching))
24 Example: Edge Cover Bold edges form edge cover (here in addition perfect matching).
25 SAT to Edge Cover Observation 1: Input instance (C, w) can be transformed s.t. resulting formula (C, w ) has strictly positive weights. Observation 2: A minimum weight edge cover F in the clause graph of C yields minimum weight SAT-model of (C, w ) via setting exactly all variables to true labeling edges in F. How to compute minimum weight edge cover? First: consider the minimum cardinality case
26 Minimum Cardinality Edge Cover Well known: Cardinality of minimum edge cover F in G closely related to its matching number ν(g) (= cardinality of a maximum matching): F = V ν(g) Reason: All 2ν(G) vertices in a maximum matching M are covered. Remaining vertices are independent of each other and only have neighbours in the set covered by M. So: for each such vertex add exactly one edge to M.
27 Cardinality Case: Illustration G. Maximum Matching.... M Vertices not in M mutually independent: Select one edge of each and add to M. Obvious: The same works if all weight values are equal.
28 Arbitrarily Weighted Case Here: No immediate connection maximum weight matchings minimum weight edge cover. Reason: Objects should be optimized in opposite direction Way out: Appropriate transformation of weight function w : E R + {0} to new weight function ŵ : E R defined for each edge x y as ( ) ŵ(x y) := w(x y) + +min{w(x z) : z N(x)} + +min{w(y z) : z N(y)} N(v) V : set of all neighbours of vertex v in G Observe: If w = const then ŵ = w
29 Advantage Now: Edges of weight smaller than all incident egdes get positive new weight larger edge weights get negative Maximum weight matching: Only edges of positive weight can be joined Thus: Perform a general maximum weight matching algorithm, for arbitrarily edge-weighted graphs, on (G, ŵ) Let M E be its result. Select in (G, w) an edge of least weight for each vertex in V V (M).
30 Example (G, w ) ^ (G, w ) a 8 r a 4 r z 1 x 4 2 u 3 1 y 3 v 3 x 4 z 2 0 max. weight match. u 0 4 y 0 v 0 Transform edge weights, compute max. weight matching, then come back and select edge of least weight for each uncovered vertex.
31 Result Computation of maximum weight matching in arbitrarily edge weighted graph G = (V, E) possible in time O( V 2 E ) Hence Minimum weight edge cover in (G, w) can be computed in time O( V 2 E ). Recall: Clause graph has O( C ) vertices, O( V (C) ) edges, and C 2 V (C). Thus: Theorem A minimum, resp. maximum weight SAT model of (C, w), C CNF + ( 2), w : V (C) R, can be computed in time O( V (C) 3 ). Clear: Such a model always exists (monotone instance).
32 Last Case: NAESAT Unweighted NAESAT: Solved for unrestricted class CNF( 2) in linear time based on Euler tour techniques (P., Speckenmeyer, Randerath, 2003) Unfortunately: Approach does not seem to work in the weighted case.
33 Recall Graph Factor G = (V, E) connected graph, vertex x in G. For edge set M E: M(x) denotes set of all edges in M incident to x V. Consider integer functions f, g : V Z with f g Recall: f-factor in G is set M E s.t. for each x V holds M(x) = f(x) (does not exist, in general) E.g.: f = 1: 1-factor is perfect matching. 2-factor is a cycle.
34 Example 2-Factor x 1 2 x x 3 x 4 5 x Bold edges form a 2-Factor.
35 Recall General Graph Factor More general: [f, g]-factor in G is edge subset M E s.t. M(x) [f(x), g(x)] for each x V. For an edge-weighted graph (G, w) with w : E R an optimum weight [f, g]-factor, is an [f, g]-factor M of optimal weight w(m).
36 NAESAT Reduction to a MINW Factor Problem Note: Minimum weight NAESAT-model of (C, w ) provided by setting to 1 exactly the variables labeling the edges in a minimum weight [1,deg 1]-factor in G C, if existing. Here denotes the degree function. deg : V (G C ) Z
37 Example: [1, deg 1]-factor x 3 x 1 x 4 x 2 x 5 x 6 Bold edges form [1, deg-1]-factor.
38 Result With standard linear programming techniques: Theorem A minimum, resp. maximum, NAESAT-model of (C, w) with C CNF + ( 2), w : V (C) R, can be computed, respectively, it can be reported that none exists in polynomial time.
39 Concluding Remarks and Open Problems Showed: Minimum/maximum weight SAT for 2-CNF formulas of n R-weighted variables can be solved in time O( n ). Open problem: Construct a faster exact algorithm for optimum weight 2-SAT.
40 Concluding Remarks and Open Problems Provided: Poly-time algorithms for SAT, XSAT, NAESAT on weighted monotone class CNF + ( 2) via reduction to graph problems. (For XSAT we modified existing monotonization scheme tackling also the general, i.e., non-monotone case CNF( 2).) Open problem: Construct monotonization schemes for also solving SAT and NAESAT on weighted CNF( 2). Missing link: Pendant to the weighted simple resolution rule for SAT, NAESAT (Note: In the unweighted cases simple resolution works, [P.,S.,R., 2003]).
CS21 Decidability and Tractability
CS21 Decidability and Tractability Lecture 20 February 23, 2018 February 23, 2018 CS21 Lecture 20 1 Outline the complexity class NP NP-complete probelems: Subset Sum NP-complete problems: NAE-3-SAT, max
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 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 informationNP-COMPLETE PROBLEMS. 1. Characterizing NP. Proof
T-79.5103 / Autumn 2006 NP-complete problems 1 NP-COMPLETE PROBLEMS Characterizing NP Variants of satisfiability Graph-theoretic problems Coloring problems Sets and numbers Pseudopolynomial algorithms
More informationOut-colourings of Digraphs
Out-colourings of Digraphs N. Alon J. Bang-Jensen S. Bessy July 13, 2017 Abstract We study vertex colourings of digraphs so that no out-neighbourhood is monochromatic and call such a colouring an out-colouring.
More informationSome Complexity Problems on Single Input Double Output Controllers
Some Complexity Problems on Single Input Double Output Controllers K. M. Hangos 1 Zs. Tuza 1,2, A. Yeo 3 1 Computer and Automation Institute, Hungarian Academy of Sciences, H-1111 Budapest, Kende u. 13
More informationNP Completeness and Approximation Algorithms
Chapter 10 NP Completeness and Approximation Algorithms Let C() be a class of problems defined by some property. We are interested in characterizing the hardest problems in the class, so that if we can
More informationTHE COMPLEXITY OF DISSOCIATION SET PROBLEMS IN GRAPHS. 1. Introduction
THE COMPLEXITY OF DISSOCIATION SET PROBLEMS IN GRAPHS YURY ORLOVICH, ALEXANDRE DOLGUI, GERD FINKE, VALERY GORDON, FRANK WERNER Abstract. A subset of vertices in a graph is called a dissociation set if
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 informationToday: NP-Completeness (con t.)
Today: NP-Completeness (con t.) COSC 581, Algorithms April 22, 2014 Many of these slides are adapted from several online sources Reading Assignments Today s class: Chapter 34.5 (con t.) Recall: Proving
More informationSAT, Coloring, Hamiltonian Cycle, TSP
1 SAT, Coloring, Hamiltonian Cycle, TSP Slides by Carl Kingsford Apr. 28, 2014 Sects. 8.2, 8.7, 8.5 2 Boolean Formulas Boolean Formulas: Variables: x 1, x 2, x 3 (can be either true or false) Terms: t
More informationSolutions to Sample Problems for Midterm
Solutions to Sample Problems for Midterm Problem 1. The dual of a proposition is defined for which contains only,,. It is For a compound proposition that only uses,, as operators, we obtained the dual
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 informationAlgorithms: COMP3121/3821/9101/9801
NEW SOUTH WALES Algorithms: COMP3121/3821/9101/9801 Aleks Ignjatović School of Computer Science and Engineering University of New South Wales LECTURE 9: INTRACTABILITY COMP3121/3821/9101/9801 1 / 29 Feasibility
More informationNP and Computational Intractability
NP and Computational Intractability 1 Polynomial-Time Reduction Desiderata'. Suppose we could solve X in polynomial-time. What else could we solve in polynomial time? don't confuse with reduces from Reduction.
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 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 informationMaximum 3-SAT as QUBO
Maximum 3-SAT as QUBO Michael J. Dinneen 1 Semester 2, 2016 1/15 1 Slides mostly based on Alex Fowler s and Rong (Richard) Wang s notes. Boolean Formula 2/15 A Boolean variable is a variable that can take
More informationP P P NP-Hard: L is NP-hard if for all L NP, L L. Thus, if we could solve L in polynomial. Cook's Theorem and Reductions
Summary of the previous lecture Recall that we mentioned the following topics: P: is the set of decision problems (or languages) that are solvable in polynomial time. NP: is the set of decision problems
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 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 informationComplexity of locally injective homomorphism to the Theta graphs
Complexity of locally injective homomorphism to the Theta graphs Bernard Lidický and Marek Tesař Department of Applied Mathematics, Charles University, Malostranské nám. 25, 118 00 Prague, Czech Republic
More informationTheory of Computer Science. Theory of Computer Science. E5.1 Routing Problems. E5.2 Packing Problems. E5.3 Conclusion.
Theory of Computer Science May 31, 2017 E5. Some NP-Complete Problems, Part II Theory of Computer Science E5. Some NP-Complete Problems, Part II E5.1 Routing Problems Malte Helmert University of Basel
More informationNP-Complete problems
NP-Complete problems NP-complete problems (NPC): A subset of NP. If any NP-complete problem can be solved in polynomial time, then every problem in NP has a polynomial time solution. NP-complete languages
More informationLecture 19: NP-Completeness 1
Lecture 19: NP-Completeness 1 Revised Sun May 25, 2003 Outline of this Lecture Polynomial-time reductions. CLRS pp.984-5 The class N PC. CLRS p. 986 Proving that problems are N PC. SAT, CLIQUE, INDEPENDENT
More informationP is the class of problems for which there are algorithms that solve the problem in time O(n k ) for some constant k.
Complexity Theory Problems are divided into complexity classes. Informally: So far in this course, almost all algorithms had polynomial running time, i.e., on inputs of size n, worst-case running time
More informationChapter 34: NP-Completeness
Graph Algorithms - Spring 2011 Set 17. Lecturer: Huilan Chang Reference: Cormen, Leiserson, Rivest, and Stein, Introduction to Algorithms, 2nd Edition, The MIT Press. Chapter 34: NP-Completeness 2. Polynomial-time
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 informationMATHEMATICAL ENGINEERING TECHNICAL REPORTS. Deductive Inference for the Interiors and Exteriors of Horn Theories
MATHEMATICAL ENGINEERING TECHNICAL REPORTS Deductive Inference for the Interiors and Exteriors of Horn Theories Kazuhisa MAKINO and Hirotaka ONO METR 2007 06 February 2007 DEPARTMENT OF MATHEMATICAL INFORMATICS
More informationCS Fall 2011 P and NP Carola Wenk
CS3343 -- Fall 2011 P and NP Carola Wenk Slides courtesy of Piotr Indyk with small changes by Carola Wenk 11/29/11 CS 3343 Analysis of Algorithms 1 We have seen so far Algorithms for various problems Running
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 informationNP-Completeness. Andreas Klappenecker. [based on slides by Prof. Welch]
NP-Completeness Andreas Klappenecker [based on slides by Prof. Welch] 1 Prelude: Informal Discussion (Incidentally, we will never get very formal in this course) 2 Polynomial Time Algorithms Most of the
More informationA New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications
A New Lower Bound on the Maximum Number of Satisfied Clauses in Max-SAT and its Algorithmic Applications Robert Crowston, Gregory Gutin, Mark Jones, Anders Yeo Department of Computer Science Royal Holloway,
More informationNP-Complete Reductions 2
x 1 x 1 x 2 x 2 x 3 x 3 x 4 x 4 12 22 32 CS 447 11 13 21 23 31 33 Algorithms NP-Complete Reductions 2 Prof. Gregory Provan Department of Computer Science University College Cork 1 Lecture Outline NP-Complete
More informationThe minimum G c cut problem
The minimum G c cut problem Abstract In this paper we define and study the G c -cut problem. Given a complete undirected graph G = (V ; E) with V = n, edge weighted by w(v i, v j ) 0 and an undirected
More informationLecture 9: The Splitting Method for SAT
Lecture 9: The Splitting Method for SAT 1 Importance of SAT Cook-Levin Theorem: SAT is NP-complete. The reason why SAT is an important problem can be summarized as below: 1. A natural NP-Complete problem.
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 informationCritical Reading of Optimization Methods for Logical Inference [1]
Critical Reading of Optimization Methods for Logical Inference [1] Undergraduate Research Internship Department of Management Sciences Fall 2007 Supervisor: Dr. Miguel Anjos UNIVERSITY OF WATERLOO Rajesh
More informationConjunctive Normal Form and SAT
Notes on Satisfiability-Based Problem Solving Conjunctive Normal Form and SAT David Mitchell mitchell@cs.sfu.ca October 4, 2015 These notes are a preliminary draft. Please use freely, but do not re-distribute
More informationDetecting Backdoor Sets with Respect to Horn and Binary Clauses
Detecting Backdoor Sets with Respect to Horn and Binary Clauses Naomi Nishimura 1,, Prabhakar Ragde 1,, and Stefan Szeider 2, 1 School of Computer Science, University of Waterloo, Waterloo, Ontario, N2L
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 informationExtremal Graphs Having No Stable Cutsets
Extremal Graphs Having No Stable Cutsets Van Bang Le Institut für Informatik Universität Rostock Rostock, Germany le@informatik.uni-rostock.de Florian Pfender Department of Mathematics and Statistics University
More informationTriangle-free graphs with no six-vertex induced path
Triangle-free graphs with no six-vertex induced path Maria Chudnovsky 1, Paul Seymour 2, Sophie Spirkl Princeton University, Princeton, NJ 08544 Mingxian Zhong Columbia University, New York, NY 10027 June
More informationCMSC 858F: Algorithmic Lower Bounds Fall SAT and NP-Hardness
CMSC 858F: Algorithmic Lower Bounds Fall 2014 3-SAT and NP-Hardness Instructor: Mohammad T. Hajiaghayi Scribe: Philip Dasler September 23, 2014 The most important NP-Complete (logic) problem family! 1
More informationUC Berkeley CS 170: Efficient Algorithms and Intractable Problems Handout 22 Lecturer: David Wagner April 24, Notes 22 for CS 170
UC Berkeley CS 170: Efficient Algorithms and Intractable Problems Handout 22 Lecturer: David Wagner April 24, 2003 Notes 22 for CS 170 1 NP-completeness of Circuit-SAT We will prove that the circuit satisfiability
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 informationIntro to Theory of Computation
Intro to Theory of Computation LECTURE 25 Last time Class NP Today Polynomial-time reductions Adam Smith; Sofya Raskhodnikova 4/18/2016 L25.1 The classes P and NP P is the class of languages decidable
More informationLecture 6,7 (Sept 27 and 29, 2011 ): Bin Packing, MAX-SAT
,7 CMPUT 675: Approximation Algorithms Fall 2011 Lecture 6,7 (Sept 27 and 29, 2011 ): Bin Pacing, MAX-SAT Lecturer: Mohammad R. Salavatipour Scribe: Weitian Tong 6.1 Bin Pacing Problem Recall the bin pacing
More informationGeneralizations of Matched CNF Formulas
Generalizations of Matched CNF Formulas Stefan Szeider (szeider@cs.toronto.edu) Department of Computer Science, University of Toronto, M5S 3G4 Toronto, Ontario, Canada Abstract. A CNF formula is called
More informationarxiv: v1 [cs.dm] 29 Oct 2012
arxiv:1210.7684v1 [cs.dm] 29 Oct 2012 Square-Root Finding Problem In Graphs, A Complete Dichotomy Theorem. Babak Farzad 1 and Majid Karimi 2 Department of Mathematics Brock University, St. Catharines,
More informationMinimization of Matched Formulas
WDS'11 Proceedings of Contributed Papers, Part I, 101 105, 2011. ISBN 978-80-7378-184-2 MATFYZPRESS Minimization of Matched Formulas Š. Gurský Charles University, Faculty of Mathematics and Physics, Prague,
More informationLecture 4: NP and computational intractability
Chapter 4 Lecture 4: NP and computational intractability Listen to: Find the longest path, Daniel Barret What do we do today: polynomial time reduction NP, co-np and NP complete problems some examples
More informationNP-Complete Problems. More reductions
NP-Complete Problems More reductions Definitions P: problems that can be solved in polynomial time (typically in n, size of input) on a deterministic Turing machine Any normal computer simulates a DTM
More information4/12/2011. Chapter 8. NP and Computational Intractability. Directed Hamiltonian Cycle. Traveling Salesman Problem. Directed Hamiltonian Cycle
Directed Hamiltonian Cycle Chapter 8 NP and Computational Intractability Claim. G has a Hamiltonian cycle iff G' does. Pf. Suppose G has a directed Hamiltonian cycle Γ. Then G' has an undirected Hamiltonian
More informationOn the Complexity of Enumerating Pseudo-intents
On the Complexity of Enumerating Pseudo-intents Felix Distel a, Barış Sertkaya,b a Theoretical Computer Science, TU Dresden Nöthnitzer Str. 46 01187 Dresden, Germany b SAP Research Center Dresden Chemtnitzer
More informationCOP 4531 Complexity & Analysis of Data Structures & Algorithms
COP 4531 Complexity & Analysis of Data Structures & Algorithms Lecture 18 Reductions and NP-completeness Thanks to Kevin Wayne and the text authors who contributed to these slides Classify Problems According
More informationCutting Plane Methods II
6.859/5.083 Integer Programming and Combinatorial Optimization Fall 2009 Cutting Plane Methods II Gomory-Chvátal cuts Reminder P = {x R n : Ax b} with A Z m n, b Z m. For λ [0, ) m such that λ A Z n, (λ
More informationGRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017)
GRAPH ALGORITHMS Week 7 (13 Nov - 18 Nov 2017) C. Croitoru croitoru@info.uaic.ro FII November 12, 2017 1 / 33 OUTLINE Matchings Analytical Formulation of the Maximum Matching Problem Perfect Matchings
More informationOutline. Complexity Theory. Introduction. What is abduction? Motivation. Reference VU , SS Logic-Based Abduction
Complexity Theory Complexity Theory Outline Complexity Theory VU 181.142, SS 2018 7. Logic-Based Abduction Reinhard Pichler Institut für Informationssysteme Arbeitsbereich DBAI Technische Universität Wien
More informationSolving SAT for CNF formulas with a one-sided restriction on variable occurrences
Solving SAT for CNF formulas with a one-sided restriction on variable occurrences Daniel Johannsen 1, Igor Razgon 2, and Magnus Wahlström 1 1 Max-Planck-Institut für Informatik, Saarbrücken, Germany 2
More informationGraphical Model Inference with Perfect Graphs
Graphical Model Inference with Perfect Graphs Tony Jebara Columbia University July 25, 2013 joint work with Adrian Weller Graphical models and Markov random fields We depict a graphical model G as a bipartite
More informationInduced Subgraph Isomorphism on proper interval and bipartite permutation graphs
Induced Subgraph Isomorphism on proper interval and bipartite permutation graphs Pinar Heggernes Pim van t Hof Daniel Meister Yngve Villanger Abstract Given two graphs G and H as input, the Induced Subgraph
More informationMore Completeness, conp, FNP,etc. CS254 Chris Pollett Oct 30, 2006.
More Completeness, conp, FNP,etc. CS254 Chris Pollett Oct 30, 2006. Outline A last complete problem for NP conp, conp NP Function problems MAX-CUT A cut in a graph G=(V,E) is a set of nodes S used to partition
More informationPCP Theorem and Hardness of Approximation
PCP Theorem and Hardness of Approximation An Introduction Lee Carraher and Ryan McGovern Department of Computer Science University of Cincinnati October 27, 2003 Introduction Assuming NP P, there are many
More informationNP-Completeness Part II
NP-Completeness Part II Recap from Last Time NP-Hardness A language L is called NP-hard iff for every L' NP, we have L' P L. A language in L is called NP-complete iff L is NP-hard and L NP. The class NPC
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 informationGRAPHS WITH MAXIMAL INDUCED MATCHINGS OF THE SAME SIZE. 1. Introduction
GRAPHS WITH MAXIMAL INDUCED MATCHINGS OF THE SAME SIZE PHILIPPE BAPTISTE, MIKHAIL Y. KOVALYOV, YURY L. ORLOVICH, FRANK WERNER, IGOR E. ZVEROVICH Abstract. A graph is well-indumatched if all its maximal
More informationStrongly chordal and chordal bipartite graphs are sandwich monotone
Strongly chordal and chordal bipartite graphs are sandwich monotone Pinar Heggernes Federico Mancini Charis Papadopoulos R. Sritharan Abstract A graph class is sandwich monotone if, for every pair of its
More informationLecture 21 (Oct. 24): Max Cut SDP Gap and Max 2-SAT
CMPUT 67: Approximation Algorithms Fall 014 Lecture 1 Oct. 4): Max Cut SDP Gap and Max -SAT Lecturer: Zachary Friggstad Scribe: Chris Martin 1.1 Near-Tight Analysis of the Max Cut SDP Recall the Max Cut
More informationUndecidable Problems. Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, / 65
Undecidable Problems Z. Sawa (TU Ostrava) Introd. to Theoretical Computer Science May 12, 2018 1/ 65 Algorithmically Solvable Problems Let us assume we have a problem P. If there is an algorithm solving
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 informationAlgorithm Design and Analysis
Algorithm Design and Analysis LECTURE 26 Computational Intractability Polynomial Time Reductions Sofya Raskhodnikova S. Raskhodnikova; based on slides by A. Smith and K. Wayne L26.1 What algorithms are
More informationOn the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas
On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean Formulas Ondřej Čepek and Štefan Gurský Abstract It is a wellknown fact that the satisfiability problem (SAT) for
More informationmax bisection max cut becomes max bisection if we require that It has many applications, especially in VLSI layout.
max bisection max cut becomes max bisection if we require that S = V S. It has many applications, especially in VLSI layout. c 2011 Prof. Yuh-Dauh Lyuu, National Taiwan University Page 330 max bisection
More informationPolynomial-Time Reductions
Reductions 1 Polynomial-Time Reductions Classify Problems According to Computational Requirements Q. Which problems will we be able to solve in practice? A working definition. [von Neumann 1953, Godel
More information8. INTRACTABILITY I. Lecture slides by Kevin Wayne Copyright 2005 Pearson-Addison Wesley. Last updated on 2/6/18 2:16 AM
8. INTRACTABILITY I poly-time reductions packing and covering problems constraint satisfaction problems sequencing problems partitioning problems graph coloring numerical problems Lecture slides by Kevin
More informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationNP and NP-Completeness
CSC 364S Notes University of Toronto, Spring, 2003 NP NP and NP-Completeness NP is a class of languages that contains all of P, but which most people think also contains many languages that aren t in P.
More informationAlgorithms Design & Analysis. Approximation Algorithm
Algorithms Design & Analysis Approximation Algorithm Recap External memory model Merge sort Distribution sort 2 Today s Topics Hard problem Approximation algorithms Metric traveling salesman problem A
More informationOn vertex coloring without monochromatic triangles
On vertex coloring without monochromatic triangles arxiv:1710.07132v1 [cs.ds] 19 Oct 2017 Micha l Karpiński, Krzysztof Piecuch Institute of Computer Science University of Wroc law Joliot-Curie 15, 50-383
More informationNP-Completeness. Subhash Suri. May 15, 2018
NP-Completeness Subhash Suri May 15, 2018 1 Computational Intractability The classical reference for this topic is the book Computers and Intractability: A guide to the theory of NP-Completeness by Michael
More informationBernhard Nebel, Julien Hué, and Stefan Wölfl. June 27 & July 2/4, 2012
Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 27 & July 2/4, 2012 vs. complexity For some restricted constraint languages we know some polynomial time algorithms
More informationAalborg Universitet. All P3-equipackable graphs Randerath, Bert; Vestergaard, Preben Dahl. Publication date: 2008
Aalborg Universitet All P-equipackable graphs Randerath, Bert; Vestergaard, Preben Dahl Publication date: 2008 Document Version Publisher's PD, also known as Version of record Link to publication from
More informationWeek 3: Reductions and Completeness
Computational Complexity Theory Summer HSSP 2018 Week 3: Reductions and Completeness Dylan Hendrickson MIT Educational Studies Program 3.1 Reductions Suppose I know how to solve some problem quickly. How
More informationCMSC 858F: Algorithmic Lower Bounds Fall SAT and NP-Hardness
CMSC 858F: Algorithmic Lower Bounds Fall 2014 3-SAT and NP-Hardness Instructor: Mohammad T. Hajiaghayi September 23, 2014 The most important NP-Complete (logic) problem family! 1 SAT = Satisfiability The
More informationThe Complexity of Computing Minimal Unidirectional Covering Sets
The Complexity of Computing Minimal Unidirectional Covering Sets Dorothea Baumeister a, Felix Brandt b, Felix Fischer c, Jan Hoffmann d, Jörg Rothe a a Institut für Informatik, Heinrich-Heine-Universität
More informationUnmixed Graphs that are Domains
Unmixed Graphs that are Domains Bruno Benedetti Institut für Mathematik, MA 6-2 TU Berlin, Germany benedetti@math.tu-berlin.de Matteo Varbaro Dipartimento di Matematica Univ. degli Studi di Genova, Italy
More informationRao s degree sequence conjecture
Rao s degree sequence conjecture Maria Chudnovsky 1 Columbia University, New York, NY 10027 Paul Seymour 2 Princeton University, Princeton, NJ 08544 July 31, 2009; revised December 10, 2013 1 Supported
More informationConjunctive Normal Form and SAT
Notes on Satisfiability-Based Problem Solving Conjunctive Normal Form and SAT David Mitchell mitchell@cs.sfu.ca September 19, 2013 This is a preliminary draft of these notes. Please do not distribute without
More informationLTCS Report. Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity Measures. LTCS-Report 16-07
Technische Universität Dresden Institute for Theoretical Computer Science Chair for Automata Theory LTCS Report Decidability and Complexity of Threshold Description Logics Induced by Concept Similarity
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 informationNP-Completeness Review
CS124 NP-Completeness Review Where We Are Headed Up to this point, we have generally assumed that if we were given a problem, we could find a way to solve it. Unfortunately, as most of you know, there
More informationNP-Hardness reductions
NP-Hardness reductions Definition: P is the class of problems that can be solved in polynomial time, that is n c for a constant c Roughly, if a problem is in P then it's easy, and if it's not in P then
More informationLecture 15 - NP Completeness 1
CME 305: Discrete Mathematics and Algorithms Instructor: Professor Aaron Sidford (sidford@stanford.edu) February 29, 2018 Lecture 15 - NP Completeness 1 In the last lecture we discussed how to provide
More informationAlgorithms and Theory of Computation. Lecture 22: NP-Completeness (2)
Algorithms and Theory of Computation Lecture 22: NP-Completeness (2) Xiaohui Bei MAS 714 November 8, 2018 Nanyang Technological University MAS 714 November 8, 2018 1 / 20 Set Cover Set Cover Input: a set
More informationCSCI3390-Lecture 17: A sampler of NP-complete problems
CSCI3390-Lecture 17: A sampler of NP-complete problems 1 List of Problems We now know that if L is any problem in NP, that L P SAT, and thus SAT is NP-hard. Since SAT is also in NP we find that SAT is
More information20.1 2SAT. CS125 Lecture 20 Fall 2016
CS125 Lecture 20 Fall 2016 20.1 2SAT We show yet another possible way to solve the 2SAT problem. Recall that the input to 2SAT is a logical expression that is the conunction (AND) of a set of clauses,
More informationExercises 1 - Solutions
Exercises 1 - Solutions SAV 2013 1 PL validity For each of the following propositional logic formulae determine whether it is valid or not. If it is valid prove it, otherwise give a counterexample. Note
More informationEXACT DOUBLE DOMINATION IN GRAPHS
Discussiones Mathematicae Graph Theory 25 (2005 ) 291 302 EXACT DOUBLE DOMINATION IN GRAPHS Mustapha Chellali Department of Mathematics, University of Blida B.P. 270, Blida, Algeria e-mail: mchellali@hotmail.com
More information