Văn học xung quanh NP vs EXPTIME

Ngay cả khi đó không phải là một điểm quan trọng, tôi không thấy bất kỳ tài liệu nào xung quanh câu hỏi này. Có kết quả tương đối?

Sẽ không hoàn toàn đơn giản để chứng minh sự bao gồm nghiêm ngặt bằng cách điều chỉnh định lý phân cấp thời gian không xác định bằng cách khám phá tất cả các đường dẫn có thể có của máy NP?

cc.complexity-theory complexity-classes

— Ludovic Patey
nguồn

Thật dễ dàng để chứng minh một sự tách biệt tiên tri giữa NP và EXP. Có một định lý phân cấp thời gian không xác định cho chúng ta biết rằng NP được chứa trong NEXP. Tôi không thấy cách nó có thể được điều chỉnh theo NP so với EXP.

— Robin Kothari

@Robin Vâng, tất nhiên, một lời sấm mà

ngụ ý rằng

. Nhưng vì tôi không tìm thấy lời tiên tri sao cho

, nếu không, bằng chứng về

có thể tương đối hóa.

N P^{A} \neq P S P A C E^{A}

$NP^A \neq PSPACE^A$

N P^{A} \neq E X P^{A}

$NP^A \neq EXP^A$

N P^{B} = E X P^{B}

$NP^B = EXP^B$

N P \neq E X P

$NP \neq EXP$

— Ludovic Patey

Sở thú phức tạp ( qwiki.stanford.edu/index.php/Complexity_Zoo ) nói: ... Có tồn tại các tiên tri liên quan đến việc

[Hel84a], [Hel84b], [Kur85], [ Hel86], .... Xem ví dụ Hai thầy mo rằng lực lượng một vụ co lớn ( people.cs.uchicago.edu/~fortnow/papers/nexp.ps )

E X P = N P = Z P P

$EXP = NP = ZPP$

— Marzio De Biasi

@Vor, @Robin, tôi nghĩ đây nên là câu trả lời

— Suresh Venkat

Các Zoo phức tạp nói:

$EXP=NP=ZPP$

Xem ví dụ Hai nhà tiên tri buộc một cuộc khủng hoảng lớn .

Có lẽ lời tiên tri ban đầu được Dekhtyar sử dụng là ít mạnh mẽ hơn (và đơn giản hơn): Về tính tương đối của các lớp phức tạp xác định và không xác định trong Proc. Cơ sở toán học của CS 1977 ... nhưng tôi không có bài viết của anh ấy.

— Marzio De Biasi
nguồn

Cảm ơn bạn. Tên chính xác của bài báo Dekhtyar là Về sự tương đối hóa của các lớp phức tạp xác định và không xác định.

— Ludovic Patey