一元语言

✍ dations ◷ 2025-07-30 14:29:04 #一元语言

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

相关

  • 服务业第三级产业,又称服务业,是指位处一件产品的生产链中最上层的行业,这些行业在一件产品的生产链中担任物流、分销、中介等工作。第三级产业需要接触产品的终端顾客,是该产品自生产
  • 机电整合机电整合可以指:
  • 退伍军人美国退伍军人事务部长是美国退伍军人事务部的主管,它在美国内阁中排名第17位。当美国退伍军人事务部长空缺时,由美国退伍军人事务部副部长接替,直到总统任命新部长为止,现任部长
  • 黛青塔娜黛青塔娜(蒙古语:Дайчинтана,1983年8月29日-),为蒙古歌手。出生于青海省海西州。毕业于中央民族大学。她为HAYA乐团的主唱。《寂静的天空》 语言:蒙语和国语。
  • 柏屯峰柏屯峰(백둔봉)是一座位于韩国京畿道加平郡的山峰,主峰标高海拔974米。
  • 玛查玛查(英语:Macha),又译作马夏,是凯尔特神话中的命运与战争的三女神之一,人们经常将她与摩莉甘和尼曼相提并论。她的名字象征着“战斗”与“愤怒”,并有着“红发的玛查”的别名。在
  • 欧阳和欧阳和(1387年-1428年),字永和,江西吉安府泰和县六十一都人,明朝政治人物。同进士出身。江西乡试八十六名。永乐十年(1412年),参加壬辰科会试,得贡士会试十三名。殿试登进士第三甲第六
  • 约翰·克雷顿约翰·奥利弗·克雷顿(John Oliver Creighton,1943年4月28日-),前美国海军上校及美国国家航空航天局的宇航员,执行过STS-51-G、STS-36以及STS-48任务。
  • 贡纳尔·加布里埃尔松贡纳尔·加布里埃尔松(瑞典语:Gunnar Gabrielsson,1891年6月17日-1981年3月29日),瑞典男子射击运动员。他曾代表瑞典参加1920年夏季奥林匹克运动会射击比赛,获得男子团体50米手枪银牌。
  • 萝莎·琳恩萝萨·科斯坦迪安(亚美尼亚语:Ռոզա Կոստանդյան,2000年5月20日-),艺名萝莎·琳恩(英语:Rosa Linn,亚美尼亚语:Ռոզա Լին),是亚美尼亚创作歌手。她于2021年与Nvak Collective签约并发行与基娅拉合唱的首张单曲〈King〉开始了她的音乐生涯。2022年,琳恩以歌曲〈弹指〉(Snap)代表她的国家参加了在意大利杜林举行的2022年欧洲歌唱大赛,虽然在大赛中仅得到第20名,但在赛后歌曲开始在TikTok上爆红并登上多国的音乐排行榜,同时也让琳恩被哥伦比亚唱片签