一元语言

✍ dations ◷ 2025-07-06 09:35: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则将这个结果一般化到稀疏语言上面。

相关

  • 参赛国欧洲歌唱大赛自1956年创办以来,共有52个国家曾经参加比赛,其中有26个国家曾经获得冠军。欧洲歌唱大赛由欧洲广播联盟组织,每年由一个成员国负责主办。各参赛国的联盟成员广播公
  • 国务院常务会议组成人员政治主题国务院常务会议是中华人民共和国国务院现行的法定会议之一,由国务院总理、副总理、国务委员、国务院秘书长组成,由总理召集和主持。讨论决定国务院工作中的重大问题。
  • EktachromeEktachrome,中文名埃克塔克罗姆,是柯达公司生产一系列彩色反转胶卷的产品商标。Ektachrome自从1940年代推出以来,存在许多种不同规格尺寸的胶片产品,从135底片至11×14寸大画幅
  • 求求罗香树求求罗香树(学名:;梵语:गुग्गुल,guggula或गुग्गुलु,guggulu)是橄榄科没药树属灌木或小乔木,也叫穆库没药、穆库尔没药(异名:;阿拉伯语:مقل‎,muql),分布于印度、巴基斯坦
  • 统一面包统一面包是统一企业旗下的一个面包品牌。1980年统一企业于食品群下设立面包部,同时成立中坜大面包厂,并开始以统一面包为品牌大量生产面包,当时主要销售管道除了统一超商外,也成
  • 北海道驹岳北海道驹岳(北海道驹ヶ岳、ほっかいどうこまがたけ)是位在北海道的活火山(成层火山)。标高1,131米。渡岛国・渡岛半岛的地标。也称作虾夷驹ヶ岳(えぞこまがたけ)、渡岛驹ヶ岳(おし
  • 浙农21浙农21,是浙江农业大学茶学系研发推广的一种茶叶品种、中国国家级茶树良种。浙农21为无性繁殖系品种,为小乔木型、中叶类、中生偏早种。1950年代,中国茶叶公司为了推广红茶良种
  • 单一(书写)语言单一(书写)语言(挪威语:Ett (skrift)språk)是一个挪威政党,其主要目标即是废除在学校教授和国营企业使用新挪威语书写系统。该党由一位当时教授挪威语的69岁教师Einar Smørdal所成立,并参与2009年挪威国会大选中的阿克什胡斯郡选区,最后仅获得103票而落选 。该党短期目标是把目前小学和中学都列为必修的新挪威语课程改为选修;长期目标则是把书面挪威语列为挪威语唯一的书写系统。该党也强调,他们并不反对使用挪威语方言,但是反对当代挪威语有两种并行的书写系统(书面挪威语和新挪威语)。
  • 松原大典松原大典(1984年10月4日-)日本男性声优。所属事务所为青二Production。北海道出身。血型AB型。アミューズメントメディア综合学院毕业。粗体字为主要角色。2005年2006年2007年2008年2009年2010年2012年2013年2014年2015年2006年2008年2011年2007年2008年2009年2011年2012年2016年2019年2014年
  • 帕里克定理在理论计算机科学中,帕里克定理指出,对于上下文无关语言,如果只关心其中每个终止符号出现的次数,而不考虑它们的顺序,那么存在正则语言与其对应。这个定理可用于确定具有给定数量终止符号的字符串是否能为上下文无关语法接受。1961年罗希特·帕里克第一次证明了它,论文于1966年再次发表。令 Σ = { a 1 ,