#CFG and #DNNF admit FPRAS
Kuldeep S. Meel, Alexis de Colnet
2026年份
摘要
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.
问问这篇 Paper
智能体会读完全文。
Lune 把这篇 Paper 索引到了最后一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。
它引用的顶会 Paper1
相关 Paper
- Towards the sampling Lovász Local LemmaVishesh Jain, Huy Tuan Pham, Thuy-Duong VuongFOCS 2021 · 被引用 17 次
- Counting and Sampling Traces in Regular LanguagesAlexis de Colnet, Kuldeep S. Meel, Umang MathurPOPL 2026 · 被引用 1 次
- Deterministic counting Lovász local lemma beyond linear programmingKun He, Chunyang Wang, Yitong YinSODA 2023 · 被引用 7 次
- Towards Real-Time Approximate CountingYash Pote, Kuldeep S. Meel, Jiong YangAAAI 2025 · 被引用 3 次
- Approximately Counting Knapsack Solutions in Subquadratic TimeWeiming Feng, Ce JinSODA 2025
