Корректность - алгоритм
Cтраница 3
Для того чтобы доказать корректность алгоритма 2.3, мы вначале должны показать, что корректно производятся действия с наборами. [31]
Прежде чем мы докажем корректность алгоритма, рассмотрим лемму. [32]
Емкость семейств, гарантирующих корректность алгоритма на обучающей выборке, также, как правило, бесконечна. [33]
 |
Работа алгоритма Форда - Беллмана. [34] |
Тем самым закончено доказательство корректности алгоритма. [35]
Утверждения (2.2) - (2.4) обосновывают корректность алгоритма. Причем (2.4) показывает, что алгоритм конечен и оканчивается через не более чем n Q шагов, а все найденные множества X различны. [36]
 |
Окончательное позиционное дерево Тг. [37] |
Рассуждения, необходимые для доказательства корректности алгоритма 9.5 в случаях 1 - 3, включены в его описание. [38]
Очень интересен вопрос об установлении корректности алгоритмов, полученных на основе других, ранее разработанных и заведомо корректных алгоритмов. Решение этого вопроса зависит от приема, который был применен для получения нового алгоритма. [39]
Средства анализа должны обеспечивать возможность формального доказательства корректности алгоритмов, разработанных на основе метода ветвей и границ, и позволять изучать характеристики алгоритмов при изменении параметров задачи. [40]
Аннотация: апробация алгоритмов может принимать форму доказательства корректности алгоритмов. В качестве иллюстративного, но практического примера доказывается корректность алгоритма 245 treesort 3 сортировки массивов. [41]
Выбор m совершенно произволен в том смысле, что корректность алгоритма от него не зависит. Однако на его эффективность выбор влияет. Ясно, что наша задача - исключить на каждом шагу из дальнейшего поиска, каким бы ни был результат сравнения, как можно больше элементов. [42]
Очевидно, что для s 1 приведенное выше свойство означает просто корректность алгоритма. [43]
Теорема следует из формализации алгоритма, изложенного в примере 3.2. Доказательство корректности алгоритма мы опускаем. [44]
Следующие леммы показывают некоторые важные свойства такой декомпозиции и образуют основу для доказательства корректности последующего алгоритма. [45]
Страницы: 1 2 3 4