Berdasarkan buku Pengantar Algoritma , kebenaran dari algoritma serakah membutuhkan masalah untuk memiliki dua properti:
- properti pilihan serakah
- substruktur optimal
Sangat mudah untuk menghasilkan contoh-contoh balasan yang solusi serakah gagal karena kurangnya properti pilihan serakah, misalnya masalah 0/1 ransel. Tetapi saya menemukan kemungkinan lain cukup sulit untuk dibayangkan. Adakah yang bisa memberi saya masalah dan algoritma serakah yang sesuai yang memenuhi properti pertama tetapi bukan yang kedua?