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

文章基本信息

  • 标题:Universal Structures and the Logic of Forbidden Patterns
  • 本地全文:下载
  • 作者:Florent R. Madelaine
  • 期刊名称:Logical Methods in Computer Science
  • 印刷版ISSN:1860-5974
  • 电子版ISSN:1860-5974
  • 出版年度:2009
  • 卷号:5
  • 期号:02
  • DOI:10.2168/LMCS-5(2:13)2009
  • 出版社:Technical University of Braunschweig
  • 摘要:

    Forbidden Patterns Problems (FPPs) are a proper generalisation of Constraint Satisfaction Problems (CSPs). However, we show that when the input is connected and belongs to a class which has low tree-depth decomposition (e.g. structure of bounded degree, proper minor closed class and more generally class of bounded expansion) any FPP becomes a CSP. This result can also be rephrased in terms of expressiveness of the logic MMSNP, introduced by Feder and Vardi in relation with CSPs. Our proof generalises that of a recent paper by Nesetril and Ossona de Mendez. Note that our result holds in the general setting of problems over arbitrary relational structures (not just for graphs).

  • 关键词:Universal Structures;Constraint Satisfaction;Relational structures
国家哲学社会科学文献中心版权所有