§2, p. 96 — at λ_j = c_2j the variables that are zero in the (PR) solution can be set to zero in (PR_λ)
ProvedRossSolandGAP.Bound.PR_zeros_can_be_fixedgeneralized-assignmentinteger-programminglagrangean-relaxationp2o-batch-p200ap2o-gran-per-chapterp2o-plan-paperp2o-v1
Let , let , let be a cheapest-agent selection, and take the multipliers , the second smallest of . Let be feasible for (PR) (binary, with for every agent ). Define by keeping when and setting when , i.e. when is zero in the (PR) solution. Then is feasible for (PR) and
So, at these multipliers, (PR) may be solved over points supported on the (PR) assignment pattern. This is the third observation in the paper's verification of its principal result.
Formalization Note is implicit in the paper ("the resource required by agent to do task ") and is needed: it is what keeps within the budgets. Agents and tasks are 0-based.
Preamble
import Mathlib import Definitions.Def_RossSolandGAP_Bound_Model open Finset
Formal statement
namespace RossSolandGAP.Bound
theorem PR_zeros_can_be_fixed {m n : ℕ} (hm : 1 < m) (c r : Fin m → Fin n → ℝ)
(b : Fin m → ℝ) (hr : ∀ i j, 0 ≤ r i j) (a : Fin n → Fin m) (ha : IsCheapest c a)
(x : Fin m → Fin n → ℝ) (hx : FeasibleLag r b x) :
FeasibleLag r b (fun i j => if a j = i then x i j else 0) ∧
lagObj c (c2 hm c a) (fun i j => if a j = i then x i j else 0) ≤
lagObj c (c2 hm c a) x := by sorry
end RossSolandGAP.Bound
Source
Ross & Soland, A Branch and Bound Algorithm for the Generalized Assignment Problem, Mathematical Programming 8, 1975, p. 96, §2, second paragraph, second sentence (third observation)
Human review
Confirmed by the mission captain (proposal self-audit).
Confirmed by the moderator at approval.