PSPACE tamlığı yaklaşık sertlik anlamına mı geliyor?

Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi?

Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?)

PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?

— RB
kaynak

Bkz. Arxiv.org/pdf/math/9409225.pdf

— Saeed

Bu makale PSPACE-tam sorunları için PTAS sonuçları vermektedir: cs.albany.edu/~madhav/pubs.d/stoc94.ps

— Sasho Nikolov

Ugh, bu kötü bir yorumdu. Fikir sezgisel bir tahminde bulunmaktı, eğer gerçeğin bir ifadesi olarak ortaya çıktıysa çok üzgünüm! Bunlardan biri karar problemleri sınıfı ve diğeri de fonksiyon problemleri sınıfıdır, bu yüzden ifade iyi tanımlanmamıştır. Bence akıl yürütme, APX'teki bir soruna tam olarak polinom alanı kullanarak cevap verebilmenizdi. Ancak bağlantıyı resmileştirmek biraz zaman alacaktı ve bildiğim herhangi bir resmi sonuçtan bahsetmiyordum.

— usul

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)$ ) yaklaşım algoritması uygulanabilir bir çözüm olduğunda. Bu argüman PSPACE-complete'ten daha da zor "sınıflar" için geçerli olmalıdır.

— Yonatan N

\subseteq

$\subseteq$

Henüz cevap olmadığı için, cevabımı cevaba çeviriyorum, Marathe ve ark. Onların içinde ICALP93 kağıt , Pspace tamamlandığında bazı sorunlar tanımlanmış ancak sürekli faktör yaklaşımları itiraf, onlar da bazı inapproximability sonuçları sağlar. Bu özel soru için MAX3SAT'ı göz önünde bulundurun, karşılık gelen SAT grafiği kağıtlarında tanımladıkları gibi hiyerarşik bir yapıya sahip olsa bile PSPACE-tamamlandı, ancak bu problem hiyerarşik yapıda 2 yaklaşımlı bir garanti algoritmasına sahiptir.

— Saeed
kaynak