稀疏语言

✍ dations ◷ 2025-12-11 10:32:31 #稀疏语言

在计算复杂性理论里面, 稀疏语言是一种形式语言 (一堆字串的集合字串)，并且这语言内长度为的字串个数，被一个的多项式所限制住。这种语言主要被用来研究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.

相关

型号型号，通常是指商业产品，同系列的子产品，为了区隔出厂顺序，而给予不同的型号。型号设定通常是以英文字母开头，阿拉伯数字而后，例如富士数码相机有j100、j150等。除了商业产品外，有些
杨简 (医学家)杨简（1911年8月8日－1981年5月10日），广东梅县人，医学家，中国实验肿瘤学的创始人之一。1934年取得中山大学医学院学士学位。1956年加入九三学社。担任中国医学科学院实验医学研究所
安德鲁·加菲尔德安德鲁·罗素·加菲尔德（英语：Andrew Russell Garfield，1983年8月20日－）是一名美国和英国男演员。他出生于洛杉矶，并在英国舞台剧和电视制作开启了他的演艺生涯。加菲尔德于《獅入
三日赛三日赛是由盛装舞步、场地障碍赛及越野障碍赛三项混合马术比赛，是奥林匹克运动会正式比赛项目。如果可以在同一天内做出上述动作称为一日赛，“三日赛”往往需要超过四天来完成
蒂莫西·皮克林蒂莫西·皮克林（Timothy Pickering，1745年7月17日－1829年1月29日），美国政治家，联邦党人，曾任美国邮政部长（1791年-1795年）、美国战争部长（1795年）、美国国务卿（1795年-1800年）、美国参议
Ecma国际Ecma国际（英语：Ecma International）是一家国际性会员制度的信息和电信标准组织。1994年之前，名为欧洲计算机制造商协会（European Computer Manufacturers Association）。因为计算
吉崎雄亮吉崎雄亮（1981年6月12日－），前日本足球运动员。
卢·贝克小刘易斯·威廉·贝克（英语：Lewis William Beck Jr.，1922年4月19日－1970年4月25日），美国篮球运动员，曾代表美国参加1948年夏季奥运会男子篮球比赛，并获得金牌。在为俄勒冈州立大学效力之前，他在第二次世界大战受了腿伤。 1970年4月，卢因癌症去世。他的葬礼于1970年4月7日在俄勒冈州波特兰市举行。 1981年，卢入选了俄勒冈州体育名人堂。
赫尔曼·勒罗伊·费尔柴尔德赫尔曼·勒罗伊·费尔柴尔德（英语：Herman Le Roy Fairchild，1850年4月29日－1943年11月29日），美国教育家、地质学家。他是提倡撞击事件形成例如亚利桑那州巴林杰陨石坑等撞击坑的先驱者。费尔柴尔德的先祖于1639年自英格兰移居美国康乃狄克州。费尔柴尔德毕业于康乃尔大学，并长年任教于罗彻斯特大学。Template:US-geologist-stub
痛快《痛快》为马来西亚女歌手李佳薇发行的第五张华语音乐专辑，2022年7月26日数字音乐发行，2022年8月5日实体专辑发行，这张为李佳薇签约黑籁音乐所制作的音乐专辑，专辑发行权一样为华纳音乐代理发行，也是继《相反的是》专辑后，睽违四年后再推出的个人第五张录音室专辑。此张专辑佳薇重拾以往擅长的高音歌曲特色，专辑定调为要用“淋漓尽致”的方式畅快演唱，专辑首波主打歌为〈飙〉，佳薇在该曲音域再创新高，并使用海豚音歌唱技巧。专辑第二波主打歌为〈而你还是不爱了〉，该曲风为摇滚加上歌剧魅影风格。专辑第三波主打歌为〈那一