基于概念的折半查找算法.pdfVIP

第 36卷 第 6期 计 算 机 科 学 Vo1．36No．6 2009： 6月 Computer Science June2009 基于概念的折半查找算法 时百胜 (上海大学计算机工程与科学学院 上海 200072) (苏州科技学院数理学院 苏州215009) 摘 要 自顶向下或 自底向上两种标准查找方式不适合于具体领域逻辑，且缺乏灵活性。模拟有序数组中的折半查 找，提 出逻辑空间上的折半查找方法，证明该查找方法在保持完备性和非冗余性的同时，还提供 了更好的灵活性，最后 给出了该查找的通用算法，并分析其复杂性。 关键词 逻辑信息系统，折半查找，算法，复杂性 Concept-basedBinarySearchAlgorithm SHIBai-sheng (SchoolofComputerEngineeringnadScience，ShanghaiUniversity，Shanghai200072，China) (SchoolofMathematicsandPhyfics，UniversityofSc ienceandTechnologyofSuzhou，Suzhou215009，China) Abstract Thestandardstrategiesoftop-downandbottom-upsearchareill-suitedtodomain specficlogics，andlack flexibility．Thispaperthereforeintroducedabinarysearchstrategy，thatisanalogoustOabinarysearchinanorderde array．Weprovde thisprovidesmoreflexibility in thesaerch，whileretaining completenessna dnon-rdeundna cy．W e presentde anovelalgorithm forlearning usingdomainspecificlogicsandbinarysearch，nadanalyseditscomplexity． Keywards Logicinformationsystem，Binarysaerch，Algorithm，Complexity 查找变得困难 ；另一方面，随机双向查找是非常灵活的，但它 1 引言 不能保证完备性，也不保证非冗余性。灵活性允许应用启发 在逻辑信息系统中，所有对象用具体领域的逻辑描述 ，逻 式搜索对每一个查找的位置进行评估 ，得到最好的位置，再从 辑公式按照包含[(蕴含)关系构成了逻辑表示空间，在逻辑 这个位置进行搜索直到 目标。 表示空间下需要查找满足某些条件的逻辑公式，例如：数据挖 本文提出一种新的基于概念的查找算法，它采用跳跃式 掘、机器学习等。大多数现有查找算法采用 白顶向下或 自底 双向遍历搜索空间，类似于有序数组上的折半查找。该算法 向上的方式遍历搜索空间，在逻辑空间中，越往上描述对象的 的优点：(1)查找是数据驱动型，可以解决搜索空间中的无穷 公式越一般(通用)，而越往下描述对象的公式越具体。自顶 链问题，允许采用更广泛逻辑；(2)既能够保证算法的完备性、 向下查找是从描述所有对象的最通用公式开始，重复例化它， 非冗余性，又具有更好的灵活性。 直到例化满足要求为止。底公式是搜索空间上最具体的公 本文首先研究基于概念的查找和折半查找思想；然后研 式，自底向上查找是从底公式开始 ，对它们进行泛化，或计算