Особливості застосування конструктивного алгоритму зворотного методу для секвенційного числення предикатів

Abstract

Досліджені області застосування конструктивного алгоритму зворотного методу, здійснена оцінка доцільності застосування конструктивного алгоритму зворотного методу, виходячи з поставлених задач. Проведена оцінка складності побудови початкової множини сприятливих наборів. Розглянуто приклади застосування конструктивного алгоритму зворотного методу для секвенцій різного вигляду, а також випадку, коли застосування конструктивного алгоритму зворотного методу не є ефективним.Исследована область применения конструктивного алгоритма обратного метода исходя из поставленных задач. Проведена оценка сложности построения начального множества благоприятных наборов. Рассмотрены примеры применения конструктивного алгоритма обратного метода для секвенций различного вида, а также случая, когда применение конструктивного алгоритма обратного метода не является эффективным.