在计算机科学中,忙碌的海狸(Busy Beaver)是一个在给定参数后,寻找可能产生的最大输出的可终止程序。忙碌的海狸游戏包括设计一个可终止的,只输出0或1的图灵机,让其在一条纸带上尽可能多的输出1. 包含两个状态的忙碌的海狸游戏有下面两条规则: 该图灵机包括除终止态以外的两个状态 纸带初始值都是0...
10 KB (1,181 words) - 12:47, 20 March 2025
有些定義方式會用上述的定義略作修改,例如log2 n改為n,或是下取整函數改為上取整函數。 有些研究則是用上述的定義,但是令m為常數,因此只需要一個輸入值。 迭代冪次 忙碌的海狸 Wilhelm Ackermann, Zum Hilbertschen Aufbau der reelen Zahlen, Math. Annalen...
8 KB (942 words) - 07:20, 18 June 2025
文件在未压缩时会产生相同的副本。 还有一种复杂的 zip 炸弹形式,它利用 zip 文件的规范和Deflate压缩算法来创建炸弹,而无需使用 42.zip 那样的嵌套。 十亿笑声(英语:Billion laughs),对XML解析器的类似攻击 电邮炸弹 邏輯炸彈 Fork炸弹 忙碌的海狸,在终止之前尽可能多地输出数据的程序。...
4 KB (503 words) - 03:17, 14 November 2022
邱奇-图灵论题 (category 含有过时参数的引用的页面)
我们可以正式定义不可计算的函数。一个有名的例子是忙碌的海狸函数。该函数接受输入n,返回具有n个状态的图灵机在停机之前所能打印的最大符号数量。找到忙碌的海狸函数的上限等于解决停机问题,该问题已被确定不能使用图灵机解决。由于海狸很忙函数不能被图灵机计算, 邱奇-图灵论题断言该函数不能使用任何方法进行有效计算。...
13 KB (2,092 words) - 09:01, 16 October 2024
拉多·蒂博爾 (category 含有hCards的条目)
。1933年,拉多發表《論普拉托問題》,給出了普拉托問題的解決方案;1935年,他又發表《次諧函數》。1962年5月,他在《貝爾系統技術雜誌(英语:Bell Labs Technical Journal)》上發表了他最著名的成果之一:忙碌的海狸函數及其不可計算性(《論不可計算函數》)。...
6 KB (540 words) - 18:21, 29 August 2024
奧斯卡·辛德勒 (category 含有过时参数的引用的页面)
海狸鼠,后者的皮毛有一定的经济价值。可到了1958年就已经破产。然后他离开妻子返回德国,尝试经营包括水泥厂在内的多个产业,但都没有成功。1963年,他再次宣布破产,并于次年因心脏病发而入院治疗了一个月。辛德勒与战争期间认识的许多犹太人保持着联系,来自世界各地“辛德勒犹太人”的...
39 KB (6,175 words) - 14:13, 14 April 2025
美國卡車模擬 (category 含有冗余参数的引用的页面)
Simulator)是一款由捷克公司SCS Software開發的交通工具模拟游戏,屬《歐洲卡車模擬2》同一系列的續作。遊戲於2016年2月3日正式發布。遊戲世界地圖位于美國的中部和西部地區;玩家可以駕駛鉸接式卡車駛入多處地點的運輸站來運送貨物。隨着遊戲的進展,玩家將可以購買更多的...
51 KB (2,518 words) - 09:59, 11 July 2025
降世神通:柯拉傳奇 (category 自2015年12月連結格式不正確的條目)
致力為父親所希望的理想而忙碌於共和城中,共和城議會中的大氣牧族代表身分讓他對科拉的截氣神功修練課程一再延後,直到科拉偷偷離開南極來到共和城。和家族居住在大氣寺島。 雖然常對科拉的任性頭痛不已,但還以長輩的身份關心著她。表面很嚴肅,但暗中也有調皮的一面。 本人曾表示不喜歡御術競技,卻對競技規則有著相當程度的了解,也曾在狼蝠隊選手違規時表示批判。...
42 KB (6,405 words) - 10:29, 11 April 2025
麻辣女孩角色列表 (category 有蓝链却未移除内部链接助手模板的页面)
原本只是普通高中生,為了承接一些零星的打工機會架設了個人網站,宣稱無所不能,因緣際會成為打擊犯罪的超級英雄。 容貌端正,身手敏捷,戰鬥能力高強,學業成績亦有相當水準並擔任啦啦隊隊長,是學校裡的風雲人物。由於參加大量活動,即使在打擊犯罪外的生活也相當忙碌。性格要求完美,大多數時候也相信自己沒有辦不到的事。 穿著中空裝是她的...
59 KB (10,560 words) - 18:21, 10 December 2024