so với

Tôi biết rằng $\mathsf{P}^{\mathsf{NP}[\log n]}$ (logarit nhiều cuộc gọi đến nhà tiên tri NP) tương đương với $\mathsf{P}^{\mathsf{NP}||}$ (số đa thức của các truy vấn song song với nhà tiên tri NP). Tôi đã tự hỏi thời tiết "chức năng" của các lớp này cũng tương đương, đó là, liệu

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

$\mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||}$ Nếu nó được biết là đúng, một con trỏ sẽ thực sự hữu ích.

cc.complexity-theory complexity-classes

— Jorge
nguồn

Đây là một vấn đề mở, nó bao hàm $\mathsf{NP} = \mathsf{RP}$ trong số những thứ khác. Xem bài báo sau:

Alan Selman. Một nguyên tắc phân loại của các lớp chức năng phức tạp. Tạp chí Khoa học Máy tính và Hệ thống 48 (1992), trang 357-381.

Bạn có thể lấy nó ở đây: http://citeseerx.ist.psu.edu/viewdoc/doad?doi=10.1.1.32.7438&rep=rep1&type=pdf

— Jan Johannsen
nguồn

Trong bài báo mà họ sử dụng lớp

, tôi có thể giả định rằng

? như một câu hỏi phụ, là có một nguyên mẫu

bộ -complete?

{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

Về câu hỏi phụ: Ý của bạn là bộ hoàn chỉnh cho

? Người tự nhiên duy nhất tôi biết là tính toán người chiến thắng trong cuộc bầu cử Dodgson, xem bài báo: E. Hemaspaandra, L. Hemaspaandra và J. Rothe. Phân tích chính xác các cuộc bầu cử Dodgson: Hệ thống bỏ phiếu năm 1876 của Lewis Carroll rất khó để tiếp cận song song với NP. J.ACM 44 (1997), trang 214-224

P^{N P | |}

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

— Jan Johannsen

Ở câu hỏi đầu tiên: tôi không biết, nhưng , do đó ngụ ý .

{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

Trên thực tế, những gì tôi đang tìm kiếm là một vấn đề hoàn chỉnh cho

và tôi chưa tìm thấy cái nào cả.

{F P}^{N P | |}

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

— Jorge