Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 25: | Строка 25: | ||
| align="center" | Павлова А.Ф. | | align="center" | Павлова А.Ф. | ||
|}} | |}} | ||
| − | |||
|- | |- | ||
|colspan="3"|'''[[Сложность решения дискретных задач]]''' | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | ||
{{announce Seminar| 22 ноября (в среду) 2017 г. | {{announce Seminar| 22 ноября (в среду) 2017 г. | ||
| − | | Упаковки и покрытия путей в графах и кёниговы графы | + | | Упаковки и покрытия путей в графах и кёниговы графы [[Media: mokeev-22-11-17.docx|аннотация доклада]] |
| Мокеев Д.Б. (ННГУ) | | Мокеев Д.Б. (ННГУ) | ||
|}} | |}} | ||
Версия 11:28, 20 ноября 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| 20 октября 2017 г. | О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А. | Вершинин А., 618/1 гр.
|
| Теория управляющих систем и математические модели СБИС | ||
| 18 ноября 2017 г. | Доклад «Об одной модели сокрытия функциональности схем и оценках степени их защищенности при асимптотически оптимальной реализации "типичных" функций» | Павлова А.Ф.
|
| Сложность решения дискретных задач | ||
| 22 ноября (в среду) 2017 г. | Упаковки и покрытия путей в графах и кёниговы графы аннотация доклада | Мокеев Д.Б. (ННГУ)
|
| Теоретические проблемы программирования | ||
| 17 ноября 2017 г. | Доклад по статье Petr Jancar, Faron Moller "Techniques for Decidability and Undecidability of Bisimilarity"
В статье описывается общий метод решения задачи проверки бисимулярности вершин бесконечных ориентированных рёберно-помеченных графов, основанный на систематической проверке по определению. Будет показано, как этот метод может быть адаптирован для решения задачи в случае конечных графов, а также графов, порождённых алгебрами процессов и односчётчиковыми машинами. Наконец, будет продемонстрирован класс графов, для которых задача неразрешима. |
Гнатенко А. Р.
|
