Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г.	О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А.	Вершинин А., 618/1 гр.
Теория управляющих систем и математические модели СБИС
18 ноября 2017 г.	Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций»	Павлова А.Ф.
Сложность решения дискретных задач
22 ноября (в среду) 2017 г.	Упаковки и покрытия путей в графах и кёниговы графы аннотация доклада	Мокеев Д.Б. (ННГУ)
Теоретические проблемы программирования
17 ноября 2017 г.	Доклад по статье Petr Jancar, Faron Moller "Techniques for Decidability and Undecidability of Bisimilarity" В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима.	Гнатенко А. Р.