关于两类无限配对双射族

我们描述了两种生成配对双射（定义为从 N x N 到 N 的双射函数）的通用机制。第一种机制利用 n-adic 赋值，生成了参数化算法，从而产生一个可数的不同配对双射族。第二种机制利用 N 子集的特征函数，提供了 2^N 个不同的配对双射。文中还描述了组合此类配对函数的机制及其在生成 N 的置换族中的应用。本文使用函数式语言 Haskell 的一个小子集，以文学编程风格提供所有定义函数的类型检查可执行规范。从论文中提取的自包含 Haskell 代码可在 http://logic.cse.unt.edu/tarau/research/2012/infpair.hs 获取。