书，罗纳德五世。;Ko、Ker-I 在集上真值表可还原为稀疏集。 （英语） Zbl 0665.68040号 SIAM J.计算。 17，第5期，903-919（1988）. 对于多项式时间可约性\（\leq^P_r）和语言类\（{mathcal C}\），我们为一些\（X\在{mathcalC}\中）定义了\（P_r（{mathcal C}）=\{a:a\leq*P_rX\）。r可以是m（多个）、tt（真实表）、btt（有界真实表）或k-tt（有k个变量的真实表，k是正整数）。论文的主要结果是：(1)（P_{k-tt}）（SPARSE）就k形成了一个适当的无限层次结构。(2)\（P_{btt}\）（SPARSE）正确地包含在\（P_[tt}\）。(3)\（P_{tt}（TALLY）=P_{tt}）\（（SPARSE）=P/poly\）\（=具有多项式尺寸电路的集合类）。(4)\（P_{btt}（TALLY）=P_m（TALLY\）。审核人：G.韦奇星 引用于20文件 理学硕士： 65年第68季度 算法和问题复杂性分析 2015年3月1日 计算复杂性（包括隐式计算复杂性） 2005年第68季度 计算模型（图灵机等）（MSC2010） 03日30分 可计算性和递归理论中的其他度和可约性 关键词：真实可还原性;稀疏集;理货台;多项式大小电路 PDF格式BibTeX公司 XML格式引用 \textit{R.V.Book}和\textit{K.-I Ko}，SIAM J.Compute。17，第5号，903--919（1988；Zbl 0665.68040） 全文： 内政部