Bisakah kita membuktikan bahwa untuk setiap bahasa yang bukan N P -hard (ini mengasumsikan P ≠ N P ), P L ≠ P SAT ? Bergantian, dapatkah ini dibuktikan dengan asumsi yang masuk akal?
Saya pikir pertanyaan ini memiliki jawaban yang konyol: Let , maka dipastikan P L ≠ P SAT setelah Anda menganggap bahwa P ≠ N P . Jadi Anda mungkin ingin, masih mengasumsikan P ≠ N P , L berada di N P ∖ P dan bukan N P-keras . [Sunting: Oh, saya membaca komentar Anda di bawah, jadi pertanyaan Anda tampaknya adalah: "Apakah itu benar bahwa untuk semua L seperti itu , ketidaksetaraan terjadi?", Daripada "Apakah ada L seperti itu
—
Bruno
? "=> Saya mengedit pertanyaan Anda!]