二元关系的性质测试及其复杂性分析

• 作者: 许道云 韦立
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 性质测试 二元关系 参数化 同构性质 询问复杂性
• 年，卷（期）: 2011,（9）
• 所属期刊栏目: 计算理论与算法
• 页码范围: 81-87
• 分类号: TP301
• 字数: 7717字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2011.09.015

摘要

本文介绍了性质测试的基本原理,分析了用性质测试方法解决参数化问题的可行性,并将同构性质进行了参数化.研究了二元关系的性质测试以及参数化框架同构性质的测试问题,对固定的距离参数,证明了测试复杂性低于标准判定程序的复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许道云	贵州大学计算机科学系	125	460	12.0	16.0
2	韦立	贵州大学计算机科学系	9	43	4.0	6.0