一元语言

✍ dations ◷ 2025-08-26 06:27:27 #一元语言

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

相关

ʃ清颚龈擦音或清拱龈后擦音（voiceless palato-alveolar fricative 或 voiceless domed postalveolar fricative）为辅音之一，属齿龈后音，用于一些语言当中。国际音标以⟨ʃ⟩代表
示部示部，为汉字索引中的部首之一，康熙字典214个部首中的第一百一十三个（五划的则为第十九个）。就繁体和简体中文中，示部归于五划部首。大多以左、下方为部字。且无其他部首可用者将
国际滑雪联合会国际滑雪联合会（法语：Fédération Internationale de Ski，缩写：FIS）是由14个国家协会于1924年在法国霞慕尼成立，到目前已有123个成员国。而由于滑雪是冬季奥运会中主要的项目之一
崤函崤函，中国古地名，指崤山与函谷关，两者都在今天河南省，大致在灵宝市、陕县范围。战国时代，崤函以东，称为山东，与西方的秦国相对。崤函并称，主要因此处地势险要、函谷关“一夫当关，万夫
米哈伊尔·伊万诺维奇·罗季昂诺夫米哈伊尔·伊万诺维奇·罗季昂诺夫（俄语：Михаи́л Ива́нович Родио́нов，1905年10月12日（儒略历10月25日）－1950年10月1日）是高尔基地区执行委员会主席、苏
纪 (历法)纪是中国古代历法的时间单位。指蔀之日数与60个干支纪日之最短循环周期。
张伦 (明朝将领)张伦，祖籍不详，明朝军事将领。张伦担任河北诸卫指挥使，其勇敢过人。马宣自蓟州起兵攻北平，不克而亡。张伦发愤，集合两卫官帅所部南奔，跟从李景隆、盛庸作战，有战功。燕王朱棣攻占南
彭抗彭抗（?－?），一作伉，字武阳。晋代著名道士，兰陵（今属山东）人，道教净明派人物。为西山十二真君之一。曾举孝廉，在晋朝当官，累迁尚书左丞。私下暗中修行仙业，后称疾归事许逊，于是许逊教导他许多仙术。彭抗以其女彭胜娘嫁许逊之子。宋徽宗敕封为“和靖真人”。
娜温达·贝尔托蒂娜温达·贝尔托蒂（泰语：นวินดา เบอร์ต๊อดตี，意大利语：Nawinda Bertotti，1992年5月24日－），小名Mint（泰语：มิ้นท์），为泰国第3电视台旗下的泰义混血女演员及模特儿。Mint于1992年5月24日出生于泰国，为拥有泰国与意大利各半的血统的混血儿。大学毕业于曼谷大学的工商管理院。2020年1月，Mint正式于易三仓大学取得企业管理硕士（MBA）学位。2008年，Mint于"Maya Idol contest"的选秀竞赛获得一等奖后，与康塔纳集团签下演员合约并正
若弗鲁瓦二世 (安茹)若弗鲁瓦二世（法语：Geoffroy II d'Anjou，1006年－1060年11月14日），安茹伯爵，富尔克三世之子，1040年至1060年在位。1032年，若弗鲁瓦二世与勃艮第的阿格尼丝（英语：Agnes of Burgundy, Duchess of Aquitaine）结婚，两人没有子女。1060年若弗鲁瓦二世去世，其外甥若弗鲁瓦三世继位。