Complexity Hierarchies beyond Elementary
Complexity Hierarchies beyond Elementary
复制标题
超越基本的复杂层次结构
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
S. Schmitz
中科院分区：
文献类型：
--
作者：
S. Schmitz
我们引入了一个层次结构的快速增长的复杂性类，并显示其适用于许多非初等问题的完整性声明。这种层次结构允许对许多具有非初等复杂性的决策问题进行分类，这些问题自然发生在逻辑，组合学，形式语言和验证等领域，其复杂性从简单的指数塔到阿克曼和更高。
We introduce a hierarchy of fast-growing complexity classes and show its suitability for completeness statements of many nonelementary problems. This hierarchy allows the classification of many decision problems with a nonelementary complexity, which occur naturally in areas such as logic, combinatorics, formal languages, and verification, with complexities ranging from simple towers of exponentials to Ackermannian and beyond.
DOI：
10.2168/lmcs-9(3:01)2013
发表时间：
2013-04
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
P. Barceló;Diego Figueira;L. Libkin
通讯作者：
P. Barceló;Diego Figueira;L. Libkin
证明与计算
DOI：
--
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Schwichtenberg H
通讯作者：
Schwichtenberg H
关于故障通道机器的终止和不变性
影响因子：
1
作者：
Bouyer P
通讯作者：
Bouyer P