Алгоритмическое доказательство Леммы KKMS

20 May 2025, 13:06
12m
Поточная Арктики (УЛК2) (МФТИ)

Поточная Арктики (УЛК2)

МФТИ

Математическая оптимизация 20-Математическая оптимизация

Speaker

Dmitry Kovalenko (MIPT)

Description

В ходе рассмотрения топологических путей решения двойственной задачи линейного программирования возникло несколько проблем. Одна из них заключается в том, что отстутствует чёткий алгоритм для нахождения сбалансированного множества в Теореме Комии. В данном докладе будет рассмотрено алгоритмическое доказательство более слабой Теоремы KKMS, но важной для понимания, как можно было обобщить приведённый в ней алгоритм.

Primary author

Presentation materials