Pith. sign in

REVIEW 2 cited by

Graph Searching with Predictions

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2212.14220 v1 pith:P54TJHRL submitted 2022-12-29 cs.DS

classification cs.DS
keywords goalpredictionsagentdistancegraphsometreesconsider
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Consider an agent exploring an unknown graph in search of some goal state. As it walks around the graph, it learns the nodes and their neighbors. The agent only knows where the goal state is when it reaches it. How do we reach this goal while moving only a small distance? This problem seems hopeless, even on trees of bounded degree, unless we give the agent some help. This setting with ''help'' often arises in exploring large search spaces (e.g., huge game trees) where we assume access to some score/quality function for each node, which we use to guide us towards the goal. In our case, we assume the help comes in the form of distance predictions: each node $v$ provides a prediction $f(v)$ of its distance to the goal vertex. Naturally if these predictions are correct, we can reach the goal along a shortest path. What if the predictions are unreliable and some of them are erroneous? Can we get an algorithm whose performance relates to the error of the predictions? In this work, we consider the problem on trees and give deterministic algorithms whose total movement cost is only $O(OPT + \Delta \cdot ERR)$, where $OPT$ is the distance from the start to the goal vertex, $\Delta$ the maximum degree, and the $ERR$ is the total number of vertices whose predictions are erroneous. We show this guarantee is optimal. We then consider a ''planning'' version of the problem where the graph and predictions are known at the beginning, so the agent can use this global information to devise a search strategy of low cost. For this planning version, we go beyond trees and give an algorithms which gets good performance on (weighted) graphs with bounded doubling dimension.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Asynchronous Collective Tree Exploration: a Distributed Algorithm, and a new Lower Bound

    cs.DS 2025-07 conditional novelty 8.0 of 10

    Distributed asynchronous robot teams can explore any tree in 2n + O(k^2 2^k D) moves, and no asynchronous algorithm can beat competitive ratio Ω(log^2 k).

  2. Efficient Approximate Temporal Triangle Counting in Streaming with Predictions

    cs.DS 2025-06 conditional novelty 6.0 of 10

    STEP combines Horvitz-Thompson wedge sampling with a temporal min-degree predictor to give unbiased, low-variance estimates of all eight temporal triangle counts in one streaming pass over billions of edges.

Pith tools