Page 145 - 4495
P. 145

av ( )L   av ( )P
                acv ( 1)c                   0.525, acv  ( 2)c    av ( ) 0.6L   , acv ( 3)c    av ( ) 0.45P 
                                  2
                  Як  результат,  отримуємо  розв’язок                  {( ,4),( ,5)}L  P    з  опущеним
            обмеженням  3c  та помилкою:

                         ( E C ) min(acv  ( 1)c   e ( 1 ),c   acv ( 2)c    e ( 2 ),c   avc ( 3)c   e ( 3 ))c   

                         max(0.525 0,0.6 0,0.45 1) 0.45      

                  Преференції, у випадку тривіальної функції помилки  (e c                       ), вира-
            жаються тільки через глобальні анотації обмежень. При використанні

            метричної функції помилки, ситуація кардинально змінюється. В та-
            кому випадку, преференції обмежень міняються відповідно до обра-
            ного  присвоєння   ,  а  достатньо  велике  значення  функції  помилки

            може  різко  поміняти  розв’язок.  Таке  поєднання  метричної  функції
            помилки  та  глобальних  анотацій  обмежень  може  бути  застосоване
            тільки в том у випадку, якщо метрична функція помилки нормалізо-
            вана відповідним чином, описаним у означенні 4.10.

                  Приклад  2  (продовження).  Якщо  в  даній  задачі  застосовувати
            метричну  функцію  помилки,  потрібно  нормалізувати  домен

             D  {1,  , days  }  для  отримання  метричного  простору  з  відповідною
            функцією відстані (метрикою), тобто:

                                    d  ,d   De (d   d  ) abs  (d   d  ) / days  }.
                                       1  2        1     2          1    2

                  У цьому прикладі розв’язок з метричним компаратором такий же,
            як і в попередньому з тривіальним.
                  Навіть якщо в попередньому прикладі обидва компаратори – ма-

            тричний і тривіальний, повертають однакові розв’язки між цими під-
            ходами можна побачити суттєву відмінність. Метричну функцію по-
            милки  необхідно  використовувати,  коли  потрібно  зменшити  високі
            значення функцій помилки. Тривіальна ж потрібна тоді, коли значен-

            ня анотації залежить від форми функції помилки, а отже і розмір по-
            милки (будь – який відмінний від нуля) не є важливий.

                  Приклад  3.  Нехай  маємо  приклад  з  обмеженнями  C                         { , }c c   та
                                                                                                   1  2
            два присвоєння  ,  . Опишемо вибір кращого присвоєння з метрич-
                                    0    1
            ним  компаратором.  Нехай  глобальні  анотації  обмежень  набувають

            значення:

                                             acv ( ) 0.9c   , acv ( ) 0.1c   ,
                                                   1               2
            а  значення  для  функції  помилки  (нормалізація  виконання  шляхом

            розділення за максимальноим очікуваним значенням функції помил-
            ки) такі:



                                                          145
   140   141   142   143   144   145   146   147   148   149   150