Доказательство - корректность - алгоритм
Cтраница 1
 |
Процедура НОД. [1] |
Доказательство корректности алгоритма 8.7 тривиально, если доказать, что он заканчивает свою работу. Таким образом, корректность алгоритма вытекает из анализа времени его работы, что составляет содержание следующей теоремы. [2]
Доказательство корректности алгоритма будет завершено, если мы докажем лемму. [3]
Доказательство корректности алгоритма М служит темой улр. [4]
Доказательство корректности алгоритма предлагается в качестве упр. [5]
Доказательство корректности алгоритмов 8.11 ( а), ( Ь) и ( с) оставляем в качестве упр. [6]
Доказательство корректности алгоритма 3.1 проводится индукцией по числу выполнений внешнего цикла. Предположение индукции таково: после г выполнений этого цикла кортежи в ОЧЕРЕДИ будут расположены в лексикографическом порядке по их г последним компонентам. [7]
Доказательством корректности алгоритмов, полученных с помощью эквивалентных преобразований, является правильность преобразований. Мы не можем пока более определенно говорить об эквивалентных преобразованиях, потому что накопленные нами, читатель, знания об алгоритмах еще недостаточны. [8]
Продолжим доказательство корректности алгоритма. [9]
В доказательство корректности алгоритма 4.5 входит доказательство того, что окончательное разбиение не оказывается слишком грубым. Иными словами, надо доказать следующее. [10]
 |
Работа алгоритма Форда - Беллмана. [11] |
Тем самым закончено доказательство корректности алгоритма. [12]
Аннотация: апробация алгоритмов может принимать форму доказательства корректности алгоритмов. В качестве иллюстративного, но практического примера доказывается корректность алгоритма 245 treesort 3 сортировки массивов. [13]
Теорема следует из формализации алгоритма, изложенного в примере 3.2. Доказательство корректности алгоритма мы опускаем. [14]
Алгоритм имеет полиномиальную временную сложность. Вывод и доказательство корректности алгоритма AVOID опускаются ( см. упр. Алгоритм AVOID ( R, В, F) применяется для каждого атрибута В из R. Если выход не пуст, множество выделенных ключей R заменяется на альтернативное множество, полученное алгоритмом AVOID. Известно, что если такое множество ключей существует, то при его использовании атрибут В удалим. Из R - В - В можно вывести новое множество F-зависимостей, представленных в R, так как для R должен существовать новый выделенный ключ К, для которого К - В ( К есть один из замененных ключей, найденных AVOID; см. упр. [15]
Страницы: 1 2