Almost 2-SAT is fixed-parameter tractable

Igor Razgon; Barry O'Sullivan

doi:10.1016/j.jcss.2009.04.002

Almost 2-SAT is fixed-parameter tractable

Igor Razgon
, Barry O'Sullivan

University College Cork

Research output: Contribution to journal › Article › peer-review

Abstract

We consider the following problem. Given a 2-cnf formula, is it possible to remove at most k clauses so that the resulting 2-cnf formula is satisfiable? This problem is known to different research communities in theoretical computer science under the names Almost 2-SAT, All-but-k 2-SAT, 2-cnf deletion, and 2-SAT deletion. The status of the fixed-parameter tractability of this problem is a long-standing open question in the area of parameterized complexity. We resolve this open question by proposing an algorithm that solves this problem in O (15^k × k × m³) time showing that this problem is fixed-parameter tractable.

Original language	English
Pages (from-to)	435-450
Number of pages	16
Journal	Journal of Computer and System Sciences
Volume	75
Issue number	8
DOIs	https://doi.org/10.1016/j.jcss.2009.04.002
Publication status	Published - Dec 2009

Keywords

Fixed-parameter algorithms
Satisfiability problems
Separation problems

Access to Document

10.1016/j.jcss.2009.04.002

Cite this

@article{bd57a18913034e2f82c15c56c67635f3,

title = "Almost 2-SAT is fixed-parameter tractable",

abstract = "We consider the following problem. Given a 2-cnf formula, is it possible to remove at most k clauses so that the resulting 2-cnf formula is satisfiable? This problem is known to different research communities in theoretical computer science under the names Almost 2-SAT, All-but-k 2-SAT, 2-cnf deletion, and 2-SAT deletion. The status of the fixed-parameter tractability of this problem is a long-standing open question in the area of parameterized complexity. We resolve this open question by proposing an algorithm that solves this problem in O (15k × k × m3) time showing that this problem is fixed-parameter tractable.",

keywords = "Fixed-parameter algorithms, Satisfiability problems, Separation problems",

author = "Igor Razgon and Barry O'Sullivan",

year = "2009",

month = dec,

doi = "10.1016/j.jcss.2009.04.002",

language = "English",

volume = "75",

pages = "435--450",

journal = "Journal of Computer and System Sciences",

issn = "0022-0000",

publisher = "Academic Press Inc.",

number = "8",

}

TY - JOUR

T1 - Almost 2-SAT is fixed-parameter tractable

AU - Razgon, Igor

AU - O'Sullivan, Barry

PY - 2009/12

Y1 - 2009/12

N2 - We consider the following problem. Given a 2-cnf formula, is it possible to remove at most k clauses so that the resulting 2-cnf formula is satisfiable? This problem is known to different research communities in theoretical computer science under the names Almost 2-SAT, All-but-k 2-SAT, 2-cnf deletion, and 2-SAT deletion. The status of the fixed-parameter tractability of this problem is a long-standing open question in the area of parameterized complexity. We resolve this open question by proposing an algorithm that solves this problem in O (15k × k × m3) time showing that this problem is fixed-parameter tractable.

AB - We consider the following problem. Given a 2-cnf formula, is it possible to remove at most k clauses so that the resulting 2-cnf formula is satisfiable? This problem is known to different research communities in theoretical computer science under the names Almost 2-SAT, All-but-k 2-SAT, 2-cnf deletion, and 2-SAT deletion. The status of the fixed-parameter tractability of this problem is a long-standing open question in the area of parameterized complexity. We resolve this open question by proposing an algorithm that solves this problem in O (15k × k × m3) time showing that this problem is fixed-parameter tractable.

KW - Fixed-parameter algorithms

KW - Satisfiability problems

KW - Separation problems

UR - https://www.scopus.com/pages/publications/70349342642

U2 - 10.1016/j.jcss.2009.04.002

DO - 10.1016/j.jcss.2009.04.002

M3 - Article

AN - SCOPUS:70349342642

SN - 0022-0000

VL - 75

SP - 435

EP - 450

JO - Journal of Computer and System Sciences

JF - Journal of Computer and System Sciences

IS - 8

ER -

Almost 2-SAT is fixed-parameter tractable

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this