Главная страница Конференции

XIV Международная школа-семинар
СИНТЕЗ И СЛОЖНОСТЬ УПРАВЛЯЮЩИХ СИСТЕМ

Материалы XIV Международной школы-семинара "Синтез и сложность управляющих систем"

С О Д Е Р Ж А Н И Е

В. Е. Алексеев,
В. Ю. Мартьянов,
В. А. Таланов.
Об использовании вероятностных оценок при построении деревьев решений 5
М. А. Алехина О надежности схем в базисе {Ъ, Е, 1} 9
М. А. Баутин,
Л. П. Жильцова
Построение системы решающих правил для таблиц данных больших размеров 12
А. Е. Борисов О свойствах стохастического КС-языка, порожденного разложимой грамматикой 15
А. Б. Веревкин Поиск почти-периодов алгоритмом Евклида 19
М. А. Вировлянская,
Н. Ю. Золотых
О мощности разрешающего множества пороговой функции многозначной логики 20
С. В. Грибок О сигнатурной сложности рекурсивных схем из функциональных элементов 22
Д. В. Груздев Экспериментальное сравнение алгоритмов построения триангуляции и выпуклой оболочки 24
Е. В. Дебрев Тестовые задачи на графах 27
Д. А. Жуков Об одном классе клеточных схем 33
Р. Н. Забалуев О средней сложности полиномов Жегалкина 38
К. Д. Кириченко Об одном классе схем функциональных элементов линейной сложности 44
Д. И. Коган К вопросу построения множеств эффективных оценок в задачах дискретной многокритериальной оптимизации 46
В. В. Балащенко,
Н. Я. Радыно
Задача индентификации пользователя компьютера по набору фиксированной фразы на клавиатуре 16
Т. М. Косовская,
Н. К. Косовский
Сложность проверки совместности систем целочисленных сравнений, каждое из которых с двумя переменными 49
М. В. Лейкин Алгоритм решения многокритериальной задачи саддитивными и диапазонными критериями 52
Е. А. Михеева О конечной глубине в Lk замкнутых классов, не имеющих конечных базисов 54
М. Ю. Мошков О жадном алгоритме построения частичного покрытия 57
М. Ю. Мошков Сжимаемые информационные системы 58
Е. А. Окольнишникова О сложности характеристических функций кодов Рида-Маллера 60
В. Н. Потапов Аддитивная сложность слов с заданным составом подслов 65
Р. Ф. Сафин О равномерности систем монотонных функций 67
О. Б. Седелев Верхняя и нижняя оценки сложности реализации функций алгебры логики BDD, вложенными в n-мерный куб 70
С. В. Сорочан Характеризация и распознавание ориентированных графов из наследственных классов с наименьшим положительным значением энтропии 73
О. С. Тарасова О классах функций многозначной логики, замкнутых относительно операций специального вида 76
Е. Б. Титова,
В. Н. Шевченко
Среднее значение квадрата миноралюбого порядка матрицы ограничений многоиндексной транспортной задачи 81
О. А. Финько Вариант классификации арифметических форм представления логических функций 83
О. А. Финько Групповой контроль ассиметричных криптосистем методами модулярной арифметики 87
Р. В. Хелемендик О типах взаимодействия в игровых программах 87
А. В. Чашкин О средней монотонной сложности линейных булевых функций 92
Д. Ю. Черухин О сложности неветвящихся программ в комплексно-унитарном базисе 98
И. В. Чикалов,
М. С. Зеленцова
Об алгоритме вычисления минимальной глубины условного теста для задачи классификации точек на плоскости 100
В. В. Чумаков,
В. Н. Шевченко
О некоторых количественных характеристиках булевых матриц 103
В. И. Шевченко Об одном способе диагностики "1" ("0")-неисправностей входов схем 105
В. И. Шевченко О временной сложности контроля монотонных элементарных неисправностей схем 108
В. Н. Шевченко,
С. В. Сидоров
О подобии матриц второго порядка над кольцом целых чисел 112
В. Н. Шевченко,
А. Ю. Чирков
Точность приближенного решения задачи о рюкзаке 114
Л. А. Шоломов Об относительной сложности булевых функций 118
Е. А. Орехова О критерии полноты по неявной выразимости в трехзначной логике 123
Информация 128


Главная страница Конференции