稀疏语言

✍ dations ◷ 2025-06-26 01:21:58 #稀疏语言

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

稀疏语言会被叫做的原因是因为，对任何语言，长度为的字串可能性个数总共有2个，而如果某特定语言只有包含这一些字串里面的多项式个数个，那这语言所包含字串的比例会随着的成长很快的减少。所有一元语言都是稀疏语言。一个稀疏语言比较不单纯的例子是，某个语言包含所有恰有个1(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.

相关

希望号卫星希望号（英语：Omid，波斯语：امید‎，意为“希望”）是伊朗首颗自行研制的人造卫星。伊朗国家电视台报道说2009年2月2日成功发射了一颗用于科研和通讯的数据处理人造卫星。伊朗自行
温琴佐·贝利尼温琴佐·萨尔瓦多·卡梅洛·弗朗切斯科·贝利尼（意大利语：Vincenzo Salvatore Carmelo Francesco Bellini，1801年11月3日－1835年9月23日）是一位意大利作曲家。生于意大利的西西里
斯特凡·沃伊捷克斯特凡·沃伊捷克（罗马尼亚语：Ştefan Voitec；1900年6月19日－1984年12月24日），罗马尼亚社会民主党总书记、罗马尼亚工人党中央政治执行委员会委员，罗马尼亚部长会议副主席、大国民
四国同盟 (1815年)四国同盟（英语：Quadruple Alliance）是一个由奥地利外相梅特涅组成的军事同盟，在1815年11月20日在维也纳签约，是维也纳会议的组成部分，其组成国包括奥地利、英国、俄罗斯、普鲁士四
万贝格山坐标：47°28′29″N 11°10′9″E / 47.47472°N 11.16917°E / 47.47472; 11.16917万贝格山（德语：Wamberg），是德国的山峰，位于该国东南部，由巴伐利亚负责管辖，属于巴伐利亚前阿尔卑
鲍里斯·巴甫洛维奇·布加耶夫鲍里斯·巴甫洛维奇·布加耶夫（俄语：Бори́с Па́влович Буга́ев，1923年7月29日－2007年1月13日）是苏联飞行员、勃列日涅夫的私人飞机驾驶员，后被勃列日涅夫勃
成吉思山坐标：80°44′S 28°2′W / 80.733°S 28.033°W / -80.733; -28.033成吉思山是南极洲的山峰，位于科茨地，处于福克斯穹以南，属于沙克尔顿山脉的一部分，海拔高度1,305米，在1967年由
黄承祥黄承祥（1944年10月－），男，汉族，浙江余姚人，中华人民共和国政治人物，曾任北京市政协副主席、党组副书记。
五老八中五老八中是在1950年代的武汉大学中文系的鼎盛期，因教师队伍阵容强大而居全国高校中文系之首，形成的一个享誉全国的学术群体的代称。“五老八中”的具体成员前后略有变化，五老还
海伦·麦克洛瑞海伦·伊丽莎白·麦克洛瑞，OBE（英语：Helen Elizabeth McCrory，1968年8月17日－2021年4月16日），英国演员。从伦敦戏剧中心（英语：Drama Centre London）毕业后，麦克洛瑞于1990年完成舞台处女秀《不可儿戏》，其后在莎士比亚环球剧场演出剧目《麦克白》中扮演麦克白夫人（英语：Lady Macbeth），在西区剧院剧目《皆大欢喜》中扮演罗莎琳德，在《第十二夜》中扮演奥利维娅。2006年，麦克若瑞在电影《英女王》中扮演切丽·布思，为她个人的经典角色。其他参演电