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