versus

Saya tahu bahwa (secara logis banyak panggilan ke oracle NP) setara dengan (polinomial jumlah kueri paralel ke oracle NP). Saya bertanya-tanya apakah versi "fungsi" dari kelas-kelas ini juga setara, yaitu, apakah $\mathsf{P}^{\mathsf{NP}[\log n]}$ $\mathsf{P}^{\mathsf{NP}||}$

{F P}^{N P [\log n]} = {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}$ Jika diketahui benar, sebuah pointer akan sangat membantu.

cc.complexity-theory complexity-classes

— Jorge
sumber

Ini adalah masalah terbuka, ini menyiratkan antara lain. Lihat kertas berikut: $\mathsf{NP} = \mathsf{RP}$

Alan Selman. Taksonomi Kelas Fungsi yang Kompleks. Jurnal Ilmu Komputer dan Sistem 48 (1992), hlm. 357-381.

Anda bisa mendapatkannya di sini: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.7438&rep=rep1&type=pdf

— Jan Johannsen
sumber

Dalam makalah itu mereka menggunakan kelas

, dapatkah saya berasumsi bahwa

? sebagai pertanyaan sisi, apakah ada prototipe

set -Lengkap?

{F P}_{t t}^{N P}

$\mathsf{FP}^{\mathsf{NP}}_{tt}$

{F P}_{t t}^{N P} = {F P}^{N P ‖}

$\mathsf{FP}^{\mathsf{NP}}_{tt}=\mathsf{FP}^{\mathsf{NP}\|}$

{F P}^{N P ‖}

$\mathsf{FP}^{\mathsf{NP}\|}$

— Jorge

Pada pertanyaan samping: Apakah maksud Anda set lengkap untuk

? Satu-satunya yang saya tahu adalah menghitung pemenang dalam pemilihan Dodgson, lihat koran: E. Hemaspaandra, L. Hemaspaandra dan J. Rothe. Analisis Tepat Pemilihan Dodgson: Sistem Pemungutan Suara Lewis Carroll 1876 Sulit untuk Akses Paralel ke NP. J.ACM 44 (1997), hlm. 214-224

P^{N P | |}

$\mathsf{P}^{\mathsf{NP}||}$

— Jan Johannsen

Pada pertanyaan pertama: Saya tidak tahu, tapi

, oleh karena itu

menyiratkan

{F P}^{N P [\log n]} \subseteq {F P}_{t t}^{N P} \subseteq {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} \subseteq \mathsf{FP}_{tt}^{\mathsf{NP}} \subseteq \mathsf{FP}^{\mathsf{NP}||}$

{F P}^{N P [\log n]} = {F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}$

{F P}^{N P [\log n]} = {F P}_{t t}^{N P}

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}_{tt}^{\mathsf{NP}}$

— Jan Johannsen

Sebenarnya, apa yang saya cari adalah masalah lengkap untuk

, dan saya belum menemukannya.

{F P}^{N P | |}

$\mathsf{FP}^{\mathsf{NP}||}$

— Jorge