搜索

康威链式箭号表示法

由约翰·何顿·康威发明的表示法

康威链式箭号表示法，是由约翰·何顿·康威发明的，用来表示大数。形式上看起来会像这样：2→3→4→5→6。

定义
康威链式箭号表示法的长度定义如下：
如果两个康威链代表相同的整数，那么就说它们是等价的。 下面四个规则说明如何用康威链表示整数，其中 和 是正整数， 是一个较短的康威链：
1、康威链 表示正整数 。
2、 代表指数 。
3、 等价于 。
4、 等价于 (在这里， 出现 次， 出现 次，括号数量为 对).
第四条规则可以以递回关系式列出，避免省略号的出现：
4a、
4b、
上面的四条规则可用来定义所有的康威链。例如长度为3的康威链，利用第四条规则，基本上长度仍然一样，但 和 会是递减的，当递减到1时，就可以利用第三条规则来使长度缩短，使得它可利用第二条规则来计算出来。
性质
1、长度为3的康威链对应hyper运算符和高德纳箭号表示法：
2、X→Y形式上如同X→p（设Y是一个较短的康威链，如同X一样），因此：
3、一个康威链的开头是幂。
4、1→Y等价于1。
5、X→1→Y等价于X。
6、2→2→Y等价于4。
7、X→2→2等价于X→(X)，其中后面的X是先被算出来的整数，如 .
康威链不能被拆分，其箭号并不是二元运算符。其他二元运算符具有交换律及结合律，如2 + 3 = 3 + 2，2 + 3 + 2 = (2 + 3) + 2 = 2 + (3 + 2)，或者是按照规定的顺序，如 这类指数是从右至左计算，先计算 = 81，再计算 。康威链并不符合上述性质。例如：
第一个式子并不等于下面任何式子。
例子
例子很快会变得非常复杂，先从简单的开始（其中有些例子也会应用高德纳箭号表示法）：
(1)n
= n(规则1)
(2)p→q
= (规则2)
例如：
(3)1→（任何康威链）
= 1，因为任何康威链最终可以被简化成一个数字，而1的任何次方都是1。 （事实上，任何含有1的康威链，在1后面的那些数字和箭号都可直接消去，一个例子如X→1→Y = X。）
(4)4→3→2
= 4→(4→(4)→1)→1（规则4），从内向外展开。
= 4→(4→4→1)→1（去掉多余的括号）
= 4→(4→4)→1（规则3）
= 4→(44)→1（规则2）
= 4→(256)→1（计算指数）
= 4→256→1（去括号）
= 4→256（规则3）
= 4256（规则2）
利用高德纳箭号表示法可以很容易解决：
(5)2→2→4
= 2→(2)→3（规则4）
= 2→2→3（去括号）
= 2→2→2（规则4，去括号）
= 2→2→1（规则4，去括号）
= 2→2（规则3）
= 4（规则2）（事实上，任何以2→2为开头的康威链其值均为4，本例是一个例子，应用性质6）
高德纳箭号表示法：
(6)2→4→3
= 2→(2→(2→(2)→2)→2)→2（规则4）
= 2→(2→(2→2→2)→2)→2（去括号）
= 2→(2→(4)→2)→2（性质6）
= 2→(2→4→2)→2（去括号）
= 2→(2→(2→(2→(2)→1)→1)→1)→2（规则4）
= 2→(2→(2→(2→2→1)→1)→1)→2（去括号）
= 2→(2→(2→(2→2)))→2（规则3）
= 2→(2→(2→(4)))→2（规则2）
= 2→(2→(16))→2（规则2）
= 2→65536→2（规则2）
= 2→(2→(2→(...2→(2→(2)→1)→1...)→1)→1)→1（规则4），其中括号出现65535次
= 2→(2→(2→(...2→(2→(2))...)))（规则3）
= 2→(2→(2→(...2→(4)...)))（规则2）
= 2→(2→(2→(...16...)))（规则2）
（其中2出现 次）（见迭代幂次）
=65536
若用高德纳箭号表示法可得：
(7)2→3→2→2
= 2→3→(2→3)→1（规则4）
= 2→3→8（规则2和规则3）（利用高德纳箭号表示法即为 ）
= 2→(2→2→7)→7（规则4）
= 2→4→7（性质6，利用高德纳箭号表示法即为 ）
= 2→(2→(2→2→6)→6)→6（规则4）
= 2→(2→4→6)→6（性质6）
= 2→(2→(2→(2→2→5)→5)→5)→6（规则4）
= 2→(2→(2→4→5)→5)→6（性质6）
= 2→(2→(2→(2→(2→2→4)→4)→4)→5)→6（规则4）
= 2→(2→(2→(2→4→4)→4)→5)→6（性质6）
= 2→(2→(2→(2→(2→(2→2→3)→3)→3)→4)→5)→6（规则4）
= 2→(2→(2→(2→(2→4→3)→3)→4)→5)→6（性质6）
= 2→(2→(2→(2→(2→65536→2)→3)→4)→5)→6（利用前面的例子）
= 大到无法想像的数
高德纳箭号表示法：
(8)3→2→2→2
= 3→2→(3→2)→1（规则4）
= 3→2→9（规则2和规则3）
= 3→3→8（规则4）
高德纳箭号表示法：
(9)3→2→3→3
= 3→2→(3→2→(3→2)→2)→2（规则4）
= 3→2→(3→2→9→2)→2（规则2）
= 3→2→(3→2→(3→2→(...3→2→(3→2)→1...)→1)→1)→2（规则4），其中3→2出现10次，也就是原本的1个，加上括号里的9个。
= 3→2→(3→2→(3→2→(...3→2→(3→2)...)))→2（规则3），3→2出现10次。
= 3→2→(3→2→(3→2→(...3→2→9...)))→2（规则2），3→2出现9次。
= 3→2→(3→2→(3→2→(...3→3→8...)))→2（规则4），3→2出现8次。
= 3→2→(3→2→(3→2→(... ...)))→2（高德纳箭号表示法），3→2出现8次。
= 3→2→(3→2→(3→2→(...3→2→( )...)))→2
= 3→2→(3→2→(3→2→(... ...)))→2（高德纳箭号表示法），3→2出现7次。
= ...
= 3→2→ →2（高德纳箭号表示法）
= 3→2→(3→2→(...3→2→(3→2)→1...)→1)→1（规则4），其中3→2出现 次。
= 3→2→(3→2→(...3→2→(3→2)))（规则3），其中3→2出现 次。
= ，其中向上箭号出现 次。
可见得3→2→3→3为使用高德纳箭号表示法都难以表示的数，这个例子可证明，使用康威链式箭号表示法表示大数的效率会比高德纳箭号表示法高很多（葛立恒数则是另一个例子）。
一般性的例子
简单的例子：
，最后利用了性质1。
，最后利用了
，最后利用了 。
对于任何康威链X，设 ，则 （见复合函数）。
设 ，则 ，所以 。
例如 ，进而：
我们可以进一步一般化。假设 ，则 ，就是说 。
根据上面可知， ，以及 ，所以
阿克曼函数
阿克曼函数可以使用康威链式箭号表示法来表示：
A(m, n) = (2 → (n + 3) → (m − 2)) − 3 for m > 2
相反的
2 → n → m = A(m + 2,n − 3) + 3 for n > 2
（n=1和n=2有特别的规定，A(m, -2) = -1 以及 A(m, -1) = 1。）
葛立恒数
葛立恒数 无法用康威链式箭号表示法来简单的表示，但是可以订出简洁的上下界。设 ，则 ,（见复合函数），可以得到
证明：这里会使用到规则3和规则4：
（这里有64个3→3）
（这里有64个3→3）
（这里有64个3→3）
（这里有65个3→3）
由于是严格递增函数，
这给出了上下界。
利用康威链式箭号表示法，很容易表示远远大于葛立恒数的数：
其中远远大于65，因此远远大于葛立恒数。
全国各地天气预报查询

上海市

  • 市辖区

    • 云南省

  • 临沧市

    • 云南省

  • 丽江市

    • 云南省

  • 保山市

    • 云南省

  • 大理白族自治州

    • 云南省

  • 德宏傣族景颇族自治州

    • 云南省

  • 怒江傈僳族自治州

    • 云南省

  • 文山壮族苗族自治州

    • 云南省

  • 昆明市

    • 云南省

  • 昭通市

    • 云南省

  • 普洱市

    • 云南省

  • 曲靖市

    • 云南省

  • 楚雄彝族自治州

    • 云南省

  • 玉溪市

    • 云南省

  • 红河哈尼族彝族自治州

    • 云南省

  • 西双版纳傣族自治州

    • 云南省

  • 迪庆藏族自治州

    • 内蒙古自治区

  • 乌兰察布市

    • 内蒙古自治区

  • 乌海市

    • 内蒙古自治区

  • 兴安盟

    • 内蒙古自治区

  • 包头市

    • 内蒙古自治区

  • 呼伦贝尔市

    • 内蒙古自治区

  • 呼和浩特市

    • 内蒙古自治区

  • 巴彦淖尔市

    • 内蒙古自治区

  • 赤峰市

    • 内蒙古自治区

  • 通辽市

    • 内蒙古自治区

  • 鄂尔多斯市

    • 内蒙古自治区

  • 锡林郭勒盟

    • 内蒙古自治区

  • 阿拉善盟

    • 北京市

  • 市辖区

    • 吉林省

  • 吉林市

    • 吉林省

  • 四平市

    • 吉林省

  • 延边朝鲜族自治州

    • 吉林省

  • 松原市

    • 吉林省

  • 白城市

    • 吉林省

  • 白山市

    • 吉林省

  • 辽源市

    • 吉林省

  • 通化市

    • 吉林省

  • 长春市

    • 四川省

  • 乐山市

    • 四川省

  • 内江市

    • 四川省

  • 凉山彝族自治州

    • 四川省

  • 南充市

    • 四川省

  • 宜宾市

    • 四川省

  • 巴中市

    • 四川省

  • 广元市

    • 四川省

  • 广安市

    • 四川省

  • 德阳市

    • 四川省

  • 成都市

    • 四川省

  • 攀枝花市

    • 四川省

  • 泸州市

    • 四川省

  • 甘孜藏族自治州

    • 四川省

  • 眉山市

    • 四川省

  • 绵阳市

    • 四川省

  • 自贡市

    • 四川省

  • 资阳市

    • 四川省

  • 达州市

    • 四川省

  • 遂宁市

    • 四川省

  • 阿坝藏族羌族自治州

    • 四川省

  • 雅安市

    • 天津市

  • 市辖区

    • 宁夏回族自治区

  • 中卫市

    • 宁夏回族自治区

  • 吴忠市

    • 宁夏回族自治区

  • 固原市

    • 宁夏回族自治区

  • 石嘴山市

    • 宁夏回族自治区

  • 银川市

    • 安徽省

  • 亳州市

    • 安徽省

  • 六安市

    • 安徽省

  • 合肥市

    • 安徽省

  • 安庆市

    • 安徽省

  • 宣城市

    • 安徽省

  • 宿州市

    • 安徽省

  • 池州市

    • 安徽省

  • 淮北市

    • 安徽省

  • 淮南市

    • 安徽省

  • 滁州市

    • 安徽省

  • 芜湖市

    • 安徽省

  • 蚌埠市

    • 安徽省

  • 铜陵市

    • 安徽省

  • 阜阳市

    • 安徽省

  • 马鞍山市

    • 安徽省

  • 黄山市

    • 山东省

  • 东营市

    • 山东省

  • 临沂市

    • 山东省

  • 威海市

    • 山东省

  • 德州市

    • 山东省

  • 日照市

    • 山东省

  • 枣庄市

    • 山东省

  • 泰安市

    • 山东省

  • 济南市

    • 山东省

  • 济宁市

    • 山东省

  • 淄博市

    • 山东省

  • 滨州市

    • 山东省

  • 潍坊市

    • 山东省

  • 烟台市

    • 山东省

  • 聊城市

    • 山东省

  • 菏泽市

    • 山东省

  • 青岛市

    • 山西省

  • 临汾市

    • 山西省

  • 吕梁市

    • 山西省

  • 大同市

    • 山西省

  • 太原市

    • 山西省

  • 忻州市

    • 山西省

  • 晋中市

    • 山西省

  • 晋城市

    • 山西省

  • 朔州市

    • 山西省

  • 运城市

    • 山西省

  • 长治市

    • 山西省

  • 阳泉市

    • 广东省

  • 东莞市

    • 广东省

  • 中山市

    • 广东省

  • 云浮市

    • 广东省

  • 佛山市

    • 广东省

  • 广州市

    • 广东省

  • 惠州市

    • 广东省

  • 揭阳市

    • 广东省

  • 梅州市

    • 广东省

  • 汕头市

    • 广东省

  • 汕尾市

    • 广东省

  • 江门市

    • 广东省

  • 河源市

    • 广东省

  • 深圳市

    • 广东省

  • 清远市

    • 广东省

  • 湛江市

    • 广东省

  • 潮州市

    • 广东省

  • 珠海市

    • 广东省

  • 肇庆市

    • 广东省

  • 茂名市

    • 广东省

  • 阳江市

    • 广东省

  • 韶关市

    • 广西壮族自治区

  • 北海市

    • 广西壮族自治区

  • 南宁市

    • 广西壮族自治区

  • 崇左市

    • 广西壮族自治区

  • 来宾市

    • 广西壮族自治区

  • 柳州市

    • 广西壮族自治区

  • 桂林市

    • 广西壮族自治区

  • 梧州市

    • 广西壮族自治区

  • 河池市

    • 广西壮族自治区

  • 玉林市

    • 广西壮族自治区

  • 百色市

    • 广西壮族自治区

  • 贵港市

    • 广西壮族自治区

  • 贺州市

    • 广西壮族自治区

  • 钦州市

    • 广西壮族自治区

  • 防城港市

    • 新疆维吾尔自治区

  • 乌鲁木齐市

    • 新疆维吾尔自治区

  • 伊犁哈萨克自治州

    • 新疆维吾尔自治区

  • 克孜勒苏柯尔克孜自治州

    • 新疆维吾尔自治区

  • 克拉玛依市

    • 新疆维吾尔自治区

  • 博尔塔拉蒙古自治州

    • 新疆维吾尔自治区

  • 吐鲁番市

    • 新疆维吾尔自治区

  • 和田地区

    • 新疆维吾尔自治区

  • 哈密市

    • 新疆维吾尔自治区

  • 喀什地区

    • 新疆维吾尔自治区

  • 塔城地区

    • 新疆维吾尔自治区

  • 巴音郭楞蒙古自治州

    • 新疆维吾尔自治区

  • 昌吉回族自治州

    • 新疆维吾尔自治区

  • 自治区直辖县级行政区划

    • 新疆维吾尔自治区

  • 阿克苏地区

    • 新疆维吾尔自治区

  • 阿勒泰地区

    • 江苏省

  • 南京市

    • 江苏省

  • 南通市

    • 江苏省

  • 宿迁市

    • 江苏省

  • 常州市

    • 江苏省

  • 徐州市

    • 江苏省

  • 扬州市

    • 江苏省

  • 无锡市

    • 江苏省

  • 泰州市

    • 江苏省

  • 淮安市

    • 江苏省

  • 盐城市

    • 江苏省

  • 苏州市

    • 江苏省

  • 连云港市

    • 江苏省

  • 镇江市

    • 江西省

  • 上饶市

    • 江西省

  • 九江市

    • 江西省

  • 南昌市

    • 江西省

  • 吉安市

    • 江西省

  • 宜春市

    • 江西省

  • 抚州市

    • 江西省

  • 新余市

    • 江西省

  • 景德镇市

    • 江西省

  • 萍乡市

    • 江西省

  • 赣州市

    • 江西省

  • 鹰潭市

    • 河北省

  • 保定市

    • 河北省

  • 唐山市

    • 河北省

  • 廊坊市

    • 河北省

  • 张家口市

    • 河北省

  • 承德市

    • 河北省

  • 沧州市

    • 河北省

  • 石家庄市

    • 河北省

  • 秦皇岛市

    • 河北省

  • 衡水市

    • 河北省

  • 邢台市

    • 河北省

  • 邯郸市

    • 河南省

  • 三门峡市

    • 河南省

  • 信阳市

    • 河南省

  • 南阳市

    • 河南省

  • 周口市

    • 河南省

  • 商丘市

    • 河南省

  • 安阳市

    • 河南省

  • 平顶山市

    • 河南省

  • 开封市

    • 河南省

  • 新乡市

    • 河南省

  • 洛阳市

    • 河南省

  • 漯河市

    • 河南省

  • 濮阳市

    • 河南省

  • 焦作市

    • 河南省

  • 省直辖县级行政区划

    • 河南省

  • 许昌市

    • 河南省

  • 郑州市

    • 河南省

  • 驻马店市

    • 河南省

  • 鹤壁市

    • 浙江省

  • 丽水市

    • 浙江省

  • 台州市

    • 浙江省

  • 嘉兴市

    • 浙江省

  • 宁波市

    • 浙江省

  • 杭州市

    • 浙江省

  • 温州市

    • 浙江省

  • 湖州市

    • 浙江省

  • 绍兴市

    • 浙江省

  • 舟山市

    • 浙江省

  • 衢州市

    • 浙江省

  • 金华市

    • 海南省

  • 三亚市

    • 海南省

  • 三沙市

    • 海南省

  • 儋州市

    • 海南省

  • 海口市

    • 海南省

  • 省直辖县级行政区划

    • 湖北省

  • 十堰市

    • 湖北省

  • 咸宁市

    • 湖北省

  • 孝感市

    • 湖北省

  • 宜昌市

    • 湖北省

  • 恩施土家族苗族自治州

    • 湖北省

  • 武汉市

    • 湖北省

  • 省直辖县级行政区划

    • 湖北省

  • 荆州市

    • 湖北省

  • 荆门市

    • 湖北省

  • 襄阳市

    • 湖北省

  • 鄂州市

    • 湖北省

  • 随州市

    • 湖北省

  • 黄冈市

    • 湖北省

  • 黄石市

    • 湖南省

  • 娄底市

    • 湖南省

  • 岳阳市

    • 湖南省

  • 常德市

    • 湖南省

  • 张家界市

    • 湖南省

  • 怀化市

    • 湖南省

  • 株洲市

    • 湖南省

  • 永州市

    • 湖南省

  • 湘潭市

    • 湖南省

  • 湘西土家族苗族自治州

    • 湖南省

  • 益阳市

    • 湖南省

  • 衡阳市

    • 湖南省

  • 邵阳市

    • 湖南省

  • 郴州市

    • 湖南省

  • 长沙市

    • 甘肃省

  • 临夏回族自治州

    • 甘肃省

  • 兰州市

    • 甘肃省

  • 嘉峪关市

    • 甘肃省

  • 天水市

    • 甘肃省

  • 定西市

    • 甘肃省

  • 平凉市

    • 甘肃省

  • 庆阳市

    • 甘肃省

  • 张掖市

    • 甘肃省

  • 武威市

    • 甘肃省

  • 甘南藏族自治州

    • 甘肃省

  • 白银市

    • 甘肃省

  • 酒泉市

    • 甘肃省

  • 金昌市

    • 甘肃省

  • 陇南市

    • 福建省

  • 三明市

    • 福建省

  • 南平市

    • 福建省

  • 厦门市

    • 福建省

  • 宁德市

    • 福建省

  • 泉州市

    • 福建省

  • 漳州市

    • 福建省

  • 福州市

    • 福建省

  • 莆田市

    • 福建省

  • 龙岩市

    • 西藏自治区

  • 山南市

    • 西藏自治区

  • 拉萨市

    • 西藏自治区

  • 日喀则市

    • 西藏自治区

  • 昌都市

    • 西藏自治区

  • 林芝市

    • 西藏自治区

  • 那曲市

    • 西藏自治区

  • 阿里地区

    • 贵州省

  • 六盘水市

    • 贵州省

  • 安顺市

    • 贵州省

  • 毕节市

    • 贵州省

  • 贵阳市

    • 贵州省

  • 遵义市

    • 贵州省

  • 铜仁市

    • 贵州省

  • 黔东南苗族侗族自治州

    • 贵州省

  • 黔南布依族苗族自治州

    • 贵州省

  • 黔西南布依族苗族自治州

    • 辽宁省

  • 丹东市

    • 辽宁省

  • 大连市

    • 辽宁省

  • 抚顺市

    • 辽宁省

  • 朝阳市

    • 辽宁省

  • 本溪市

    • 辽宁省

  • 沈阳市

    • 辽宁省

  • 盘锦市

    • 辽宁省

  • 营口市

    • 辽宁省

  • 葫芦岛市

    • 辽宁省

  • 辽阳市

    • 辽宁省

  • 铁岭市

    • 辽宁省

  • 锦州市

    • 辽宁省

  • 阜新市

    • 辽宁省

  • 鞍山市

    • 重庆市

  • 县

    • 重庆市

  • 市辖区

    • 陕西省

  • 咸阳市

    • 陕西省

  • 商洛市

    • 陕西省

  • 安康市

    • 陕西省

  • 宝鸡市

    • 陕西省

  • 延安市

    • 陕西省

  • 榆林市

    • 陕西省

  • 汉中市

    • 陕西省

  • 渭南市

    • 陕西省

  • 西安市

    • 陕西省

  • 铜川市

    • 青海省

  • 果洛藏族自治州

    • 青海省

  • 海东市

    • 青海省

  • 海北藏族自治州

    • 青海省

  • 海南藏族自治州

    • 青海省

  • 海西蒙古族藏族自治州

    • 青海省

  • 玉树藏族自治州

    • 青海省

  • 西宁市

    • 青海省

  • 黄南藏族自治州

    • 黑龙江省

  • 七台河市

    • 黑龙江省

  • 伊春市

    • 黑龙江省

  • 佳木斯市

    • 黑龙江省

  • 双鸭山市

    • 黑龙江省

  • 哈尔滨市

    • 黑龙江省

  • 大兴安岭地区

    • 黑龙江省

  • 大庆市

    • 黑龙江省

  • 牡丹江市

    • 黑龙江省

  • 绥化市

    • 黑龙江省

  • 鸡西市

    • 黑龙江省

  • 鹤岗市

    • 黑龙江省

  • 黑河市

    • 黑龙江省

  • 齐齐哈尔市