versus

14

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, apakahP N P | |PNP[logn]PNP||

FPNP[logn]=FPNP||
Jika diketahui benar, sebuah pointer akan sangat membantu.
Jorge
sumber

Jawaban:

16

Ini adalah masalah terbuka, ini menyiratkan antara lain. Lihat kertas berikut:NP=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
1
Dalam makalah itu mereka menggunakan kelas , dapatkah saya berasumsi bahwa F P N P t t = F P N P ? sebagai pertanyaan sisi, apakah ada prototipe F P N P set -Lengkap? FPttNPFPttNP=FPNPFPNP
Jorge
1
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-224PNP||
Jan Johannsen
1
Pada pertanyaan pertama: Saya tidak tahu, tapi , oleh karena itu F P N P [ log n ] = F P N P | | menyiratkan F P N P [ log n ] = F P N P t t .FPNP[logn]FPttNPFPNP||FPNP[logn]=FPNP||FPNP[logn]=FPttNP
Jan Johannsen
Sebenarnya, apa yang saya cari adalah masalah lengkap untuk , dan saya belum menemukannya. FPNP||
Jorge