Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Пример

Таким образом, теория численных алгоритмов стала универсальным аппаратом для исследования всех алгоритмических проблем.

В процессе построения теории численных алгоритмов было выяснено, что любой логический алгоритм можно простыми методами свести к численному алгоритму. По мере усовершенствования этих методов стало ясно, что вообще любой алгоритм может быть всегда сведен к численному алгоритму.

Сведение любого алгоритма к численному алгоритму.

Интуитивное опре­деление как численных, так и логических алгоритмов схоже: в обоих случаях алгоритм определяется как си­стема правил для решения определенного класса задач, которая обладает свойствами детерминированности, мас­совости, результативности.

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

Включим все условия задачи, доступные для перера­ботки данным алгоритмом А, в занумерованную неот­рицательными целыми числами последовательность А0, А1, А2, …, Аn, …

Совершенно аналогично записи возможных решений также включим в занумерованную последовательность B0, B1, B2, …, Bn, …

Как только проведена нумерация, становится оче­видным, что любой алгоритм, перерабатывающий запись условий Ап в запись решения Вт, можно свести к вы­числению значений некоторой числовой функции

m=φ(n),

так как после введения нумерации мы можем иметь дело уже только с соответствующими номерами записей условий и решений, а не с самыми записями, и можем говорить об алгоритме, перерабатывающем номер за­писи условий в номер записи решения. Этот алгоритм будет численным алгоритмом.

Очевидно также, что если есть алгоритм, решающий исходную задачу, то есть и алгоритм вычисления зна­чений соответствующей функции. Действительно, чтобы найти значение φ(n) при п = п*, можно по п* восста­новить запись условий задачи, затем с помощью имею­щегося алгоритма найти запись решения и по записи решения определить номер m*. Следовательно,

φ(n*)=m*

Обратно, если есть алгоритм вычисления функции φ(n), то, стало быть, имеется и алгоритм решения ис­ходной задачи. Действительно, по записи условий за­дачи можно найти соответствующий ей номер n*, затем вычислить m*=φ(n*), и по m* oопределить запись ре­шения.

 

Функция f называется вычислимой, если существует алгоритм, перерабатывающий всякий объект х, для которого определена функция f, в объект f (x) и не применимый ни к какому x, для которого f не определена. Вычислимая функция, одно из основных понятий теории алгоритмов

Примеры:1) х — натуральное число, f (x) = х 2; x — пара рациональных чисел x 1 и x 2, f (x) = x 1: x 2 (эта функция определена лишь для тех x, у которых x 2≠0);

2) X — пара матриц X 1 и X 2 с целочисленными элементами, f (X) = X 1 X 2 (эта функция определена лишь для тех X, у которых число стоблцов в X 1 совпадает с числом строк в X 2).


<== предыдущая лекция | следующая лекция ==>
Описание различных алгоритмических структур на языке блок-схем | Формальные языки и порождающие грамматики
Поделиться с друзьями:


Дата добавления: 2014-01-20; Просмотров: 370; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



studopedia.su - Студопедия (2013 - 2024) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление




Генерация страницы за: 0.009 сек.