强健的简化
摘要：鲍卡扎尔和加瓦尔达的鲁棒约化研究继续进行。特别是，鲍卡扎尔和加瓦尔达在1991年的一篇论文中声称具有最优鲁棒和非确定性强约化之间的差距。然而，他们的证明是无效的。我们重新建立了他们的定理。在推广鲁棒约化的同时，我们注意到鲁棒的强约化是由两个限制构建的，即鲁棒的生产力不足和鲁棒的生产力过剩，这两个限制在其他情境中已经进行了单独的研究。通过系统地分析这些约化的能力，我们探讨了每个限制减弱约化能力的程度。我们证明其中一种约化产生了一种新的强形式的Karp-Lipton定理。
作者：Jin-Yi Cai, Lane A. Hemaspaandra, Gerd Wechsung
论文ID：cs/9906033
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23