半可行计算理论中的未解问题
摘要：半可行算法的研究在四分之一个世纪前由Selman的工作发起 [Sel79,Sel81,Sel82]。非正式地说，这个研究方向研究的是这些集合L的能力，其中存在一个确定性（或在某些情况下，函数可能属于各种非确定性函数类）的多项式时间函数f，当x和y中至少有一个属于L时，f(x,y)属于L cap {x,y}。这里的直觉是这样说的：“关于L的成员资格，如果你拿枪指着我的头，强迫我下注x或y中的一个属于L，我的钱会下注在f（x，y）上。”在这篇文章中，我们提出了一些半可行算法理论中的未解问题。对于每个问题，我们介绍其背景，并回顾已知的部分结果，如果有的话。
作者：Piotr Faliszewski and Lane A. Hemaspaandra
论文ID：cs/0506082
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23