二元关系的性质测试及其复杂性分析
【出 处】:《
计算机工程与科学
》
CSCD
2011年第33卷第9期 81-87页,共7页
【作 者】:
韦立
;
许道云
【摘 要】
本文介绍了性质测试的基本原理,分析了用性质测试方法解决参数化问题的可行性,并将同构性质进行了参数化。研究了二元关系的性质测试以及参数化框架同构性质的测试问题,对固定的距离参数,证明了测试复杂性低于标准判定程序的复杂性。
相关热词搜索:
上一篇:多目标优化差分进化算法
下一篇:一种基于抽象与精化技术的Web服务组合验证方法