RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления





Для просмотра файлов Вам могут потребоваться






Международная конференция «Logical Models of Reasoning and Computation»
2 февраля 2012 г. 17:30, г. Москва, МИАН
 


P(l)aying for synchronization

Mikhail Volkov

Ural Federal University, Ekaterinburg
Видеозаписи:
Flash Video 1,725.1 Mb
Flash Video 283.7 Mb
MP4 283.7 Mb

Количество просмотров:
Эта страница:296
Видеофайлы:80

Mikhail Volkov
Фотогалерея


Видео не загружается в Ваш браузер:
  1. Установите Adobe Flash Player    

  2. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  3. Сообщите администратору портала о данной ошибке

Аннотация: Two topics will be presented: synchronization games and synchronization costs. In a synchronization game on a deterministic finite automaton, there are two players, Alice (Synchronizer) and Bob (Desynchronizer), whose moves alternate. Alice who pays first wants to synchronize the given automaton, while Bob aims to make her task as hard as possible. We answer a few natural questions related to such games. Speaking about synchronization costs, we consider deterministic weighted automata, that is, deterministic automata in which each transition has a certain price being a non-negative integer. The problem is whether or not we can synchronize a given automaton within a given budget. We determine the complexity of this problem.

Язык доклада: английский

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017