布尔运算、连接和扩展低层次结构

摘要:加入两个集合可能会落入扩展低层次结构的较低层次,而这两个集合本身不在该层次中。特别地,存在一些集合不属于扩展低层次结构的第二层(EL_2),但它们的“join”操作的结果却属于EL_2。换句话说,从扩展低层次的角度看,join操作可能会降低复杂性。由于直观上看,join操作并不降低复杂性,我们的结果表明扩展低层次结构不适合作为复杂性度量。我们还研究了EL_的封闭性质,并证明EL_2在某些布尔操作下不是封闭的。为此,我们建立了第一个已知的(也是最优的)EL_2下界,用于推广Selman的P-selectivity概念,该结果本身也可视为一项有趣的成果。

作者:Lane A. Hemaspaandra, Zhigen Jiang, Joerg Rothe and Osamu Watanabe

论文ID:cs/9907037

分类:Computational Complexity

分类简称:cs.CC

提交时间:2007-05-23

PDF 下载: 英文版 中文版pdf翻译中