Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 36: | Строка 36: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 17 ноября 2017 г. |
| | | | ||
| − | Доклад по статье | + | Доклад по статье Petr Jancar, Faron Moller "Techniques for Decidability and Undecidability of Bisimilarity" |
| − | В | + | В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима.| |
| − | | | + | | Гнатенко А. Р. }} |
Версия 21:45, 15 ноября 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| 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" В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима. |
|
