«cook-levin» etiketlenmiş sorular

1
Stephen Cook, gerçekte kanıtlamadan önce SAT'ın NP-Hard olduğunu göstermenin önemini gördü mü?
Doğru , probleminin NP zor olduğunu kanıtlamak için , NP'de bulunan tüm olası sorunları ve daha sonra , her birinin örneklerini eşleyen bir polinom zaman hesaplamalı fonksiyon kullanarak kanıtlamanız gerekir. yi örneklerine .AAABiBiB_{i}AAABiBiB_{i}AAA İlk NP zor problemini bulduktan sonra, indirimleri kullanarak diğer birçok sorunun NP Complete veya NP Hard olduğunu …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.