Compact hop cost storage for port-to-region search

[0hmX]

Summary

This change reduces TinyHyperGraphSolver memory usage by changing how per-hop best-cost state is indexed and stored during route search.

Previously, dense candidate-cost arrays were allocated at portCount * regionCount, because hop ids were encoded directly from (portId, nextRegionId). That forced the solver to reserve dense storage for every possible port/region pair, even though each port can only transition into a small subset of incident regions.

This patch replaces that layout with compact incident-slot indexing:

• dense hop-state arrays are sized at portCount * hopSlotStride
• hopSlotStride is the maximum incident-region count across all ports
• hops are keyed by (portId, incident-region-slot) for normal dense access
• non-incident hops fall back to a small overflow Map

The result is that dense hop bookkeeping scales with actual per-port connectivity instead of global region count, which removes the dominant source of memory blowup on large port-point-pathing hypergraphs.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
tiny-hypergraph	Ready	Preview, Comment	Jun 12, 2026 6:56am

[tscircuitbot]

Benchmark This PR

Run benchmarks by commenting on this PR:

/benchmark [benchmark.sh args...]
/benchmark --dataset <hg07|srj18> --limit <n> --solver <core|poly> --families <default|default+deep|all> --concurrency <n|auto>

Everything after /benchmark is forwarded directly to ./benchmark.sh.
The result comment shows the matching dataset from the latest stored main-branch benchmark artifact beside the PR run; main is not rerun for each PR benchmark request.

Examples:

• /benchmark -> hg07, all samples, core solver
• /benchmark --dataset srj18 --limit 20 -> first 20 srj18 samples
• /benchmark --dataset srj18 --concurrency auto -> srj18 samples with runner CPU-count concurrency
• /benchmark --sample sample002 -> one hg07 sample
• /benchmark --limit 20 --solver poly -> first 20 hg07 samples with the poly solver
• /benchmark --limit 40 --families default+deep -> first 40 hg07 samples with deeper candidate families

Any PR whose title contains [BENCHMARK TEST] will automatically run the benchmark workflow on PR updates.

[tscircuitbot]

---

Thank you for your contribution! 🎉

PR Rating: ⭐⭐⭐
Impact: Major

Track your contributions and see the leaderboard at: tscircuit Contribution Tracker

---