小编eso*_*ope的帖子

有限双射的有效功能数据结构

我正在寻找一种功能数据结构,它代表两种类型之间的有限双射,即节省空间和节省时间.

例如,考虑到大小为n的双射f,我会很高兴:

  • 用一对新元素扩展f具有复杂度O(ln n)
  • 查询f(x)或f ^ -1(x)具有复杂度O(ln n)
  • f的内部表示比具有2个有限映射(表示f及其逆)更节省空间

我知道排列的有效表示,就像本文一样,但似乎并没有解决我的问题.

ocaml haskell functional-programming bijection data-structures

9
推荐指数
2
解决办法
1192
查看次数