Satisfiability of Acyclic and almost Acyclic CNF Formulas (II)

被引：0
|
作者：
Ordyniak, Sebastian [1 ]
Paulusma, Daniel [2 ]
Szeider, Stefan [1 ]
机构：
[1] Vienna Univ Technol, Inst Informat Syst, A-1040 Vienna, Austria
[2] Univ Durham, Sch Engn & Comp Sci, Durham DH1 3LE, England
来源：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011 | 2011年 / 6695卷
基金：
英国工程与自然科学研究理事会;
关键词：
CLIQUE-WIDTH; HYPERGRAPHS; ALGORITHMS; GRAPHS;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In the first part of this work (FSTTCS' 10) we have shown that the satisfiability of CNF formulas with beta-acyclic hypergraphs can be decided in polynomial time. In this paper we continue and extend this work. The decision algorithm for beta-acyclic formulas is based on a special type of Davis-Putnam resolution where each resolvent is a subset of a parent clause. We generalize the class of beta-acyclic formulas to more general CNF formulas for which this type of Davis-Putnam resolution still applies. We then compare the class of beta-acyclic formulas and this superclass with a number of known polynomial formula classes.
引用
收藏
页码：47 / 60
页数：14
相关论文
共 50 条
  • [21] Witnesses for non-satisfiability of dense random 3CNF formulas
    Feige, Uriel
    Kim, Jeong Han
    Ofek, Eran
    47TH ANNUAL IEEE SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS, 2006, : 497 - 506
  • [22] Generalized Acyclic Contractions, Acyclic Contractions, and Reverse Acyclic Contractions
    Basha, S. Sadiq
    Shahzad, N.
    NUMERICAL FUNCTIONAL ANALYSIS AND OPTIMIZATION, 2018, 39 (15) : 1605 - 1621
  • [23] ON THE FUNDAMENTAL GROUP OF AN ALMOST-ACYCLIC 2-COMPLEX
    HOWIE, J
    PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1981, 24 (JUN) : 119 - 122
  • [24] Finding Optimal Strategies of Almost Acyclic Simple Stochastic Games
    Auger, David
    Coucheney, Pierre
    Strozecki, Yann
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (TAMC 2014), 2014, 8402 : 67 - 85
  • [25] The Hard Problems Are Almost Everywhere For Random CNF-XOR Formulas
    Dudek, Jeffrey M.
    Meel, Kuldeep S.
    Vardi, Moshe Y.
    PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 600 - 606
  • [26] Acyclic Partitioning of Large Directed Acyclic Graphs
    Herrmann, Julien
    Kho, Jonathan
    Ucar, Bora
    Kaya, Kamer
    Catalyurek, Umit V.
    2017 17TH IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER, CLOUD AND GRID COMPUTING (CCGRID), 2017, : 371 - 380
  • [27] Acyclic Systems of Representatives and Acyclic Colorings of Digraphs
    Aharoni, Ron
    Berger, Eli
    Kfir, Ori
    JOURNAL OF GRAPH THEORY, 2008, 59 (03) : 177 - 189
  • [28] Counting acyclic orderings in directed acyclic graphs
    Fox, Joseph
    Judd, Aimee
    Journal of Combinatorial Mathematics and Combinatorial Computing, 2020, 115 : 271 - 286
  • [29] CARBON MIGRATION IN ACYCLIC IRON(II) ALKYLIDENES
    ROBERT, S
    BLY, RK
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1986, 191 : 424 - INOR
  • [30] Cohomology of cluster varieties II: Acyclic case
    Lam, Thomas
    Speyer, David E.
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2023, 108 (06): : 2377 - 2414
12345