WWW.DISSERS.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

загрузка...
   Добро пожаловать!

Pages:     || 2 |
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ

На правах рукописи

ЯХОНТОВ Сергей Викторович РАЗРАБОТКА И РЕАЛИЗАЦИЯ АЛГОРИТМОВ ДЛЯ РАБОТЫ С FLINSPACE КОНСТРУКТИВНЫМИ ВЕЩЕСТВЕННЫМИ ЧИСЛАМИ И АЛГОРИТМИЧЕСКИМИ ФУНКЦИЯМИ НАД НИМИ 05.13.17 Теоретические основы информатики

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физико-математических наук

Санкт-Петербург 2009

Работа выполнена на кафедре информатики математико-механического факультета Санкт-Петербургского государственного университета Научный доктор физико-математических наук, руководитель: профессор КОСОВСКИЙ Николай Кириллович Официальные доктор физико-математических наук, оппоненты: профессор ОРЕВКОВ Владимир Павлович (ведущий научный сотрудник лаборатории математической логики, Санкт-Петербургское отделение математического института им. В.А. Стеклова) кандидат физико-математических наук, доцент ТИШКОВ Артем Валерьевич (старший научный сотрудник, Санкт-Петербургский институт информатики и автоматизации РАН) Ведущая Санкт-Петербургский государственный организация: политехнический университет

Защита состоится " " 2009 г. в часов на заседании совета Д 212.232.51 по защите докторских и кандидатских диссертаций при Санкт-Петербургском государственном университете по адресу: 198504, Санкт-Петербург, Петродворец, Университетский пр., д.28, математико-механический факультет, ауд. 405.

С диссертацией можно ознакомиться в Научной библиотеке им. М. Горького Санкт-Петербургского государственного университета по адресу:

199034, Санкт-Петербург, Университетская наб., 7/9.

Автореферат разослан " " 2009 г.

Ученый секретарь диссертационного совета Даугавет И. К.

Содержание работы Актуальность темы. С появлением вычислительной техники встал вопрос о вычислительной сложности объектов математического анализа, в первую очередь основных классов вещественных чисел и функций. Среди работ последних 18 лет, в которых исследовалась вычислительная сложность конструктивных вещественных чисел и функций, отметим [5–7]. Данные работы в значительной степени являются обобщением накопленных знаний относительно вычислимого математического анализа и отражают современное состояние исследований в данной области. Работы [5–7] характеризуются тем, что авторы в основном рассматривают временную вычислительную сложность проблем математического анализа. В [7] вычислительная сложность рассматривается с точки зрения времени выполнения и длины входной ленты, достаточных для получения приближенных значений вещественных чисел и функций с произвольной точностью. Здесь же приводится ряд теорем относительно вычислительной сложности арифметических операций и некоторых понятий из теории функций вещественного переменного. В [5, 6] строится система полиномиально вычислимого анализа, при этом главное внимание уделяется построению и определению свойств классов конструктивных вещественных чисел и функций, аналогичных классам из теории вычислительной сложности. Линейная емкостная сложность объектов математического анализа, для оценки которой важно знать объем промежуточных вычислений, в работах [5–7] почти не затронута.

Вместе с тем, представляет существенный теоретический и практический интерес построение системы конструктивных вещественных чисел и функций, которая позволяла бы выполнять базовые вычисления в пределах некоторого емкостного класса сложности, подпадающего под понятие осуществимые вычисления, как, например, класс F P, т. е. класс вычислений на машинах Тьюринга за полиномиальное время от длины исходных данных [4]. Теоретический интерес имеет место в силу неизвестной точной взаимосвязи классов временной и емкостной вычислительной сложности;

практический интерес следует из того, что получающиеся алгоритмы вычисления приближенных значений относительно проще, что немаловажно для уменьшения сложности программного обеспечения, например, в области численных расчетов. В качестве такого класса в данной работе выбран F LINSP ACE [4] класс алгоритмов, для которых длина каждой промежуточной записи вычисления ограничена линейной функцией от суммарной длины входных данных. Подтверждением неформальной характеристики класса F LINSP ACE как класса осуществимых вычислений с точки зрения требуемой для вычислений памяти может служить то, что в настоящее время в работах по теоретической информатике для вычислений в пределах F LINSP ACE утвердился термин space-efficient evaluation.

Известно, что класс F LINSP ACE не совпадает с классом F P и, кроме того, если F LINSP ACE F P, то P = NP [1]. Следовательно, результаты относительно F LINSP ACE вычислимости объектов математического анализа не следуют непосредственно из F P вычислимости этих объектов и требуют отдельного доказательства в предположении P = NP, которое поддерживается многими специалистами в области математических основ информатики.

Введем обозначение F P//LINSP ACE для класса алгоритмов, вычислимых машиной Тьюринга за полиномиальное время и на линейной зоне.

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

Цели работы. Показать, что для вещественных чисел и функций математического анализа, наиболее часто используемых на практике, можно построить конструктивные аналоги, позволяющие находить приближения в пределах класса F P//LINSP ACE. Разработать алгоритмы для работы с F LINSP ACE вычислимыми приближениями объектов математического анализа, которые реализуемы на объектно-ориентированном языке программирования. Реализовать такие алгоритмы на языке программированияC#в среде программированияMicrosoft Visual Studio 7.1.

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

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

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

Апробация работы. Результаты работы обсуждались на следующих научных конференциях и семинарах:

• V Международная конференция Дискретные модели в теории управляющих систем (Ратмино, 26 29 мая 2003 г.);

• VIII Международный семинар Дискретная математика и ее приложения (Москва, 2 6 февраля 2004 г.);

• IX Международный семинар Дискретная математика и ее приложения (Москва, 18 23 июня 2007 г.);

• семинар кафедры вычислительных методов математико-механического факультета Санкт-Петербургского государственного университета;

• семинар кафедры информатики математико-механического факультета Санкт-Петербургского государственного университета.

Публикации. По теме диссертации опубликованы тезисы [8–10] и статьи [11, 12]. В [8, 11] содержатся результаты о емкостной вычислительной сложности алгоритма Штурма и F P//LINSP ACE конструктивности алгебраических чисел, а также рассмотрены арифметические операции на множестве F LINSP ACE конструктивных вещественных чисел.

В [9,10,12] предложены алгоритмы для вычисления степенных рядов в пределах F P//LINSP ACE и доказана F P//LINSP ACE конструктивность некоторых элементарных функций. В статье [12] имеется описание библиотеки классов на языке программированияC#для работы с F LINSP ACE конструктивными вещественными числами и функциями. Cтатьи [11, 12] входят в перечень изданий, рекомендованных ВАК для публикаций.

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы, списка таблиц, предметного указателя и приложения. Содержит 1 рисунок, 2 таблицы и список цитируемой литературы из 35 наименований. Текст диссертации изложен на 113 страницах. Исходные тексты библиотеки классов на языке программирования C#находятся в приложении на 54 страницах.

Общая характеристика работы

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

В первой главе формулируются основные понятия конструктивного математического анализа [3]. Кратко излагается история развития предмета.

Приводится обзор литературы по известным способам построения системы конструктивных вещественных чисел и функций и по различным подходам к исследованию вычислительной сложности конструктивных объектов математического анализа. Из [4] приводятся необходимые сведения о классах вычислительной сложности. Также сравниваются известные методы построения алгоритмов расчета констант и элементарных функций такие, как арифметико-геометрическое среднее и разложение в ряды с рациональными коэффициентами.

Затем описываются основные идеи подхода, изложенного в работах [5,6].

Данная диссертация основана на этом подходе к исследованию вычислительной сложности конструктивных чисел и функций. В качестве вычислительной используется модель, использующая понятие машины Тьюринга, а основу представления конструктивных объектов составляет понятие вычислимой последовательности, сходящейся по Коши, : N D (здесь и далее N множество всех натуральных чисел, включая 0). В качестве множества аппроксимирующих значений D берется множество двоичнорациональных чисел (D является всюду плотным в R естественным для компьютерного использования подмножеством множества рациональных чисел). Для последовательности, сходящейся по Коши и задающей конструктивный объект x, требуют, чтобы выполнялось |(n) - x| 2-n для любого натурального n.

m Рациональное число d называется двоично-рациональным, если d = 2n для некоторого целого m и натурального n. Числа из D имеют конечное двоичное представление: строка s, равная ±upup-1... u0.v1v2... vr, обознаp r чает число d = ± ui2i ± vj2-j. Под точностью представления i=0 j=prec(d) понимается число битов справа от двоичной точки, т. е. число r. С точки зрения изучения вычислительной сложности двоично-рациональные числа удобны тем, что для любого n числа из D с точностью n равномерно распределены на вещественной прямой.

Последовательность : N D двоично-рационально сходится к вещественному числу x, если для любого n N выполняется prec((n)) = n + 1 и |(n) - x| 2-n. Множество всех вычислимых функций, двоичнорационально сходящихся к вещественному числу x, обозначается CFx. Вещественное число x называется CF конструктивным, если CFx не пусто.

Вещественная функция f, заданная на [a, b], называется CF конструктивной вещественной функцией на этом отрезке, если существует машина Тьюринга M с оракульной функцией такая, что для любого x [a, b] и любой функции CFx машина M по произвольной точности 2-n, n N, последовательно вычисляет m N и d D так, что выполняются неравенства |(m) - x| 2-m, |d - f(x)| 2-n.

Под построением конструктивного аналога вещественного числа или вещественной функции f на отрезке [a, b] понимается описание алгоритма, вычисляющего приближения из D с произвольной точностью данного числа или значений f(x) для x [a, b].

Вычислительная сложность конструктивных чисел и функций определяется в [5] как сложность алгоритмов, вычисляющих приближенные значения. Входными данными таких алгоритмов является точность вычисления 2-n, которая записывается на входе как последовательность из n нулей (обозначается 0n), и поэтому под длиной входных данных понимается n.

Целью второй главы являются определение и основные свойства конструктивных вещественных чисел и функций с ограниченной линейной функцией сложностью вычисления двоично-рациональных приближений.

В разделе 2.2 проводится построение множеств F LINSP ACE конструктивных вещественных чисел и функций [12].

Определение 1. Число x из R называем F LINSP ACE конструктивным вещественным числом, если существует F LINSP ACE вычислимая функция CFx.

Говорят, что однородная емкостная вычислительная сложность функции f на отрезке [a, b] ограничена функцией s : N N, если существует машина Тьюринга M с оракульной функцией такая, что для любого x [a, b] и любой функции CFx машина M вычисляет приближение f(x) с точностью 2-n так, что при этом используется не более s(n) ячеек промежуточной памяти.

Определение 2. Функцию f : [a, b] R называем F LINSP ACE конструктивной вещественной функцией на отрезке [a, b], если однородная емкостная вычислительная сложность функции f ограничена линейной функцией.

Множества F LINSP ACE конструктивных чисел и функций обозначаются F LINSP ACECF и F LINSP ACEC[a,b] соответственно. Индекс C[a, b] в обозначении F LINSP ACEC[a,b] обусловлен тем, что конструктивные функции являются непрерывными на всей области определения [5]. Аналогичным образом определяются F P//LINSP ACE конструктивные вещественные числа и функции.

Рассматриваются арифметические операции на F LINSP ACECF [11].

Основная идея алгоритмов арифметических операций состоит в вычислении двоично-рациональных приближений аргументов с точностью, достаточной для вычисления результата, и затем выполнении арифметической операции над полученными приближениями. Устанавливается замкнутость F LINSP ACECF относительно таких операций.

Для операций обращения и деления обычно используется расчет нижней границы модуля числа по двоично-рациональным приближениям, что в общем случае может оказаться вычислением вне класса F LINSP ACE.

Поэтому для эффективной реализации обращения и деления определяются множество l и операция high:

• l для = 0 множество натуральных k, k 0, таких, что || 2k;

• high() произвольное целое k такое, что || 2k.

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

Pages:     || 2 |






© 2011 www.dissers.ru - «Бесплатная электронная библиотека»