一元语言

✍ dations ◷ 2025-12-06 00:22:56 #一元语言

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

相关

LASIK准分子激光原位角膜磨镶术（LASIK，Laser-Assisted in Situ Keratomileusis、层状角膜内层重塑术），是一种透过激光改变眼角膜的弧度，以改善视力的手术。就是用准分子激光通过对角膜
格温内斯格温内斯（英语：Gwynedd）是英国威尔士西北部的一个郡，面积共2,548平方公里，人口为121,900人，是威尔士面积第二大和人口最少的政区。首府为班戈，境内拥有班戈大学。官方网站
桃源街道桃源街道是中国广东省深圳市南山区下辖的一个街道，位于南山区东北部，2002年6月17日成立，名称取自街道内主要安居房小区——桃源村。辖区总面积36.44平方公里，下辖10个社区，总人口
路易斯·莫罗·戈特沙尔克路易斯·莫罗·戈特沙尔克（英语：Louis Moreau Gottschalk ，1829年5月8日－1869年12月28日），美国作曲家，钢琴家。他是犹太人和克里奥尔人的混血儿，早年在路易斯安那的生活在他的创作中
Ae-45Aero 45是一款双活塞引擎全金属结构小型客机，是捷克斯洛伐克在战后第一款飞机，并取得相当成功，共生产了590架。机身结构为半硬壳式，座舱顶部由透明胶板压制而成，舱内设有通风、照
徐怀中徐怀中（1929年9月29日－），男，原名许怀中，河北邯郸峰峰矿区山底村人，中国作家，中国人民解放军少将。1941年，徐怀中考入太行联合中学学习。1945年2月，中学毕业后的徐怀中参加八路军前方总
拉古斯拉古斯（希腊语：Λάγος ；前四世纪人物），出身欧耳代亚（Eordaea），他可能是托勒密王朝开创者托勒密一世的父亲，不然就是托勒密名义上的父亲。拉古斯他娶了马其顿国王腓力二世的小妾阿
王西彦王西彦（1914年－1999年），浙江义乌人，中国作家、文学研究家，中国左翼作家联盟成员，曾任桂林师范学院、湖南大学、武汉大学、浙江大学教授，中国作家协会理事。
程侃程侃（1941年12月－），男，上海人，中国运筹学家，曾任中国科学院应用数学研究所研究员、博士生导师，中国运筹学会副理事长、秘书长。
齐尚·阿什拉夫齐尚·阿什拉夫（Zeeshan Ashraf，1977年2月28日－），巴基斯坦男子曲棍球运动员，亦为巴基斯坦国家男子曲棍球队成员。2010年11月，齐尚·阿什拉夫代表巴基斯坦出战广州亚运会，参加曲棍球比赛，夺得金牌。