大英博物馆算法

✍ dations ◷ 2025-05-19 11:30:51 #算法

大英博物馆算法或称大英博物馆技巧,即是以穷举法,从最小的组合开始找答案。严格而言,这只是一个解题的概念而非一个可实现的算法,而且以穷举法列出所有可能的话,运算时间和空间上并不划算。

大英博物馆算法可以下例说,假设有一问题,希望得到一个最短的程序来解决,则求此程序的方法如下:先从长度为n=1开始,产生所有长度n的源代码,再检查当中有否可解决此问题的程序(因停机问题,此检查过程不可能实现),若否,则测试n=2,如此类推,最终必会找到该最短程序,然而此方法却须花费非常长的时间(大部分问题所须的时间比宇宙的生命还长)。

类似方法可用以证明例如优化、公式证明、辨别等问题可解还是不可解。

相关

  • 詹姆斯·格利姆詹姆斯·吉尔伯特·格利姆(英语:James Gilbert Glimm,1934年3月24日-),美国数学家,美国数学学会前主席,石溪大学杰出教授。
  • 拉马尔县拉马尔县(Lamar County, Georgia)是美国乔治亚州中西部的一个县。面积481平方公里。根据美国2000年人口普查,共有人口15,912人,其中白人占67.78%、非裔美国人占30.39%,拉美裔人占
  • 梭温梭温(缅甸语:စိုးဝင်း,缅甸语委转写:Soe Win;1947年6月14日-2007年10月12日),缅甸前总理,自2004年10月19日起担任,由军人政府最高领导人丹瑞委任,据报导,他与丹瑞关系密切。梭温
  • 鞘氨醇鞘氨醇(Sphingosine)又称神经鞘胺醇,学名2-氨基-4-十八烯-1,3-二醇,是一种含有不饱和烃基链的十八碳氨基醇。鞘氨醇属于鞘脂类,为细胞膜组成成分之一。鞘氨醇在体内可在两种激酶
  • 陈中和墓坐标:22°37′42″N 120°19′40″E / 22.628272°N 120.327823°E / 22.628272; 120.327823陈中和墓位于台湾高雄市苓雅区,于民国八十五年(1996年)8月27日公告为古迹。该墓为台
  • 桂柳战役桂柳战役,中国称为桂柳反攻作战。,于1945年4月至8月,中国第2、第3方面军在广西省龙州、南丹、全州、阳朔地区对日军第6方面军展开反攻作战。当时盟军已攻占硫磺岛及琉球群岛,日
  • 泰山区 (台湾)坐标:25°03′32″N 121°25′51″E / 25.058864°N 121.4308111°E / 25.058864; 121.4308111泰山区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-system,Blink
  • 穆斯林学者列表研究伊斯兰教的学者包括穆斯林及非穆斯林,他们集中于伊斯兰研究的某一领域或多个领域。“伊斯兰研究”是一个雨伞术语,用于所有与伊斯兰教相关的研究,与伊斯兰知识、伊斯兰教的
  • 储姓储姓是一个中文姓氏,在《百家姓》中排第211位。宋朝时期,储姓不足1万,在全国主要分布于福建、江苏、河南、浙江等地,福建为储姓第一大省,约占全国储姓总人口的33%。明朝时期,储姓
  • 凯德 (Satara)凯德(Khed),是印度马哈拉施特拉邦萨塔拉县的一个城镇。总人口6897(2001年)。该地2001年总人口6897人,其中男性3560人,女性3337人;0—6岁人口951人,其中男529人,女422人;识字率65.65%,其