一元语言

✍ dations ◷ 2025-12-10 21:49:40 #一元语言

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

相关

  • 格鲁吉亚国家银行格鲁吉亚国家银行(格鲁吉亚语:საქართველოს ეროვნული ბანკი)是格鲁吉亚的中央银行。格鲁吉亚第一家中央银行成立于1919年。现在的格鲁吉亚国家银行则成
  • 三苯甲基自由基三苯甲基自由基(化学式:(C6H5)3C·)是有机化学家所观测到的第一个自由基。由于苯基体积较大,三苯甲基自由基中的三个苯基不可能与中间的碳原子共平面,而是排成螺旋桨式。由于三个
  • 钙矿一般口语中的钙矿,其实并不是真正的金属钙矿。目前世界上已知地壳中含有1,150多种矿产,依其性质和工业用途,可分为金属矿、非金属矿产和有机燃料矿床,虽然钙是金属,且在地壳中含
  • 小普雷斯帕湖坐标:40°46′N 21°06′E / 40.767°N 21.100°E / 40.767; 21.100小普雷斯帕湖(希腊语:Λίμνη Μικρή Πρέσπα,阿尔巴尼亚语:Prespa e Vogël)是欧洲南部的湖泊,位
  • 李中垣李中垣(1916年4月22日-2003年12月12日),原名李九龄,曾用名李丙辰,男,河南扶沟人,中华人民共和国政治人物,曾任天津市人民委员会副市长,天津市人民政府副市长,天津市人大常委会副主任。
  • 李延庆 (北魏)李延庆(482年-533年),陇西狄道(今甘肃省临洮县)人,北魏镇远将军、颍川郡太守、襄武惠侯李辅的儿子,北魏官员。李延庆在孝昌年间以定州镇北城局参军为起家官,稍微升迁为奉车都尉、陈留
  • 王以宁王以宁(1567年-?),字祯莆,号咸所,浙江山阴县(今属绍兴市)人。明朝官员。万历二十六年(1598年)进士。万历二十七年(1599年)接替秦尚明,担任南直隶常州府宜兴县知县。建崇文书院,亲自讲学。历
  • 人民抵抗-左翼反帝国主义合作人民抵抗-左翼反帝国主义合作(希腊语:Λαϊκή Αντίσταση - Αριστερή Αντιιμπεριαλιστική Συνεργασία,转写:Laiki Antistasi –
  • 打了300年的史莱姆,不知不觉就练到了满级《打了300年的史莱姆,不知不觉就练到了满级》(日语:スライム倒して300年、知らないうちにレベルMAXになってました)是日本作家森田季节的轻小说作品,2016年6月至2021年11月在成为小说家吧上连载,共867话,完结同月从该网站上删除。2017年1月起经GA Novel发行单行本,插画由红绪负责。改编漫画于《GANGAN ONLINE》连载,由シバユウスケ作画。改编电视动画第1季于2021年4月10日至6月26日播映,共12集;已宣布将有第2季。截至2021年3月,系列累积发行超过200万本。过劳死
  • 帕达基帕达基(阿美语:Padaki),是台湾南势群阿美族传说当中,一位穿着打扮如同女性的男孩。在过去有位名叫帕达基的男孩,喜欢穿着女性的服饰、腰布、饰物,长相也较偏向女孩,因此所有人均将其视为女性。帕达基有两位闺密,其性格一好一坏,某日三人外出工作,性格较坏的女孩看见帕达基的生殖器部位,故意大声说出来,羞耻的帕达基赶紧潜入泥沼当中,即便善良的女孩如何呼喊,帕达基也不再从泥沼当中出现:92。