Для студентов МГУ им. Ломоносова по предмету Математические методы верификации схем и программдз 7. UPPAAL. gossip (avasite)дз 7. UPPAAL. gossip (avasite)
2020-08-252020-08-25СтудИзба
Курсовая работа: дз 7. UPPAAL. gossip (avasite)
Описание
Описание файла отсутствует
Характеристики курсовой работы
Учебное заведение
Просмотров
32
Скачиваний
3
Размер
2,19 Kb
Список файлов
- дз 7. UPPAAL. gossip (avasite)
- gossip.xml 8,39 Kb
- задача.txt 945 b
задача
Четыре девушки делятся между собой секретами по телефону.
В самом начале каждая девушка знает свой секрет и только его.
Чтобы поделиться секретом, одна девушка звонит другой, и они в совместном разговоре делятся секретами. Каждой девушке приписано своё время: 1, 2, 3, 4. Разговор двух девушек длится столько, какова сумма приписанных девушкам времён. По окончании разговора они немедленно узнают все секреты, известные друг другу.
Определить минимальное время, за которое девушки могут узнать все секреты друг друга.