半可行计算理论中的开放问题
计算复杂性
2007-05-23 v1
摘要
半可行算法的研究由 Selman 于二十五年前的工作 [Sel79,Sel81,Sel82] 启动。非正式地说，这一研究方向探讨的是那些集合 L 的力量——对于这些集合 L，存在一个确定性（或在某些情况下，函数可能属于各种非确定性函数类中的一个）多项式时间函数 f，使得当 x 和 y 中至少有一个属于 L 时，f(x,y) 就属于 L ∩ {x,y}。这里的直观理解是：“关于 L 的成员资格，如果有人举枪逼我必须下注判断 x 还是 y 属于 L，我会赌 f(x,y)。”本文介绍了半可行算法理论中的一系列开放问题。对于每个问题，我们阐述了其背景并回顾了已知的部分结果（如果有的话）。
引用
@article{arxiv.cs/0506082,
title = {Open Questions in the Theory of Semifeasible Computation},
author = {Piotr Faliszewski and Lane A. Hemaspaandra},
journal= {arXiv preprint arXiv:cs/0506082},
year = {2007}
}