关于函数的验证复杂性、求值复杂性和输出值个数

• 作者: 刘田
• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: 结构复杂性 函数类 非确定性
• 年，卷（期）: 2000,（1）
• 页码范围: 109-116
• 页数: 8页
• 分类号: TP301.5
• 字数: 3403字
• 语种: 中文
• DOI: 10.3321/j.issn:0479-8023.2000.01.015

摘要

定义与研究两族函数类.V和F.定义这些类的方法是限制.V的验证复杂性和F的求值复杂性在∈{P,UP,FewP,NP}之内,并且限制.V的输出值个数在V∈{SV,PV,MV}之内.这些类之间的包含与相等关系以及在函数复合运算下的封闭性质被完全确定.这些类不仅统一了过去已知的函数类而且定义了新的函数类,例如FewP.PV.FewP.PV是自然对应于FewP的函数类,因为FewP.PV的定义域与验证复杂性和求值复杂性恰好都是FewP.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘田	北京大学计算机科学技术系	13	105	4.0	10.0