# Cut Query Reachability for DAGs with Subquadratic Queries

Preprint · Ben Bals, Matei Tinca, Yasamin Nazari

- Archive id: arxiv:2607.26630
- Published: 2026-07-29
- arXiv: https://arxiv.org/abs/2607.26630
- Source URL: https://arxiv.org/abs/2607.26630
- PDF: https://arxiv.org/pdf/2607.26630
- Provenance: arxiv

## Abstract

In the cut-query model, we have access to a (directed) graph via an oracle and we can query the size of the (directed) cut of a given subset of the vertices. One of the most elementary tasks in this model is to decide if there is a path two fixed vertices $s$ and $t$. While many results are known for undirected graphs, much less in understood for directed graphs in the cut query model. Even for the basic task of $s$-$t$ reachability, the best known randomized algorithm, is to reconstruct the entire graph with a technique by Grebinski and Kucherov using $O(n^2 / \\log n)$ queries \[Grebinski and Kucherov, 2000\]. We restrict our attention to directed acyclic graphs (DAGs) and obtain a deterministic single-source reachability algorithm using $O(n \\sqrt{n \\log n})$ queries. The result is based on a topological sort algorithm, and can also be adapted to compute single-source shortest paths in DAGs.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.