XVII Международная школа-семинар
«Синтез и сложность управляющих систем»
имени академика О.Б. Лупанова
Вторник, 28 октября
ауд. 417, Институт математики
10:00 –10:15Открытие конференции
10:15 – 11:00
Кочергин Вадим Васильевич (МГУ, мех-мат)О сложности некоторых аддитивных вычислений
11:00–11:30Кофе-брейк
11:30 – 12:10
Шоломов Лев Абрамович (Москва, Институт системного анализа РАН)Правило сложения энтропий для недоопределенных данных
12:10 – 12:40
Кротов Денис Станиславович (Новосибирск, ИМ СО РАН)О совершенных раскрасках половинногоn-куба
12:40 –
13:10
Косовский Николай Кириллович (Санкт-Петербургский государственный университет) Условия полиномиальности алгоритмов, реализуемых на машинах Тьюринга с оракулами- функциями
13:10 – 14:30 Обед
14:30 –
15.00
Потапов Владимир Николаевич (Новосибирск, ИМ СО РАН) О спектрах гамильтоновых циклов в булевом n-кубе
15:00 –
15:20
Фрид Анна Эдуардовна (Новосибирск, ИМ СО РАН)Об уравнениях над бинарными факторными языками
15:20 – 15:50
Хелемендик Роман Викторович (Москва, ИПМ им.М.В.Келдыша РАН) О сведении задачи распознавания выполнимости формул логики ветвящегося времени к распознаванию выполнимости формул логики высказываний
15.50 –
16.15
Косовская Татьяна Матвеевна (Санкт-Петербургскийинститут информатики и автоматизации РАН) Логико-предикатный подход к распознаванию и анализу составных объектов и оценки его сложности
16.15–16.20Перерыв
16.20 –
18.00
Шиганов Александр Евгеньевич (МГУ, ВМК) О сложности ориентированных контактных схем с весовыми и структурными ограничениями
Шуплецов Михаил Сергеевич (МГУ, ВМК) Асимптотика функции Шеннона для сложности предикатных схем в некоторых базисах с элементами блочного типа
Романов Дмитрий Сергеевич (МГУ, ВМК), Ильин Илья Алексеевич (ИПМ РАН) О единичных диагностических тестах для одного класса КМОП-схем
Романов Дмитрий Сергеевич, Кузнецов Иван Алексеевич (МГУ, ВМК) О полных проверяющих тестах для одного источника неисправностей на входах схем
Вороненко Андрей Анатольевич, Чистиков Дмитрий Викторович (МГУ, ВМК)Тестирование бесповторных функций в базисе B5
Вороненко Андрей Анатольевич (МГУ, ВМК) О проверяющих и диагностических тестах для бесповторных функций
18.00
Вечерний чай
Среда, 29 октября
ауд. 417, Институт математики
10:00 – 11:00
Веснин Андрей Юрьевич (Новосибирск, ИМ СО РАН)
Понятия сложности для узлов и трехмерных многообразий
11:00– 11:30 Кофе-брейк
11:30 – 12:00
Окольнишникова Елизавета Антоновна (Новосибирск, ИМ СО РАН)Об оценках сложности вычисления характеристических функций БЧХ-кодов ветвящимися программами
12:00 – 12:30
Евтушенко Нина Владимировна (Томский Государственный университет) Исследование отношений совместимости и различимости между недетерминированными автоматами
12:30 – 13:00
Колпаков Роман Максимович (МГУ, мех-мат), Посыпкин Михаил Анатольевич (Москва, Институт системного анализа РАН) Об эффективных верхних оценках сложности решения задачи о булевом ранце методом ветвей и границ
13:00 – 14:30 Обед
14:30 – 16:30
Парватов Николай Георгиевич (Томский государственный университет)Проблема выразимости в решётке с замыканием
Рычков Константин Леонидович (Новосибирск, ИМ СО РАН) О сложности реализацииq-ичных булевых функций в классеq-ичных контактных схем
Ермакова Дарья Игоревна(МГУ, мех-мат) О сложности реализации констант в трехзначной логике
Рублев Вадим Сергеевич, Писаренко Дмитрий Сергеевич (Ярославский Государственный университет) Синтез аппарата взаимодействий системы управления базами данных DIM
Чебурахин Игорь Федорович (Москва, МАТИ-РГТУ им.К.Э.Циолковского) Сложность симметрических полиномов Жегалкина
Рублев Вадим Сергеевич, Смирнов Александр Валерьевич (Ярославский Государственный университет) Минимизация ошибок округления в задаче целочисленного сбалансирования трёхмерной матрицы
Михайлович Анна Витальевна (МГУ, мех-мат) О некоторых свойствах замкнутых классов, порожденных функциями со специальными свойствами
16:30–17:00 Кофе-брейк
17:00 – 18:00
Дайняк Александр Борисович (МГУ, ВМК) Оценки числа независимых множеств в некоторых классах графов
Башов Максим Александрович (МГУ, ВМК) О диаметре подмножеств групп простого порядка
Ларионов Виталий Борисович (МГУ, ВМК) О положении некоторых классов монотонных k-значных функций в решётке замкнутых классов
Федорова Валентина Сергеевна (МГУ, ВМК) О решениях систем функциональных булевых уравнений
18:00
Вечер воспоминаний об О.Б. Лупанове
Четверг, 30 октября
ауд. 417, Институт математики
10:00 – 10:40
Коршунов Алексей Дмитриевич (Новосибирск, ИМ СО РАН)О нижних оценках(k,r)-неразделимых семейств конечного множества
10:40 – 11.10
Малюгин Сергей Артемьевич (Новосибирск, ИМ СО РАН)Несистематические совершенные коды на полями Галуа
11:10 – 11:40 Кофе-брейк
11:40 – 12:20
Токарева Наталья Николаевна (Новосибирск, ИМ СО РАН)Обобщения булевых бент-функций. Обзор
12:20 – 13:00
Фон-дер-Флаасс Дмитрий Германович (Новосибирск, ИМ СО РАН) Число доминирования конечных и бесконечных турниров
13:00 – 16:00 Обед, экскурсия
16:00 – 17:00
Августинович Сергей Владимирович (Новосибирск, ИМ СО РАН)Об изоморфизмах графов Кэли симметрической группы
Романов Александр Михайлович (Новосибирск, ИМ СО РАН)О комбинаторных кодах Грея с расстоянием 3
Васильева Анастасия Юрьевна (Новосибирск, ИМ СО РАН) Характеризация линейных двоичных вполне регулярных кодов
17:00 – 17:30 Кофе-брейк
17:30 – 18:30
Лось Антон Васильевич (Новосибирск, ИМ СО РАН) Свитчинговые конструкции совершенных q-значных кодов и их свойства
Горкунов Евгений Владимирович(Новосибирск, НГУ) Связь между коллинеациями проективных геометрий и автоморфизмами кода Хэмминга
Потапов Владимир Николаевич (Новосибирск, ИМ СО РАН)Верхняя оценка числа n-квазигрупп конечного порядка
Пятница, 31 октября
ауд. 417, Институт математики
10:00 – 10:30
Лобанов Михаил Сергеевич (МГУ, мех-мат) Нижние оценки нелинейности высоких порядков через алгебраическую иммунность
10:30 – 11:10
Евдокимов Александр Андреевич (Новосибирск, ИМ СО РАН), Лиховидова Елена Олеговна (Новосибирск, НГУ).Дискретная модель регуляторного контура генной сети с пороговыми функциями.
11:10 – 11:40 Кофе-брейк
11:40 – 14:00
Федоряева Татьяна Ивановна (Новосибирск, ИМ СО РАН) Точные верхние оценки компонент векторов разнообразия шаров для графов с заданными числом вершин и диаметром
Пузынина Светлана Александровна (Новосибирск, ИМ СО РАН) Обобщенно-центрированные функции
Мерекин Юрий Владимирович (Новосибирск, Институт математики СО РАН) О вычислении сложности по Арнольду двоичных слов
Батуева Цындыма Чимит-Доржиевна(Новосибирск, НГУ)Максимальная шаблонная сложность двумерных слов Теплица
Потапов Владимир Николаевич (Новосибирск, ИМ СО РАН) Совершенные кликосочетания в q-значных гиперкубах
Воробьев Константин Васильевич (Новосибирск, НГУ)О числе совершенных 2-раскрасок гиперкуба
Шенмайер Анастасия Евгеньевна (Новосибирск, ИМ СО РАН)Различие префиксной сложности слов при их инвертировании