Вычислительный аспект

Дописал таки новый параграф. Основная проблема была в рисовании графиков, поэтому получилось так долго, дальше, думаю, дело пойдёт быстрее. Как всегда призываю всех неравнодушных читать не веб, а pdf, а так же помогать с вычиткой и версткой на ГитХабе.

В первом параграфе мы определили арифметические операции над натуральными числами, но однако не сказали ни слова о том, как реально вычислять результат от их применения. Можно, конечно, использовать аксиомы напрямую. Так, для сложения в соответствии с аксиомами Пеано нам потребуется раз прибавить 1 к числу . Скажем, вот так может начинаться процесс сложения :

Очевидно, что этот способ никуда не годится. В этом параграфе мы рассмотрим каким образом можно проводить арифметические вычисления более-менее эффективно, но прежде введем новую для нас удобную нотацию.

Пусть — некоторая последовательность и мы хотим сложить все элементы этой последовательности подряд начиная и заканчивая . Кратко мы будем записывать эту сумму с помощью символа :

Аналогичную краткую запись мы введем и для произведения:

Для пронумерованного семейства множеств аналогично введем краткое обозначение для объединения и пересечения:

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

Пусть мы теперь хотим просуммировать не все элементы в каком-то диапазоне, а в точности те значения , где принадлежит некоторому наперед заданному множеству . Это можно кратко записать так:

Аналогично можно записывать и прочие операции.

Пользуясь введенной нотацией любое натуральное число , для представления которого требуется разрядов, можно записать в системе счисления с основанием таким образом:

Или даже, если посчитать, что при все , можно избавиться в этой сумме от величины :

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

Пусть мы хотим сложить числа и . Их разряды в системе счисления с основанием мы обозначим как и соответственно. Тогда, если вспомнить, что сложение может осуществляться в любом порядке и мы можем как угодно переставлять в суммах скобки (см. §3.1), мы элементарно получаем следующее соотношение:

Буквально здесь говорится, что мы можем складывать числа поразрядно. То есть для нашего примера с 123 и 456 мы можем отдельно сложить 1+4, 2+5 и 3+6. Результатом будет 579 (если вам непонятны эти рассуждения, распишите эти числа как сумму в десятичной системе счисления и проведите вычисления аккуратно).

Если мы теперь попытаемся сложить 579 и 123, то у нас выйдет проблема: , что больше, чем основание системы счисления. Это значит, что 12 надо представить как , и теперь единица переходит в старший разряд. В итоге вместо мы должны во второй разряд записать , что опять не умещается в систему счисления. Снова единица перейдет уже в третий разряд: . Результат: 702.

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

Вычитание практически аналогично сложению и мы не будем его рассматривать отдельно.

Так же легко определить и формулу для умножения (мы могли бы получить много разных вариантов, но именно этот вариант простой перестановки скобок — стандартный школьный):

Это выражение в точности дублирует умножение в столбик — каждый разряд числа по отдельности умножается на число целиком (опять же поразрядно). Не будем вдаваться в скучные подробности умножения в столбик, а обратим внимание на следующий важный аспект:

Упражнение
Пусть даны два -разрядных числа и . Для их умножения приведенным способом потребуется операций умножения отдельных разрядов.

Если взять числа 23 и 45 и сложить их, то нам потребуется сложить разряды и . Для умножения же этих чисел, потребуется вычислить произведения , , и . Если взять не двузначные числа, а трехзначные, то при сложении нам потребуется сложить три разряда, а при умножении перемножить девять разрядов. Для сложения 100-разрядных чисел потребуется 100 операций сложения разрядов, а для умножения их же — 10000 операций умножения.

Как видно, сложность умножения (если выражать сложность в количестве операций) значительно выше, нежели сложность сложения, причем чем больше числа по разрядности, тем значительнее возрастает сложность умножения, в отличие от сложения. Компьютер, конечно, вычислит это всё равно за доли секунды, какими бы длинным ни были перемножаемые числа, однако часто этого оказывается недостаточно. Умножение — это одна из самых базовых операций и зачастую она выполняется компьютером сотни или даже тысячи раз в секунду, например, при обработке графики или сложных физических расчетах. В таких условиях, разработчикам компьютерных систем становится принципиальным, чтобы умножение чисел компьютер мог успевать совершать не несколько раз за секунду, а несколько миллионов раз за секунду (а лучше —больше). Понятно, что приведенный нами алгоритм, даже если и сможет работать так быстро в силу совершенства оборудования, будет сильно падать в эффективности при увеличении перемножаемых чисел.

Один из общих подходов к созданию быстрых алгоритмов называется «Разделяй и властвуй». Идея состоит в том, чтобы некоторую крупную по размерам задачу разбить на ряд маленьких подзадач, обработать каждую из этих подзадач в отдельности, а затем объединить результат. Это довольно общие слова и как именно надо действовать зависит от конкретной задачи. Мы рассмотрим этот подход на примере умножения чисел.

Пусть числа и имеют десятичных разрядов (возможно, меньше, тогда дополним их нулями). Запишем их в виде и , где имеют по разрядов. Тогда их произведение может быть расписано простым раскрытием скобок:
\begin{align*}
ab &= (a_H10^d + a_L)(b_H10^d + b_L) \\
&= a_Hb_H10^{2d} + a_Hb_L10^d + a_Lb_H10^d + a_Lb_L\\
&= a_Hb_H10^{2d} + (a_Hb_L + a_Lb_H)10^d + a_Lb_L
\end{align*}
Здесь мы свели одно умножение -разрядных чисел к умножению четырех чисел, но уже -разрядных и суммированию результатов. К сожалению, это нам пока ничего не даёт. Например, для двузначных чисел мы что раньше выполняли четыре умножения однозначных чисел, что теперь. Однако, этот метод возможно ускорить, применив так называемый трюк Карацубы (для многих неожиданно, что Карацуба был советским математиком родом из Чечни, закончившим грозненскую школу, и звали его Анатолий), который стал исторически первым эффективным алгоритмом типа «Разделяй и властвуй» и первым алгоритмом умножения, работающим быстрее чем за время . Трюк заключается в вычислении произведения

Если вычислить предварительно произведения и , то получаем

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

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

Возведение в степень легко осуществить по определению Пеано:

но можно и быстрее, что опять же важно для компьютерных вычислений.

Пусть для начала нам надо возвести число в степень . По свойствам степени и мы можем вначале возвести в степень , а затем результат возвести в квадрат — одно это уже намного проще, чем производить умножение раз в соответствии с аксиомами Пеано.

Если же нам надо возвести число в степень , то мы можем поступить похожим образом: . Мы вначале вычисляем , затем возводим результат в квадрат, и в итоге умножаем результат опять на . Подробный анализ быстродействия этого способа опять же выходит за рамки этого параграфа, но довольно очевидно, что преимущество, получаемое нами в данном случае, будет огромно.
Упражнение.Покажите, что для возведения числа в степень 64 достаточно произвести всего 6 операций умножения в соответствии с приведенным подходом, против 63 умножений в соответствии с аксиомами Пеано.

Осталось рассмотреть лишь одну операцию — деление с остатком. Совсем простой подход я уже озвучивал в прошлом параграфе: чтобы поделить на с остатком, надо вычитать из до тех пор, пока результат не окажется меньше . Например, поделим 123 с остатком на 40. После первого вычитания получаем 83 (). После второго вычитания — 43 (). После третьего — 3 (). Итого и частное и остаток оказались равны трём.

Этот способ очень прост, но и очень неэффективен: как, например, таким способом поделить с остатком 12347 на 5?

Простая идея для ускорения вычислений заключается в том, чтобы вычитать делитель не по одному за итерацию, а сразу по нескольку. В случае с 12347 и 5 вместо того, чтобы вычитать многократно число 5, мы можем вычесть сразу некоторое число , где надо подобрать таким образом, чтобы было не больше 12345. Удобнее всего здесь брать степени десяти (или основания той системы счисления, в которой мы работаем), помноженные на какое-то небольшое число. Для нашего примера удобно взять . Отсюда после первого вычитания получаем: . Для второго вычитания возьмём :

Теперь возьмём : . Взяв в последний раз , получаем . Это и есть желаемый ответ.

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

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

Очень абстрактно мы будем представлять себе один бит как контакт на компьютерной плате, по которому может либо идти напряжение (значение 1), либо не идти (значение 0). Мы будем так же рассматривать логические блоки, которые имеют несколько входных контактов, и несколько выходных и которые реализуют некоторые логические операции. Одним из простейших логических блоков является блок, реализующий логическую операцию «штрих Шеффера». В § 1.2 мы упоминали, что абсолютно любую логическую операцию можно выразить с помощью него. Как пример, мы можем рассмотреть операцию «И». Её выражение на языке логики с помощью штриха Шеффера такое: (проверьте). Абстрактное представление этого выражения в том виде, как оно будет реализовано на логической схеме, представлено на рисунке 3.1.

Image may be NSFW.
Clik here to view.

Теперь перейдём к построению схемы сложения чисел. За обозначим количество разрядов в складываемых числах. Результатом будет -битное число из-за возможности переполнения последнего разряда. Складываемые числа будем обозначать как и , а их разряды как и . Результат сложения и его разряды будем обозначать и соответственно. Введем так же переменные , которые будут равны 1, если в разряде произошло переполнение. Для того, чтобы выразить значения и , нам доступны лишь логические (двоичные) операции и только они. На деле нам обычно доступно лишь какое-то подмножество логических операций, но во многих случаях мы можем из них выразить все остальные операции, как это описано в § 1.2.

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

Диаграмма для этих формул показана на рисунке 2.

Image may be NSFW.
Clik here to view.

Подобная схема должна быть реализована на каждый бит данных для сложения чисел.

Упражнение.Сколько всего логических элементов и соединений потребуется для реализации операции сложения для двубайтовых чисел? Можете ли вы предложить способ, которым можно сократить это число?

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

Вычислительный аспект

Trending Articles

Книга: руководство / инструкция по ремонту и эксплуатации CHERY QQ (ЧЕРИ...

Профессиональная астрология. Астрологическое консультирование и сопровождение...

Контакты представительств зарубежных авиакомпаний в Казахстане

GFI KerioControl 9.x (Часть 7) (5410) / Программный межсетевой экран NG...

Книга: руководство / инструкция по ремонту и эксплуатации OPEL VECTRA A...

1С 8.3 hasp emulator linux (46) / Решения по взлому лицензий на линуксе 8.3

The Pepper Porter Band - Invasion 1980

Посещаемость - Python для начинающих

0on3 Clean Tele

Департамент внутренних дел Павлодарской области

ДЕПАРТАМЕНТ АГЕНТСТВА ПО ПРОТИВОДЕЙСТВИЮ КОРРУПЦИИ (АНТИКОРРУПЦИОННОЙ СЛУЖБЫ)...

І. Пташнікаў. “Арчыбал”. Кароткі змест

ОЛИМПИАДАНЫ ТҮП-ТАМЫРЫНАН ӨЗГӨРТҮҮ КЕРЕК

Книга: руководство / инструкция по ремонту и эксплуатации HONDA CIVIC 5D...

HP Smart Array Advanced Pack (51) / license key wanted

MSO 2013 и "конфигурация операционной системы не рассчитана на запуск этого...

Помогите найти Geomprops for AutoCAD 2020 [3]

Готовая выкройка платья в пол

Autodesk FeatureCAM Ultimate 2019.0.0.359x64 [MULTILANG+RUS] #софт #software...

Ошибка удалённого приложения RemoteApp