配对函数

✍ dations ◷ 2025-11-13 03:13:37 #配对函数

在数学中，配对函数是一种将两个自然数唯一地编码成一个自然数的过程。

在集合论中可以用任何配对函数来证明整数和有理数有同自然数相同的基数。在理论计算机科学中用它们把定义在自然数的向量上的函数 ${displaystyle f:mathbb {N} ^{k}rightarrow mathbb {N} }$ ${displaystyle f:mathbb {N} ^{k}rightarrow mathbb {N} }$ 编码成一个新函数 ${displaystyle g:mathbb {N} rightarrow mathbb {N} }$ ${displaystyle g:mathbb {N} rightarrow mathbb {N} }$ 。

配对函数是一种可计算的双射函数

康托尔配对函数是一种原始递归配对函数

定义为

在应用配对函数到 ${displaystyle k_{1}}$ $k_1$ 和 ${displaystyle k_{2}}$ $k_2$ 的时候，我们经常指示结果的数为 ${displaystyle langle k_{1},k_{2}rangle }$ ${displaystyle langle k_{1},k_{2}rangle }$

可以把上面的函数以递回定义推广成以下的康托尔元组函数

定义为

相关

II型第二型致病免疫反应（tissue-specific or cytotoxic hypersensitivity），又称为抗体诱发型过敏，其起因为患者免疫系统所产生的抗体会对于患者细胞上的抗原产生免疫反应。细胞毒杀
稻鼠属见内文稻鼠属（Oryzomys）是仓鼠科（Cricetidae）之下的一个属，最近系统发生学研究显示，稻鼠属是一个多系群（polyphyletic），也就是此分类群之下并不包含所有具共同祖先的相近物种，科学家因
2014年2月逝世人物列表2014年2月逝世人物列表，是用于汇总2014年2月期间逝世人物的列表。
小行星7313小行星7313（英语：7313 Pisano）是一颗围绕太阳公转的小行星。1960年9月24日，C. J. 万·豪敦、I. 万·豪敦-格勒内费尔德、T. 赫雷尔斯在帕洛马山发现了此天体。这颗小行星的绝对
安东尼奥·罗塔安东尼奥·罗塔（意大利语：Antonio Rotta；1828年2月28日－1903年9月10日），是意大利著名画家，属于早期的风俗画风格。安东尼奥·罗塔是意大利画家，主要是风俗画的题材。安东尼奥·罗塔
小舟站小舟站是一个漳泉肖线上的铁路车站，位于福建省安溪县丰田林场，建于1970年，目前为四等站，邮政编码为362415。目前不再办理客运业务，仅办理整车货物发到。
武汉科技大学武汉科技大学（英语：Wuhan University of Science and Technology），简称武科大（WUST），溯源于清朝末期1898年湖广总督张之洞奏请清政府创办的湖北工艺学堂，历经湖北中等工业学堂、湖北
Audio-Animatronics®Audio-Animatronics®又称为发声机械动画人偶、电子音响动作装置、音动电子御制，是华特迪士尼幻想工程的一个版权注册商标和独门技术。这些Audio-Animatronics®实际上是一些机器人，它们身体能运动和发出声音，但奇妙的是他们的所有动作都能和音乐、说话完美契合。例如一个人偶说“哦～啊”的发音时，他的嘴型也会同样呈现o、a的发音状态，动作和说话连成一气、时间分秒不差，仿佛是真实的人类在说话一样的栩栩如生、活灵活现的感觉。但这个技术不但可以用于人类形态的人偶，还可以用在动物、卡通人物、机器
第5届中国电影金鸡奖第5届中国电影金鸡奖是中国电影家协会为表彰1985年度杰出国产片颁发的奖项。颁奖典礼于1985年5月23日在中国四川省成都市举行。
FAST协议FAST协议（FIX Adapted for Streaming）是FIX Protocol Ltd开发的技术标准，主要用于优化计算机网络上的数据表达。它可以支持金融机构间的高吞吐量、低延迟的数据通讯。FAST协议此技术标准的特点可以有高资料压缩的能力，可以用在支援大量的市场资料传输，并且需要有低延迟的应用场合。