Branch-and-price with novel cuts, and a new Stackelberg Security Game (2405.09356v1)
Abstract: Anticipating the strategies of potential attackers is crucial for protecting critical infrastructure. We can represent the challenge of the defenders of such infrastructure as a Stackelberg security game. The defender must decide how to allocate limited resources to protect specific targets, aiming to maximize their expected utility (such as minimizing the extent of damage) and considering that attackers will respond in a way that is most advantageous to them. We present novel valid inequalities to find a Strong Stackelberg Equilibrium in both Stackelberg games and Stackelberg security games. We also consider a Stackelberg security game that aims to protect targets with a defined budget. We use branch-and-price in this game to show that our approach outperforms the standard formulation in the literature, and we conduct an extensive computational study to analyze the impact of various branch-and-price parameters on the performance of our method in different game settings.
- Arriagada Fritz, I. A. (2021). Benders decomposition based algorithms for general and security stackelberg games.
- Bard, J. F. (2013). Practical bilevel optimization: algorithms and applications, volume 30. Springer Science & Business Media.
- A branch-and-price procedure for clustering data that are graph connected. European Journal of Operational Research, 297(3):817–830.
- The SCIP Optimization Suite 8.0. Technical report, Optimization Online.
- Continuous maximal covering location problems with interconnected facilities. Computers & Operations Research, 132:105310.
- A branch-and-price approach for the continuous multifacility monotone ordered median problem. European Journal of Operational Research, 306(1):105–126.
- Sequential stackelberg equilibria in two-person games. Journal of Optimization Theory and Applications, 59:71–97.
- Coordinating resources in stackelberg security games. European Journal of Operational Research.
- Discussion of fairness and implementability in stackelberg security games. In International Conference on Decision and Game Theory for Security, pages 97–117. Springer.
- Designing random allocation mechanisms: Theory and applications. American Economic Review, 103(2):585–623.
- Playing stackelberg security games in perfect formulations. Omega, 126:103068.
- Bilevel knapsack with interdiction constraints. INFORMS Journal on Computing, 28(2):319–333.
- A study of general and security stackelberg game formulations. European Journal of Operational Research, 278(3):855–868.
- Computing the optimal strategy to commit to. In Proceedings of the 7th ACM Conference on Electronic Commerce, EC ’06, page 82–90, New York, NY, USA. Association for Computing Machinery.
- A branch-price-and-cut procedure for the discrete ordered median problem. INFORMS Journal on Computing, 32(3):582–599.
- Dempe, S. (2002). Foundations of bilevel programming. Springer Science & Business Media.
- DeNegre, S. (2011). Interdiction and discrete bilevel linear programming. Lehigh University.
- When security games go green: Designing defender strategies to prevent poaching and illegal fishing. In Proceedings of the 24th International Conference on Artificial Intelligence, IJCAI’15, page 2589–2595. AAAI Press.
- Interdiction games and monotonicity, with application to knapsack problems. INFORMS Journal on Computing, 31(2):390–410.
- Minimum support size of the defender’s strong stackelberg equilibrium strategies in security games. In Proc. AAAI Spring Symp. on Appl. Computat. Game Theory.
- Security games with arbitrary schedules: A branch and price approach. In National Conference on Artificial Intelligence (AAAI).
- Trends and applications in stackelberg security games. Handbook of dynamic game theory, pages 1–47.
- Exact Solution of the Knapsack Problem, pages 117–160. Springer Berlin Heidelberg, Berlin, Heidelberg.
- Computing optimal randomized resource allocations for massive security games. In Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems-Volume 1, pages 689–696. International Foundation for Autonomous Agents and Multiagent Systems.
- Complexity of computing optimal stackelberg strategies in security resource allocation games. Proceedings of the AAAI Conference on Artificial Intelligence, 24(1):805–810.
- A branch and price algorithm for a stackelberg security game. Computers & Industrial Engineering, 111:216–227.
- Catcher-evader games. arXiv preprint arXiv:1602.01896.
- Playing games for security: An efficient exact algorithm for solving bayesian stackelberg games. In Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems-Volume 2, pages 895–902. International Foundation for Autonomous Agents and Multiagent Systems.
- In-out separation and column generation stabilization by dual price smoothing. In Experimental Algorithms: 12th International Symposium, SEA 2013, Rome, Italy, June 5-7, 2013. Proceedings 12, pages 354–365. Springer.
- Exact algorithm over an arc-time-indexed formulation for parallel machine scheduling problems. Mathematical Programming Computation, 2:259–290.
- Iris-a tool for strategic security allocation in transportation networks. AAMAS (Industry Track), pages 37–44.
- Stackelberg security games: Models, applications and computational aspects. Journal of Telecommunications and Information Technology, (3):70–79.
- Xu, H. (2016). The mysteries of security games: Equilibrium computation becomes combinatorial algorithm design. In Proceedings of the 2016 ACM Conference on Economics and Computation, pages 497–514. ACM.
- Scaling-up security games with boundedly rational adversaries: A cutting-plane approach. In International Joint Conference on Artificial Intelligence (IJCAI).
- Bayesian stackelberg games for cyber-security decision support. Decision Support Systems, 148:113599.