Застосування методу знаходження лінійного логічного перетворення для розв’язання задачі знаходження гіпотетично зв’язаних об’єктів, що дозволяє підвищити швидкість пошуку розв’язку системи предикатних рівнянь. Аналіз ефективності застосування методу.
Аннотация к работе
Пропонується застосування методу знаходження n-го лінійного логічного перетворення для розвязання задачі знаходження гіпотетично звязаних обєктів, який дозволяє підвищити швидкість і точність пошуку розвязку системи предикатних рівнянь.Метод знаходження-ого лінійного логічного перетворення було викладено та обґрунтовано в [4, 5]. Метод знаходження-ого лінійного логічного перетворення можна розбити на наступні етапи. Було доведено твердження про те, що якщо для знаходження-ого лінійного логічного перетворення на двох послідовних кроках значення перетворення повторюється, то це значення буде повторюватись також і на наступних кроках [4]. Проведемо далі порівняння методу, за допомогою якого раніше розвязувалась задача знаходження гіпотетично звязаних абонентів, а також методу знаходження-го лінійного логічного перетворення. Розвязуючи за допомогою методу знаходження-го лінійного логічного перетворення, параметр MAXSTEP теж враховує час пошуку розвязків, і він також обмежує кількість ітерацій.