Levmore – Hareketli bıçak pişirme prosedürü - Levmore–Cook moving-knives procedure - Wikipedia

Levmore – Hareketli bıçak pişirme prosedürü için bir prosedür kıskanç kek kesme üç ortak arasında. Adını almıştır Saul X. Levmore ve kitabı 1981'de sunan Elizabeth Early Cook.[1]Varsayar kek dır-dir iki boyutlu. İki gerektirir bıçaklar ve dört kesinti, bu nedenle bazı ortaklar bağlantısız parçalar alabilir.

Prosedür

Ortakları Alice, Bob ve Carl olarak adlandırıyoruz.

Başlangıçta Alice pastayı gözlerinde eşit üç parçaya keser. Bob ve Carl her biri en sevdikleri parçayı gösteriyor.

Kolay durum: Bob ve Carl farklı parçaları işaret ediyor. Her biri en sevdiği parçayı ve kalan parçayı Alice alır.

Zor olay: Bob ve Carl aynı parçayı gösteriyor. Diyelim ki bu X parçası ve diğer parçalar Y ve Z. Şimdi Alice iki bıçak alıyor ve bunları eşzamanlı olarak X parçası üzerinde hareket ettiriyor:

    • Bıçak # 1 hareket etti yatay olarak X parçasının solundan sağına. X parçasını iki parçaya böler: sol parça XL ve sağ parça XR.
    • Bıçak # 2 hareket etti dikey olarak, Bıçak # 1'in solunda, öyle ki XL gözlerinde iki eşit parçaya bölünür: sol üst XLT ve sol alt XLB.

Başlangıçta XR = X, yani Bob ve Carl için Y ve Z'den daha büyüktür. Üstelik, başlangıçta XLT ve XLB boştur, bu nedenle XR iki çiftten daha büyüktür: Y + XLT ve Z + XLB.

Bıçak # 1 sağa doğru hareket ettikçe, XLT ve XLB büyürken XR küçülür. Bir noktada, Bob veya Carl, XR'nin iki çiftten birine eşit olduğunu düşünüyor. Var olduğunu düşünen ilk kişi eşitlik "dur!" diye bağırır ve seçtiği çifti alır. Alice diğer çifti alır ve göndermeyen XR alır.

Analiz

Bob'un "dur!" Diye bağırdığı durumu analiz ediyoruz. ve Y + XLT çiftini seçti. Alice Z + XLB alır ve Carl XR alır. Bölüm kıskançtır çünkü:

  • Alice için Z> X> XR yani Alice, Carl'ı kıskanmaz. Dahası, Z = Y ve XLB = XLT, böylece Alice Bob'u kıskanmaz.
  • Bob için Y + XLT = XR> Z + XLB, bu yüzden Bob kıskanmaz.
  • Carl için XR, her iki çiftten de daha büyük (bağırmadığı için) bu yüzden kıskanmıyor.

Diğer durumlar benzer.

Varyantlar

Shouter'ın dört çiftten birini seçmesine izin vermek mümkündür: Y + XLT, Y + XLB, Z + XLT, Z + XLB. Shouter tipik olarak daha erken "dur" diye bağıracağından, bu modifikasyon shouter olmayanı tercih eder.[2]

Levmore ve Cook, genelleme 4 ortak için prosedürlerinin. Ancak, daha sonra bu genellemenin her durumda işe yaramadığı gösterildi.[3]:122–124

Ayrıca bakınız

Stromquist hareketli bıçak prosedürü dört bıçak kullanır, ancak bunlardan yalnızca ikisi kesmelidir, böylece her ortak bağlı bir parça alır.

Referanslar

  1. ^ Saul X. Levmore ve Elizabeth Early Cook (1981). Bulmacalar ve oyunlar için süper stratejiler. Garden City, NYurl =https://catalog.lib.uchicago.edu/vufind/Record/4476190: Doubleday.CS1 Maint: yazar parametresini kullanır (bağlantı) CS1 Maint: konum (bağlantı)
  2. ^ Cytron, Ron (2012). "Pasta Kesme Algoritmaları - Ders 8" (PDF). Alındı 27 Ağustos 2016.
  3. ^ Brams, Steven J .; Taylor, Alan D. (1996). Adil bölünme: pasta kesmekten anlaşmazlık çözümüne. Cambridge University Press. ISBN  0-521-55644-9.