Algorithms for variable-weighted 2-SAT and dual problems

被引：0
|
作者：
Porschen, Stefan [1 ]
Speckenmeyer, Ewald [1 ]
机构：
[1] Univ Cologne, Inst Informat, Pohligstr 1, D-50969 Cologne, Germany
来源：
THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2007, PROCEEDINGS | 2007年 / 4501卷
关键词：
weighted satisfiability; optimization problem; NP-hardness; edge cover; graph factor; perfect matching;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper we study NP-hard variable-weighted satisfiability optimization problems for the class 2-CNF providing worst-case upper time bounds holding for arbitrary real-valued weights. Moreover, we consider the monotone dual class consisting of clause Sets where all variables occur at most twice. We show that weighted SAT, XSAT and NAESAT optimization problems for this class are polynomial time solvable using appropriate reductions to specific polynomial time solvable graph problems.
引用
收藏
页码：173 / +
页数：3
相关论文
共 50 条
  • [11] On the Number of 2-SAT Functions
    Ilinca, L.
    Kahn, J.
    COMBINATORICS PROBABILITY & COMPUTING, 2009, 18 (05): : 749 - 764
  • [12] Random 2-SAT and unsatisfiability
    Verhoeven, Yann
    Information Processing Letters, 1999, 72 (03): : 119 - 123
  • [13] The number of 2-SAT functions
    Bollobás, B
    Brightwell, G
    Leader, I
    ISRAEL JOURNAL OF MATHEMATICS, 2003, 133 (1) : 45 - 60
  • [14] Approximating MIN 2-SAT and MIN 3-SAT
    Adi Avidor
    Uri Zwick
    Theory of Computing Systems, 2005, 38 : 329 - 345
  • [15] Comparing the hardness of MAX 2-SAT problem instances for quantum and classical algorithms
    Mirkarimi, Puya
    Callison, Adam
    Light, Lewis
    Chancellor, Nicholas
    Kendon, Viv
    PHYSICAL REVIEW RESEARCH, 2023, 5 (02):
  • [16] Parameter Identification of Induction Motors using Variable-weighted Cost Function of Genetic Algorithms
    Megherbi, A. C.
    Megherbi, H.
    Benmahamed, K.
    Aissaoui, A. G.
    Tahour, A.
    JOURNAL OF ELECTRICAL ENGINEERING & TECHNOLOGY, 2010, 5 (04) : 597 - 605
  • [17] The scaling window of the 2-SAT transition
    Bollobás, B
    Borgs, C
    Chayes, JT
    Kim, JH
    Wilson, DB
    RANDOM STRUCTURES & ALGORITHMS, 2001, 18 (03) : 201 - 256
  • [18] Variable-Weighted Grayscale Centroiding and Accuracy Evaluating
    Dong, Mingli
    Xu, Liang
    Wang, Jun
    Sun, Peng
    Zhu, Lianqing
    ADVANCES IN MECHANICAL ENGINEERING, 2013,
  • [19] Random 2-SAT with Prescribed Literal Degrees
    Colin Cooper
    Alan Frieze
    Gregory B. Sorkin
    Algorithmica, 2007, 48 : 249 - 265
  • [20] Research on the Solution Space of 2-SAT and Max-2-SAT
    Li, Bai-Feng
    Wei-Wei
    Liu, Chao-Qun
    3RD ANNUAL INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND APPLICATIONS (ITA 2016), 2016, 7
12345