基于概念的折半查找算法

自顶向下或自底向上两种标准查找方式不适合于具体领域逻辑，且缺乏灵活性。模拟有序数组中的折半查找，提出逻辑空间上的折半查找方法，证明该查找方法在保持完备性和非冗余性的同时，还提供了更好的灵活性，最后给出了该查找的通用算法，并分析其复杂性。