大英博物馆算法

✍ dations ◷ 2025-06-30 07:40:38 #算法

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

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

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

相关

  • 分压气体分压(英语:partial pressure)指的是当气体混合物中的某一种组分在相同的温度下占据气体混合物相同的体积时,该组分所形成的压力。比如将一瓶空气中的氮气、二氧化碳和稀有气
  • 镰仓坐标:35°19′N 139°33′E / 35.317°N 139.550°E / 35.317; 139.550镰仓市(日语:鎌倉市/かまくらし Kamakura shi */?)位于日本神奈川县三浦半岛西面,是人口约为18万人的小型
  • 圣乔治乔治丝带(俄语:георгиевская ленточка,转写:georgiyevskaya lentochka)是黑色和橘色相间的丝带。乔治丝带起源于俄罗斯帝国时期的最高军功勋章——圣乔治勋
  • 灾星简玛莎·简·坎纳里(英语:Martha Jane Canary/Cannary;1852年5月1日-1903年8月1日)是美国女性拓荒者和职业侦察员,一般皆称呼她“灾星简”(英语:Calamity Jane)。她因身为“狂野比尔”希
  • 判官统治判官统治(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
  • 脊髓性肌肉萎缩症脊髓性肌肉萎缩症(英语:Spinal muscular atrophy,简写为SMA),是一种遗传性神经疾病。它会造成运动神经元退化、肌肉萎缩,肌肉无力,最终造成死亡。控制肌肉的运动神经里的某种蛋白质
  • 生物学的一切都没有道理,除非放在演化的光芒之下生物学的一切都没有道理,除非用演化的眼光来看。(英文:Nothing in Biology Makes Sense Except in the Light of Evolution)是演化生物学家和东正教教徒费奥多西·多布然斯基在1
  • 黄镜峰黄镜峰(1930年9月5日-2012年3月11日),台湾台东人,台湾政治人物,曾任台东县县长。黄镜峰原籍嘉义朴子,婴儿时随父母迁居台东。高中毕业于省立台东中学,曾任国民党台东县党部委员,1968
  • 杨飞飞杨飞飞,青年胡琴演奏家,歌手。毕业于沈阳音乐学院,2010年前往美国深造。曾受邀在纽约时代广场(Times Square) 、联合国 、巴克莱中心球馆(Barclays Center) 、中国驻纽约总领馆 (
  • 宇浦冴香宇浦冴香(1989年4月1日-)是一位日本女歌手。出生于千叶县。所属唱片公司是GIZA studio,经纪人公司是SPACE CRAFT。