PSPACE完整性是否意味着近似硬度？

在另一篇cstheorySE帖子中的评论中提到，PSPACE完整性暗示APX硬度。任何人都可以解释/分享参考吗？

这是“紧”吗？（即，是否存在PSPACE完全问题，其优化问题允许以多边形时间近似恒定因子？）

一定程度的PH值的完整性如何？是否暗示任何近似硬度？

— RB
source

参见arxiv.org/pdf/math/9409225.pdf

— 赛义德

本文似乎为PSPACE完全问题提供了PTAS结果：cs.albany.edu/~madhav/pubs.d/stoc94.ps

— Sasho Nikolov

gh，那是一个不好的评论。这个想法是要进行启发式猜测，如果作为事实陈述而感到抱歉，那就对不起！一类是决策问题，一类是函数问题，因此该语句甚至定义不明确。我认为这样做的理由是，您可以完全使用多项式空间来回答APX中的问题。但是，要使连接正式化还需要一些工作，而我并不是指我所知道的任何正式结果。

— usul 2014年

f (x)

$f(x)$

\hat{f} (x) = f (x) + n k

$\hat{f}(x) = f(x) + nk$

k

$k$

f

$f$

\hat{f}

$\hat{f}$

f

$f$

(1 - ϵ)

$(1-\epsilon)$

(1 - 1 / n)

$(1-1/n)$ ）（如果有可行的解决方案）的近似算法。该参数应适用于甚至比PSPACE完整“更难”的类。

— Yonatan N

\subseteq

$\subseteq$

由于尚无答案，我将我的评论改为答案，Marathe等。在他们的ICALP93论文中，定义了一些PSPACE完整的问题，但它们接受常数因子近似，它们还提供了一些不可近似的结果。对于这个特定问题，考虑MAX3SAT，即使相应的SAT图具有其论文中定义的分层结构，相应的决策问题也是PSPACE-complete，但是该问题在分层结构中具有2近似保证算法。

— 赛义德
source