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

文章基本信息

  • 标题:On Limitations of the Ehrenfeucht-Fraisse-method in Descriptive Complexity
  • 本地全文:下载
  • 作者:Yijia Chen ; Joerg Flum
  • 期刊名称:Electronic Colloquium on Computational Complexity
  • 印刷版ISSN:1433-8092
  • 出版年度:2013
  • 卷号:2013
  • 出版社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
  • 摘要:

    Ehrenfeucht-Fraisse games and their generalizations have been quite successful in finite model theory and yield various inexpressibility results. However, for key problems such as P = NP or NP = coNP no progress has been achieved using the games. We show that for these problems it is already hard to get the board for the corresponding Ehrenfeucht-Fraisse game. We obtain similar results for the so-called Ajtai-Fagin games and for a variant where the structures are obtained randomly.

  • 关键词:descriptive complexity; Ehrenfeucht-Fraïssé games; NP
国家哲学社会科学文献中心版权所有