Decomposition of probability marginals for security games in abstract networks

From MaRDI portal
Publication:6086010



Abstract: Given a set system (E,mathcalP), let piin[0,1]mathcalP be a vector of requirement values on the sets and let hoin[0,1]E be a vector of probability marginals with sumeinPhoegeqpiP for all PinmathcalP. We study the question under which conditions the marginals ho can be decomposed into a probability distribution on the subsets of E such that the resulting random set intersects each PinmathcalP with probability at least piP. Extending a result by Dahan, Amin, and Jaillet (MOR 2022) motivated by a network security game in directed acyclic graphs, we show that such a distribution exists if mathcalP is an abstract network and the requirements are of the form piP=1−sumeinPmue for some muin[0,1]E. Our proof yields an explicit description of a feasible distribution that can be computed efficiently. As a consequence, equilibria for the security game studied by Dahan et al. can be efficiently computed even when the underlying digraph contains cycles. As a subroutine of our algorithm, we provide a combinatorial algorithm for computing shortest paths in abstract networks, answering an open question by McCormick (SODA 1996). We further show that a conservation law proposed by Dahan et al. for requirement functions in partially ordered sets can be reduced to the setting of affine requirements described above.












This page was built for publication: Decomposition of probability marginals for security games in abstract networks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6086010)