Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет flaass ([info]flaass)
@ 2004-08-11 14:05:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Если б я был султан
Рассказываю решение задачи про трех жен, найденное пятью аксакалами (N.Alon, G.Brightwell, H.Kierstead, A.Kostochka, P.Winkler).

Условие: все женщины Земли линейно упорядочены по красоте, по уму, и по доброте. Одну женщину считаем лучше другой, если она превосходит ту как минимум по двум качествам из трех. Выбрать трех женщин так, чтобы любая из невыбранных была бы хуже кого-то из выбранных.

Решение.
Сначала создадим команду "умниц".
Возьмем в команду самую умную. Если она лучше всех, то хватит и ее одной, и задача решена. Иначе - рассмотрим тех, кто лучше нее, это множество непусто. Будем добавлять в команду следующих по уму женщин до тех пор, пока множество женщин, лучших, чем вся команда ("множество недобитых"), остается непустым.
В результате мы имеем команду "умниц" и непустое множество "недобитых". Причем при добавлении следующей умницы (назовем ее А) множество недобитых станет пустым: то есть, А лучше всех недобитых. Возьмем одну из недобитых, назовем ее Б. (Замечание: А и Б могут совпасть; зто не страшно.)
Теперь из команды умниц выберем двоих: самую красивую среди них (В) и самую добрую (Г).
И наконец, два простых упражнения: сначала доказать, что А,Б,В,Г вчетвером уже годятся, а потом доказать, что одну из В,Г можно выкинуть.

PS Сексуальность (в прежней формулировке) заменена добротой по предложению А.Косточки. Действительно, такой базис более "ортогонален" :)

PPS Статья аксакалов в виде ПДФ. Очень рекомендую тем, кто заинтересовался.


(Добавить комментарий)


[info]pha@lj
2004-08-10 23:44 (ссылка)
так, можешь условие оформализовать?

(Ответить) (Ветвь дискуссии)


[info]flaass@lj
2004-08-11 02:07 (ссылка)
Вроде, дальше уже некуда... Какие там могут быть разночтения.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]skabbit@lj
2004-08-11 04:52 (ссылка)
ну например в случае отличия одного из параметров будет равенство или несравнимость?

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]flaass@lj
2004-08-11 05:22 (ссылка)
Равенства не бывает. Вот эта фраза: "все женщины Земли линейно упорядочены..."
Значит, по определению, любые две (по каждому из параметров) различаются.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]skabbit@lj
2004-08-12 03:30 (ссылка)
блин, извиняюсь за свою непонятливость+невнимательность.
действительно все хорошо.

да, оч занимательная задачка. без подсказки про "добрее или красивее А чем Б" не понял бы последнего шага. =)

(Ответить) (Уровень выше)


[info]pha@lj
2004-08-12 03:53 (ссылка)
для любого ж из Ж
к(ж1,ж2), у(ж1,ж2), д(ж1,ж2) ЖхЖ |-> {0,1}
к,у,д(ж1,ж2)=!к,у,д(ж2,ж1)
л(ж1,ж2) = к(ж1,ж2)&у(ж1,ж2) v к(ж1,ж2)&д(ж1,ж2) v у(ж1,ж2)&д(ж1,ж2)

(ну-ка, проверим, антисимметричность, это кажется называлось !л(ж1,ж2) = | деморган | = [!к(ж1,ж2) v !у(ж1,ж2)] & [!к(ж1,ж2) v !д(ж1,ж2)] & [!у(ж1,ж2) v !д(ж1,ж2)] = [к(ж2,ж1) v у(ж2,ж1)] & [к(ж2,ж1) v д(ж2,ж1)] & [у(ж2,ж1) v д(ж2,ж1)] = ку + кду + ук + уд + кд + кд + укд + уд = | группируем | = ку(1+д)+ду(1+к)+кд(1+у)=ку+ду+кд... ага, выполняется)

У1 = {ж1|все ж1,ж2 из Ж: ж1!=ж2 -> у(ж1,ж2)} (ха-ха, смешно, так определяется единица через "следовать за")
Н1 = {ж1|ж1 из У1\Ж, ж2 из У1: л(ж1,ж2)}
если |Н1| = 0 => У1 - чтн, иначе
Уn = Уn-1 U {ж1|все ж1,ж2 из Уn-1\Ж: ж1!=ж2 -> у(ж1,ж2)}
Hn = {ж1|ж1 из Уn\Ж, ж2 из Уn: л(ж1,ж2)}
|Hn+1| = 0 (в крайнем случае Уn+1=Ж)

{А} = Уn/Уn+1 - вот она, попалась
Б из Hn
В,Г из {ж1|все ж1,ж2 из Уn: ж1!=ж2 -> к(ж1,ж2) v д(ж1,ж2)} = L

строим Q = {А,Б,В,Г}
строим Hq = {ж1|ж1 из Q\Ж, ж2 из Q: л(ж1,ж2)}

надо доказать |Нq| = 0... фуф, беру таймаут ещё подумать...

(Ответить) (Уровень выше)


[info]sguez@lj
2004-08-11 04:47 (ссылка)
придираюсь из зависти к мэтрам:)

Откуда это следует: "при добавлении следующей умницы множество недобитых станет пустым"?

(Ответить) (Ветвь дискуссии)

вот откуда
[info]flaass@lj
2004-08-11 05:25 (ссылка)
"до тех пор, пока множество женщин, лучших, чем вся команда ("множество недобитых"), остается непустым."

(Ответить) (Уровень выше) (Ветвь дискуссии)

Re: вот откуда
[info]sguez@lj
2004-08-11 06:20 (ссылка)
Oops!

(Ответить) (Уровень выше)


[info]skabbit@lj
2004-08-11 04:58 (ссылка)
"а потом доказать, что одну из В,Г можно выкинуть."

чесно сказать скорее всего туплю, однако можно с этого места поподробнее. =)

(Ответить) (Ветвь дискуссии)


(Анонимно)
2004-08-11 10:07 (ссылка)
Zavisit ot togo dobree ili krasivey A chem B.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]flaass@lj
2004-08-11 14:54 (ссылка)
Ага!

(Ответить) (Уровень выше)


[info]dovlet@lj
2004-08-11 07:00 (ссылка)
Стал я читать решение и почти ничего не понял.
Будем добавлять в команду следующих по уму женщин до тех пор, пока... "множество недобитых"... остается непустым.
Т.е. после этой операции "множество недобитых", логично предположить, пусто.
Но.
В результате мы имеем ... непустое множество "недобитых"
Дальше.
Причем при добавлении следующей умницы (назовем ее А) множество недобитых станет пустым
Если я правильно понял, мы добавляли умниц в команду не до опустошения множества "недобитых", а до тех пор, пока до опустошения множества "недобитых" осталось извлечь из него A.
Но тогда почему
А лучше всех недобитых
И лучше каких "недобитых" она, если она является последним элементом "недобитых"? Или как? Ну и дальше то же самое:
Возьмем одну из недобитых
Ничего не понятно.

(Ответить) (Ветвь дискуссии)


[info]avva@lj
2004-08-11 07:49 (ссылка)
1. Следующие по уму женщины добавляются не из недобитых, а вообще из всех. Поэтому A необязательно из недобитых.
2. Они добавляются до тех пор, пока множество недобитых остаётся непустым, т.е. после того, как мы закончили их добавлять, множество недобитых всё ещё непустое. Т.к. мы на этом закончили, следующее по счёту добавление сделало бы его наконец пустым, т.е. A, которую мы должны были добавить на следующем шаге, "добила" бы всех остававшихся на тот момент недобитых, т.е. A лучше их всех (кроме, возможно, самой A, если она случайно оказалась недобитой на момент её выбора).

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]dovlet@lj
2004-08-12 07:47 (ссылка)
Да, ясно. Барьер взрос из фразы "пока... остается непустым". "Добавляем, пока очередное добавление оставляет его непустым" прозвучало бы куда внятнее.
Несмотря на то, что, похоже, мое двухчасовое просиживание с ручкой пошло на смарку, и после реплики анонима я тут уже никого не удивлю, все же было весьма интересно.

(Ответить) (Уровень выше)


[info]dovlet@lj
2004-08-12 07:50 (ссылка)
Насмарку, конечно же.

(Ответить) (Уровень выше)


[info]danila_lesnik@lj
2004-08-11 18:50 (ссылка)
> В результате мы имеем команду "умниц" и непустое множество "недобитых".

Этот тезис слегка сбивает с толку.
Если я правильно понял алгоритм, то к этому моменту мы имеем не 2 а 3 множества (большими буквами я буду обозначать множества, маленькими - элементы):
У - умницы. Несколько самых умных женщин. Самая глупая из них обозначена "а".
Н - недобитые. Каждая "н" лучше каждой "у" кроме "а". В свою очередь "а" лучше всех "н".
О - остальные. Каждая "о" хуже хотя бы какой-то "у".

Если теперь взять "б" - наугад из Н, "в" - самую красивую из У, "г" - самую, эээ, добрую из У, то действительно:

любая "у" (короме "а") хуже "б"
любая "н" хуже "а"
любая "о" хуже какой то "у1" по уму и какому-то еще параметру, значит она хуже либо "в" либо "г" (по уму хуже, так как "в" и "г" из команды умниц, ну и еще по какому-то из параметров будет выполняться "о" < "у1" < "в" либо "о" < "у1" < "г")

Итак, четырех достаточно.

Как отбраковать одну из "в", "г" продолжаю пока не понимать.

(Ответить) (Ветвь дискуссии)

От жеж!
[info]danila_lesnik@lj
2004-08-11 19:28 (ссылка)
> Как отбраковать одну из "в", "г" продолжаю пока не понимать.

Прочитал выше, что надо обратить внимание на то добрее или красивее "а" чем "б"!!! Прекратил не понимать.

(Ответить) (Уровень выше)

статья аксакалов
[info]alexanderr@lj
2004-08-12 17:32 (ссылка)
http://www.math.tau.ac.il/~nogaa/PDFS/abkkw2.pdf

(Ответить) (Ветвь дискуссии)


[info]flaass@lj
2004-08-15 00:26 (ссылка)
Да, та самая!

(Ответить) (Уровень выше)