相对某个预言机存在完全不相交 coNP 对但无完全全多项式搜索问题
摘要
本文的所有版本均包含错误。因此，存在一个预言机使得 (i) 存在完全不相交 coNP 对且 (ii) 不存在完全全多项式搜索问题，必须被视为一个开放问题。下面我们参考发表在第 22 届计算理论基础国际研讨会论文集 [Dos19] 中的版本，因为这是已发表的最新版本。错误位于声明 4 与 5 之间的如下句子中：“现在令 u' [严格扩展符号] u 为对所有长度为 q(n) 的单词定义的极小 t'-有效预言机（根据声明 4 这样的预言机存在）。”问题在于此处无法应用声明 4，因为对所有 \alpha，函数 t' 都不等于 。参考文献 [Dos19] Titus Dose. Complete disjoint conp-pairs but no complete total polynomial search problems relative to an oracle. In Leszek Antoni Gasieniec, Jesper Jansson, and Christos Levcopoulos, editors, Fundamentals of Computation Theory - 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings, volume 11651 of Lecture Notes in Computer Science, pages 153{167}. Springer, 2019.
关键词
引用
@article{arxiv.1903.11860,
title = {Complete Disjoint coNP-Pairs but no Complete Total Polynomial Search Problems Relative to an Oracle},
author = {Titus Dose},
journal= {arXiv preprint arXiv:1903.11860},
year = {2019}
}
备注
Unfortunately, the paper contained a mistake that I was not able to correct