终极多项式时间

引入了复域上“终极多项式时间”问题类 $\mathcal{UP}$;它包含复域上多项式时间问题类 $\mathcal P$。关于多项式的 $\tau$-猜想蕴涵 $\mathcal{UP}$ 不包含复域上不含常数可定义的非确定性多项式时间问题类。这最后一个命题蕴涵复域上 $\mathcal P \ne \mathcal{NP}$。提出了一个问题的“终极复杂性”概念,它为结构问题的复杂性提供了下界。