稀疏语言

✍ dations ◷ 2025-07-26 16:22:51 #稀疏语言

在计算复杂性理论里面, 稀疏语言是一种形式语言 (一堆字串的集合字串),并且这语言内长度为的字串个数,被一个的多项式所限制住。 这种语言主要被用来研究NP这类语言与其他种类语言的关系。包含所有稀疏语言的复杂度类被称作SPARSE。

稀疏语言会被叫做的原因是因为,对任何语言,长度为的字串可能性个数总共有2个,而如果某特定语言只有包含这一些字串里面的多项式个数个,那这语言所包含字串的比例会随着的成长很快的减少。 所有一元语言都是稀疏语言。一个稀疏语言比较不单纯的例子是,某个语言包含所有恰有个1(k是某个常数)的二进制字串,; 对任何长度, 这个语言仅包含 ( n k ) {displaystyle {binom {n}{k}}} 给限制住。

SPARSE包含了TALLY(包含所有一元语言的复杂度类),因为TALLY里面每一种长度的字串至多只有一个。虽然并非所有的P/poly语言都是稀疏语言,但对任何在P/poly里面的语言均存在一个将之转换为稀疏语言的多项式时间变换。 在1979年,Fortune 证明若任何稀疏语言是co-NP-完全,则P = NP; Mahaney在1982年利用这个证明了如果任何稀疏语言是NP-完全, 则 P = NP (这就是Mahaney's theorem). 在1991年, Ogihara和Osamu提出一个基于left-sets的比较简单的证明。 EXPTIME ≠ NEXPTIME 当且仅当存在任何属于NP的稀疏语言不属于P。 在1999年,基于之前Ogihara的证明,Jin-Yi Cai和D. Sivakumar证明出若存在任何稀疏语言是P-完全 问题,则L = P.

相关

  • 七姊妹学园七姊妹学院(英语:Seven Sisters)是形容美国东北部地区7所文理学院间松散关系的一个称呼,因这些学院曾经都是女子学院而得名。7所学院均成立于19世纪,至今仍有5所学院延续这种教育
  • 785年
  • 卡勒布·卡纳莱斯卡勒布·卡纳莱斯(英语:Victor Kaleb Canales,1978年7月7日-)出生于拉雷多。曾执教过NBA球队波特兰拓荒者,目前是纽约尼克的其中一名的助理教练。
  • 中和市综合游乐园中和市综合游乐园为台湾新北市中和区公立游乐园,于1983年开园,原址位在中和区庄敬路上,现今已经废弃改建,一部分成为“中和区公有庄敬停车场”,一部分被纳入“自强游泳池”。1979
  • 都灵和议都灵和议签署于公元1381年8月8日,结束了威尼斯与热那亚间最后一场大战──基奥贾战争。在这场战争中,双方都承受了相当的损失,但热那亚的损失比威尼斯更为严重。最终,威尼斯在与
  • 美国自由意志主义美国自由意志主义是一种运动旨在促进个人自由和最小政府。虽然就世界范围来看,自由意志主义一词被广泛代指社会主义,但在美国自由意志主义一词已经偏离了其政治起源。自由意志
  • 官高站官高站是一个京通铁路上的铁路车站,位于北京市昌平区南邵乡,建于1976年,目前为四等站,邮政编码为102200。目前客运:办理旅客乘降;行李、包裹托运;货运:办理整车、零担货物发到。
  • 孟津站孟津站是位于河南孟津县平乐乡的一个铁路车站,邮政编码471135。车站建于1970年,有焦柳铁路经过该站,现办理客运货运业务。车站距离月山站102公里,隶属郑州铁路局,是四等站,本站及
  • 科托尔科托尔 (黑山语:Kotor/Котор),意大利语称卡塔罗(意大利语:Cattaro),是黑山共和国的一个海岸城市,位于科托尔湾最深入之处,是科托尔区 (面积335平方公里)首府。2011年人口961人 (区人口22,601人)。1900年时天主教徒占当地人口多数 ,今日多数居民信奉东正教。天主教科托尔教区仍以此为其驻地。是黑山著名的旅游胜地。科托尔港自然与历史文化区是世界遗产。
  • 施獭蛤施獭蛤(学名:),亦作施氏獭蛤,俗称象鼻螺,是帘蛤目马珂蛤科獭蛤属的一种。本物种的生长速度较快,一龄贝平均壳长可以达到60毫米以上,平均壳长约84毫米。而且其足部和水管非常发达,肉质鲜美,所以经济价值较高。一般只要养殖年半就可达至推出市面售卖的大小。本物种自然分布于热带、亚热带的海区。在中国大陆和台湾都有分布,但在中国大陆的分布主要在广东、浙江、广西和海南的部分沙或沙泥底质的海区。常栖息在潮下带42-78米。