численные методы. Задача принятия решений общая постановка, примеры
![]()
|
|
![]() Отношения | Реф-лексив-ность | Анти-рефлек-сивность | Симмет-ричность | Асим-метрич-ность | Антисим-метрич-ность | Тран-зитив-ность | Связность |
Толерантность | + | | + | | | | |
Эквивалентность () | + | | + | | | + | |
Доминирование (<<) | | + | | + | | | |
Строгий порядок (<) | | + | | + | | + | |
Нестрогий порядок ( ![]() | + | | | | + | + | |
Линейный порядок | + | | | | + | + | + |
Квазипорядок | + | | | | | + | |
Примеры
1. Отношение «быть похожим» является отношением толерантности.
2. Отношения «учиться на одном курсе», «иметь одинаковый остаток при делении на 3», отношение подобия являются отношениями эквивалентности.
3.Отношения «быть не ниже ростом»,
![](274613_html_e1d46b3cba0e6afc.gif)
4.Отношения «быть старше»,
![](274613_html_ef82b4d627c3c185.gif)
5. Отношение «выиграть матч» является отношением доминирования.
6. Отношение «быть не хуже» и отношение предпочтения являются отношениями квазипорядка.
2.5. Понятие R-оптимальности
Важное место в теории выбора и принятия решений занимает понятие «лучшего элемента». Для формализации этого понятия введем в рассмотрение следующие определения.
Элемент x
![](274613_html_a274fe697acad4e3.gif)
![](274613_html_493039291e15cf75.gif)
![](274613_html_e2edaa84d498b519.gif)
Элемент x
![](274613_html_a274fe697acad4e3.gif)
![](274613_html_493039291e15cf75.gif)
![](274613_html_55ab474c7384f1db.gif)
Элемент
![](274613_html_fdbb9c5a4ec59190.gif)
![](274613_html_493039291e15cf75.gif)
![](274613_html_218e8cb69ad2e5bb.gif)
![](274613_html_94102225fca21641.gif)
Множество мажорант обозначается
![](274613_html_e31b473dbde6f9d8.gif)
![](274613_html_12f1b822c4b1a3f4.gif)
![](274613_html_eb89d1977551a459.gif)
![](274613_html_236330430e02b692.gif)
![](274613_html_2bf1a6e9c6b5eb13.gif)
![](274613_html_fe8c283028604f95.gif)
Примеры
1. Отношение
![](274613_html_e1d46b3cba0e6afc.gif)
![](274613_html_453f3fee06fab855.gif)
![](274613_html_564919aff6eb857d.gif)
![](274613_html_cc1c254c7126495c.gif)
2.6. Метризованные бинарные отношения
При анализе экспертной информации традиционных типов бинарных отношений, описываемых в п.2.3, может оказаться недостаточным. Суждения эксперта часто содержат не только качественные оценки предпочтительности альтернатив или их эквивалентности, но и количественные оценки степени предпочтительности одной альтернативы над другой или степени эквивалентности пары альтернатив.
Метризованным отношением
![](274613_html_2913844977574936.gif)
![](274613_html_c2491521a20f554e.gif)
![](274613_html_f9cd9bc0d0d21c4.gif)
![](274613_html_933d365f4ce137d.gif)
![](274613_html_39ef4cb4c8a8fe7a.gif)
![](274613_html_d88f720b68437a4f.gif)
![](274613_html_6f507b73401c7de3.gif)
![](274613_html_d88f720b68437a4f.gif)
![](274613_html_6f507b73401c7de3.gif)
Граф метризованного бинарного отношения отличается от графа бинарного отношения R наличием числа
![](274613_html_e58a90e114151776.gif)
Матрицей смежности бинарного отношения является квадратная матрица
![](274613_html_54b2fdf48e986f76.gif)
![](274613_html_2d23343329e0bf63.gif)
Метризованное отношение
![](274613_html_7dc346cced8fb36d.gif)
Метризованное отношение
![](274613_html_3af2b73d9b080a6d.gif)
![](274613_html_16f23acee02665df.gif)
![](274613_html_2025a9681d6b3c6c.gif)
![](274613_html_f5a090ceccf097d.gif)
![](274613_html_72c32d1ebc082909.gif)
Метризованное отношение
![](274613_html_3af2b73d9b080a6d.gif)
![](274613_html_16f23acee02665df.gif)
![](274613_html_2025a9681d6b3c6c.gif)
![](274613_html_f5a090ceccf097d.gif)
![](274613_html_cdc00c472b092e6b.gif)
Для метризованного аддитивного бинарного отношения числа
![](274613_html_e58a90e114151776.gif)
![](274613_html_d88f720b68437a4f.gif)
![](274613_html_6f507b73401c7de3.gif)
![](274613_html_3af2b73d9b080a6d.gif)
Матрицу аддитивного метризованного отношения квазипорядка
![](274613_html_3af2b73d9b080a6d.gif)
![](274613_html_b069e23e6392eb01.gif)
а матрицу мультипликативного отношения квазипорядка
![](274613_html_3af2b73d9b080a6d.gif)
![](274613_html_2424b4b796aa19d7.gif)
Примеры
Аддитивным метризованным отношением квазипорядка является отношение, заданное следующим графом:
![](274613_html_16b1115753aa1f46.gif)
![](274613_html_c666add9fa6ae91c.gif)
![](274613_html_13afa51651f38ac2.gif)
![](274613_html_d0feb9c2d8a8241.gif)
0
5 2 4
![](274613_html_1a7dd92a8b9c0f2e.gif)
![](274613_html_de0bcba66f672b2e.gif)
![](274613_html_de0bcba66f672b2e.gif)
0 0 0
![](274613_html_3bb44b8469b1be48.gif)
![](274613_html_6e8593503b056572.gif)
![](274613_html_31e5bd954c90fd87.gif)
Матрица данного отношения имеет вид:
![](274613_html_236b1b94464b1303.gif)
2. Мультипликативным метризованным отношением квазипорядка является отношение, заданное следующим графом:
![](274613_html_16b1115753aa1f46.gif)
![](274613_html_b0a46e0ab2321c01.gif)
![](274613_html_41f2b531908177ed.gif)
![](274613_html_7026fbc8d887388b.gif)
![](274613_html_4c172eab3ef8f11c.gif)
6 4
![](274613_html_1a7dd92a8b9c0f2e.gif)
![](274613_html_e6195c23fcd542f2.gif)
![](274613_html_5bfabddf7e5452b4.gif)
![](274613_html_1a7dd92a8b9c0f2e.gif)
![](274613_html_6e8593503b056572.gif)
![](274613_html_74e5cb2ab94e9ef6.gif)
2 3
1
![](274613_html_2aad5018c16cf5e9.gif)
![](274613_html_3bb44b8469b1be48.gif)
Матрица данного отношения имеет вид:
![](274613_html_b73ae66a5b245ab0.gif)
Упражнения к § 2
Основные упражнения
1. Пусть
![](274613_html_797fd511857d0e55.gif)
![](274613_html_5f03cf6dbf64cf30.gif)
1) матрицей; 2) сечениями.
2. Пусть
![](274613_html_7f6c26ce1d0b0734.gif)
![](274613_html_ba97cff0b3b841c3.gif)
![](274613_html_af1b9edc008092c3.gif)
2)
![](274613_html_312d107f9ef52a72.gif)
![](274613_html_bf66ab7399d0a6a3.gif)
3. Доказать, что
![](274613_html_5e3af1823a495c8.gif)
![](274613_html_53438b29702e08ca.gif)
4. Доказать, что
![](274613_html_b39afbdb84a3fa78.gif)
5. Доказать, что для любых отношений
![](274613_html_1bead0bb5295efae.gif)
![](274613_html_77c3f23b7fa5ea1.gif)
![](274613_html_8b3f5e7d53e4e30f.gif)
![](274613_html_a9143856e76aa69a.gif)
![](274613_html_b6131b74eefcdde0.gif)
![](274613_html_31dab8c1f7c0bdb5.gif)
6. Доказать, что
![](274613_html_d32ca3d5ab0bc62b.gif)
![](274613_html_d00e5f8d0ad2614c.gif)
7. Доказать, что
![](274613_html_e66ea3a21a617a7e.gif)
8. Рассмотрим матрицу
![](274613_html_388e17828717a8c0.gif)
![](274613_html_e5ae8c36065546e0.gif)
![](274613_html_627d453ecbfc5810.gif)
![](274613_html_6bc15e83d748d4e6.gif)
![](274613_html_59280204dc1b225e.gif)
9. Бинарные отношения
![](274613_html_1bead0bb5295efae.gif)
![](274613_html_77c3f23b7fa5ea1.gif)
![](274613_html_bf2c4df86c51e463.gif)
![](274613_html_c818909725b35a33.gif)
Построить матрицу отношения
![](274613_html_759daa4be4f501e6.gif)
Доказать, что отношение R симметрично тогда и только тогда, когда
![](274613_html_b4d063bdc41e942f.gif)
11. Доказать, что если отношение R асимметрично, то оно антирефлексивно.
12. Найти максимум, минимум, миноранты, мажоранты бинарных отношений, заданных графами:
1)
![](274613_html_c6761bf7e9be85ad.gif)
![](274613_html_774e81f7a02de25e.gif)
;
b c
2
![](274613_html_bbf80ee45e895076.gif)
![](274613_html_ad3a7ee491ed95eb.gif)
;
b c
![](274613_html_cb47ec35f4741289.gif)
![](274613_html_baf0a7f7325404e9.gif)
![](274613_html_dd7a09af26f38da6.gif)
![](274613_html_895e526ef6cf9ea1.gif)
b c .
13. Доказать, что максимум по частичному порядку единственен. Верно ли это утверждение для произвольного R?
14. Могут ли одновременно существовать : 1) максимумы и мажоранты; 2) минимумы и миноранты.
15. Доказать, что: 1)
![](274613_html_af35aa9b82b95a88.gif)
![](274613_html_cbc255834d0feb5.gif)
16. Бинарные отношения, заданными графами, дополнить до аддитивных и мультипликативных метризованных отношений квазипорядка:
1)
![](274613_html_16b1115753aa1f46.gif)
![](274613_html_6e8593503b056572.gif)
![](274613_html_5a0967553870d6e7.gif)
![](274613_html_40cc666d5506e0aa.gif)
![](274613_html_8fccaa84d7f0f16d.gif)
![](274613_html_7ac0d0b1a1f9d528.gif)
2 3
![](274613_html_56afd3a9a42de9b3.gif)
![](274613_html_13afa51651f38ac2.gif)
![](274613_html_3bb44b8469b1be48.gif)
2)
![](274613_html_16b1115753aa1f46.gif)
![](274613_html_6e8593503b056572.gif)
![](274613_html_d877d0f25cb0c2ce.gif)
![](274613_html_e685d11f4f493f4e.gif)
![](274613_html_baebf1ba15b1b6d3.gif)
![](274613_html_7fa93137a91f7406.gif)
5
2 4 4
![](274613_html_56afd3a9a42de9b3.gif)
![](274613_html_13afa51651f38ac2.gif)
![](274613_html_3bb44b8469b1be48.gif)
II. Дополнительные упражнения
Пусть
![](274613_html_370daf12b3bfa41.gif)
![](274613_html_ae5eb1d8d7b6beac.gif)
![](274613_html_fd8a7b43021ab3f2.gif)
а) матрицей смежности; b) графом; c) сечениями.
Изобразить на плоскости следующие бинарные отношения:
![](274613_html_e3fd28e4dcf3d27b.gif)
![](274613_html_27ff9c7a785550b5.gif)
![](274613_html_d60926f0bd87de02.gif)
![](274613_html_acee14c180a42953.gif)
![](274613_html_abd83dbb11b6081d.gif)
![](274613_html_2f54e3eafa18d5cd.gif)
![](274613_html_451f6401d20b03b8.gif)
![](274613_html_a65f677545129a0a.gif)
![](274613_html_8eea44122ecdcf32.gif)
10)
![](274613_html_c40500699fe73f20.gif)
11)
![](274613_html_198aa49909e8072f.gif)
12)
![](274613_html_1f3c3337119c8fe3.gif)
Выписать верхние и нижние сечения бинарных отношений из пп. 1), 2), 4), 6), 7), 11).
Вывести формулу, выражающую нижнее сечение
![](274613_html_f3f50751f316442d.gif)
![](274613_html_63cb5c3ee08ca6ce.gif)
Какими особенностями обладают матрица, граф, сечения антидиагонального отношения?
Сколько можно выписать матриц смежности для бинарного отношения, заданного на множестве n элементов? Показать, что отношение R, для которого матрица A(R) не зависит от нумерации элементов множества , либо пустое, либо полное, либо диагональное, либо антидиагональное.
Для отношений из №2 указать полные, пустые, диагональные, антидиагональные отношения.
Для бинарных отношений из № 2 выписать все пары вложенных отношений. Указать все пары взаимодополнительных отношений. Для пп. 1) – 5) выписать дополнительные, обратные и двойственные отношения.
Для бинарных отношений из №1 найти: дополнение, пересечение, объединение, обратные, двойственные отношения, произведение отношений. Для каждого бинарного отношения найти матрицу смежности, граф, сечения.
Доказать, что для любых
![](274613_html_fa1c14448a26c65a.gif)
![](274613_html_46693acd85bed55e.gif)
![](274613_html_39678c91f2abfc81.gif)
![](274613_html_5a9a2c4b1dd6f43c.gif)
Доказать, что
![](274613_html_a8b3656f3d13083d.gif)
Отношения R и
![](274613_html_8d0f9f77955f0fc8.gif)
1)
![](274613_html_4317c8dbaa9fe111.gif)
![](274613_html_27757ba33261e16f.gif)
![](274613_html_4488db79dd1ce9d2.gif)
Какой вид имеет отношение
![](274613_html_c0d5fdc09f4fa483.gif)
Для отношений
![](274613_html_fa1c14448a26c65a.gif)
![](274613_html_46693acd85bed55e.gif)
![](274613_html_1bbae9f781d28644.gif)
![](274613_html_2cce44b465521cc1.gif)
![](274613_html_95c6c5762a2e9253.gif)
Доказать, что если R рефлексивно, то
![](274613_html_5b14871ff6e4edf4.gif)
![](274613_html_5b14871ff6e4edf4.gif)
Доказать, что для рефлексивного отношения R транзитивность эквивалентна равенству
![](274613_html_397c63b20ad575ac.gif)
Какие из отношений №2 являются транзитивными?
Привести пример антисимметричного отношения, которое при этом не симметрично и не асимметрично.
Описать отношение, являющееся одновременно симметричным и антисимметричным.
Привести пример отношений, обладающих в точности одним, двумя, тремя и четырьмя свойствами из числа следующих: рефлексивность, симметричность, транзитивность, антисимметричность.
Показать, что всякое ацикличное отношение асимметрично.
Сформулировать условия на матрицу, граф и сечения отрицательно транзитивного отношения.
Пусть R – отношение эквивалентности на множестве
![](274613_html_1106c58ef6f3145a.gif)
![](274613_html_a7045797b63b2c57.gif)
![](274613_html_59b0f0672f0edca5.gif)
![](274613_html_a261e29dafac005d.gif)
![](274613_html_ee45765c1f25ed7a.gif)
![](274613_html_a261e29dafac005d.gif)
23.Для бинарных отношений, заданных на множестве
![](274613_html_7da683ea3da86d04.gif)
![](274613_html_a113639a5eaca7cc.gif)
![](274613_html_dd28ac1a64988c0a.gif)
![](274613_html_10061ab80ebc3fb5.gif)
![](274613_html_349eefec17646aa8.gif)
5)
![](274613_html_39f9546525099848.gif)
![](274613_html_93bb8e4cda2e79b2.gif)
![](274613_html_bfa8f96ea837c63d.gif)
![](274613_html_8e965e21359c48df.gif)
![](274613_html_cb96289ec0422bae.gif)
![](274613_html_756febc9f72827a4.gif)
6)
![](274613_html_8581e23e53ec4e17.gif)
1
![](274613_html_d3c49501d3eead22.gif)
4 .
Являются ли перечисленные отношения отношениями эквивалентности, строгим порядком, нестрогим порядком, квазипорядком, доминированием?
24.Пусть R – произвольное отношение на множестве . Доказать:
![](274613_html_1db034bff802be32.gif)
![](274613_html_71a967929584ace0.gif)
![](274613_html_c49a81b202d5b7d.gif)
![](274613_html_6050fb364dab49af.gif)
25. Найти максимумы, минимумы, мажоранты, миноранты для следующих бинарных отношений:
1) a d
![](274613_html_761d38847692c676.gif)
;
![](274613_html_fba14bb7da1f4ed6.gif)
c
b g
![](274613_html_af2d297e15832ab2.gif)
2) c
;
a d
3)
![](274613_html_b34c32030a25f484.gif)
a b .