• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2011, Vol. 33 ›› Issue (9): 81-87.

• 论文 • 上一篇    下一篇

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

韦〓立,许道云   

  1. (贵州大学计算机科学系,贵州 贵阳 550025)
  • 收稿日期:2011-05-20 修回日期:2011-07-26 出版日期:2011-09-25 发布日期:2011-09-25
  • 作者简介:韦立(1981),男,广西都安人,博士生,研究方向为计算复杂性理论。许道云(1959),男,贵州安顺人,教授,博士生导师,研究方向为可计算性与计算复杂性。
  • 基金资助:

    国家自然科学基金资助项目(60863005)

Property Testing of Binary Relations and Its Complexity Analysis〖

WEI Li,XU Daoyun   

  1. (Department of Computer Science,Guizhou University,Guiyang 550025,China)
  • Received:2011-05-20 Revised:2011-07-26 Online:2011-09-25 Published:2011-09-25

摘要:

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

关键词: 性质测试, 二元关系, 参数化, 同构性质, 询问复杂性

Abstract:

The basic principle of property testing is introduced, the possibility of using property testing methods to solve parameterized problems is analyzed, and then the isomorphism properties are parameterized. It studies the property testing of binary relations and parameterized framework isomorphism properties. For a fixed distance parameter, it proves that the testing complexity is better than the complexity of exact decision procedures for every property studied.

Key words: property test;binary relation;parameterized;isomorphism;query complexity