Изменения

Перейти к: навигация, поиск

F2Cmax

Нет изменений в размере, 11:44, 24 июня 2013
м
Доказательство корректности алгоритма
Аналогично имеем, что <tex> w_{ji} = \max (p_{j1} + \max(p_{i1}, p_{j2}) + p_{i2}, delta + p_{i2} + p_{j2}) </tex>
Так как <tex> \min(a, b) = - \max(-a, -b)</tex>, то из условию условия леммы имеем <tex> \max(-p_{i1}, -p_{j2}) \leq \max(-p_{j1}, -p_{i2}) </tex>, то добавим <tex> p_{i1} + p_{i2} + p_{j1} + p_{j2} </tex> к обеим частям. То получим, что <tex> p_{j1} + \max(p_{i1}, p_{j2}) + p_{i2} \leq p_{i1} + \max(p_{j1}, p_{i2}) + p_{j2} </tex>, то есть <tex> w_{ji} \leq w_{ij} </tex>, то при смене местами работ <tex> i </tex> и <tex> j </tex> ответ не ухудшается.
}}
64
правки

Навигация