Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 33: Строка 33:
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
{{announce Seminar| 27 октября 2017 г.
 
{{announce Seminar| 27 октября 2017 г.
| Полиномиальность задачи о раскраске в 3 цвета графа без порожденных простых цепей с 6 вершинами. Доклад по статье Randerath B., Schiermeyer I. 3-Colorability \in P for P_6-free graphs.
+
| Полиномиальность задачи о раскраске в 3 цвета графа без порожденных простых цепей с 6 вершинами. Доклад по статье: Randerath B., Schiermeyer I. 3-Colorability \in P for P_6-free graphs.
 
| Астахова А., 618/1 гр.
 
| Астахова А., 618/1 гр.
 
|}}
 
|}}

Версия 15:55, 26 октября 2017

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
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 гр.


Теоретические проблемы программирования
19 октября 2017 г. (четверг, ауд. 614) Horn fragments of temporal logics & complex event processing.

We discuss the use of various temporal knowledge representation formalisms for ontology-mediated query answering over temporal data. In particular, we consider ontology and query languages based on the linear temporal logic LTL, the multi-dimensional Halpern-Shoham interval temporal logic HS, as well as the metric temporal logic MTL. Our main focus is on the data complexity of answering temporal ontology-mediated queries and their rewritability into standard first-order and datalog queries.

M.V. Zakharyaschev