一元语言

✍ dations ◷ 2025-11-27 00:47:38 #一元语言

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

相关

贤者之石贤者之石（Philosopher's stone）是一种存在于传说或神话中的物质，其形态可能为石头（固体）、粉末或液体。它被认为能将卑金属变成黄金，或制造能让人长生不老的万能药，又或者医治百病
低镁低血镁症（Hypomagnaesemia）是描述血液中的镁离子含量低于正常值的现象。正常人体内的血镁约介于 1.7–2.2 mg/dL 之间，如果血镁值低于 1.7 mg/dL（0.7 mmol/L）就是低血镁症。症
卡洛尔·金卡洛尔·金（Carole King ，1942年2月9日－）是美国歌手及作曲人。她和丈夫格里·戈芬（Gerry Goffin）在60年代写了20多首热门歌曲，她的专辑《挂毯》（Tapestry）于1971年高据美国音乐专辑
富德 (翻译进士)富德（？年－？年），满洲正黄旗常宁佐领人。清朝政治人物。乾隆十七年（1752年）壬申翻译科进士。授翰林院侍讲学士。十九年（1754年）：二月，以侍讲学士差派提督山东学政。授内阁学士兼礼部侍郎衔
RE引擎RE引擎（英文：RE ENGINE）是由卡普空为第八世代游戏机与第九世代游戏机开发的游戏引擎。RE引擎的开发是从2015年4月和游戏项目同步起跑，耗时一年半开发，可说是配合《生化危机7》所
工段营造录《工段营造录》，清代李斗著于乾隆六十年（1795年），收入《扬州画舫录》卷十七。乾隆年间，扬州盐商富豪在瘦西湖边大兴土木，建造园林、别墅。据李斗自序，三十年来，“曾往来于诸工段间，阅
郭诩郭诩（1456年－1532年），字仁弘，号清狂道人、清狂逸叟，明代山水人物画家，江西泰和南寮（今澄江镇郭义井）人。擅长画山水、人物，兼有粗笔和细笔两种面貌。郭诩年少时应科举不第后，转而遍游名
李尚顺李尚顺（1974年8月5日－）是韩国男歌手及作曲家。在1999年以乐团Rollor Coaster的成员出道。在2010年与东律组成 Verandah Project。曾于荷兰阿姆斯特丹音乐院留学。在一次救助流
鼓浪屿近代建筑群鼓浪屿近代建筑群位于中国福建省厦门市思明区鼓浪屿。2006年，美国领事馆旧址等十处十三座建筑被联合列为第六批全国重点文物保护单位。2013年，厦门海关税务司公馆旧址、海关理
五条Sayaka五条Sayaka（日语：五條さやか，4月25日－），日本女性漫画家、插画家。血型A型。早年在动画、漫画的专业学校东京动画师学院（日语：東京アニメーター学院）就读职业漫画家科系期间出道。2002年在史克威尔艾尼克斯的杂志发表，后收录在发行的漫画选集“GWCS GANGAN Wing Comic Special”是她的出道作品。曾在天野梢连载《ARIA》期间担任助手，同时在相关杂志“月刊ウンディーネ”负责发表插图。目前主要在各家游戏公司的杂志发表衍生的漫画与插图。在漫画和插图用手写文字说明其内容是她的作品特