{"id":"arxiv/2608.05922","url":"https://arxiv.org/abs/2608.05922","tags":["math.OC"],"score":0,"title":"Exact Anchoring and a Dualization-Based Matheuristic for Bi-Level Dual-Defense Network Interdiction","domain":"math.OC","source":"arxiv","authors":["Wei-Chang Yeh"],"reviews":0,"subject":"math.OC","summary":"Bi-level interdiction models are frequently solved by metaheuristics whose solution quality cannot be assessed, because exact optima are unavailable at the scales tested. We supply them for the bi-level dual-defense attacker model (BDAM), which couples node interdiction, edge destruction and capacitated supply support, and which we previously solved by a hybrid metaheuristic. First, BDAM's dominant attacker-path term admits an exact single-level reformulation by lower-level dualization, a reduction available whenever arc lengths are linear in the defender's binary decisions; the resulting…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-06","reactions":{}}