Шаблон:Current Seminars

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
20 октября 2017 г.	О максимальной длине цепи в единичном n-мерном кубе. По статье Евдокимова А.А.	Вершинин А., 618/1 гр.
Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем
20 октября 2017 г.	О динамической активности схем из функциональных элементов.	Шуплецов М.С.
27 октября 2017 г.	Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада	Автайкина Мария
Сложность решения дискретных задач
27 октября 2017 г.	Полиномиальность задачи о раскраске в 3 цвета графа без порожденных простых цепей с 6 вершинами. Доклад по статье: Randerath B., Schiermeyer I. 3-Colorability \in P for P_6-free graphs.	Астахова А., 618/1 гр.
Теоретические проблемы программирования
03 ноября 2017 г.	Доклад по статье R. Alur, D.L. Dill "A theory of timed automata" (Часть 2) Во второй части изучения статьи будут рассмотрены вопросы, связанные с алгоритмическими задачами проверки некоторых свойств вычислений временных автоматов. В ходе доклада будут рассмотрены некоторые алгоритмы для временных автоматов, разобран алгоритм проверки пустоты языка временного автомата и произведена оценка его сложности. Будет показано, что проблема универсальности для временных автоматов является неразрешимой.	Джусупекова З. А.