5
Doğruluk kanıtı olmayan bir algoritma örneği
Hoare mantığımız var. Neden bir algoritmanın doğru olduğu hala mümkün, ancak doğru olduğuna dair bir kanıt yok? Algoritmanın C ile ifade edildiğini varsayalım. Sonra adım adım yapması gerekeni yaptığını söyleyebiliriz. Benim sorum şu: Bana doğru olan ancak doğruluk kanıtı olmayan bir algoritma örneği verin. EDIT: Ben küçük bir arka plan …