我有一组S类型的元素T。<=type 的元素有一个偏序T。众所周知,其中的所有元素S都不是有序的。然后,我需要一种方法来执行以下查询:拥有type的元素,找到这样的eTe'Se <= e'.
是否有允许有效执行此类查询的数据结构(无需线性扫描S)?
重要提示:T是完整的格子。
我有一组S类型的元素T。<=type 的元素有一个偏序T。众所周知,其中的所有元素S都不是有序的。然后,我需要一种方法来执行以下查询:拥有type的元素,找到这样的eTe'Se <= e'.
是否有允许有效执行此类查询的数据结构(无需线性扫描S)?
重要提示:T是完整的格子。