#CFG and #DNNF admit FPRAS
Kuldeep S. Meel, Alexis de Colnet
2026Year
Abstract
We provide the first fully polynomial-time randomized approximation scheme for the following two counting problems:1.Given a Context-Free Grammar over alphabet , count the number of words of length exactly generated by 2.Given a circuit in Decomposable Negation Normal Form (DNNF) over the set of Boolean variables , compute the number of assignments to such that evaluates to 1.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext 3fecb048-a186-4706-9b11-06ebdf75efa6Builds on1
Related papers
- Towards the sampling Lovász Local LemmaVishesh Jain, Huy Tuan Pham, Thuy-Duong VuongFOCS 2021 · 17 citations
- Counting and Sampling Traces in Regular LanguagesAlexis de Colnet, Kuldeep S. Meel, Umang MathurPOPL 2026 · 1 citation
- Deterministic counting Lovász local lemma beyond linear programmingKun He, Chunyang Wang, Yitong YinSODA 2023 · 7 citations
- Towards Real-Time Approximate CountingYash Pote, Kuldeep S. Meel, Jiong YangAAAI 2025 · 3 citations
- Approximately Counting Knapsack Solutions in Subquadratic TimeWeiming Feng, Ce JinSODA 2025
