Page 153 - 4495

від вибору одного з анотацій них триплетів A , A , A чи A (в
sum avg gavg vect
залежності від об’єднувальної операції). При виборі триплету потріб-

но врахувати властивості розв’язуваної задачі. Якщо бажаним є чітке
розрізнення між конкретними змінними, то найкращим вибором буде

A . Вбір між операціями середнього A , A та адитивною пов'я-
vect avg gavg
заний з можливим перебільшенням кількості змінних.

Як обмеження анотаціями, у випадках триплетів A , A , A ,
avg gavg sum
нерівність з прикладу 6 можна записати, замінивши символічні назви

на відповідні числа : 1@10T  T 2@1. Наступний приклад ілюструє за-
стосування триплету A .
vect
Приклад 7. Припустимо, що декілька множин завдань S , кожній
i
з яких потрібно присвоїти мету. В ідеалі кожному завданню має бути
присвоєний окремий ресурс, однак таке присвоєння не завжди мож-
ливе. Будь – яке завдання з множини S повинне отримати чітку мету
i
більш преференційовано, ніж інше завдання з S при j  . Такі вимо-
i
j
ги можуть бути описані наступним м’якими обмеженнями з анотаці-
ями із застосуванням A :
vect

different _times (s @(1,0, ,0), ,s @(1,0, ,0) ,
11 1 n 1
s @(0,1, ,0), ,s  @(0,1, ,0) ,…
21 2 n 2

s @(0,0, ,1), ,s @(0,0, ,1),
m 1 m nm
де S  { ,s  ,s } для i  1 m .
i 1 i i in
Нехай тепер для кожного завдання s також задана ціна w , що
ij ij
виражає преференції над завданням з тієї ж множини S . Таку мно-
i
жину можна розв’язати, замінивши значення 1 в анотації для змінної

s на w .
ij ij
Розглянемо семантику такого обмеження. Анотації завдань
впливають на впорядкування змінних: завданням з важливішими ано-
таціями мета буде присвоєна швидше.

Динамічне впорядкування змінних

Анотаціями можна відобразити також і динамічну поведінку сис-
теми обмежень в процесі оцінювання, наприклад, коли доменні змінні

стають константами після того, як їм присвоюються значення, відпо-
відно і обмеження стають пасивними, тому що стають задоволеними,
то в переобмежених задачах такі обмеження можна видаляти і надалі

153