Ćwiczenia IV (relacje porządkujące), Matematyka stosowana, Logika


Ćwiczenia IV

Relacje porządkujące:

  1. Preporządek - relacja zwrotna i przechodnia

  1. Liniowy preporządek (relacja preferencji) - relacja zwrotna, przechodnia, zupełna

  1. Częściowy porządek: zwrotna, przechodnia, antysymetryczna

  1. Liniowy porządek: zwrotna, przechodnia, zupełna, antysymetryczna

  1. Ostry porządek: antyzwrotna i przechodnia

  1. Ostry liniowy porządek: antyzwrotna, przechodnia, zupełna ( asymetryczna)

Relacją odwrotną do 0x01 graphic
nazywamy taką relację 0x01 graphic
, że:

0x01 graphic
,

innymi słowy:

0x01 graphic

Def

Jeśli 0x01 graphic
jest relacją, to zaostrzeniem (relacją ścisłego porządku) dla P nazywamy relację 0x01 graphic
taką, że

0x01 graphic

Inaczej: 0x01 graphic

Def

Elementem największym dla relacji P nazywamy element 0x01 graphic
taki, że:

0x01 graphic

Def

Elementem maksymalnym dla relacji P nazywamy element 0x01 graphic
taki, że:

0x01 graphic

Def

Porównaniem wielokryterialnym generowanym przez relacje porządkujące 0x01 graphic
nazywamy relację 0x01 graphic
daną zależnością

0x01 graphic
.

Def

Zbiorem Pareto wyznaczonym przez relacje porządkujące 0x01 graphic
nazywamy zbiór elementów maksymalnych wyznaczonych przez porównanie wielokryterialne 0x01 graphic
.

Każdy element zbioru Pareto - optimum Pareto.

Interpretacja

Optimum Pareto są to zatem elementy 0x01 graphic
takie, że każdy element 0x01 graphic
lepszy w świetle jednego z kryteriów jest równocześnie gorszy w świetle przynajmniej jednego z pozostałych kryteriów.



Wyszukiwarka