一元语言

✍ dations ◷ 2025-12-04 08:04:23 #一元语言

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

相关

拟菌病毒Acanthamoeba polyphaga mimivirus拟菌病毒是一个包括Acanthamoeba polyphaga mimivirus（APMV）的一个属，或许是与演化史相关的巨型病毒。通常所说的“拟菌病毒”就指APMV。在口
台北市政府卫生局台北市政府卫生局（简称卫生局），1946年成立，是台北市政府所属的一级机关。1945年，台北市政府暂于台北市警察局设“卫生课”，接管台北市役所卫生课。1946年6月，台北市警察局卫生课独
第一遣外舰队第一遣外舰队（だいいちけんがいかんたい），是旧日本海军部队之一。前身是1917年12月新设的第7战队。1918年2月，它成为独立的遣支舰队（日语：遣支艦隊），1919年8月，再进一步改编为第一遣
宁南黄土丘陵宁南黄土丘陵是指宁夏南部的一片丘陵区域，位于麻黄山北，青龙山、罗山、烟筒山、香山之南，是黄土高原的一部分。包括葫芦河流域、清水河流域。该地区面积16081平方公里，海拔1700-
帝国议会 (德意志帝国)帝国议会（der Reichstag），是指1871年至1918年德意志帝国（第二帝国）的下议院，帝国议会亦延续至魏玛共和国（1919－1933）及德意志第三帝国（1933－1945）时期。1871年4月17日的“德意志帝国宪法
盾女盾女（古诺斯语：），又译盾牌仙女、神盾女孩，是一种在斯堪的纳维亚的民间传说和神话中出现的女战士。盾女经常在萨迦文学中登场，例如“丹麦人事迹”和“赫尔薇尔与霍里克一族的萨迦（英
直流电源芯片直流电源芯片（DCChip）。电子行业者进行交流时的一种习惯称呼“直流芯片”，用着把交流电源以及其他电源处理成直流电源的半导体。
北黄蝶北黄蝶（学名：）为粉蝶科黄粉蝶属下的一个种。本种外观与习性皆与黄蝶十分雷同，借由分子检测与食性研究方得以区分。本种分布于日本、朝鲜半岛南部、台湾、华中与华南地区。本种幼
达沙尔乌帕齐拉达沙尔乌帕齐拉（孟加拉语：ডাসার উপজেলা，英语：Dasar Upazila）是孟加拉国达卡专区马达里布尔县一个乌帕齐拉，于2021年7月26日设立，使该国的乌帕齐拉总数达到495个。据2011年统计，达沙尔共有人口71494人。
太阳系化学太阳系化学，为一门探讨元素与太阳系起源的科学，是宇宙化学的分支。利用陨石与行星际微尘(IDP)中的同位素异常，研究在太阳系中元素与生命的起源。