# Two Algorithms for Finding $k$ Shortest Paths of a Weighted Pushdown Automaton

Preprint · Ke Wu, Philip Resnik

- Archive id: arxiv:1212.0927
- Published: 2012-12-05
- arXiv: https://arxiv.org/abs/1212.0927
- Source URL: https://arxiv.org/abs/1212.0927
- PDF: https://arxiv.org/pdf/1212.0927
- Provenance: arxiv

## Abstract

We introduce efficient algorithms for finding the $k$ shortest paths of a weighted pushdown automaton (WPDA), a compact representation of a weighted set of strings with potential applications in parsing and machine translation. Both of our algorithms are derived from the same weighted deductive logic description of the execution of a WPDA using different search strategies. Experimental results show our Algorithm 2 adds very little overhead vs. the single shortest path algorithm, even with a large $k$.

_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.