LGCGJun 19

Learning to Place Guards by Reinforcement: A Geo-Free Neural Policy for the Vertex-Guard Art Gallery Problem

arXiv:2606.216041.7
Predicted impact top 98% in LG · last 90 daysOriginality Synthesis-oriented
AI Analysis

For researchers in neural combinatorial optimization, this work provides a method to diagnose whether failures stem from missing knowledge or decoder issues, though the findings are incremental and domain-specific.

The paper investigates what a reinforcement-trained neural policy learns in the vertex-guard Art Gallery Problem, finding that the encoder captures sufficient geometric knowledge for feasibility, while decoder calibration causes residual failures. Probing the frozen encoder with a classifier reduces under-covered polygons by an order of magnitude at a cost in guard count.

Neural combinatorial optimization (NCO) has shown that policies trained by reinforcement can construct strong solutions to NP-hard problems directly from raw instances. What such a policy actually learns, as opposed to what its decoder expresses, remains much less clear. We study this distinction on the vertex-guard Art Gallery Problem, the NP-hard task of choosing polygon vertices from which to observe an entire region. A pointer-network policy is trained from a coverage-aware reward over its own rollouts under the constraint we call geo-free inference: at test time it sees only vertex coordinates, with no visibility computation and no geometric oracle. The policy places guards economically but leaves a tail of under-covered polygons that widens far beyond the training range. To locate the cause, we freeze the trained encoder and read its embeddings with a small single-shot classifier, still geo-free at inference. The classifier closes most of the feasibility gap, in and out of distribution and at up to roughly five times the training range, cutting under-covered polygons by about an order of magnitude at an explicitly reported cost in guard count. We read this as evidence that the reinforcement-trained representation already encodes the geometry required for feasibility, and that residual failures reflect decoder calibration rather than missing knowledge. Probing a frozen encoder thus offers a practical way to ask what a neural combinatorial solver has internalized.

Foundations

The foundational work for this paper's niche, ranked by how specifically the neighbourhood builds on it — not by global fame.

Your Notes