Page 123 - 4495

краще ( , , , )C  g  k   1 n таких, що
i   1 k  1: ( , )C  g g ( , )C 
i i
g (C , )  g (C , ) .
k k
Конкретні глобальні компаратори визначаються заданням специ-

фікації функції g. Загальне ж визначення дозволяє означити ступінь
задоволення для всіх глобальних компараторів.
Означення 10 (ступінь задоволення ІІ). Помилка E ІО

P  ( , ,V D  n C ) (V,D,C) для глобального компаратора визначеного
ІО i 0 i
функцією g задається для конкретного присвоєння   таким чи-
V
ном:
  (Cg ), , (Cg  )  якщо с С  : | c 
E (C   1 n 0
)
  якщо c C : | c  0 
У деяких глобальних компараторах задаються ваги для виражен-
ня того факту, що обмеження одного рівня можна порівняти між со-
бою.

Означення 11. Вагою кожного обмеження ІО є значення, що ви-
ражене функцією :w C  W , де W - впорядкована множина. Нехай w

- порядок на множині W , такий, що нерівність ( )w c  w ( )d . Означає,
W
що вага обмежень d більша преференція, ніж вага c.
Ваги можуть бути представлені множиною натуральних або до-
датних цілих чисел.

Наступні функції g зазвичай використовуються для визначення
конкретних глобальних компараторів:

«краще за сумарною вагою»: (C , ) g  w(c)e(c )
i
{c C i }
«краще в найгіршому випадку»: (C , ) g max w(c)e(c )
i
{c C i }
2
«найменш квадратно краще»: (C , ) g  w(c)e(c ) .
i
{c C i }
Відповідно до вибору окремого глобального компаратора, можна
вибрати також і функцію помилки для обмежень. Таким чином мо-
жуть бути утворені компаратори «краще за сумарною вагою метрич-

но», «краще за сумарною вагою предикатно» і т. д.
Так званий компаратор «краще за числом незадоволених» є част-
ковим випадком компаратора «краще за сумарною вагою предикат-

но».У ньому всім вагам присвоюється значення 1 і таким чином ком-
паратор підраховує кількість незадоволених обмежень при порівнян-
нях.

123