Kısmi bir cevapta bulunma denemesi:
Karar verme problemleri , optimizasyon problemleri yaklaşma algoritmaları perspektifinden ele alındığı gibi göz önüne alınmadan önce bir süredir araştırılmıştır .
Kavramları karar sorunlarından taşırken dikkatli olmalısınız. Bu yapılabilir ve optimizasyon problemleri için kesin bir NP eksiksizliği kavramı verilebilir. Şu cevaba bak . Elbette karar sorunlarının NP tamamlığından farklıdır, ancak isimlerin fikirlerine (azaltma) dayanmaktadır.
Yapılabilir bir çözümle doğrulamaya izin vermeyen bir optimizasyon problemiyle karşı karşıya kalırsanız, yapabileceğiniz pek bir şey yoktur. Bu yüzden genellikle şöyle bir varsayılmaktadır:
- Girdi gerçekten optimizasyon sorunumuzun geçerli bir örneği olup olmadığını etkin bir şekilde doğrulayabiliriz.
- Uygulanabilir çözümlerin boyutu, girdilerin boyutuyla polinom olarak sınırlandırılır.
- Bir çözümün girdi için uygun bir çözüm olup olmadığını etkin bir şekilde doğrulayabiliriz.
- Bir çözeltinin değeri verimli bir şekilde belirlenebilir.
Aksi takdirde, elde etmeyi umabileceğimiz pek bir şey yoktur.
Karmaşıklık sınıfı yalnızca tanım başına karar sorunları içerir. Bu yüzden herhangi bir optimizasyon problemi yok. Ve Doğrulayıcı tabanlı tanım içinde Sözünü özgü . Optimizasyon problemleriyle karşılaşmadım.NPN P N PNPNP
Bir çözümün sadece uygulanabilir değil aynı zamanda en uygun olduğunu doğrulamak istiyorsanız, bunun orijinal optimizasyon sorununu çözmek kadar zor olduğunu söyleyebilirim çünkü verilen bir uygulanabilir ve muhtemelen en uygun çözümü en uygun olmayan şekilde çürütmek için, Daha iyi bir çözüm vermek zorundasınız, bu da en uygun çözümü bulmanızı gerektirebilir.
Ancak bu optimizasyon probleminin zor olduğu anlamına gelmez. Elbette kesin tanımlara bağlı olan bu cevaba bakınız .