Son zamanlarda P != NP koruduğu iddia, HP Laboratuarları paper ile dolaşan bir Vinay Deolalikar olmuştur. Birisi bu kanıt matematiksel olarak daha az meyilli insanlar bizim için nasıl çalıştığını anlatabilir mi?

Sadece kağıt üzerinden taradım ama tutarlı, her ne kadar kaba bir özeti işte bu yüzden TAMAM.

Kağıdın sayfa 86.

... polinom zaman algoritmalar arda başarılı “” sorun kesiliyor bu katılan küçük subproblems birbirleri ile koşullu bağımsızlık. Sonuç olarak, polinom zaman çözemezsin algoritmaları sorunları rejimler nerede bloklar halinde olan sipariş temel olarak aynıdır sorun örneği eşzamanlı gerektirir çözünürlük.

Kağıdın diğer bölgelerine belirli NP sorunları bu şekilde ayrılmış olabilir. Böylece NP=/ S

Kağıdın çok koşullu bağımsızlık tanımlanması ve bu iki nokta kanıtlayan geçirdi.