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

[hildisvini]

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

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

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

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

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

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

Comments

[braindancer.livejournal.com]

Имхо, не-эквивалентно.

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

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

Имхо. :)

[s0leil.livejournal.com]

писец .. это вас ЭТОМУ учат ?

[http://users.livejournal.com/_svet_lana_/]

В L будут те, которые в U но не в U^-1

[tut-net-nikogo.livejournal.com]

и на кого это ты...?

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