On local versus global satisfiability

被引：8
|
作者：
Trevisan, L
机构：
[1] Univ Calif Berkeley, Div Comp Sci, Berkeley, CA 94720 USA
[2] IBM Corp, TJ Watson Res Labs, Yorktown Hts, NY USA
来源：
SIAM JOURNAL ON DISCRETE MATHEMATICS | 2004年 / 17卷 / 04期
关键词：
maximum satisfiability; constraint satisfaction; probabilistic method;
D O I：
10.1137/S0895480197326528
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We prove an extremal combinatorial result regarding the fraction of satisfiable clauses in Boolean conjunctive normal form (CNF) formulae enjoying a locally checkable property, thus solving a problem that has been open for several years. We then generalize the problem to arbitrary constraint satisfaction problems. We prove a tight result even in the generalized case.
引用
收藏
页码：541 / 547
页数：7
相关论文
共 50 条
  • [1] Merging the local and global approaches to probabilistic satisfiability
    Hansen, Pierre
    Perron, Sylvain
    [J]. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2008, 47 (02) : 125 - 140
  • [2] Global versus local
    Bronwyn Wake
    [J]. Nature Climate Change, 2015, 5 (11) : 974 - 974
  • [3] Satisfiability and Query Answering in Description Logics with Global and Local Cardinality Constraints
    Baader, Franz
    Bednarczyk, Bartosz
    Rudolph, Sebastian
    [J]. ECAI 2020: 24TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, 325 : 616 - 623
  • [4] Global versus local bioethics
    Devictor, Denis
    Marraro, Guiseppe
    [J]. PEDIATRIC CRITICAL CARE MEDICINE, 2011, 12 (02) : 235 - 236
  • [5] Satisfiability versus Finite Satisfiability in Elementary Modal Logics
    Michaliszyn, Jakub
    Otop, Jan
    Witkowski, Piotr
    [J]. FUNDAMENTA INFORMATICAE, 2018, 163 (02) : 165 - 188
  • [6] Advances in local search for satisfiability
    Pham, Duc Nghia
    Thornton, John
    Gretton, Charles
    Sattar, Abdul
    [J]. AI 2007: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2007, 4830 : 213 - +
  • [7] Local versus Global Dendritic Integration
    Connelly, William M.
    Stuart, Greg J.
    [J]. NEURON, 2019, 103 (02) : 173 - 174
  • [8] Global Versus Local Perspectives on Schizophrenia
    Zendehrouh, Sareh
    Bakouie, Fatemeh
    Gharibzadeh, Shahriar
    [J]. JOURNAL OF NEUROPSYCHIATRY AND CLINICAL NEUROSCIENCES, 2009, 21 (02) : 231 - 231
  • [9] Global Versus Local Casimir Effect
    Herdegen, Andrzej
    Stopa, Mariusz
    [J]. ANNALES HENRI POINCARE, 2010, 11 (06): : 1171 - 1200
  • [10] GLOBAL VARIABLES VERSUS LOCAL VARIABLES
    FISHER, DL
    [J]. SOFTWARE-PRACTICE & EXPERIENCE, 1983, 13 (05): : 467 - 469
12345