hildisvini: (фото)
hildisvini ([personal profile] hildisvini) wrote2005-04-20 08:42 pm

математики, ау :)

кто поможет девочке-двоечнице сделать уроки? :)

имееццо множество бюрошной мебели М = {стол, стул, подоконник, телефон, принтер}, при этом телефон стоит на столе, принтер на подоконнике, а стул стоит просто так :)

имееццо Relation U = {(телефон, стол), (принтер, подоконник)}, где описывается, что на чем стоит.
из этого еще можно наделать Relation'ов типа U^-1 = {(стол, телефон), (подоконник, принтер)}, т. е. определения и значения меняются местами; а также комплементарная Relation U', которая дополняет собсно U до kartesischer Produkt (забыла, как это по-русски :))

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

у меня есть странное чувство, что L будет эквивалентно U, но а) боюсь показаться полной дурой, которая не в состоянии раскрыть тему ебли Relation'ов; б) боюсь недобрать пунктов; в) боюсь пропустить чей-то важное.

у кого-нить есть идеи?

[identity profile] braindancer.livejournal.com 2005-04-20 07:52 pm (UTC)(link)
Имхо, не-эквивалентно.

Стоит: U = {(телефон, десктоп), (десктоп, стол)}
Давит: L = {(телефон, десктоп), (десктоп, стол), (телефон, стол)}

Т.е. типа нужно для каждого субьекта отношения U проверить, не является ли он еще и обьектом в другой паре, и если является - добавить пару "обьект из первой пары - субьект из второй".

Имхо. :)

Пасиб, спаситель прекрасных двоешниц :)

[identity profile] hildisvini.livejournal.com 2005-04-20 08:01 pm (UTC)(link)
десктопа нету. какой десктоп? ты мну не путай :) там пары не пересекаются, я довольно точно написала...

ты имеешь в виду, если множество U нетранзитивно, то множество L будет транзитивным? т. е, если убрать стол, то наебнеццо, скажем, десктоп и все, что стоит на десктопе, в отличие от U, где предмет может стоять только на одном предмете?

Re: Пасиб, спаситель прекрасных двоешниц :)

[identity profile] braindancer.livejournal.com 2005-04-20 08:08 pm (UTC)(link)
Что пары не могут пересекаться - там не указано :)

Да, я это и имел. :) Только понятие транзитивности мной давно забыто... *устыдился*

Re: Пасиб, спаситель прекрасных двоешниц :)

[identity profile] hildisvini.livejournal.com 2005-04-20 08:15 pm (UTC)(link)
явно не указано, просто пример дурацкий немного... у мну так и получаеццо, что ничего не стоит "стопкой" - максимум 2 предмета в Relation задействованы одновременно, поэтому транзитивности явной нет.
а понятие/термин у мну просто на слуху очень - лингвистика ведь :)

[identity profile] s0leil.livejournal.com 2005-04-20 07:54 pm (UTC)(link)
писец .. это вас ЭТОМУ учат ?

[identity profile] hildisvini.livejournal.com 2005-04-20 08:02 pm (UTC)(link)
уху. даже с картинками :)
децкий сад, да? знаю, самой стыдно, но думать умею только до определенного момента, увы :(

[identity profile] http://users.livejournal.com/_svet_lana_/ 2005-04-20 08:14 pm (UTC)(link)
В L будут те, которые в U но не в U^-1

[identity profile] http://users.livejournal.com/_svet_lana_/ 2005-04-20 08:16 pm (UTC)(link)
хотя наверно нет тех которые стоят друг на друге взаимно.... запуталась я :-)

[identity profile] tut-net-nikogo.livejournal.com 2005-04-20 09:39 pm (UTC)(link)
и на кого это ты...?

*задумалась про свои масла...*

[identity profile] hildisvini.livejournal.com 2005-04-21 01:49 pm (UTC)(link)
см. выше - лингвистика. математическая которая.