Tackling Stackelberg network interdiction against a boundedly rational adversary

This work studies Stackelberg network interdiction games --- an important class of games in which a defender first allocates (randomized) defense resources to a set of critical nodes on a graph while an adversary chooses its path to attack these nodes accordingly. We consider a boundedly rational ad...

Full description

Saved in:
Bibliographic Details
Main Authors: MAI, Tien, BOSE, Avinandan, SINHA, Arunesh, NGUYEN, Thanh, SINGH, Ayushman Kumar
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2024
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/9690
https://ink.library.smu.edu.sg/context/sis_research/article/10690/viewcontent/2301.12232v1.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-10690
record_format dspace
spelling sg-smu-ink.sis_research-106902024-11-28T09:09:22Z Tackling Stackelberg network interdiction against a boundedly rational adversary MAI, Tien BOSE, Avinandan SINHA, Arunesh NGUYEN, Thanh SINGH, Ayushman Kumar This work studies Stackelberg network interdiction games --- an important class of games in which a defender first allocates (randomized) defense resources to a set of critical nodes on a graph while an adversary chooses its path to attack these nodes accordingly. We consider a boundedly rational adversary in which the adversary's response model is based on a dynamic form of classic logit-based (quantal response) discrete choice models. The resulting optimization is non-convex and additionally, involves complex terms that sum over exponentially many paths. We tackle these computational challenges by presenting new efficient algorithms with solution guarantees. First, we present a near optimal solution method based on path sampling, piece-wise linear approximation and mixed-integer linear programming (MILP) reformulation. Second, we explore a dynamic programming based method, addressing the exponentially-many-path challenge. We then show that the gradient of the non-convex objective can also be computed in polynomial time, which allows us to use a gradient-based method to solve the problem efficiently. Experiments based on instances of different sizes demonstrate the efficiency of our approach in achieving near-optimal solutions. 2024-08-01T07:00:00Z text application/pdf https://ink.library.smu.edu.sg/sis_research/9690 info:doi/10.24963/ijcai.2024/323 https://ink.library.smu.edu.sg/context/sis_research/article/10690/viewcontent/2301.12232v1.pdf http://creativecommons.org/licenses/by-nc-nd/4.0/ Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University Noncooperative games; Mixed discrete and continuous optimization Artificial Intelligence and Robotics Computer Sciences
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic Noncooperative games; Mixed discrete and continuous optimization
Artificial Intelligence and Robotics
Computer Sciences
spellingShingle Noncooperative games; Mixed discrete and continuous optimization
Artificial Intelligence and Robotics
Computer Sciences
MAI, Tien
BOSE, Avinandan
SINHA, Arunesh
NGUYEN, Thanh
SINGH, Ayushman Kumar
Tackling Stackelberg network interdiction against a boundedly rational adversary
description This work studies Stackelberg network interdiction games --- an important class of games in which a defender first allocates (randomized) defense resources to a set of critical nodes on a graph while an adversary chooses its path to attack these nodes accordingly. We consider a boundedly rational adversary in which the adversary's response model is based on a dynamic form of classic logit-based (quantal response) discrete choice models. The resulting optimization is non-convex and additionally, involves complex terms that sum over exponentially many paths. We tackle these computational challenges by presenting new efficient algorithms with solution guarantees. First, we present a near optimal solution method based on path sampling, piece-wise linear approximation and mixed-integer linear programming (MILP) reformulation. Second, we explore a dynamic programming based method, addressing the exponentially-many-path challenge. We then show that the gradient of the non-convex objective can also be computed in polynomial time, which allows us to use a gradient-based method to solve the problem efficiently. Experiments based on instances of different sizes demonstrate the efficiency of our approach in achieving near-optimal solutions.
format text
author MAI, Tien
BOSE, Avinandan
SINHA, Arunesh
NGUYEN, Thanh
SINGH, Ayushman Kumar
author_facet MAI, Tien
BOSE, Avinandan
SINHA, Arunesh
NGUYEN, Thanh
SINGH, Ayushman Kumar
author_sort MAI, Tien
title Tackling Stackelberg network interdiction against a boundedly rational adversary
title_short Tackling Stackelberg network interdiction against a boundedly rational adversary
title_full Tackling Stackelberg network interdiction against a boundedly rational adversary
title_fullStr Tackling Stackelberg network interdiction against a boundedly rational adversary
title_full_unstemmed Tackling Stackelberg network interdiction against a boundedly rational adversary
title_sort tackling stackelberg network interdiction against a boundedly rational adversary
publisher Institutional Knowledge at Singapore Management University
publishDate 2024
url https://ink.library.smu.edu.sg/sis_research/9690
https://ink.library.smu.edu.sg/context/sis_research/article/10690/viewcontent/2301.12232v1.pdf
_version_ 1819113103889006592