一元语言

✍ dations ◷ 2025-11-25 21:04:33 #一元语言

在计算复杂度理论内，一元语言或者结算语言是一种形式语言 (由字串组成的集合)，里面所有的字串都是像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则将这个结果一般化到稀疏语言上面。

相关

乔治·蒙塔古乔治·蒙塔古（英语：George Montagu，？－1815年6月20日）是英格兰陆军军官和博物学家。以著作《鸟类学词典》而闻名。在英国，乌灰鹞也叫做“蒙塔古鹞”（Montagu's harrier），以纪念这位鸟类
阿雷佐阿雷佐（意大利语：Arezzo）位于意大利中部托斯卡纳大区，是阿雷佐省的首府，面积386.25平方公里，人口96,494人（2007年）。
鼬属见内文。鼬属（学名 Mustela），是哺乳纲食肉目鼬科的一属，共有17个种：美洲水鼬（Neovison vison）和已绝种的海鼬（Neovison macrodon）在1999年已从鼬属归类到美洲水鼬属（Neovison）。
瓦尔多·菲略瓦尔多·菲略（1964年1月12日－），前巴西职业足球员，巴西国家足球队成员，现为MC阿尔及尔助教。从1987年到1993年，他共为巴西国家足球队出场45次，打进4球。1990年世界杯足球赛代表巴西国
胡戈·里曼卡尔·威廉·尤里乌斯·胡戈·里曼（Karl Wilhelm Julius Hugo Riemann，1849年7月18日-1919年7月10日）是德国音乐理论家和作曲家。里曼出生在德国施瓦茨堡-松德尔斯豪森上梅莱尔
哥斯达·柏林世家哥斯达·柏林世家（瑞典语：Gösta Berlings saga），1924年瑞典电影，片长134分钟，导演莫里兹·斯蒂勒，由葛丽泰·嘉宝，拉尔斯·汉松主演，Svensk Filmindustri公司发行。
粤甸幽灵集《粤甸幽灵集》（越南语：），又名为《越甸幽灵集》，越南古代神话传说著作，以汉语文言文写成。它的成书年代及作者都众说纷纭，传世版本亦多，一般认为由陈朝人李济川撰。本书原为一卷，二十
鹿儿岛市交通局鹿儿岛市交通局（日语：鹿児島市交通局／かごしましこうつうきょく */?）是日本鹿儿岛县鹿儿岛市的交通部门，负责经营鹿儿岛市电（路面电车）和鹿儿岛市公车。鹿儿岛市营的交通虽然还
学生会侦探桐香台版小说封面《学生会侦探桐香》（日语：生徒会探偵キリカ）是由日本小说家杉井光所著、ぽんかん⑧负责插画、讲谈社轻小说文库刊行的轻小说作品。繁体中文版由尖端出版发行。
维舍林城堡维舍林城堡（德语：Burg Vischering）是位于德国北莱茵-威斯特法伦吕丁豪森的一个护城河城堡。 1521年，城堡毁于一场大火，后来人们又重建了城堡。第二次世界大战期间的空袭对城堡并没有造成太大影响。