gibbard-saterthwaite+theorem

теорема двойственности линейного программирования — duality theorem of linear programming

Величина решения основной задачи не может превышать величину решения двойственной задачи. Теорема двойственности линейного программирования, которую нам теперь предстоит сформулировать, говорит, что эти величины в действительности равны. Ключом к пониманию этого факта служит то, что двойственные переменные интерпретируются как множители Лагранжа. — The solution value to the primal problem can be no larger than the solution value to the dual problem. The duality theorem of linear programming, now to be stated, says that these values are actually equal. The key for an understanding of this fact is that, as the notation suggests, the dual variables have the interpretation of Lagrange multipliers.

теорема Зоненшайна-Мантеля-Дебре — Sonnenschein-Mantel-Debreu theorem

теорема Какутани о неподвижной точке — Kakutani's fixed-point theorem