×

描述参数化复杂性类。 (英语) Zbl 1054.68063号

Alt,Helmut(编辑)等人,STACS 2002。第19届计算机科学理论方面年度研讨会。2002年3月14日至16日,法国安提布斯-胡安莱斯·平斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43283-3)。莱克特。注释计算。科学。2285, 359-371 (2002).
摘要:我们利用经典复杂性理论和描述性复杂性理论描述参数化复杂性类。对于每个经典的复杂度类,我们以自然的方式引入了一个参数化的模拟。特别地,多项式时间的模拟是所有固定参数可处理问题的一类。我们为经典复杂性类的参数化类比建立了一个基本的复杂性理论,并给出了完整的问题和逻辑描述。然后我们表明,大多数众所周知的难以处理的参数化复杂度类都不是经典类的类似物。然而,对于所有这些类,我们都可以提供自然的逻辑描述。
有关整个系列,请参见[Zbl 0989.00048号].

MSC公司:

2015年第68季度 复杂性类(层次结构、复杂性类之间的关系等)
第68季度19 描述复杂性和有限模型
PDF格式BibTeX公司 XML格式引用
全文: 链接