Шаблон:Current Seminars

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г. О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А. Вершинин А., 618/1 гр.


Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
11 ноября 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"

В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима.