Шаблон:Current Seminars

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г.	О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А.	Вершинин А., 618/1 гр.
Теория управляющих систем и математические модели СБИС
18 ноября 2017 г.	Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»	Павлова А.Ф.
Сложность решения дискретных задач
27 октября 2017 г.	Полиномиальность задачи о раскраске в 3 цвета графа без порожденных простых цепей с 6 вершинами. Доклад по статье: Randerath B., Schiermeyer I. 3-Colorability \in P for P_6-free graphs.	Астахова А., 618/1 гр.
Теоретические проблемы программирования
17 ноября 2017 г.	Доклад по статье Petr Jancar, Faron Moller "Techniques for Decidability and Undecidability of Bisimilarity" В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима.	Гнатенко А. Р.