Уровень алгоритма

Участник:KibAndrey/Ортогонализация Грама-Шмидта: различия между версиями

Материал из Алговики
Перейти к навигации Перейти к поиску
Строка 31: Строка 31:
  
 
== Информационный граф ==
 
== Информационный граф ==
 +
 +
Представим граф алгоритма с помощью текстового описания, а также с помощью изображения.
 +
 +
Все вершины графа можно разбить на пять групп, каждой из которых соответствует вид исполняемой операции. Дадим описание каждой из групп.
 +
 +
'''Первая''' группа - вершины, которым соответствует операция возведение в квадрат. На графе они располагаются в двумерной области. i изменяется от 1 до n, k изменяется от 1 до m.
 +
 +
Значениями аргументов для этих функций являются:
 +
* при i = 1 - входные данные <math>a_{1k}</math>;
 +
* при i > 1 - результат выполнения функции в вершине шестой группы с координатами i-1,1,k
 +
Результат является промежуточным данным алгоритма.
 +
 +
'''Вторая''' группа - вершины соответствующие операции сложения. Они располагаются в четырехмерной области, i изменяется от 1 до n, j изменяется от 1 до i, k изменяется от 1 до m div 2, t изменяется от 1 до T = <math>\lceil{log_{2}(k)}\rceil</math>+1.
 +
 +
Значениями аргументов для этих функций являются:
 +
* при j = 1, t = 1 - результат выполнения функций в вершинах первой группы с координатами i,1,2*k и i,1,2*k - 1 ;
 +
* при j > 1, t = 1 - результат выполнения функции в вершинах пятой группы с координатами i,j-1,2*k и i,j-1,2*k - 1;
 +
* при t > 1 - результат выполнения функций в вершинах второй группы с координатами i,j,2*k,t-1 и i,j,2*k-1,t-1 (это точно верно для случаев k являющихся степенью двойки. Для остальных вариантов аргументом может являться результат выполнения функций в вершинах второй группы с последней координатой меньшей чем t-1).
 +
Результат является промежуточным данным алгоритма.
 +
 +
'''Третья''' группа -  вершины, которым соответствует операция SQRT извлечения квадратного корня. Они расположены в одномерной области, i изменяется от 1 до n.
 +
Значением аргумента для этих функций является результат выполнения функции в вершине второй группы, с координатами i,1,1,T
 +
Результат является промежуточным данным алгоритма
 +
 +
'''Четвертая''' группа - вершины, которым соответствует операция деления. Располагаются в двумерной области, i изменяется от 1 до n, k изменяется от 1 до m.
 +
Значениями аргументов для этих функций являются:
 +
* делимое:
 +
** при i = 1 - входные данные <math>a_{1k}</math>;
 +
** при i > 1 - результат выполнения функции в вершине шестой группы с координатами i-1,1,k;
 +
* делитель -  результат выполнения функции в вершине третьей группы с координатами i
 +
Результат является выходным данным алгоритма <math>e_{ik}</math>
 +
 +
'''Пятая''' группа -  вершины, которым соответствует операция a*b. Располагаются в трехмерной области, i изменяется от 1 до n-1, j изменяется от 1  k изменяется от 1 до m.
 +
  
 
== Ресурс параллелизма алгоритма ==
 
== Ресурс параллелизма алгоритма ==

Версия 17:16, 14 октября 2016


Ортогонализация Грама-Шмидта
Последовательный алгоритм
Последовательная сложность [math]O\left(n^3\right)[/math]
Объём входных данных [math][/math]
Объём выходных данных [math][/math]
Параллельный алгоритм
Высота ярусно-параллельной формы [math][/math]
Ширина ярусно-параллельной формы [math][/math]


Основные авторы описания: А.В.Кибанов, Т.З.Аджиева.



1 ЧАСТЬ. Свойства и структура алгоритма

1.1 Общее описание алгоритма

Ортогонализации Грама-Шмидта[1] – алгоритм построения для данной линейно независимой системы векторов евклидова или эрмитова пространства [math]V[/math] ортогональной системы ненулевых векторов, которые имеют ту же самую линейную оболочку, при котором каждый вектор построенной системы линейно выражается через векторы данной системы. Исторически это первый алгоритм, описывающий процесс ортогониализации. Традиционно его связывают с именами Йоргена Педерсена Грама и Эрхарда Шмидта. Эрхард Шмидт[2] был учеником великих математиков Германа Шварца и Давида Гильберта. Алгоритм ортогонализации был опубликован Э. Шмидтом в 1907 году [3] в его исследовании интегральных уравнений, которое в свою очередь дало привело к развитию теории гильбертовых пространств. Шмидт использовал процесс ортогонализации применительно к геометрии гильбертова пространства решений интегральных уравнений отмечал, что процесс ортогонализации принципиально такой же, какой прежде использовал Й. Грам.

1.2 Математическое описание алгоритма

1.3 Макроструктура алгоритма

1.4 Макроструктура алгоритма

1.5 Вычислительное ядро алгоритма

1.6 Последовательная сложность алгоритма

1.7 Информационный граф

Представим граф алгоритма с помощью текстового описания, а также с помощью изображения.

Все вершины графа можно разбить на пять групп, каждой из которых соответствует вид исполняемой операции. Дадим описание каждой из групп.

Первая группа - вершины, которым соответствует операция возведение в квадрат. На графе они располагаются в двумерной области. i изменяется от 1 до n, k изменяется от 1 до m.

Значениями аргументов для этих функций являются:

  • при i = 1 - входные данные [math]a_{1k}[/math];
  • при i > 1 - результат выполнения функции в вершине шестой группы с координатами i-1,1,k

Результат является промежуточным данным алгоритма.

Вторая группа - вершины соответствующие операции сложения. Они располагаются в четырехмерной области, i изменяется от 1 до n, j изменяется от 1 до i, k изменяется от 1 до m div 2, t изменяется от 1 до T = [math]\lceil{log_{2}(k)}\rceil[/math]+1.

Значениями аргументов для этих функций являются:

  • при j = 1, t = 1 - результат выполнения функций в вершинах первой группы с координатами i,1,2*k и i,1,2*k - 1 ;
  • при j > 1, t = 1 - результат выполнения функции в вершинах пятой группы с координатами i,j-1,2*k и i,j-1,2*k - 1;
  • при t > 1 - результат выполнения функций в вершинах второй группы с координатами i,j,2*k,t-1 и i,j,2*k-1,t-1 (это точно верно для случаев k являющихся степенью двойки. Для остальных вариантов аргументом может являться результат выполнения функций в вершинах второй группы с последней координатой меньшей чем t-1).

Результат является промежуточным данным алгоритма.

Третья группа - вершины, которым соответствует операция SQRT извлечения квадратного корня. Они расположены в одномерной области, i изменяется от 1 до n. Значением аргумента для этих функций является результат выполнения функции в вершине второй группы, с координатами i,1,1,T Результат является промежуточным данным алгоритма

Четвертая группа - вершины, которым соответствует операция деления. Располагаются в двумерной области, i изменяется от 1 до n, k изменяется от 1 до m. Значениями аргументов для этих функций являются:

  • делимое:
    • при i = 1 - входные данные [math]a_{1k}[/math];
    • при i > 1 - результат выполнения функции в вершине шестой группы с координатами i-1,1,k;
  • делитель - результат выполнения функции в вершине третьей группы с координатами i

Результат является выходным данным алгоритма [math]e_{ik}[/math]

Пятая группа - вершины, которым соответствует операция a*b. Располагаются в трехмерной области, i изменяется от 1 до n-1, j изменяется от 1 k изменяется от 1 до m.


1.8 Ресурс параллелизма алгоритма

1.9 Входные и выходные данные алгоритма

1.10 Свойства алгоритма

2 ЧАСТЬ Программная реализация алгоритма

2.1 Особенности реализации последовательного алгоритма

2.2 Локальность данных и вычислений

2.3 Возможные способы и особенности параллельной реализации алгоритма

2.4 Масштабируемость алгоритма и его реализации

2.5 Динамические характеристики и эффективность реализации алгоритма

2.6 Выводы для классов архитектур

2.7 Существующие реализации алгоритма

3 Литература

  1. Математическая энциклопедия / Гл. ред. И. М. Виноградов – М: “Советская энциклопедия”, 1984 – Т.4 Ок–Сло.
  2. Meyer C. D. Matrix analysis and applied linear algebra. – Siam, 2000. – Т. 2.
  3. Erchard Shmidt. Mathematische Annalen Zur Theorie der linearen und nichtlinearen Integralgleichungen, 1. Teil: Entwicklung willkürlicher Funktionen nach Systemen vorgeschriebener. – Mathematische Annalen, 63 (1907), pp. 433–476.