Левмор - пышақтың қозғалмалы пышағы - Levmore–Cook moving-knives procedure - Wikipedia

The Левмор - пышақтың қозғалмалы пышағы үшін рәсім болып табылады тортты қызғанышсыз кесу үш серіктес арасында. Оған байланысты Саул X. Левмор және 1981 жылы ұсынған Элизабет Ерте Кук.[1]Деп болжайды торт болып табылады екі өлшемді. Бұл екі қажет пышақтар және төрт кесу, сондықтан кейбір серіктестер ажыратылған кесектерді ала алады.

Процедура

Біз серіктестердің есімдерін Элис, Боб және Карл деп атаймыз.

Бастапқыда Элис тортты оның көзіне үш бөлікке бөледі. Боб пен Карл әрқайсысы өздерінің сүйікті шығармаларын нұсқайды.

Оңай іс: Боб пен Карл әртүрлі бөліктерді нұсқайды. Әрқайсысы сүйікті шығармасын, ал Алис қалған бөлігін алады.

Қатты жағдай: Боб пен Карл сол кесінді нұсқайды. Бұл X бөлігі, ал қалған бөліктері Y және Z деп айтыңыз. Енді Алиса екі пышақты алып, оларды X кесіндісімен бір уақытта жылжытады:

    • №1 пышақ қозғалады көлденеңінен Х кесіндісінің сол жағынан оның оң жағына. Ол X бөлігін екі бөлікке бөледі: сол бөлік XL және оң бөлік XR.
    • №2 пышақ қозғалады тігінен, №1 пышақтың сол жағында, XL оның көздерінде екі тең бөлікке бөлінгендей: сол жақ жоғарғы XLT және сол төменгі төменгі XLB.

Бастапқыда XR = X, сондықтан Боб пен Карл үшін ол Y мен Z-ден үлкен. Сонымен қатар, бастапқыда XLT және XLB бос, сондықтан XR екі жұпқа қарағанда үлкен: Y + XLT және Z + XLB.

№1 пышақ оңға қарай жылжып келе жатқанда, XR азаяды, ал XLT және XLB өседі. Бір кездері Боб та, Карл да XR екі жұптың біріне тең деп ойлайды. Біріншісі бар деп ойлайды теңдік, «тоқта!» деп айқайлайды және өзінің таңдаған жұбын алады. Алиса басқа жұпты алады, ал басқа адамдар XR алады.

Талдау

Біз Боб «тоқта!» Деп айқайлаған жағдайды талдаймыз. және Y + XLT жұбын таңдады. Алис Z + XLB, ал Карл XR алады. Бөлу қызғанышсыз, себебі:

  • Алиса үшін Z> X> XR, сондықтан Алиса Карлға қызғаныш танытпайды. Сонымен, Z = Y және XLB = XLT, сондықтан Алис Бобқа қызғаныш танытпайды.
  • Боб үшін Y + XLT = XR> Z + XLB, сондықтан Боб қызғанбайды.
  • Карл үшін XR екі жұптан да үлкен (өйткені ол айқайламаған), сондықтан ол қызғанбайды.

Басқа жағдайлар ұқсас.

Нұсқалар

Шақырушыға төрт жұптың біреуін таңдауға мүмкіндік беруге болады: Y + XLT, Y + XLB, Z + XLT, Z + XLB. Бұл модификация жоқты қолдайды, өйткені әдетте «тоқта» деп айқай салады.[2]

Левмор мен Кук а жалпылау 4 серіктес үшін олардың рәсімдері. Алайда кейінірек бұл жалпылау барлық жағдайда жұмыс істемейтіндігі көрсетілді.[3]:122–124

Сондай-ақ қараңыз

The Stromquist қозғалмалы-пышақ процедурасы төрт пышақты пайдаланады, бірақ олардың екеуі ғана кесілуі керек, сондықтан әр серіктес бір-бірімен байланысты бөлшекті алады.

Әдебиеттер тізімі

  1. ^ Саул X. Левмор және Элизабет Ерте Кук (1981). Жұмбақтар мен ойындарға арналған супер стратегиялар. Garden City, NYurl =https://catalog.lib.uchicago.edu/vufind/Record/4476190: Қосарланған күн.CS1 maint: авторлар параметрін қолданады (сілтеме) CS1 maint: орналасқан жері (сілтеме)
  2. ^ Цитрон, Рон (2012). «Тортты кесу алгоритмдері - 8-дәріс» (PDF). Алынған 27 тамыз 2016.
  3. ^ Брамс, Стивен Дж .; Тейлор, Алан Д. (1996). Әділ бөлу: торт кесуден бастап дауды шешуге дейін. Кембридж университетінің баспасы. ISBN  0-521-55644-9.