一元语言

✍ dations ◷ 2025-07-01 17:55:42 #一元语言

在计算复杂度理论内,一元语言或者结算语言是一种形式语言 (由字串组成的集合),里面所有的字串都是像1的形式(这里的"1"可以是任何的符号)。例如,{1, 111, 1111}就是一个一元语言,或是像{1 | 是 质数}。这一类语言的复杂度类有时被叫做TALLY。

"一元"这个名字的起源来自于我们可以将一元语言视为将语言转成自然数后,再以一进位系统转出来产生的语言。既然所有语言的字串均可以视作有限字母的集合,故字串的集合必然属于可数集。所以我们可以将任何语言内所有字串一一对应到一个自然数的集合A; 因此之故,我们可以知道,任何语言均有它的{1 |  属于A}。 相对应的,任何一元语言也可以变成它比较小型的二进制版本,只要我们将这一元语言的字串1对应到的二进制表示法即可。

因为复杂度常常以输入的字串长度来作基准,所以一个语言的"一元版本"常常会比较简单。举例来说,如果一个语言要花O(2)的时间来解读,它的一元版本则需要O() 的时间,因为把语言的每个符号都换成"1"会让这个语言的空间呈现对数比例的缩减。更广义来说,如果一个语言可以用O(f())的时间以及O(g()) 的空间解读,那他的一元版本解读起来则需要O( + f(log ))的时间和O(g(log ))的空间 (多加的O()时间是因为我们起码需要这些时间来读取输入字串)。 不过,如果一个语言是不可决定的, 那这个语言的一元版本也是不可决定的(没有变得比较简单)。

TALLY包含在P/poly(英语:P/poly)内,因为我们可以对每一个用一个一位元的建议字串来分辨1 是否在这个语言中。任何一元语言都必然是属于稀疏语言, 因为对任何自然数,一元语言对长度为的字串至多只有一个,所以对长度至多为的字串也只有个(合乎稀疏语言的定义),但是并非所有的稀疏语言都是一元语言;因此TALLY包含在SPARSE里面。 Piotr Berman 在1978年证明了若任何一元语言是NP-完全,则P = NP, Mahaney则将这个结果一般化到稀疏语言上面。

相关

  • 法属印度洋诸岛法属印度洋诸岛(法语:Îles Éparses或Îles éparses de l'océan indien)包含印度洋中5组岛屿,分别为印度礁、欧罗巴岛、光荣群岛、新胡安岛、特罗姆兰岛。总面积38.6平方公里
  • 酵素结合免疫吸附分析法酶联免疫吸附试验(又称酵素免疫分析法,Enzyme-linked immunosorbent assay (ELISA),简称酶联法)利用抗原抗体之间专一性键结之特性,对检体进行检测;由于结合于固体承载物(一般为塑
  • 建筑业建筑,通常指的是对那些为人类活动提供空间的、或者说拥有内部空间的构造物进行规划、设计、建筑施工而后使用的行为过程的全体或一部分。“建筑”除了可指具体的构造物外,也着
  • 星云假说星云假说是在天体演化学的场合要解释太阳系的形成与演化最被广泛接受的模型。它建议太阳系是在星云物质中形成的,这个理论最早是伊曼努尔·康德于1755年发表在自然史和天空理
  • 马克西姆·高尔基阿列克谢·马克西莫维奇·彼什科夫(俄语:Алексей Максимович Пешков,1868年3月28日(儒略历3月16日)–1936年6月18日),笔名马克西姆·高尔基(俄语:Макси
  • 冀国冀国,是春秋时期的一个诸侯国。晋献公十九年,即公元前658年,晋国向虞国求假道而讨伐虢国。晋国大夫荀息的致虞国求假道书中提到,先前冀国入侵虞国,晋国帮助虞国击败了冀国。荀息
  • 田井中彩智田井中彩智(1986年4月30日-),日本的女性创作歌手。兵库县加古川市出身。以艺名タイナカサチ进行歌手活动。所属经纪公司为“GENEON ENTERTAINMENT”旗下的“SISTUS RECORDS”。2
  • 周奎 (清朝)周奎(1741年-1822年),字照域。贵州贵筑县花溪柏杨寨(今贵阳市吉麟村)人。家其贫,茅屋不蔽风雨,十四岁丧父,甚爱读书,曰:“一两顿饭可以不吃,而书绝不可不读”。祖父、母亲相继去世。后补
  • 气象学报《气象学报》创刊于1925年,是中国大陆基础科学类双月刊,编辑部位于北京市。此刊物由中国气象学会主办。《气象学报》在2018年被中华人民共和国国家新闻出版广电总局新闻报刊司
  • I·伯纳德·科恩I·伯纳德·科恩(英语:I. Bernard Cohen,1914年3月1日-2003年6月20日)是一位美国科学史家,哈佛大学教授,毕业于哈佛大学,师从乔治·萨顿,主要作品有《自然科学与社会科学的互动》()、《新物理学的诞生》()、《科学革命史:对科学中发生革命的历史思考》()等。