首页    期刊浏览 2024年11月28日 星期四
登录注册

文章基本信息

  • 标题:Lower bounds for myopic DPLL algorithms with a cut heuristic
  • 本地全文:下载
  • 作者:Dmitry Itsykson ; Dmitry Sokolov
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2012
  • 卷号:2012
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    The paper is devoted to lower bounds on the time complexity of DPLL algorithms that solve the satisfiability problem using a splitting strategy. Exponential lower bounds on the running time of DPLL algorithms on unsatisfiable formulas follow from the lower bounds for resolution proofs. Lower bounds on satisfiable instances are also known for some classes of DPLL algorithms; this lower bounds are usually based on reductions to unsatisfiable instances. In this paper we consider DPLL algorithms with a cut heuristic that may decide that some branch of the splitting tree will not be investigated. DPLL algorithms with a cut heuristic always return correct answer on unsatisfiable formulas while they may err on satisfiable instances. We prove the theorem about effectiveness vs. correctness trade-off for deterministic myopic DPLL algorithms with a cut heuristic. Myopic algorithms can see formulas with erased signs of negations; they may also request a small number of clauses to read them precisely.

    We construct a family of unsatisfiable formulas (n) and for every deterministic myopic algorithm A we construct polynomial time samplable ensemble of distributions Rn concentrated on satisfiable formulas such that if A gives a correct answer with probability 001 on a random formula from the ensemble Rn then A runs exponential time on the formulas (n).

    One of the consequences of our result is the existence of a polynomial time samplable ensemble of distributions Qn concentrated on satisfiable formulas such that every deterministic myopic algorithm that gives a correct answer with probability 1−o(1) on a random formula from the ensemble Qn runs exponential time on the formulas (n).

    Other consequence is the following statement: for every deterministic myopic algorithm A we construct a family of satisfiable formulas (n) and polynomial time samplable ensemble of distributions Rn concentrated on satisfiable formulas such that if A gives a correct answer with probability 001 on a random formula from the ensemble Rn then A runs exponential time on the formulas (n).

  • 关键词:DPLL; expander; heuristic computation; lower bound
国家哲学社会科学文献中心版权所有