鲁棒归约
计算复杂性
2007-05-23 v1
摘要
我们延续 Gavalda 与 Balcazar 所开创的鲁棒归约研究。具体而言，Gavalda 与 Balcazar 在 1991 年的一篇论文中声称鲁棒归约与非确定性强归约的能力之间存在最优分离。遗憾的是，他们的证明无效。我们重新确立了他们的定理。在泛化鲁棒归约时，我们注意到鲁棒强归约由两种限制构成：鲁棒欠产出（robust underproductivity）与鲁棒过产出（robust overproductivity），二者此前已在不同语境中被分别研究过。通过系统分析这些归约的能力，我们探究了每种限制在多大程度上削弱了归约的能力。我们展示了其中一种归约给出了 Karp-Lipton 定理的一种新的强形式。
引用
@article{arxiv.cs/9906033,
title = {Robust Reductions},
author = {Jin-Yi Cai and Lane A. Hemaspaandra and Gerd Wechsung},
journal= {arXiv preprint arXiv:cs/9906033},
year = {2007}
}
备注
26 pages; 1 figure; will appear in Theory of Computing Systems; earlier versions appear as UR-CS-TR-666 and in COCOON 98