Saya mencari contoh alami dari algoritma yang efisien (yaitu dalam waktu polinomial) st
- kebenaran dan efisiensi mereka dapat dibuktikan secara konstruktif (misalnya di atau ), tetapi
- tidak ada bukti menggunakan hanya konsep efisien yang diketahui (yaitu kita tidak tahu bagaimana membuktikan kebenaran dan efisiensinya di atau ).S 1 2
Saya bisa membuat contoh buatan sendiri. Namun saya ingin contoh alami yang menarik, yaitu algoritma yang dipelajari untuk kepentingan mereka sendiri, tidak dibuat hanya untuk menjawab pertanyaan jenis ini.