一元语言

✍ dations ◷ 2025-11-27 14:27:02 #一元语言

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

相关

  • 视神经视神经(Optic nerve)是十二对脑神经中的第二对,编号II,始于眼球的视网膜,穿过视神经管入脑,传导视觉冲动。视神经是十二对脑神经中的第二对。然而,由于它起源于胚胎时期的间脑外翻,
  • 吴定良吴定良(1894年2月5日-1969年3月24日),原名骏、士华,字均一,江苏省金坛县人,人类学家、教育家。中国人类学的主要奠基人。吴定良在人类学研究方面的内容广泛,涉及到人类进化、现代人
  • 麦克斯韦-玻尔兹曼分布麦克斯韦-玻尔兹曼分布是一个描述一定温度下微观粒子运动速度的概率分布,在物理学和化学中有应用。最常见的应用是统计力学的领域。任何(宏观)物理系统的温度都是组成该系统的
  • 玛丽·托德玛丽·托德·林肯(英语:Mary Todd Lincoln,1818年12月13日-1882年7月16日),美国第十六任总统亚伯拉罕·林肯的夫人,银行家的女儿。1841年与林肯结婚,有四个儿子。她出身美国南方,在内
  • 德川庆赖德川庆赖(1828年11月19日-1876年9月21日),御三卿田安德川家第5代及第8代当主,福井藩藩主松平春岳的异母弟。德川庆赖在文政十一年十月十三(1828年11月19日)出生,是德川齐匡的第九子,
  • 危害辨识危害辨识(HAZID)是为了避免或转移危害带来的冲击.辨识一流程及作业中危害的程序。危害辨识是风险评估及风险管理中重要的步骤。此工具可以用来评估暴露在化学源中对健康造成的
  • 零重力研究设施零重力研究设施(英语:Zero Gravity Research Facility),是美国国家航空航天局(NASA)研究无重力或者微重力的最基础设施,这是世界上最大的零重力研究设施,它可以为研究人员提供5.18秒
  • 兰贝托·达拉科斯塔兰贝托·达拉科斯塔(意大利语:Lamberto Dalla Costa,1920年4月14日-1982年),意大利男子有舵雪橇运动员。他曾代表意大利参加1956年冬季奥林匹克运动会有舵雪橇比赛,获得一枚金牌。
  • 琼文琼文可以指:
  • yoyo鹿鸣yoyo鹿鸣(简称“鹿鸣”,英语:Lumi)是由米哈游所制作的以动作捕捉为基础的女性虚拟主播。该角色也在该公司的一款桌面动态壁纸软件《人工桌面》中登场。鹿鸣的视频在bilibili、抖音、YouTube(英语)等平台播出。2020年5月14日,bilibili账号“VAN0va”上传了第一个舞蹈视频《N0va LookDev Test》,简介提到“Here's an initial test of the mocap pipeline that we will be implementing in our