|
6
Поступила в редакцию 15.12.2015
Подписана в печать
24.02.2016
17 с.
/r2/pdf.jpg)
PDF |
Сметанин Ю.М.
Непарадоксальное логическое следование и проблема решения
МЛ-уравнений
Рассматривается
#𝑃-полная
задача вычиcления всех выполняющих подстановок для логического
уравнения
𝐹(𝑥1,
𝑥2,
. . . ,
𝑥𝑛)
= 1.
Предлагается новый способ ее решения за счет приведения к задаче
вычисления такого множества
𝑈,
что
𝑈
=
𝐹(𝑋1,𝑋2,
. . . ,𝑋𝑛).
Здесь
𝐹(𝑋1,𝑋2,
. . . ,𝑋𝑛)
—
формула алгебры множеств, изоморфная
𝐹(𝑥1,
𝑥2,
. . . ,
𝑥𝑛),
и
𝑋𝑛
—
заранее известные множества. Переменные
𝑥𝑛
в логическом уравнении являются характеристическими функциями для
множеств
𝑋𝑛
из второго равенства, которое названо МЛ-уравнением.
Ключевые слова:
логические уравнения, силлогистика, алгебраическая онтология,
алгебраическая система, непарадоксальное логическое следование в
семантическом смысле, булева алгебра. |
|
12
Поступила в редакцию 25.12.2015
Подписана в печать
28.03.2016
8 с.
PDF |
Знаменский
С.В.
Картина наибольшей длины общих подпоследовательностей пары случайных
строк 4 буквенного алфавита
Наибольшая длина (LCS) общей подпоследовательности пары случайных
конечных последовательностей из 4 букв рассмотрена как случайная
функция от длин
m
и
n
этих двух последовательностей. Представлены таблицы точных значений
вероятностей для всех пар конкретных длин в диапазоне 2 <
m
+
n
< 19. Графики зависимости математического ожидания и дисперсии
показаны в линейной перспективе, позволяющей просматривать на
горизонте поведение при растущих длинах. Для иллюстрации поведения
при больших значениях длин на этих же графиках показаны результаты
численного экcперимента для больших значений
m
+
n
= 32, 512, 8192 и 131072. Представленный график зависимости
математического ожидания от
m
и
n
выглядит имеющим асимптотический прямой круговой конус. Дисперсия
выглядит растущей как (n
+
m)¾
Ключевые слова:
сходство строк, выравнивание последовательностей, случайные общие
подпоследовательности, LCS, метрика Левенштейна. |
/r1/pdf.jpg){kind=small}
.