Файл: Алферова, З. В. Математическое обеспечение экономических расчетов с использованием теории графов.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 21.10.2024
Просмотров: 56
Скачиваний: 0
Транспонированной по отношению к А назовем матрицу
|
|
|
/ |
а\\ |
a,2i • • • ami |
\ |
|
|
||
|
|
„, |
I |
«12 |
а22 • • •ат2 |
\ |
|
|
||
|
|
|
|
din |
&2п |
' ' ' |
|
|
|
|
получаемую из А заменой строк |
столбцами. |
|
|
|||||||
Две матрицы равны в том и только |
в том |
случае, если |
равны |
|||||||
их соответствующие |
элементы. Очевидно, |
что |
размерности |
тип |
||||||
строк и столбцов равных матриц должны |
совпадать. |
|
||||||||
Квадратная |
матрица |
называется |
треугольной, если ее элемен |
|||||||
ты ац для всех |
i>j |
(или для |
всех i<lj) |
равны |
нулю. |
|
||||
Матрица |
|
|
|
|
|
|
|
|
|
|
является |
треугольной. |
|
|
|
|
|
|
|
|
|||
Матрица |
А называется симметрической, |
если |
А=А', |
т. е. |
||||||||
ац = ан |
при любых i, j . |
Если А——А', |
т. е. ац = —ац, |
матрица А |
||||||||
называется |
кососимметрической. |
Из |
определения |
вытекает, |
что |
|||||||
все |
элементы главной |
диагонали |
кососимметрической |
матрицы |
||||||||
равны |
нулю. |
|
|
|
|
|
|
|
|
|||
|
Все |
элементы так называемой нулевой матрицы, |
обозначаемой |
|||||||||
0 = ( 0 ) , |
равны нулю. |
|
|
|
|
|
|
|
|
|||
|
Определим теперь операции сложения матриц и умножения |
|||||||||||
матриц |
на |
скаляр. Пусть даны некоторый |
скаляр а |
и |
произволь |
|||||||
ная |
матрица |
А. Их произведение аА определяется как |
|
|
||||||||
|
|
|
|
аА |
|
|
|
|
|
|
|
|
|
Сумма |
Л + В = С матриц А я В, |
каждая |
из |
которых |
содержит |
||||||
т |
строк |
и |
п столбцов, определяется |
как |
|
|
|
|
|
1.0
Операции умножения скаляра на матрицу |
и сложения |
мат |
|||||||
риц |
обладают |
следующими |
свойствами: |
|
|
|
|||
а) |
(А +В) + С=А |
+ (В + С) |
(ассоциативный |
закон); |
|
||||
б) |
А+В = В+А. |
(коммутативный |
закон); |
|
|
|
|||
в) |
( а + р ) Л = |
а Л + р Л , |
а{А-\-В)—аА-\-аВ |
(дистрибутивный |
за |
||||
кон) ; |
|
|
|
|
|
|
|
|
|
г) |
Л + 0 = Л . |
|
|
|
|
|
|
|
|
Здесь матрицы А, В и |
С имеют |
размерности |
т-п, а а и |
р — |
скаляры.
Произведение двух матриц А и В определяется только при ус
ловии, что число столбцов матрицы А равно |
числу строк матрицы |
|
В. При этом условии элементы произведения |
АВ = С определяют |
|
ся следующим |
образом. |
|
Элемент г'-й строки и /-го столбца матрицы С равен сумме про |
||
изведений элементов г'-й строки матрицы А |
на соответствующие |
|
элементы у'-го столбца матрицы В. |
|
|
Например, |
\ |
) |
где сц = ац |
Ь^ + щ2 b2j + ai3 |
b3j. |
|
|
матрицу В |
|
Произведением |
матрицы |
А размерности т-п на |
||||
размерности |
n-q |
является матрица |
размерности |
m-q. |
Произведе |
|
ние матриц некоммутативно, т. е. |
АВфВА. |
|
|
|||
Произведение |
матриц обладает |
следующими |
свойствами: |
a)(АВ)С=А(ВС) (ассоциативный закон);
б) |
(А + В)С=АС + ВС, С(А + В) = СА + СВ |
(дистрибутивный |
закон); |
|
|
b) |
а(АВ) = (аА)В=А(аВ); |
*• : |
г) |
АЕ=ЕА=А; |
|
здесь матрицы А, В, С |
и Е |
имеют соответствующие |
размерности и |
||
а — скаляр. |
Отметим, |
что |
(АВ)' — |
В/-А'. |
|
Матрица |
В называется |
обратной |
по отношению |
к квадратной |
|
матрице А, |
если АВ = Е. Матрица, обратная матрице А, обознача |
ется через А-1. |
Для каждой неособенной |
матрицы А |
существует |
|
единственная |
матрица А~1, |
такая, что |
|
|
§ 1. 3. ОБЩЕЕ ПОНЯТИЕ АЛГОРИТМА |
|
|||
Алгоритмами в современной математике принято |
называть |
|||
конструктивно |
задаваемые |
соответствия |
между словами в абст |
рактных алфавитах.
Абстрактным алфавитом называется любая конечная совокуп ность объектов, называемых буквами или символами данного ал фавита.
11
Алфавит, как любое множество, задается перечислением его элементов, т. е. символов
|
A = {a,b,c,d}, |
В={х,у}- |
|
|
|
Под словом |
или строкой |
алфавита будем |
понимать |
любую |
|
конечную упорядоченную последовательность |
символов. |
Число |
|||
символов в слове называется длиной этого слова. |
|
||||
Алфавитным |
оператором |
или |
алфавитным |
отображением на |
зывается всякое соответствие, сопоставляющее словам некоторого алфавита слова того же самого или какого-то другого фиксирован
ного алфавита. При этом первый алфавит |
называется |
входным, |
|
второй — выходным алфавитом данного оператора. |
|
||
Алфавитный оператор, сопоставляющий |
слову |
а из |
входного |
алфавита А слово р из выходного алфавита |
В, |
запишется как |
|
Га = р. |
|
|
|
В случае совпадения входного и выходного алфавитов говорят,
что |
алфавитный оператор задан в соответствующем |
алфавите. |
|||
|
Иначе говоря, |
алфавитный оператор — функция, |
задающая |
||
соответствие между словами входного алфавита и |
словами этого |
||||
же |
или другого |
выходного |
алфавита. |
|
|
|
В случае, если область |
определения алфавитного |
оператора |
конечна, то оператор может быть задан простой таблицей соответ ствия. В левой части такой таблицы выписываются все слова, вхо дящие в область определения рассматриваемого оператора, а в
правой — выходные слова, |
получающиеся |
в результате примене |
ния оператора к каждому |
слову из левой |
части таблицы. |
В случае бесконечности области определения алфавитного опе ратора задание его с помощью таблицы оказывается принципи ально невозможным. В этом случае оператор задается системой правил, позволяющей за конечное число шагов найти выходное слово, соответствующее любому наперед заданному входному сло ву из области определения рассматриваемого алфавитного опе ратора.
Алфавитные операторы, задаваемые с помощью конечной системы правил, принято называть алгоритмами.
Отсюда легко понять, что всякий алфавитный оператор, кото рый можно фактически задать, является непременно алгоритмом.
Однако следует иметь в виду одно различие, существующее между понятиями алфавитного оператора и алгоритма. В понятии алфавитного оператора существенно лишь само соответствие, устанавливаемое между входными и выходными словами, а не спо соб, которым это соответствие устанавливается. В понятии алго ритма, наоборот, основным является способ задания соответствия, устанавливаемого алгоритмом.
Таким образом, алгоритм — алфавитный оператор вместе с правилами, определяющими его действие.
Два алфавитных оператора считаются равными, если они име ют одну и ту же область определения и сопоставляют любому
12
наперед заданному |
входному слову |
из |
этой |
области |
одинаковые |
|
выходные слова. |
|
|
|
|
|
|
Два алгоритма считаются равными, если равны соответствую |
||||||
щие им алфавитные операторы и совпадает |
система |
правил, за |
||||
дающих действие этих алгоритмов на выходные слова. |
|
|||||
Два алгоритма считаются эквивалентными, если у них совпа |
||||||
дают (равны) алфавитные операторы, |
но не |
совпадают |
способы |
|||
их задания (система |
правил). Обычно в |
абстрактной |
теории алго |
|||
ритмов рассматриваются лишь такие алгоритмы, которым |
соответ |
|||||
ствуют однозначные |
алфавитные |
операторы. |
Всякий |
алгоритм |
такого рода любому входному слову сопоставляет только одно вы
ходное слово. Такие алгоритмы и соответствующие им |
алфавит |
|||||
ные операторы |
называются |
детерминированными. |
|
|||
Таким образом, одним из |
свойств |
алгоритма является детер |
||||
минированность. К числу других свойств |
алгоритмов |
относятся |
||||
массовость |
и |
результативность. |
|
|
|
|
Массовость — свойство алгоритма |
быть |
применимым |
для мно |
|||
жества строк. Если алгоритм |
применим для множества |
строк, то |
||||
он обладает |
свойством массовости. |
|
|
|
||
Результативность — свойство алгоритма, |
обеспечивающее полу |
чение результата через конечное число шагов. Если для любой из строк данного множества алгоритм через конечное число шагов приводит к выходу с конечным результатом, то он обладает свой ством результативности.
Из свойства результативности вытекает понятие области при менимости алгоритма. Областью применимости алгоритма назы вается множество строк, для которых алгоритм результативен.
Теперь эквивалентность алгоритмов может быть определена следующим образом: два алгоритма эквивалентны, если совпадают их области применимости и результаты переработки любого слова
из |
этой области. |
|
В общем случае различают еще случайные и самоизменяющие |
ся |
алгоритмы. |
Алгоритм называется случайным, если в системе правил, опи сывающих алгоритм, предусматривается возможность случайного выбора тех или иных слов или тех или иных правил. Им соответст вуют многозначные алфавитные операторы.
Алгоритм называется самоизменяющимся, если он, перерабаты вая входные слова, сам изменяется в процессе такой переработки.
Результат действия самоизменяющегося |
алгоритма |
на то |
или |
||
иное входное слово зависит не только от этого слова, но и от |
исто |
||||
рии |
предыдущей работы |
алгоритма. |
|
|
|
В |
теории алгоритмов |
большое внимание |
уделяется |
общим спо |
собам задания алгоритмов, характеризующихся свойством уни версальности, т. е. таким способам, которые позволяют задать алгоритм, эквивалентный любому наперед заданному алгоритму.
Всякий общий способ задания алгоритмов называется алгорит мической системой.
13