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

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

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

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

Сообщества

Настроить S2

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



Пишет flaass ([info]flaass)
@ 2004-06-02 23:52:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
живая математика
Сделаем четыре фантастических предположения.
1. Все женщины линейно упорядочены по красоте.
2. Все женщины линейно упорядочены по уму.
3. Все женщины линейно упорядочены по сексуальности.
4. Одна женщина лучше другой, если она превосходит ее по более половины этих параметров (т.е. по двум или всем).

А теперь с необходимостью следует, что можно найти трех женщин так, что любая из остальных будет хуже одной из этих трех!

Если б я был султан, я б имел трех жен.

UPD Решение здесь.


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


[info]french_man@lj
2004-06-02 06:59 (ссылка)
По трем или всем?

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


[info]flaass@lj
2004-06-02 07:00 (ссылка)
Всего три. Так что более половины = два или три.

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


[info]french_man@lj
2004-06-02 07:03 (ссылка)
A, пардон, мне показалось, что всего 4.

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


[info]a_konst@lj
2004-06-02 07:53 (ссылка)
мды, неочевдино.
это делается "школьной" математикой или нужно что-то нетривиальное знать по комбинаторике/алгебре?

(Ответить)


[info]muchkap@lj
2004-06-02 08:18 (ссылка)
да уж, спасибо, до вашей задачки никогда не осознавал, что женщин конечное число :(

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

Re
[info]granite_golem@lj
2004-06-02 20:12 (ссылка)
Это да. А можно поинтересоваться ходом мысли? В смысле - прихода к данному осознаванию?

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

Re: Re
[info]muchkap@lj
2004-06-02 20:47 (ссылка)
сижу, как-то вечером, думаю о женщинах.. :)

если бесконечное – очевидны примеры, когда задачка неверна. типа: если признаки совпадают, всегда найдётся женщина получше..

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


[info]mi_b@lj
2004-06-02 09:07 (ссылка)
верно, но практически бесполезно, как и любые неконструктивные теоремы существования (eg Минковский-Хлавка)

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


[info]flaass@lj
2004-06-02 20:40 (ссылка)
Доказательство полностью элементарно и конструктивно.
А бесполезна эта теорема потому, что фиг упорядочишь :)

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


[info]mi_b@lj
2004-06-02 20:45 (ссылка)
Я согласен, что можно доказать конструктивно (а как неконструктивно, я не знаю). Но бесполезно так же как неконструктивные результаты потому что существование тройки женщин, которые поставят неразрешимую задачу выбора, неинтересно - может, они все три страшные и глупые, так что вопрос выбора между ними и не стоит.

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

Re
[info]granite_golem@lj
2004-06-02 09:09 (ссылка)
Как интересно! Ну-ка, ну-ка...

Маша: 1 2 3
Лена: 2 3 1
Таня: 3 1 2

Лена лучше Маши, Таня лучше Лены, но Маша лучше Тани! Нетранзитивность, ешкин пень!

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

Re: Re
[info]fairplay@lj
2004-06-02 17:58 (ссылка)
Я хотел тоже отделаться латинским квадратом, но подумал, что неправильно понял задание.

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

Re: Re
[info]granite_golem@lj
2004-06-02 20:10 (ссылка)
Неправильно? А как же?

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

Re: Re
[info]fairplay@lj
2004-06-02 23:52 (ссылка)
Из оставшихся женщин на планете, а не в тройке.

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


[info]ex_ost922@lj
2004-06-02 09:56 (ссылка)
If you came up with this (and just a few more steps) about 50 years ago, you would've won the Nobel prize in Economics.

en.wikipedia.org/wiki/Arrow's_impossibility_theorem

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


[info]fairplay@lj
2004-06-02 17:28 (ссылка)
A theorem from "Perfect mind" movie, right?

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


[info]ex_ost922@lj
2004-06-02 17:36 (ссылка)
I doubt it - Beautiful Mind (if that's the movie you have in mind) was about John Nash, whose papers on bargaining and equilibrium are not related to Arrow's impossibility theorem.

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


[info]fairplay@lj
2004-06-02 17:56 (ссылка)
I ment Beatuful Mind, of course.

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


[info]sguez@lj
2004-08-09 06:41 (ссылка)
Very simple.

1. Elect the prettiest of all - P.
2. Define a set of the smarter ones than P - sp;
if sp is empty, then done: (any two and P) rule.
3. otherwise elect the smartest out of sp - S;
4. define a set of the sexier ones than S - ss.
if ss is empty, than (any one, P, S) rule, because any girl is uglier than P, and either dumber than P - ie worse, or smarter than P and (ss is empty) less sexy than S - ie worse again.
5. Elect the sexiest of ss - X.
6.(P,S,X) are the best.

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


[info]flaass@lj
2004-08-09 16:59 (ссылка)
Увы, не работает...
Это сводится к тому, чтбы выбрать самую лучшую в каждом порядке. Вот пример, когда три самых лучших (1,2,3) не покрывают четвертую:
1423
2413
3412

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


[info]sguez@lj
2004-08-09 18:16 (ссылка)
и то.
плохой из меня математик, пойду в физики.

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


[info]sguez@lj
2004-08-10 14:31 (ссылка)
Ну, вот, как в физики перешел, так мигом решил. Три упорядочения задают трехмерное пространство. Все точки-женщины разбросаны в положительном квадранте. Некоторая плоскость отсекает все эти точки от начала координат и лежит по кр.мере на трех женских точках. Они и есть искомые.

В вашем примере координаты точек такие:

1)022
2)203
3)330
4)111

Ясно, что любая комбинация, куда входит 4 годится.

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

Увы :(
[info]danila_lesnik@lj
2004-08-10 19:12 (ссылка)
Во-первых, видимо имелась ввиду плоскость, которая лежит на 3-х точках, такая, что все остальные точки лежат "ниже" ее? А следуя вашему алгоритму выберутся точки с минимальными параметрами...

Пусть женщин всего 4. Одна очень умная, вторая красивая, третья сексуальная. Оценки такие:
первая: 10 0 0
вторая: 0 10 0
третья: 0 0 10

А у четвертой все параметры близки к 5.
(чуть больше, или чуть меньше, так чтобы построеная вами плоскость проходила через первых трех кандидаток). Но эта самая четвертая все равно лучще всех, правда?

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

Re: Увы :(
[info]sguez@lj
2004-08-10 21:50 (ссылка)
Вы молодой человек неправильно бутерброд едите.

Я строю пространство не по оценкам - они ведь могут быть и такие (1000000000, 999999, 2) - а по номеру места, начиная с нуля.

У меня подозрение (это к хозяину), что я нашел какое-то более сильное утверждение, чем требывалось.. требавылось.. трыбеволось.. вобщем, чем нужно.

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

и все-таки увы
[info]flaass@lj
2004-08-10 22:24 (ссылка)
Не работает.
Первое возражение: на этой плоскости может оказаться больше трех точек (например, все точки могут оказаться на одной плоскости).
Второе возражение: такой выбор не гарантирует успеха. Например, три выбранные точки оказались достаточно близко друг к другу, а какая-то четвертая сильно больше их по одной координате, и едва-едва меньше по двум другим.
Да, я записал решение.

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