请输入您要查询的百科知识:

 

词条 LOGCFL
释义

  1. See also

  2. External links

In computational complexity theory, LOGCFL is the complexity class that contains all decision problems that can be reduced in logarithmic space to a context-free language. This class is situated between NL and AC1, in the sense that it contains the former and is contained in the latter. Problems that are complete for LOGCFL include many problems whose instances can be characterized by acyclic hypergraphs:

  • evaluating acyclic Boolean conjunctive queries
  • checking the existence of a homomorphism between two acyclic relational structures
  • checking the existence of solutions of acyclic constraint satisfaction problems

See also

  • List of complexity classes

External links

  • {{CZoo|LOGCFL|L#logcfl}}
{{comp-sci-theory-stub}}

1 : Complexity classes

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/11/11 23:29:07