Lune

SODA2026Top-tier venue

#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 GG over alphabet Σ\Sigma, count the number of words of length exactly nn generated by GG2.Given a circuit φ\varphi in Decomposable Negation Normal Form (DNNF) over the set of Boolean variables XX, compute the number of assignments to XX such that φ\varphi 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.

Questions to start from

Your agent calls

Luneget_paper_fulltext

Ask in Lune

Free to start. No credit card required.

lune papers fulltext 3fecb048-a186-4706-9b11-06ebdf75efa6

Builds on1

Related papers

Dusk over the sea between two cliffs drawn in fine vertical lines