Abstract:We propose a combinatorial optimisation model called Limited Query Graph Connectivity Test. We consider a graph whose edges have two possible states (On/Off). The edges' states are hidden initially. We could query an edge to reveal its state. Given a source s and a destination t, we aim to test s-t connectivity by identifying either a path (consisting of only On edges) or a cut (consisting of only Off edges). We are limited to B queries, after which we stop regardless of whether graph connectivity is established. We aim to design a query policy that minimizes the expected number of queries. Our model is mainly motivated by a cyber security use case where we need to establish whether an attack path exists in a network, between a source and a destination. Edge query is resolved by manual effort from the IT admin, which is the motivation behind query minimization. Our model is highly related to monotone Stochastic Boolean Function Evaluation (SBFE). There are two existing exact algorithms for SBFE that are prohibitively expensive. We propose a significantly more scalable exact algorithm. While previous exact algorithms only scale for trivial graphs (i.e., past works experimented on at most 20 edges), we empirically demonstrate that our algorithm is scalable for a wide range of much larger practical graphs (i.e., Windows domain network graphs with tens of thousands of edges). We propose three heuristics. Our best-performing heuristic is via reducing the search horizon of the exact algorithm. The other two are via reinforcement learning (RL) and Monte Carlo tree search (MCTS). We also derive an anytime algorithm for computing the performance lower bound. Experimentally, we show that all our heuristics are near optimal. The exact algorithm based heuristic outperforms all, surpassing RL, MCTS and 8 existing heuristics ported from SBFE and related literature.

On the connectivity Waiter-Client game

Creating spanning trees in Waiter-Client games

Waiter-Client Maximum Degree Game

On the complexity of Client-Waiter and Waiter-Client games

The Hardness Of Selective Network Design For Bottleneck Routing Games

Spanning k-Ended Tree in 2-Connected Graph

Connectivity in the Presence of an Opponent

An Extension of the Win Theorem: Counting the Number of Maximum Independent Sets

One n Remains to Settle the Tree Conjecture

A note on the connected game coloring number

On conjectures concerning the graph grabbing game

Limited Query Graph Connectivity Test

Connectivity Queries under Vertex Failures: Not Optimal, but Practical

Tree universality in positional games

A $5/4$ Approximation for Two-Edge-Connectivity

Connectivity of inhomogeneous random graphs II

A New Twist on Wythoff's Game

On connectivity in random graph models with limited dependencies

An upper bound for neighbor-connectivity of graphs

Welfare Loss in Connected Resource Allocation

d ‐connectivity of the random graph with restricted budget