Аннотация
Расскажу про интересные оптимизационные задачки, которые возникаюи на практике при разработке распределенных систем с взвешенным участием.
Взвешенная модель в распределенных вычислениях – это когда каждому участнику приписан вес и предположение о количестве ошибок заменено на предположение о суммарном весе "плохих" участников. На практике, такая модель распространена, например, в proof-of-stake блокчейн системах, где вес соответствует объему капитала, инвестированного участником в систему. Однако, многие техники, используемые в распределенных протоколах, по своей природе "дискретные", что усложняет их применение в взвешенной модели.
Я расскажу про две оптимизационные задачи по "снижению веса", которые, насколько нам известно, не рассматривались раньше, и про их применения в построении взвешенных распределенных протоколов.