首页    期刊浏览 2024年10月07日 星期一
登录注册

文章基本信息

  • 标题:Syntactic Separation of Subset Satisfiability Problems
  • 本地全文:下载
  • 作者:Eric Allender ; Mart{\'\i}n Farach-Colton ; Meng-Tsung Tsai
  • 期刊名称:LIPIcs : Leibniz International Proceedings in Informatics
  • 电子版ISSN:1868-8969
  • 出版年度:2019
  • 卷号:145
  • 页码:1-23
  • DOI:10.4230/LIPIcs.APPROX-RANDOM.2019.16
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Variants of the Exponential Time Hypothesis (ETH) have been used to derive lower bounds on the time complexity for certain problems, so that the hardness results match long-standing algorithmic results. In this paper, we consider a syntactically defined class of problems, and give conditions for when problems in this class require strongly exponential time to approximate to within a factor of (1-epsilon) for some constant epsilon > 0, assuming the Gap Exponential Time Hypothesis (Gap-ETH), versus when they admit a PTAS. Our class includes a rich set of problems from additive combinatorics, computational geometry, and graph theory. Our hardness results also match the best known algorithmic results for these problems.
  • 关键词:Syntactic Class; Exponential Time Hypothesis; APX; PTAS
国家哲学社会科学文献中心版权所有