Читать книгу Multi-parametric Optimization and Control - Efstratios N. Pistikopoulos - Страница 38
Theorem 1.2 ([3])
Оглавление Consider an ‐dimensional compact polytope in halfspace representation. A constraint is redundant if and only if
(1.27)
Additionally, a constraint is strongly redundant if and only if
(1.28)