一元语言

✍ dations ◷ 2025-11-23 09:15:01 #一元语言

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

相关

佛蒙特佛蒙特州（英语：State of Vermont，i/vərˈmɒnt/)）是美国第14个州，以其美丽的景色、奶制品、枫糖浆和激进的政治而著称。佛蒙特总共拥有14个县。这14个县，辖下有255个政治单位或地
无齿翼龙无齿翼龙属（学名：Pteranodon），在希腊文的意思为“没有牙的翅膀”，生存于晚白垩纪（康尼亚克阶到坎潘阶，约8,800万年前到8,000万年前）的北美洲，化石产地遍布美国各地（堪萨斯州、阿拉巴马
英雄无泪《英雄无泪》（英文名：Heroes Shed No Tears)，1980年邵氏出品，楚原导演，尔冬升、傅声、赵雅芝、白彪、谷峰、岳华主演，依照古龙同名原著小说改编的古装武侠电影。江湖异人萧大师，铸
宾州大学Leges sine moribus vanae9,719名本科生 10,103名研究生宾夕法尼亚大学（英语：University of Pennsylvania），简称宾大（UPenn）。位于美国宾夕法尼亚州的费城，是一所著名的私立研究型
沟壑沟壑（英语：ravine）是一种比峡谷窄的地形，一般是溪流在侵蚀作用下形成的。沟壑的规模一般介乎于冲沟和谷地之间。沟壑横截面一般较宽，坡度一般在20%至70%之间。沟壑中可能会有流动
张锡琪张锡琪（1898年11月19日－1960年5月19日），是一位出身福建泉州惠安及台湾新竹的眼科医师。1898年，张锡祺出生于福建省泉州市惠安县秀涂村。后来，他迁居台湾度过少年时期，又随后前往日
小行星18239小行星18239（18239 Ekers）是一颗绕太阳运转的小行星，为主小行星带小行星。该小行星于1973年9月29日发现。小行星18239的轨道半长轴为3.0758457 UA，离心率为0.165。
沼蛙沼蛙（学名：）为赤蛙科水蛙属的两栖动物。沼蛙长约7厘米，棕色背面，沿背侧褶有黑色纵纹，体侧有黑斑，后肢有黑色横斑，白色腹面；口角后有两个浅色颌腺；雄蛙在咽侧下有外声囊一对，上臂基部有
迪克·艾伦理查·安东尼·艾伦（英语：Richard Anthony Allen，1942年3月8日－2020年12月7日），为美国职棒大联盟的一垒手与三垒手。职业生涯效力过费城人、红雀、道奇、白袜与运动家等队，他被认为是1960年代至1970年代间大联盟的强打者。艾伦于1964年拿下国联新人王，1972年拿下年度MVP。费城人在2020年9月3日退休了他的背号，不过他至今仍未入选名人堂。艾伦卸下棒球员身份后，一度转战歌坛，当过短暂的歌手。他曾于NBA费城76人的主场表演过唱歌。1960年，费城人以7万美元签约金签下
弗拉基米尔·萨尔基相弗拉基米尔·萨尔基相（亚美尼亚语：Վլադիմիր Սարգսյան，1935年6月25日－2013年1月3日）是科学家，亚美尼亚国家科学院院士。