首页    期刊浏览 2024年12月01日 星期日
登录注册

文章基本信息

  • 标题:A trade-off between length and width in resolution
  • 本地全文:下载
  • 作者:Neil Thapen
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2014
  • 卷号:2014
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    We describe a family of CNF formulas in n variables, with small initial width, which have polynomial length resolution refutations. By a result of Ben-Sasson and Wigderson it follows that they must also have narrow resolution refutations, of width O ( n log n ) . We show that, for our formulas, this decrease in width comes at the expense of an increase in size, and any such narrow refutations must have exponential length.

国家哲学社会科学文献中心版权所有