Bu, " Kitaptan Algoritmalar " satırları boyuncadır . İndirgemeler de algoritmalar olsa da, bir kişinin kitaptan algoritmalar ile ilgili soruya cevap olarak bir azalma düşüneceğini düşündüm. Dolayısıyla ayrı bir sorgu!
Her türlü indirimden en fazla şey bekleriz.
Köşe kapağından yıldızlardaki multicut'a çok basit bir düşüşle başlayacağım. Azalma, kaynak sorunu tanımlandığında neredeyse kendini öne sürüyor (bundan önce sorunun yıldızlarda zor olacağına inanmakta zorlanacağım). Bu azaltma, yaprakları ile bir yıldız inşa etmeyi ve grafikteki her kenar ile bir çift terminali birleştirmeyi içerir ve çalıştığını görmek kolaydır. Bunu bulduktan sonra bir referans bağlantısıyla güncelleyeceğim.
Kitabın içeriğini kaçırmayanlar, algoritmalar hakkındaki soruya kitaptan bakmak isteyebilirler .
Güncelleme: Kitabın indirgenmesi olarak neyin açık olduğu konusunda tam olarak net olmadığımı fark ettim. Bu konuyu biraz zor buluyorum, bu yüzden diğer konuya atıfta bulunarak konuyu yarı bilerek atlattığımı itiraf ediyorum :)
Öyleyse aklımdakileri tarif edeyim ve sanırım demeden devam ediyor - bu konuda YMMV. Kitaptaki Kanıtların asıl amacına doğrudan bir benzetme niyetindeyim. Son derece zeki indirimler gördüm ve beni bu düşünceler dizisinin nasıl birisine geldiğini açıklamaya bıraktım. Bu tür indirimler beni kesin bir huşu duygusuyla bıraksa da, bu bağlamda toplamaya çalıştığım örnekler bunlar değil.
Aradığım şey, çok fazla zorluk çekmeden tarif edilen ve kavraması kolay fakat gelmesi kolay olmadığı için hafif şaşırtıcı olan indirimler. Söz konusu düşüşün ele alınması gereken bir ders gerektireceğini tahmin ediyorsanız, o zaman büyük olasılıkla tasarıya uymuyor olmasına rağmen, üst düzey fikrin zarif ve şeytanın ayrıntılarda olduğu istisnalar olabileceğinden eminim. Kayıt, herhangi birini düşünebileceğimden emin değilim).
Verdiğim örnek, kasıtlı olarak basitti ve umarım bir şekilde - mükemmel olmasa da - bu özellikleri göstermektedir. Ağaçların sınırlı zaman çok kesim duydum ilk kez bir sınıfta oldu ve bizim eğitmen genel olarak NP-zor değil sadece olduğunu söyleyerek başladı bunun {dramatik duraklama} ... hatta NP-zor yüksekliği bir . Retrospektifte açık görünse de hemen kanıtlayamadığımı hatırlıyorum.
Sanırım geçmişe bakıldığında neyi aradığımı yakından açıklıyor. Bunun, açıklamanın karmaşıklığı ile bir ilgisi olup olmadığından emin değilim - belki de görünüşe göre bulanık bir şeyin zarif olarak sınıflandırılabileceği durumlar vardır - örneklerinizi ortaya koymaktan çekinmeyin (istisnalar?), Ancak gerçekten bir gerekçeyi takdir ediyorum. Bir noktadan sonra bunun bir zevk meselesi olduğu göz önüne alındığında, kesinlikle delice karmaşık, mükemmel güzellikte gördüğümü bulmakta özgürsünüz. Çeşitli örnekler görmek için sabırsızlanıyorum!