一元语言

✍ dations ◷ 2024-12-24 08:46:16 #一元语言

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

相关

  • 饮食男女《饮食男女》(英文:Eat Drink Man Woman)是一部于1994年出品的台湾剧情片,由李安担任导演,以及由郎雄、杨贵媚、吴倩莲和王渝文担任主演。刻划出家庭亲情及世代隔阂的电影作品。
  • 奥萨 (印度)奥萨(Ausa),是印度马哈拉施特拉邦Latur县的一个城镇。总人口30863(2001年)。该地2001年总人口30863人,其中男性15869人,女性14994人;0—6岁人口4810人,其中男2532人,女2278人;识字率64.
  • 高桥爱高桥爱(1986年9月14日-),福井县出身,日本女子偶像团体“早安少女组。(以下简称早安)”第五期成员,隶属演艺经纪公司UP-FRONT AGENCY旗下。2007年6月2日接任队长(队史第六任),在任近四
  • 一种新科学《一种新科学》由斯蒂芬·沃尔夫勒姆所著,出版于2002年。它包括关于计算系统的实证和系统研究,如元胞自动机。斯蒂芬·沃尔夫勒姆把这些系统称为简单的程序,并且认为适用于简单
  • 中国化学工程集团中国化学工程集团有限公司(英语:China National Chemical Engineering Group Corporation Ltd.,缩写:CNCEC),简称中国化学,是中华人民共和国一家主要从事建筑工程、环境治理、相关
  • 弗雷斯·雷·莫尔顿弗雷斯·雷·莫尔顿(April 29, 1872 – December 7, 1952)是一位美国天文学家。他出生在密歇根州的勒罗伊,并在阿尔比恩学院(英语:Albion College)接受教育。他在1894年获得文学士
  • 阿博拉赫阿博拉赫(Stanley Opoku Aborah,出生于1987年6月23日)是比利时籍加纳的职业足球运动员,司职中场,现效力于英格兰足球乙级联赛诺士郡。阿博拉赫具有加纳和比利时国籍,2013年3月曾代
  • 维姆·琼克维姆·琼克(Wilhelmus ("Wim") Maria Jonk,1966年10月12日- ),荷兰前足球运动员,现任荷乙俱乐部福伦丹主教练,曾是荷兰国家队成员之一。维姆·琼克本身曾效力过荷兰豪门阿贾克斯,早在八十年代末已担任俱乐部首发。作为一个中场中路球员,琼克曾在一季内射入6球。由于荷兰国家队中场人才多,他未能入选国家队出战1990年世界杯。1992年他签约加盟意大利大俱乐部国际米兰,同时期还有博格坎普。不幸地琼克在国际米兰并不如意,多次退居后备。虽然1994年世界杯他终告随国家队出赛,并在八分之
  • 睢州之变睢州之变,1645年南明河南总兵许定国杀死兴平伯高杰投降清朝的事件。弘光元年(顺治二年,1645年)初,南明的督师大学士史可法派高杰率军北上,想要联合清军扑灭李自成的大顺军。高杰出师时,曾给驻守黄河北岸的清朝肃亲王豪格写信,表达“会师剿闯”。豪格在回信中对高杰招降,不对“合兵剿闯”给予理会。弘光元年(1645年)正月初十日,高杰同河南巡抚越其杰、巡按陈潜夫带领军队来到睢州。镇守睢州的明朝河南总兵许定国已经秘密同清朝勾结,派儿子许尔安、许尔吉送往黄河北岸清军营中充当人质。许定国出城拜见高杰。高杰知道了许定国
  • 埃里克·比伦埃里克·比伦(瑞典语:Erik Byléhn,1898年1月15日-1986年11月14日),瑞典男子田径运动员,主攻400米和800米。他曾代表瑞典参加1924年和1928年夏季奥林匹克运动会田径比赛,共获得二枚银牌。