Cтраница 4
В самой ранней работе по анализу алгоритмов определена вычислимость алгоритма в машине Тьюринга. При анализе подсчитывается число переходов, необходимое для решения задачи. Анализ пространственных потребностей алгоритма подразумевает подсчет числа ячеек в ленте машины Тьюринга, необходимых для решения задачи. Такого рода анализ разумен, и он позволяет правильно определить относительную скорость двух алгоритмов, однако его практическое осуществление чрезвычайно трудно и занимает много времени. Сначала нужно строго описать процесс выполнения функций перехода в машине Тьюринга, выполняющей алгоритм, а затем подсчитать время выполнения - весьма утомительная процедура. [46]
В этом параграфе мы займемся анализом алгоритмов нахождения точек вещественной бифуркации, исследуем связь ветвления в окрестности точки бифуркации с процессом продолжения решения, а также рассмотрим способы нахождения точек, в которых возникают изолы - замкнутые кривые, являющиеся компонентами диаграммы решений. [47]
Математические приемы, применяемые при анализе алгоритмов, своеобразны; довольно часто нам придется иметь дело с суммированием конечного числа рациональных чисел или, чаще, с решением рекуррентных уравнений. Этих тем по традиции лишь слегка касаются в математических курсах, поэтому назначение последующих пунктов - более глубоко осветить способы вычислений и технические приемы, используемые в этих вопросах, а также дать основательную тренировку в применении обозначений. [48]
Анализ этого алгоритма основывается на анализе внутреннего алгоритма InsertionSort. Прежде, чем перейти к анализу алгоритма ShellSort, напомним, что в § 3.1 мы подсчитали, что в наихудшем случае сортировка вставками списка из N элементов требует ( ЛГ2 - N) / 2 операций, а в среднем случае она требует 7V2 / 4 элементов. [49]
Однако, несмотря на трудности, анализ алгоритмов или, как их часто называют, механизмов управления потоками ( УП), разработанных в рамках проектов первых сетей АКРА ( США), CYCLADES ( Франция), NPL ( Англия), оказал значительное влияние на проектирование других сетей. [50]
Доказательство достаточности условия теоремы будет следствием анализа алгоритма нахождения эйлерова пути, который мы опишем в данном разделе. Отсюда следует, что вершины нечетной степени, если они существуют, являются концами эйлерова пути. Здесь следует отметить, что не существует графов с одной только вершиной нечетной степени. [51]
Объем первой части памяти определяется при анализе алгоритмов и оценивается числом входных и выходных данных. В ряде систем предусматривается хранение входных и выходных данных в течение определенного времени для восстановления вычислений при сбоях и резервировании. [52]
Это и аналогичные суммирования появляются при анализе алгоритма в разд. [53]
В САПО ЯУЗА-6 эти программы ориентированы на анализ алгоритмов, реализуемых как на однопроцессорных, так и на однородных многопроцессорных комплексах с общедоступной оперативной памятью. [54]