CC BY
26
УДК 510.6
МЕТОДЫ НЕПРЕРЫВНОЙ ЛОГИКИ В ТЕОРИИ ИНФОРМАЦИОННЫХ СИСТЕМ
© В.И. Левин
Levin V.I. Methods of continuous logic in the theory of informational systems. The article discusses the issue of formalizing actions with data in the informational files. For this, the author proposes a mathematical apparatus of continuous logic and logical determinants. It has been used in developing different algorithms of ordered search in disordered and semi-ordered files.
1. Функционирование информационных систем (ИС), независимо от области их применения - техника, экономика, образование, управление - связано с выполнением некоторых типовых операций над данными: поиск данных по заданному признаку, их упорядочение в определенном смысле, их объединение или разъединение, включение новых данных в уже имеющийся информационный массив, исключение некоторых данных из массива и другие. Существующие методы выполнения этих операций получены, как правило, эвристическим путем и ориентированы на те или иные конкретные структуры данных в ИС [1]. Между тем, эффективность выполнения указанных операций существенно зависит от того, насколько формализованно были получены алгоритмы их выполнения и как глубоко были оптимизированы эти алгоритмы. Таким образом, важное значение приобретает разработка математического аппарата для формализованного представления, анализа и синтеза алгоритмов выполнения различных операций с массивами данных в ИС. Этот аппарат должен быть достаточно универсальным, не связанным с определенной структурой данных или определенными операциями над данными. Таким математическим аппаратом может быть непрерывная логика (НЛ) и ее многомерное обобщение - исчисление логических определителей (ЛО) [2, 3].
2. Пусть С = [А, В] - замкнутый интервал вещест-
венных чисел с центром М = 0,5(Л +В). Тогда алгебра НЛ есть система {Г.’,у,а, }, где логические
операции дизъюнкции V и конъюнкции л и отрицания — определяются в виде
avb = тах(а,Ь), алЬ = min(a,6), а=2М—а, Уа.ЬеС.
(1)
Алгебра НЛ подчиняется тем же законам, что и булева алгебра, кроме законов исключенного третьего и противоречия, которые здесь не действуют и заменяются более сложными законами [2-6]. Пусть Ап ={а],...,ап} -неупорядоченное числовое множество из п чисел аі. Представим его в виде матрицы-столбца
А =
(2)
Упорядочим элементы множества Ап по возрастанию: а0) < а(2) < ... < а("). Функция (отображение) Ап —> а(' ) называется ЛО-столбцом ранга г от матрицы Ап и обозначается
А'' =
М
(3)
ЛО-столбец А’п есть числовая характеристика матрицы-столбца Ап , подобная алгебраическому определителю квадратной матрицы из линейной алгебры. ЛО-столбец А? выражается через свои элементы ах,...,ап функцией в виде суперпозиции операций НЛ V и А [2-5]
Атп= V К
Агп = А К v...val;), ац єА„
7, А..9*/-
(4)
Первая формула (4) выражает ЛО в дизъюнктивной нормальной форме (ДНФ), вторая - в конъюнктивной нормальной форме (КНФ).
3. Рассмотрим неупорядоченный информационный массив из /7 чисел а1,...,ап . Пусть нужно найти г -й в порядке возрастания элемент заданного массива а(г) . Представим этот массив в виде множества Ап ={(7] ...,ап}, а последнее - в виде матрицы-столб-ца (2). По определению, искомый элемент а(' ) равен ЛО Агп ранга г от матрицы-столбца Ап вида (2), т. е.
а») = № =
(О
(5)
Раскроем в формуле (5) ЛО согласно его ДНФ-представлению (4). В результате получим выражение а(г) в виде некоторой функции НЛ. Эта функция является поисковой, она представлена в ДНФ и задает двухступенчатый дизъюнктивный алгоритм поиска. По этому алгоритму для отыскания элемента дМ надо в заданном п -элементном множестве Ап сделать следующее: 1) выделить все возможные подмножества по п~г + 1 различных элементов и найти в каждом подмножестве минимальный элемент я, тіп ; 2) выбрать
которая отличается от обычной прямоугольной матрицы неодинаковыми длинами строк и упорядоченностью элементов в строках по возрастанию согласно (6). ЛО Аг ранга г от квазиматрицы А вводится аналогично ЛО-столбцу Ац , а именно, А' : Ас/ —> а(г), и обозначается
Аг = ч
а\\ а\тх О)
а91 ■ ■ аЧтй
(8)
а(г). Если раскрыть в (5) ЛО согласно его КНФ-пред-ставлению (4), то получим выражение оОО в виде другой поисковой функции НЛ. Эта функция представлена в КНФ и задает следующий двухступенчатый конъюнктивный алгоритм поиска элемента аО) в и -элементном множестве Ап : 1) выделить все возможные подмножества по г различных элементов и найти в каждом подмножестве максимальный элемент аг тлх; 2) выбрать минимальный из всех элементов
а;,тах - ЭТ0 и бУДет а(г).
Трудоемкость поиска произвольного порядкового элемента а(г) в неупорядоченном массиве с п элементам с помощью описанных алгоритмов совпадает с трудоемкостью раскрытия соответствующего ЛО А'п и измеряется общим числом операций НЛ в формулах раскрытия (4). Эта трудоемкость растет экспоненциально с увеличением п [2]. Однако существенно не это, а то, что от указанных неэкономных алгоритмов можно формализованно переходить к более экономным или даже минимальным по трудоемкости алгоритмам, используя правила эквивалентных преобразований логических поисковых функций, основанные на законах НЛ [2].
4. Рассмотрим частично упорядоченный информационный массив из п чисел, состоящий из ц полностью упорядоченных подмассивов, с неизвестными отношениям между элементам различных подмассивов. Найдем г -й в порядке возрастания элемент этого массива а(г). Представим заданный массив в виде частично упорядоченного множества Ац, с упорядоченными подмножествами О] <2„
АЧ = {°1 I..а\щ ’ «21..«2т2 ; - •' ас,\.Ь
02
а а < аі2 < < аіт ,/ = 1, (], X = п.
І=1
(б)
В свою очередь», множество АС[ можно представить в виде квазиматрицы
«11 • •• а\ т,
«„ • ’ а Ч"'я
(7)
ЛО А? есть числовая характеристика квазиматрицы Ач. Он выражается через свои элементы аі}
функцией - суперпозицией операций НЛ V и л - в двух различных формах
Ач= V (Яц л...лаф)-ДНФ;
<7 4
]Г,г=г+<Н
Агч = 11 А («Ь, V... V ) - КНФ.
..«?.
(9)
<7
По определению, искомый элемент сгО) равен ЛО Аг ранга г от квазиматрицы Ач вида (7), т. е.
а О) = А’ч =
О
«11 • ■■
ад\ • ' ачт<,
(10)
Раскрыв в формуле (10) ЛО согласно его ДНФ-представлению (9), получим поисковую функцию НЛ для нахождения аМ. Соответствующий двухступенчатый дизъюнктивный алгоритм требует для отыскания элемента аМ в множестве Ац сделать следующее: 1) выделить все возможные подмножества множества Ач , содержащие по одному элементу от каждого упорядоченного подмножества О, , так, чтобы сумма вторых индексов элементов любого выделенного подмножества равнялась г + ц — 1 (если из условия на сумму Е/4. для некоторого ¡к получится ¡к >тк , то элемент подмножества Qk в выделяемое
подмножество не включается); определить в каждом выделенном подмножестве минимальный элемент о; тш ; 2) выбрать максимальный из всех элементов
а,,тШ - это и будет а О). Раскрыв ЛО в (10) согласно его КНФ-представлению (9), получим другую поисковую функцию НЛ для нахождения а</). Соответствующий двухступенчатый конъюнктивный алгоритм требует для отыскания элемента аМ в множестве А :
I) выделить в Ас/ все возможные подмножества, со-
держащие по одному элементу от каждого упорядоченного подмножества Oi , так, чтобы сумма 1,1 ^ вторых индексов элементов любого выделенного подмножества равнялась г (индексы /5 не должны превосходить тх иг); определить в каждом выделенном подмножестве максимальный элемент ¡7, тах ; 2) выбрать минимальный из всех элементов а, тах - это и будет
«(''). Трудоемкость поиска произвольного порядкового элемента а(г) в частично упорядоченном массиве с полностью упорядоченными подмассивами с помощью приведенных алгоритмов есть трудоемкость раскрытия соответствующего ЛО А? и измеряется числом операций НЛ в формулах раскрытия (9). Эта трудоемкость растет экспоненциально с увеличением д. Однако достоинство нашего подхода в том, что от указанных неэкономных алгоритмов можно формализованно переходить к более экономим, используя правила эквивалентных преобразований логических поисковых функций, основанные на законах НЛ [2].
5. Для более сложных структур информационных массивов алгоритмы выполнения типовых операций над данными синтезируются аналогично. Решающим моментом синтеза остается формирование ЛО, соответствующего рассматриваемым структуре и операции, и раскрытие этого ЛО по формуле, полученной из
общих формул раскрытия путем учета особенностей данного ЛО. Полученное в результате раскрытия выражение НЛ будет определять некоторый алгоритм выполнения необходимой операции.
6. Основные достоинства предложенного подхода -возможность формализованного 1) представления типовых операций в массивах; 2) анализа этих операций; 3) синтеза алгоритмов выполнения операций; 4) преобразования этих алгоритмов для повышения их эффективности (снижение трудоемкости) или придания нужной формы (для распараллеливания и др.); 5) перехода от одной постановки задачи к другой (например, от точной к приближенной).
ЛИТЕРАТУРА
1. Мартин Дж. Организация баз данных в вычислительных системах. М.: Мир, 1980.
2. Левин В.И Бесконечнозначная логика в задачах кибернетики. М.: Радио и связь, 1982.
3. Левин В.И. Структурно-логические методы исследования сложных систем. М.: Наука, 1987.
4. Левин В.И. Непрерывная логика. Обобщения, применения. I, II // Автоматика и 'телемеханика. 1990. № 8, 9.
5. Левин В.И. Непрерывная логика и ее применение. М.: Машиностроение, 2000. (Приложение к журн. «Информационные технологии». 2000. № 11).
6. Levin V.J. Continuous Logic. I, II // Kybemetes. 2000. VI. 29. № 9/10.
Поступила в редакцию 19 февраля 2002 г.
