Sağlamlık ve Çıkarımın Bütünlüğü Örneği

11

Aşağıdaki örnek, bir çıkarım algoritmasının sağlam ve eksiksiz olup olmadığı konusunda doğru mudur ?

Samanlıkta iğneler a, b, c olduğunu ve ayrıca iğneleri bulmak için tasarlanmış bir çıkarım algoritmasına sahip olduğumuzu varsayalım.

  • ses - Sadece a, b ve c iğneleri elde edilir.

  • tam - İğneler a, b ve c elde edilir. Başka saman da elde edilebilir.

logic 
— Isaacs
kaynak

Yanıtlar:

10

Neredeyse doğru anladınız, ancak sağlamlık tanımınız doğru değil veya belki de çok ince.

Çıkarılan algoritmanın geri dönen her şey bir iğne ise (dolayısıyla bazı iğneler gözden kaçabilir) ve tüm iğneler döndürülürse tamamlanırsa (dolayısıyla bazı samanlar da geri döndürülebilir) sağlam olduğunu söyleyebilirim .

— Dave Clarke
kaynak
Bu bir dil anlambilimi meselesi olabilir. Samanın yanındaki tek nesnenin üç iğne olduğunu varsayarsak, OP'nin ifadesi doğru.
— Raphael
1
Her durumda, cevabım daha net hale getirmek için bunu dile getiriyor.
— Dave Clarke
1
Cümleleme olsaydı Nitekim, "Sadece, b ve c iğneler edilebilir elde edilen" bir cevap vermezdim.
— Dave Clarke
Yani ses , algoritmik fonksiyonun iğneler olduğu anlamına gelir ve tam olması , fonksiyonun samanlıkta gereksiz küme ile ilgili olduğu anlamına gelir ;-)
— Musa Al-hassy
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.