Lune

SODA2026顶会

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

问问这篇 Paper

智能体会读完全文。

Lune 把这篇 Paper 索引到了最后一个公式,引用它的顶会 Paper 也一样。你提问,回答直接引用原文。

可以从这些问题问起

智能体调用

Luneget_paper_fulltext

在 Lune 里问

免费开始,无需绑卡

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

它引用的顶会 Paper1

相关 Paper

黄昏的海面,两侧是细线勾勒的悬崖