Ini sepanjang garis " Algoritma dari Kitab ". Meskipun reduksi adalah algoritme juga, saya pikir ragu bahwa orang akan memikirkan pengurangan respons terhadap pertanyaan tentang algoritme dari buku ini. Oleh karena itu permintaan yang terpisah!
Pengurangan dari semua jenis dipersilahkan.
Saya akan mulai dengan pengurangan yang sangat sederhana dari vertex cover ke multicut pada bintang. Pengurangan hampir menunjukkan sendiri begitu masalah sumber diidentifikasi (sebelum itu saya akan merasa sulit untuk percaya bahwa masalah akan sulit pada bintang-bintang). Pengurangan ini melibatkan membangun bintang dengan daun, dan menghubungkan sepasang terminal dengan setiap sisi dalam grafik, dan "mudah dilihat" bahwa ia bekerja. Saya akan memperbarui ini dengan tautan ke referensi, setelah saya menemukannya.
Mereka yang kehilangan konteks buku mungkin ingin melihat pertanyaan tentang Algoritma dari buku ini .
Pembaruan: Saya menyadari bahwa saya tidak sepenuhnya jelas tentang apa yang memenuhi syarat sebagai pengurangan dari buku ini. Saya menemukan masalah ini sedikit rumit, jadi saya mengaku setengah sengaja menghindari masalah dengan menyelipkan referensi ke utas lainnya :)
Jadi izinkan saya menggambarkan apa yang ada dalam pikiran saya, dan saya kira tidak usah dikatakan lagi - YMMV dalam hal ini. Saya bermaksud analogi langsung dengan maksud asli Bukti dari Buku. Saya telah melihat pengurangan yang sangat pintar, dan membuat saya ternganga melihat bagaimana urutan pemikiran itu terjadi pada siapa pun. Sementara pengurangan seperti itu membuat saya kagum, itu bukan contoh yang saya ingin kumpulkan dalam konteks ini.
Apa yang saya cari adalah reduksi yang digambarkan tanpa terlalu banyak kesulitan, dan mungkin sedikit mengejutkan, karena mereka mudah dipahami tetapi tidak mudah dibuat. Jika Anda memperkirakan bahwa pengurangan pertanyaan akan membutuhkan kuliah untuk dibahas, maka kemungkinan itu tidak sesuai dengan tagihan, meskipun saya yakin mungkin ada pengecualian di mana ide tingkat tinggi anggun dan iblis ada di rinciannya (untuk catatan, saya tidak yakin bisa memikirkan apa pun).
Contoh yang saya berikan adalah sengaja sederhana, dan semoga sedikit - jika tidak sempurna - menggambarkan karakteristik ini. Pertama kali saya mendengar tentang multi-cut adalah di ruang kelas, dan instruktur kami mulai dengan mengatakan bahwa tidak hanya NP-keras secara umum, tetapi juga NP-hard ketika terbatas pada pohon ... {dramatis jeda} ketinggian satu . Saya ingat tidak bisa membuktikannya dengan segera, meskipun tampaknya jelas dalam retrospeksi.
Saya kira jelas dalam retrospeksi erat menggambarkan apa yang saya cari. Saya tidak yakin apakah ini ada hubungannya dengan kerumitan deskripsi - mungkin ada situasi di mana sesuatu yang kelihatannya suram dapat dikategorikan elegan - merasa bebas untuk memberikan contoh Anda (pengecualian?), Tapi saya akan sangat menghargai pembenaran. Mengingat bahwa setelah beberapa titik ini adalah masalah selera, Anda tentu harus merasa bebas untuk menemukan apa yang saya lihat sangat rumit, sangat cantik. Saya menantikan untuk melihat berbagai contoh!